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
- 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
- Checkerboard Library
- Christian Colossus
- Clanrye International
- Code Energy
- Codemonkey Do
- Cody Koala
- Cognella Academic Publishing
- Coherent Press
- College Publications
- Columbia University Press
- Cornell 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)
- 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
- Acad Pr
- 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 Basel
- 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
- 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
- Checkerboard Library
- Christian Colossus
- Clanrye International
- Code Energy
- Codemonkey Do
- Cody Koala
- Cognella Academic Publishing
- Coherent Press
- College Publications
- Columbia University Press
- Cornell University Press
- Coronat Services, LLC
- Course Technology
- Crabtree Classics
- CRC Press
- CRC/CH
- Createspace
- Createspace Independent Publishing Platform
- 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
- Tourism, Travel Guide & Hospitality
- Adenir Dos Santos Camargo
- Al Sweigart
- Alan Grid
- Amara Hawthorn
- Andreas Brandstädt
- Andy Vickler
- Anonymous
- Anshuman Mishra
- Anthony Bonato
- Aristides Bouras
- Booker Blunt
- Boozman Richard
- Carlos Martín-Vide
- Christian Baya Diakileke
- Christian Blum
- Christian Maurer
- Cícero Dos Santos Teixeira
- Code Well Academy
- Collectif
- Computer Programming Academy
- Daniel Zingaro
- David Kopec
- Dhanasakkaravarthi B
- Dietmar Herrmann
- Ding-Zhu Du
- Donald E. Knuth
- Echo Elise Gonzalez
- Elian Greystone
- Eric Schmidt
- Erik Cuevas
- Ernst W. Mayr
- Evripidis Bampis
- Fedor V. Fomin
- Flávia Gonçalves Fernandes
- Francis Gurtowski
- Frank Dehne
- G. Arockia Sahaya Sheela
- Ganesh Talari
- Gareth Thomas
- Greyson Chesterfield
- H. S. Saini
- Harmanpreet Kaur
- Harsh Bhasin
- Henning Fernau
- Herbert Schildt
- Hisashi Kashima
- Jagdish Chand Bansal
- Jamie Flux
- Jan Van Leeuwen
- Jianer Chen
- John A. Trangenstein
- Keith Henning
- Kesav V. Nori
- Klaus Jansen
- Larry Jones
- Lars Arge
- Lucien Sina
- Manana Chumburidze
- Marc Fossorier
- Maxwell Rivers
- Maxwell Vector
- Michael McMillan
- Michael Shoikhedbrod
- Michael T. Goodrich
- Miguel Farmer
- Mikhail J. Atallah
- Mohamed Skander Daas
- Narasimha Karumanchi
- Niklaus Wirth
- Oscar Castillo
- Panos M. Pardalos
- Paul A. Gagniuc
- Phil Bagge
- Philippe Kerampran
- Preethy Jemima P.
- R. M. Z. Trigo
- Radek Silhavy
- Rafael Sanders
- Raj Tilak Saxena
- Reactive Publishing
- Robert C. Matthews
- Robert Sedgewick
- Roberto Cruz Acosta
- Roman Wyrzykowski
- Ronald T. Kneusel
- Rudolf Kruse
- Sebastian Dörn
- Seyedali Mirjalili
- Sqlpy Wizard
- Stefania Loredana Nita
- Stefka Fidanova
- Steven Halim
- Theophilus Edet
- Thompson Carter
- Tim Roughgarden
- Ue Kiao
- Vladimir P. Gerdt
- Weili Wu
- Xin-She Yang
- Yang Hu
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
