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
- Careercup
- 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
- Course Technology
- Crabtree Classics
- CRC Press
- Createspace
- Createspace Independent Publishing Platform
- Data Science
- Datetree Press
- David Belbeze
- Debate
- Derf Press
- 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
- Careercup
- 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
- 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
- A. Parveen
- Adenir Dos Santos Camargo
- Al Sweigart
- Alice Schwartz
- Amara Hawthorn
- Andreas Brandstädt
- Andy Vickler
- Anonymous
- Anshuman Mishra
- Anthony Bonato
- Aristides Bouras
- Bijaya Ketan Panigrahi
- Booker Blunt
- Boozman Richard
- Carlos Cotta
- Carlos Martín-Vide
- Christian Baya Diakileke
- Christian Blum
- Christian Maurer
- Cícero Dos Santos Teixeira
- Code Well Academy
- Collectif
- Computer Programming Academy
- Corwin Halesworth
- Daniel Zingaro
- Danny Munrow
- Dhanasakkaravarthi B
- Dietmar Herrmann
- Ding-Zhu Du
- Donald E. Knuth
- Echo Elise Gonzalez
- Elian Greystone
- Eric Schmidt
- Erik Cuevas
- Fedor V. Fomin
- Flávia Gonçalves Fernandes
- Francis Gurtowski
- Francisco Zaragoza
- Frank Dehne
- Ganesh Talari
- Gareth Thomas
- Gilles Dowek
- Giovanni Squillero
- Giuseppe Bonaccorso
- Greyson Chesterfield
- H. S. Saini
- Harmanpreet Kaur
- Henning Fernau
- Herbert Schildt
- Jagdish Chand Bansal
- Jamie Flux
- Jan Van Leeuwen
- Jay Wengrow
- Jianer Chen
- John A. Trangenstein
- Joong Hoon Kim
- K. Erciyes
- Kameron Hussain
- Keith Henning
- Kesav V. Nori
- Klaus Jansen
- Larry Jones
- Lars Arge
- Leen Ammeraal
- Leo Code
- Lucien Sina
- M. Sohel Rahman
- Manana Chumburidze
- Marina L. Gavrilova
- Marius Iulian Mihailescu
- Maxwell Rivers
- Maxwell Vector
- Michael McMillan
- Michael T. Goodrich
- Miguel Farmer
- Millie Pant
- Mohamed Skander Daas
- Mordechai Ben-Ari
- Narasimha Karumanchi
- Niklaus Wirth
- Noel Kalicharan
- Oscar Castillo
- Phil Bagge
- Radek Silhavy
- Rafael Sanders
- Richard Boozman
- Roberto Cruz Acosta
- Roman Wyrzykowski
- Sebastian Dörn
- Stefka Fidanova
- Theophilus Edet
- Thompson Carter
- Tim Roughgarden
- Tsung-Hsien Lee
- Ue Kiao
- Vic Broquard
- Victor Malyshkin
- 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
