Filters
- Springer
- 17 Books Ltd
- 17 Books Publishing
- 3ichael 7ambert
- A K Peters
- A K PETERS
- AB Publisher LLC
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ablex Publishing Corporation
- Academic Press
- Academiques
- ACM
- ACM Books
- Addison-Wesley Professional
- Agencia Brasileira Do ISBN
- ALA Editions
- Alan Grid
- Alaric Hemingway
- Algorithms
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Mathematical Society
- Anchor Academic Publishing
- Andrews UK Limited
- Anson Street Press
- Apress
- Archer Paul
- Arcler Press
- Arcturus Editions
- Artech House Publishers
- Arthur M. Doweyko
- Association for Computing Machinery
- Athabasca University Press
- Atlantic Publishers & Distributors (P) Ltd
- Auerbach Publications
- Authorhouse
- Azhar Sario Dubai
- Basic Books
- Bellwether Media Inc.
- Bentham Science Publishers
- Biblioscholar
- Birkhauser
- Bloomsbury Academic
- Bloomsbury Education
- Bob Mather
- Bod - Books on Demand
- Bookbaby
- BookLife Publishing
- Books on Demand
- Booksurge Publishing
- Bosko Books
- Bpb Publications
- BPB Publications
- Bradford Book
- Broquard eBooks
- Business Science Reference
- Butterworth-Heinemann
- C Hurst & Co Publishers Ltd
- C. Press/F. Watts Trade
- CABI
- Cambridge University Press
- Cambridge UP
- Canongate Books
- Capstone
- Careercup
- Carl Keyness
- Cayenne Canyon Press
- CBS Publishers & Distributors Pvt. Ltd.
- Cengage Learning India
- Cengage Learning, Inc
- Center for the Study of Language and Informat
- Charles M Dominquez
- Christian Colossus
- Clanrye International
- Code Energy
- Codemonkey Do
- Cody Koala
- Cognella Academic Publishing
- Coherent Press
- College Publications
- Columbia University Press
- Coronat Services, LLC
- Course Technology
- Crabtree Classics
- CRC Press
- Createspace
- Createspace Independent Publishing Platform
- Data Science
- Datetree Press
- David Belbeze
- Deutscher Universitatsverlag
- Dg Junior
- Diplom.de
- Diplomica Verlag
- Disserta Verlag
- Dissertation Discovery Company
- Dissertation.com
- DK Publishing (Dorling Kindersley)
- Docent Press
- Springer
- 17 Books Ltd
- 17 Books Publishing
- 3ichael 7ambert
- A K PETERS
- A K Peters/CRC Press
- AB Publisher LLC
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ablex Publishing Corporation
- Academic Press
- Academiques
- ACM
- ACM Books
- Addison-Wesley Professional
- AddisWesle
- Agencia Brasileira Do ISBN
- ALA Editions
- Alan Grid
- Alaric Hemingway
- Algorithms
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Mathematical Society
- Anchor Academic Publishing
- Andrews UK Limited
- Anson Street Press
- Apple Academic Press
- Apress
- Archer Paul
- Arcler Press
- Arcturus Editions
- Artech House Publishers
- Arthur M. Doweyko
- Association for Computing Machinery
- Athabasca University Press
- Atlantic
- Atlantis Press
- Auerbach P
- Auerbach Publications
- Authorhouse
- Azhar Sario Dubai
- Basic Books
- Bellwether Media Inc.
- Bentham Science Publishers
- Biblioscholar
- Birkhauser
- Birkhauser Boston
- Bloomsbury Academic
- Bloomsbury Education
- Bob Mather
- Bod - Books on Demand
- Bookbaby
- BookLife Publishing
- Books on Demand
- Booksurge Publishing
- Bosko Books
- Bpb Publications
- BPB Publications
- Bradford Book
- Broquard eBooks
- Business Science Reference
- Butterworth-Heinemann
- C Hurst & Co Publishers Ltd
- C. Press/F. Watts Trade
- CABI
- Cambridge
- Cambridge University Press
- Cambridge UP
- Canongate Books
- Capstone
- Careercup
- Carl Keyness
- Cayenne Canyon Press
- CBS Publishers & Distributors Pvt. Ltd.
- Cengage Learning India
- Cengage Learning, Inc
- Center for the Study of Language and Informat
- Chapman and Hall/CRC
- Chapman Hall
- Charles M Dominquez
- Christian Colossus
- Clanrye International
- Code Energy
- Codemonkey Do
- Cody Koala
- Cognella Academic Publishing
- Coherent Press
- College Publications
- Columbia University Press
- Coronat Services, LLC
- Course Technology
- Crabtree Classics
- CRC Press
- CRC/CH
- Createspace
- Createspace Independent Publishing Platform
- Data Science
- Datetree Press
- DK Publishing (Dorling Kindersley)
- Bio-Science and Agriculture
- Business Management
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Earth-Science/Environment
- Economics
- Education & Psychology
- Engineering
- General Books
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Nutrition and Dietetics
- Physics and Astronomy
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- A. Parveen
- Aboul-Ella Hassanien
- Adenir Dos Santos Camargo
- Akbar Shaik
- Alan Grid
- Alexander J. Zaslavski
- Alexander Meduna
- Amara Hawthorn
- Andrew Adamatzky
- Andy Vickler
- Anonymous
- Anshuman Mishra
- Aristides Bouras
- Booker Blunt
- Carlos Cotta
- Carlos Martín-Vide
- Christian Baya Diakileke
- Christian Blum
- Cícero Dos Santos Teixeira
- Cliff B. Jones
- Code Well Academy
- Computer Programming Academy
- Daniel Zingaro
- Dhanasakkaravarthi B
- Dietmar Herrmann
- Ding-Zhu Du
- Donald Knuth
- Dr Rahul Sharma
- E. S. Gopi
- El-Ghazali Talbi
- Elian Greystone
- Enrique Alba
- Erik Cuevas
- Fedor V. Fomin
- Flávia Gonçalves Fernandes
- Frank Dehne
- G. Arockia Sahaya Sheela
- Ganesh Talari
- Gilles Dowek
- Giorgio Ausiello
- Guojun Gan
- H. S. Saini
- Henning Fernau
- Hisashi Kashima
- Jagdish Chand Bansal
- Jan Van Leeuwen
- Jay Wengrow
- John A. Trangenstein
- Kesav V. Nori
- Klaus Jansen
- Larry Jones
- Leen Ammeraal
- Lucien Sina
- Manana Chumburidze
- Manuel Laguna
- Maxime Crochemore
- Michael McMillan
- Miguel Farmer
- Mikhail Moshkov
- Mohamed Skander Daas
- Niklaus Wirth
- Oscar Castillo
- Panos M. Pardalos
- Patricia Melin
- Patrick Siarry
- Paul A. Gagniuc
- Peter O'Hearn
- Phil Bagge
- Philippe Kerampran
- Preethy Jemima P.
- R. M. Z. Trigo
- Radek Silhavy
- Rafael Sanders
- Robert C. Matthews
- Robert Sedgewick
- Roberto Cruz Acosta
- Roman Wyrzykowski
- Ronald T. Kneusel
- Rudolf Kruse
- Ryuhei Uehara
- Sebastian Dörn
- Shengxiang Yang
- Shmuel Tomi Klein
- Srikanta Patnaik
- Stefka Fidanova
- Steven Halim
- Svein Linge
- Theophilus Edet
- Thom Frühwirth
- Thompson Carter
- Tim Roughgarden
- Utpal Banerjee
- Vic Broquard
- Victor Malyshkin
- Vladimir P. Gerdt
- Weili Wu
- Witold Pedrycz
- Xin-She Yang
- Yang Hu
- Ying Tan
Products
Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Part of the International Joint
Arie Gurfinkel, Marijn Heule
Paperback
Current price
₹2,911
Original price
₹4,477
Original price
₹4,477
Original price
₹4,477
(-35%)
₹2,911
Current price
₹2,911
| /
• Author(s): Arie Gurfinkel | Marijn Heule • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools...
View full details
Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Part of the International Joint
Arie Gurfinkel, Marijn Heule
Paperback
Current price
₹2,911
Original price
₹4,477
Original price
₹4,477
Original price
₹4,477
(-35%)
₹2,911
Current price
₹2,911
| /
• Author(s): Arie Gurfinkel | Marijn Heule • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools...
View full details
Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Part of the International Joint
Arie Gurfinkel, Marijn Heule
Paperback
Current price
₹5,199
Original price
₹6,239
Original price
₹6,239
Original price
₹6,239
(-17%)
₹5,199
Current price
₹5,199
| /
• Author(s): Arie Gurfinkel | Marijn Heule • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer ScienceThe open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools...
View full details
