Filters
- Springer
- 17 Books Ltd
- 17 Books Publishing
- 1423 Interests LLC
- 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
- Adesh Silva
- Agencia Brasileira Do ISBN
- ALA Editions
- ALA Neal-Schuman
- 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
- Bloomsbury Publishing PLC
- 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
- Carl Keyness
- Cayenne Canyon Press
- CBS Publishers & Distributors Pvt. Ltd.
- Cengage Learning
- 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
- Crabtree Classics
- CRC Press
- Createspace
- Createspace Independent Publishing Platform
- Data Science
- Datetree Press
- David Belbeze
- Debate
- Derf Press
- Deutscher Universitatsverlag
- Dg Junior
- DK Publishing (Dorling Kindersley)
- Springer
- 17 Books Ltd
- 17 Books Publishing
- 1423 Interests LLC
- 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
- Adesh Silva
- Agencia Brasileira Do ISBN
- ALA Editions
- ALA Neal-Schuman
- 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
- Bloomsbury Publishing PLC
- 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
- Carl Keyness
- Cayenne Canyon Press
- CBS Publishers & Distributors Pvt. Ltd.
- Cengage Learning
- 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
- CRC Press
- CRC/CH
- 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
- Adam Slowik
- Alexander Meduna
- Alexander Stanoyevitch
- Amara Hawthorn
- Andreas Brandstädt
- Andy Vickler
- Anonymous
- Anthony Bonato
- Aristides Bouras
- Ashish Ghosh
- Booker Blunt
- Boozman Richard
- Carlos Cotta
- Carlos Martín-Vide
- Christian Baya Diakileke
- Christian Blum
- Cícero Dos Santos Teixeira
- Code Well Academy
- Computer Programming Academy
- Daniel Ashlock
- Daniel Zingaro
- Dhanasakkaravarthi B
- Ding-Zhu Du
- Donald E. Knuth
- Donald Knuth
- Dr Rahul Sharma
- E. S. Gopi
- Elian Greystone
- Enrique Alba
- Eric Schmidt
- Erik Cuevas
- Fedor V. Fomin
- Flávia Gonçalves Fernandes
- Francisco Zaragoza
- Frank Dehne
- Greyson Chesterfield
- H. S. Saini
- Hans-Joachim Bungartz
- Harmanpreet Kaur
- Herbert Schildt
- Imran Ahmad
- Ira Greenberg
- Ivan Zelinka
- Jack Dongarra
- Jagdish Chand Bansal
- Jan Van Leeuwen
- Jianer Chen
- Joong Hoon Kim
- Jyotsna Kumar Mandal
- K. Erciyes
- Klaus Jansen
- Lane A. Hemaspaandra
- Lars Arge
- Leen Ammeraal
- Lucien Sina
- Manana Chumburidze
- Manuel Laguna
- Marina L. Gavrilova
- Marius Iulian Mihailescu
- Maxwell Rivers
- Michael McMillan
- Miguel Farmer
- Mikhail Moshkov
- Mohamed Skander Daas
- Niklaus Wirth
- No Contributor
- Oscar Castillo
- Panos M. Pardalos
- Patrick Siarry
- Peter Brucker
- Peter Deuflhard
- Phil Bagge
- Preethy Jemima P.
- Rachid Guerraoui
- Radek Silhavy
- Rafael Sanders
- Resve A. Saleh
- Richard Bird
- Robert C. Matthews
- Robert J. Vanderbei
- Robert Sedgewick
- Roberto Cruz Acosta
- Roman Trobec
- Roman Wyrzykowski
- Rudolf Kruse
- Seyedali Mirjalili
- Shengxiang Yang
- Siddhartha Bhattacharyya
- Srikanta Patnaik
- Stefka Fidanova
- Steven Halim
- Steven S. Skiena
- Svein Linge
- Theophilus Edet
- Thompson Carter
- Tim Roughgarden
- 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
