Filters
- Saint Philip Street Press
- Springer
- 17 Books Ltd
- 17 Books Publishing
- 64 Ink
- 1423 Interests LLC
- 3ichael 7ambert
- A K Peters
- A K PETERS
- A. Smith Media
- Aaip
- AB Publisher LLC
- Abbott Properties
- Abdelfattah Ragab
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ability First Limited
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrazol Publishing
- Academic Press
- Academiques
- ACM
- ACM Books
- Acorn Books
- ADavis Publishing
- Addison-Wesley Professional
- Adesh Silva
- After Midnight Publishing
- Agencia Brasileira Do ISBN
- Aiden Phillips
- ALA Editions
- ALA Neal-Schuman
- Alan Grid
- Alanna Maldonado
- Alaric Hemingway
- Aldera
- Algorithms
- Ali Cehreli
- Alpha Books
- Am Press
- AMA
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Academic Publisher
- American Mathematical Society
- Anchor Academic Publishing
- Andre Golard
- Andrews UK Limited
- Angel Love
- Annabooks, LLC.
- Anson Street Press
- Any Book That Inspires a Division of Twelve:
- Apophis Enterprises LLC
- Applied Research & Design
- Apress
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Editions
- Arizona Business Alliance
- Artech House Publishers
- Arthur M. Doweyko
- Artima Inc
- Asian Culture Press
- Association for Computing Machinery
- Athabasca University Press
- Atique Mindscape Publishing
- Atlantic
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Av2
- AV Akademikerverlag
- Azhar Sario Dubai
- Baby Professor
- Bachelor + Master Publishing
- Barcharts, Inc
- Barrons Educational Series
- Bartlett Publishing
- Basic Books
- BCS, the Chartered Institute for It
- Bedford Books
- Beelectronic
- Bellwether Media Inc.
- Bentham Science Publishers
- Bento Books, Inc.
- Bergeron-Woodley Company, LLC
- Biblebyte Books
- Bibliogov
- Biblioscholar
- Big Mac Publishers
- Big Nerd Ranch Guides
- Billding Software
- Birkhauser
- Bloomsbury Education
- Bloomsbury Publishing (UK)
- BPB Publications
- Saint Philip Street Press
- Springer
- 17 Books Ltd
- 17 Books Publishing
- 64 Ink
- 1423 Interests LLC
- 3ichael 7ambert
- A K PETERS
- A K Peters/CRC Press
- A. Smith Media
- Aaip
- AB Publisher LLC
- Abbott Properties
- Abdelfattah Ragab
- Abdul Ahad Ansari
- Abfurtado.Com.Br
- Ability First Limited
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrazol Publishing
- Acad Pr
- Academic Press
- Academiques
- ACM
- ACM Books
- Acorn Books
- ADavis Publishing
- Addison-Wesley
- Addison-Wesley Professional
- AddisWesle
- Adesh Silva
- After Midnight Publishing
- Agencia Brasileira Do ISBN
- Aiden Phillips
- ALA Editions
- ALA Neal-Schuman
- Alan Grid
- Alanna Maldonado
- Alaric Hemingway
- Aldera
- Algorithms
- Ali Cehreli
- Alpha Books
- Am Press
- AMA
- Amazon Digital Services LLC - Kdp
- Ambra Verlag
- American Academic Publisher
- American Mathematical Society
- Anchor Academic Publishing
- Andre Golard
- Andrews UK Limited
- Angel Love
- Annabooks, LLC.
- Anson Street Press
- Any Book That Inspires a Division of Twelve:
- Apophis Enterprises LLC
- Apple Acad
- Apple Academic Press
- Applied Research & Design
- Apress
- Archer Paul
- Architeg, Inc.
- Arcler Press
- Arcturus Editions
- Arizona Business Alliance
- Artech House Publishers
- Arthur M. Doweyko
- Artima Inc
- Asian Culture Press
- Association for Computing Machinery
- Athabasca University Press
- Atique Mindscape Publishing
- Atlantic
- Atlantis Press
- Atropos Press
- Auerbach P
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- Av2
- AV Akademikerverlag
- Azhar Sario Dubai
- Baby Professor
- Bachelor + Master Publishing
- Barcharts, Inc
- Barrons Educational Series
- Bartlett Publishing
- Basic Books
- BCS, the Chartered Institute for It
- Bedford Books
- Beelectronic
- Bellwether Media Inc.
- Bentham Science Publishers
- Bento Books, Inc.
- Bergeron-Woodley Company, LLC
- Biblebyte Books
- Bibliogov
- Biblioscholar
- BPB Publications
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Earth-Science/Environment
- Economics
- Education & Psychology
- Engineering
- English Literature
- Food Science & Technology
- General Books
- Graphic Design & Animation
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Physics and Astronomy
- Religion and Philosophy
- A. de Quattro
- Adrian-Horia Dediu
- Ajit Singh
- Al Sweigart
- Alan Grid
- Alexander Cane
- Alexander Meduna
- Alfio Quarteroni
- Ali Kaveh
- Alice Schwartz
- Amara Hawthorn
- Ana I. Pereira
- Andrew Adamatzky
- Andrew Albert
- Andy Vickler
- Anshuman Mishra
- Anthony Bonato
- Anthony Brabazon
- Aristides Bouras
- Bob Mather
- Booker Blunt
- Carlos Martín-Vide
- Charlie Masterson
- Code Well Academy
- Computer Programming Academy
- Danny Munrow
- Davis Miller
- Dhanasakkaravarthi B
- Ding-Zhu Du
- Elian Greystone
- Erik Cuevas
- Evripidis Bampis
- Fedor V. Fomin
- Felicia Toliver
- Flávia Gonçalves Fernandes
- Francis Gurtowski
- Frank Dehne
- G. Arockia Sahaya Sheela
- Greyson Chesterfield
- Huazhong Liu
- Ivo Balbaert
- Jagdish Chand Bansal
- Jamie Flux
- Jan Van Leeuwen
- Jiří Mikyska
- Jianer Chen
- Josep Diaz
- Joyce Farrell
- Kameron Hussain
- Klaus Jansen
- Larry Jones
- Leo Code
- Leszek Rutkowski
- Lucien Sina
- Matthew D. Passmore
- Maxwell Vector
- Miguel Farmer
- Mike McGrath
- Mohamed Skander Daas
- Narasimha Karumanchi
- Niklaus Wirth
- Nilanjan Dey
- Oscar Castillo
- Panos M. Pardalos
- Patricia Melin
- Paul Deitel
- Phil Bagge
- Pythquill Publishing
- Radek Silhavy
- Rafael Sanders
- Rajaraman V.
- Reactive Publishing
- Reema Thareja
- Richard Boozman
- Rick Riolo
- Rob Botwright
- Robert C. Matthews
- Roberto Cruz Acosta
- Roman Wyrzykowski
- Samuel Hack
- Sebastian Dörn
- Seyedali Mirjalili
- Sqlpy Wizard
- Stefka Fidanova
- Steve Jones
- Theophilus Edet
- Thomas Erlebach
- Thompson Carter
- Tianqing Zhu
- Tim Roughgarden
- Timothy Masters
- Utpal Banerjee
- Weili Wu
- Witold Pedrycz
- Wolfgang Banzhaf
- X. Y. Wang
- Xin-She Yang
- Yang Hu
- Yashavant Kanetkar
- Zahir Tari
Products
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere, David Parker
Paperback
Current price
₹5,153
Original price
₹5,288
Original price
₹5,288
Original price
₹5,288
(-3%)
₹5,153
Current price
₹5,153
| /
• Author(s): Armin Biere | David Parker • Publisher: Saint Philip Street Press • Publisher Imprint: Saint Philip Street Press • BISAC: Computer ScienceThis open access two-volume set constitutes the proceedings of the 26th International Conferenc...
View full details
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere, David Parker
Paperback
Current price
₹5,659
Original price
₹5,778
Original price
₹5,778
Original price
₹5,778
(-2%)
₹5,659
Current price
₹5,659
| /
• Author(s): Armin Biere | David Parker • Publisher: Saint Philip Street Press • Publisher Imprint: Saint Philip Street Press • BISAC: Computer ScienceThis open access two-volume set constitutes the proceedings of the 26th International Conferenc...
View full details
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Confe
Armin Biere
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): Armin Biere • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralFrom the Back CoverThis open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms...
View full details
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Confe
Armin Biere
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): Armin Biere • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralFrom the Back CoverThis open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms...
View full details
