Filters
- Saint Philip Street Press
- Springer
- 8080 Books
- 17 Books Ltd
- 3dtech
- 99m
- 3p Vantage
- 1st Book Library
- 1st World Publishing
- 5starcooks
- 12th Media Services
- 0xford University Press
- A K Peters
- A K PETERS
- A&C Black
- A&c Black 3pl
- A. Smith Media
- Aaron Martinez
- Abbott Press
- Abbott Properties
- ABDO & Daughters
- Abdul Ahad Ansari
- Ablex Publishing Corporation
- Abrazol Publishing
- Academic
- Academic Medical Press (Division of Academic
- Academic Press
- Academic Studies Press
- Academy Press
- Acadia Publishing Company
- Accelerated Strategies Press
- Accepted, Inc.
- Accessibility Dot Net, Inc.
- ACM
- ACM Books
- Acorn Books
- Ad Ilissum
- Adam Hott
- Addison Wesley Publishing Company
- Addison-Wesley Professional
- Adesh Silva
- Adobe Press
- Advanced Analytics, LLC
- Advantage Media Group
- Afnil
- Afolabi Onadipe
- Agence Francophone Pour La Numerotation Inter
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- Alan Grid
- Alberto Marchetti
- Alephsphere Publishing
- Aletheia Editions
- Alexander Tetelbaum
- Alexandra Georgas-Gait Hosbach
- Alexia Scott
- Alfred Music
- Alien Creations, Inc.
- Alinea Knowledge, LLC
- Am Press
- Amacom
- Amazing Books
- Amazon
- Amberley Publishing
- American Academic Press
- American Academic Publisher
- American Academic Research, USA
- American Alliance of Museums
- American Bar Association
- American Book Group - Ra-Ma
- American Book Group - Rama
- American Book Group-Rama
- American Eagle Books
- American Library Association
- American Mathematical Society
- American Medical Publishers
- American Society of Civil Engineers
- Amphoto Books
- Amplitudo Ltd
- Amsterdam University Press
- Anatiposi Verlag
- Ancestry.com
- Anchor Academic Publishing
- Andrews UK Limited
- Aneko Press
- Anjum Publishers
- Ankit Bhandawat
- Anson Street Press
- Anthem Press
- Anu Press
- Apex Test Prep
- Appjungle.Net LLC
- Applied Maths Ltd
- Applied Research & Design
- Apress
- Arcangel Surfware
- Archaeopress
- Archway Publishing
- Arcler Press
- Arcturus Editions
- Saint Philip Street Press
- Springer
- 8080 Books
- 17 Books Ltd
- 3dtech
- 99m
- 3p Vantage
- 1st Book Library
- 1st World Publishing
- 5starcooks
- 12th Media Services
- 0xford University Press
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- A&C Black
- A&c Black 3pl
- A. Smith Media
- Aaron Martinez
- Abbott Press
- Abbott Properties
- ABDO & Daughters
- Abdul Ahad Ansari
- Ablex Publishing Corporation
- Abrazol Publishing
- Acad Pr
- Academic
- Academic Medical Press (Division of Academic
- Academic Press
- Academic Studies Press
- Academy Press
- Acadia Publishing Company
- Accelerated Strategies Press
- Accepted, Inc.
- Accessibility Dot Net, Inc.
- ACM
- ACM Books
- Acorn Books
- Ad Ilissum
- Adam Hott
- Addison Wesley Publishing Company
- Addison-Wesley Professional
- Adesh Silva
- Adobe Press
- Advanced Analytics, LLC
- Advantage Media Group
- Afnil
- Afolabi Onadipe
- Agence Francophone Pour La Numerotation Inter
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- Alan Grid
- Alberto Marchetti
- Alephsphere Publishing
- Aletheia Editions
- Alexander Tetelbaum
- Alexandra Georgas-Gait Hosbach
- Alexia Scott
- Alfred Music
- Alien Creations, Inc.
- Alinea Knowledge, LLC
- Am Press
- Amacom
- Amazing Books
- Amberley Publishing
- American Academic Press
- American Academic Publisher
- American Academic Research, USA
- American Alliance of Museums
- American Bar Association
- American Book Group - Ra-Ma
- American Book Group - Rama
- American Book Group-Rama
- American Eagle Books
- American Library Association
- American Mathematical Society
- American Medical Publishers
- American Society of Civil Engineers
- Amphoto Books
- Amplitudo Ltd
- Amsterdam University Press
- Anatiposi Verlag
- Ancestry.com
- Anchor Academic Publishing
- Andrews UK Limited
- Aneko Press
- Anjum Publishers
- Ankit Bhandawat
- Anson Street Press
- Anthem Press
- Anu Press
- Apex Test Prep
- Appjungle.Net LLC
- Apple Academic Press
- Applied Maths Ltd
- Applied Research & Design
- Apress
- Arcangel Surfware
- Archaeopress
- Archway Publishing
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Computer Science and Information Technology
- Creative Writing, Fiction
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fashion & Textile
- General Books
- Graphic Design & Animation
- Health, Physical Fitness and Yoga
- History
- Law and Criminology
- Library & Information Science
- Magic & Alchemy
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Military and Police Studies
- Music, Theatre & Films
- Photography
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Abhinandan H. Patil
- Adam Smith
- Air Force Institute of Technology (U
- Ajith Abraham
- Alfonso J. Kinglow
- Allen Kent
- Álvaro Rocha
- Andrea Vedaldi
- Andrew Fitzgibbon
- Anonymous
- Asha Sohal
- Atif Memon
- Borko Furht
- Brian Houghton Hodgson
- CGP Books
- Charles Kingsley
- Chi
- D. James Benton
- Daoliang Li
- David Fleet
- David Hume
- De-Shuang Huang
- Dines Bjørner
- Dmitry Vostokov
- Dr Rahul Sharma
- Edward Carpenter
- Ekkehard Kaier
- Elian Greystone
- Erol Gelenbe
- Felicia Toliver
- Frances Power Cobbe
- Frederick William Faber
- Georg Erwin Thaller
- Gerard O'Regan
- Halimah Badioze Zaman
- Hans Petter Langtangen
- Hartmut Ehrig
- Harvard University Library
- Henry Edward Manning
- Horace Bushnell
- Isaac Watts
- James Anthony Froude
- James Edge
- Jcm-Nystce Test Preparation Group
- Jcm-Texes Test Preparation Group
- Jerome Cameron Goodwin
- John Aubrey
- John Cennick
- John Frederick William Herschel
- John Henry Newman
- John Newton
- John St Loe Strachey
- John Stuart Mill
- John Su
- John Taylor
- John Vince
- Joseph Lathrop
- Joseph Priestley
- Juan Carlos Figueroa-García
- Jyoti Choudrie
- Khaled Elleithy
- Manfred Broy
- Marco Bernardo
- Margarita N. Favorskaya
- Maria Virvou
- Marina L. Gavrilova
- Michael A. Cusumano
- Michael M. Resch
- Nadia Magnenat-Thalmann
- Nasa Technical Reports Server (Ntrs)
- National Aeronautics and Space Admini
- National Aeronautics and Space Administr
- Noah Webster
- Osvaldo Gervasi
- Oxford University Press
- Passyourclass
- Phillis Wheatley
- Pradeep Mamgain
- Radek Silhavy
- Ralf Denzer
- Roger Lee
- Rosa Imelda García Chi
- Samuel Davies
- Samuel Seabury
- Shai Avidan
- Speedy Publishing LLC
- Suresh Chandra Satapathy
- Suyel Namasudra
- Tarek K. Abdel-Hamid
- Tarek Sobh
- The Law Library
- Thomas Secker
- Thomas Wright
- Thompson Carter
- Tiziana Margaria
- U. S. Government Accountability Office (
- United States Congress House of Represen
- United States Government Accountability
- Vittorio Ferrari
- William Jackson
Products
Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 1
Armin Biere
Paperback
Current price
₹7,345
Original price
₹11,299
Original price
₹11,299
Original price
₹11,299
(-35%)
₹7,345
Current price
₹7,345
| /
• Author(s): Armin Biere • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralThis book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vi...
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,938
Original price
₹4,519
Original price
₹4,519
Original price
₹4,519
(-35%)
₹2,938
Current price
₹2,938
| /
• 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,938
Original price
₹4,519
Original price
₹4,519
Original price
₹4,519
(-35%)
₹2,938
Current price
₹2,938
| /
• 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
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
