Search results for “[Subject: computers-software]”
Filters
- Saint Philip Street Press
- The MIT Press
- 3dtech
- 1st Book Library
- 5starcooks
- A K Peters
- A K PETERS
- Abbott Properties
- Ablex Publishing Corporation
- Abrazol Publishing
- Academic
- Academic Press
- Academica Press
- ACM
- ACM Books
- Acorn Books
- Ad Ilissum
- Addison-Wesley Professional
- Adesh Silva
- Adobe Press
- Advanced Analytics, LLC
- Afnil
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- Alephsphere Publishing
- Alexander Tetelbaum
- Am Press
- Amacom
- Amazon
- American Bar Association
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Mathematical Society
- Amsterdam University Press
- Anatiposi Verlag
- Anchor Academic Publishing
- Anjum Publishers
- Anson Street Press
- Anthem Press
- Apress
- Archaeopress
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arkose Press
- Arm Education Media
- Artech House Publishers
- Ary Publisher
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- Association for Computing Machinery
- Astral International Pvt. Ltd.
- Atlantic Monthly Press
- Atlantic Publishers & Distributors (P) Ltd
- Auerbach Publications
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Avidbook Publishing Agency
- Baby Professor
- Bachelor + Master Publishing
- Barrons Educational Series
- Basic Books
- Bayshop (Generis Publishing)
- BCS, the Chartered Institute for It
- Bdtoolbox.Org
- Beelectronic
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Birkhauser
- Bloomsbury
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Blue River Press
- Blurb
- Bmj Publishing Group
- Bod - Books on Demand
- Book on Demand Ltd.
- Bottom of the Hill Publishing
- Boydell & Brewer
- Bpb Publications
- BPB Publications
- Bremen University Press
- British Archaeological Reports Oxford Ltd
- British Library, Historical Print Editions
- Brooke Strahan
- Brookings Institution Press
- Buch & Netz
- Burke Publishing
- Business Expert Press
- Business Science Reference
- Butterworth-Heinemann
- Byul Hur
- C&T Publishing
- CABI
- CBS Publishers & Distributors Pvt. Ltd.
- CCB Publishing
- Saint Philip Street Press
- The MIT Press
- 3dtech
- 1st Book Library
- 5starcooks
- A K Peters
- A K PETERS
- A K Peters/CRC Press
- Abbott Properties
- Ablex Publishing Corporation
- Abrazol Publishing
- Acad Pr
- Academic
- Academic Press
- Academica Press
- ACM
- ACM Books
- Acorn Books
- Ad Ilissum
- Addison-Wesley Professional
- Adesh Silva
- Adobe Press
- Advanced Analytics, LLC
- Afnil
- AIAA (American Institute of Aeronautics & Ast
- ALA Editions
- Alephsphere Publishing
- Alexander Tetelbaum
- Am Press
- Amacom
- American Bar Association
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Mathematical Society
- Amsterdam University Press
- Anatiposi Verlag
- Anchor Academic Publishing
- Anjum Publishers
- Anson Street Press
- Anthem Press
- Apple Acad
- Apple Academic Press
- Apress
- Archaeopress
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arkose Press
- Arm Education Media
- Artech House Publishers
- Ary Publisher
- Ascent, Center for Technical Knowledge
- Asian Development Bank
- Aspen Publishers
- Association for Computing Machinery
- Astral International Pvt. Ltd.
- Atlantic
- Atlantic Monthly Press
- Atlantis Press
- Auerbach P
- Auerbach Publications
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Autodesk P
- Avidbook Publishing Agency
- Baby Professor
- Bachelor + Master Publishing
- Barrons Educational Series
- Basic Books
- Bayshop (Generis Publishing)
- BCS, the Chartered Institute for It
- Bdtoolbox.Org
- Beelectronic
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Birkhauser
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Blue River Press
- Blurb
- Bmj Publishing Group
- Bod - Books on Demand
- Book on Demand Ltd.
- Bottom of the Hill Publishing
- Boydell & Brewer
- Bpb Publications
- BPB Publications
- Bremen University Press
- British Archaeological Reports Oxford Ltd
- British Library, Historical Print Editions
- Brooke Strahan
- Brookings Institution Press
- Buch & Netz
- Burke Publishing
- Business Expert Press
- Business Science Reference
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Computer Science and Information Technology
- Earth-Science/Environment
- Economics
- Education & Psychology
- Encyclopaedias and References
- Engineering
- English Literature
- Fashion & Textile
- Fine Arts
- General Books
- Graphic Design & Animation
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Music, Theatre & Films
- Photography
- Physics and Astronomy
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- Writing/Research Methods
- 3dtotal.Com
- Adele Kuzmiakova
- Adesh Silva
- Ahmed Seffah
- Air Force Institute of Technology (U
- Ajith Abraham
- Akira Hanako
- Alan Moore
- Alexander Heifetz
- Alexandro Cyprus
- Alfredo Iranzo
- Alistair G. Sutcliffe
- Allen Kent
- Anandakumar Haldorai
- Anatoly Belous
- Andreas Knüpfer
- Andy Field
- Angel a. Juan
- Anna Ursyn
- Anonymous
- Anshul Verma
- Arieh Iserles
- Arthur M. Langer
- Ata Elahi
- Atif Memon
- Autodesk
- Bashir M. Al-Hashimi
- Bernard P. Zeigler
- Bernd Steinbach
- Bernhard Rumpe
- Bill Martens
- Bir Bhanu
- Boguslaw Cyganek
- Borko Furht
- Brian R. Kent
- Bruce G. Batchelor
- Bruce Hannon
- Chris Oxlade
- Chris Roda
- Christel Baier
- Christopher Goodman
- Daoliang Li
- David Allerton
- David Asch
- David F. Rogers
- David Gries
- Dieter Gollmann
- Dines Bjørner
- Donald House
- Donald Knuth
- Dr Rahul Sharma
- Fadi P. Deek
- Franck Barbier
- Frederik Poulsen
- G. Jezic
- George A. Tsihrintzis
- Gerard O'Regan
- Hans Petter Langtangen
- Hans-Joachim Bungartz
- Hartmut Ehrig
- Hasso Plattner
- Henry Skinner
- Hitoshi Iba
- Horst Futh
- Ilia V. Safonov
- Information Reso Management Association
- James E. Gentle
- Jawad Akhtar
- Jayadev Misra
- Jean-Louis Boulanger
- Jeremy Sutton
- Jiacun Wang
- Joanna Wood
- Jochen Kämpf
- John A. Trangenstein
- John Krogstie
- John Oakland
- Jyoti Choudrie
- Khaled Elleithy
- Louis Young
- Margarita N. Favorskaya
- Marvin Zelkowitz
- Michael M. Resch
- Mike Hinchey
- Nadia Magnenat-Thalmann
- No Contributor
- Pradeep Kumar Singh
- Richard Harrington
- Robert J. Thierauf
- Roger Lee
- Sabine Roller
- Stuart S. Nagel
- Suresh Chandra Satapathy
- Suyel Namasudra
- Tarek Sobh
- Tom Wolsky
- Wei Lu
- Wolfgang Engel
- Wolfgang Schreiner
- Zaigham Mahmood
Products
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conference
Christel Baier, Ugo Dal Lago
Hardcover
Current price
₹6,988
Original price
₹7,924
Original price
₹7,924
Original price
₹7,924
(-12%)
₹6,988
Current price
₹6,988
| /
• Author(s): Christel Baier | Ugo Dal Lago • Publisher: Saint Philip Street Press • Publisher Imprint: Saint Philip Street Press • BISAC: Software Development & Engineering - GeneralThis book constitutes the proceedings of the 21st Internatio...
View full details
Principles of Model Checking
Christel Baier
Hardcover
Current price
₹9,165
Original price
₹14,100
Original price
₹14,100
Original price
₹14,100
(-35%)
₹9,165
Current price
₹9,165
| /
• Author(s): Christel Baier • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Computer ScienceA comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and so...
View full details
