Search results for “[subject: computers-software]”
Filters
- Saint Philip Street Press
- Springer
- 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
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Basic Books
- 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
- Bottom of the Hill Publishing
- Bpb Publications
- BPB Publications
- 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
- C&T Publishing
- CABI
- Cabi
- Cadcamcae Works
- Cadcim Technologies
- CBS Publishers & Distributors Pvt. Ltd.
- CCB Publishing
- CRC Press
- Saint Philip Street Press
- Springer
- 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
- Barron's Educational Series
- Barron's Educational Series Inc.,U.S.
- Barrons Educational Series
- Basic Books
- 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
- Bottom of the Hill Publishing
- Bpb Publications
- BPB Publications
- 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
- But-Hein
- Butterworth-Heinemann
- C&T 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
- Fine Arts
- Food Science & Technology
- General Books
- Graphic Design & Animation
- History
- Law and Criminology
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Music, Theatre & Films
- Nutrition and Dietetics
- Photography
- Physics and Astronomy
- Politics and Current Affairs
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- Writing/Research Methods
- Abhinab Dutta
- Ahmed Bouajjani
- Ahmed Seffah
- Alberto del Bimbo
- Alfonso J. Kinglow
- Álvaro Rocha
- Anara Baimagambetova
- Andrea Vedaldi
- Andreas Holzinger
- Andreas Sofroniou
- Andrew Fitzgibbon
- Anonymous
- Arie Gurfinkel
- Armin Biere
- Ascent -. Center for Technical Knowledge
- Asha Sohal
- Azizah Abd Manaf
- Balakrishnan Subramanian
- Borko Furht
- Cadcim Technologies
- Cesar Herrera
- David A. Patterson
- David Beskeen
- David Fleet
- Dines Bjørner
- Dmitry Vostokov
- Ekkehard Kaier
- Elian Greystone
- F. L. Bauer
- Felicia Toliver
- Gerard O'Regan
- Godspower Ekuobase
- Halimah Badioze Zaman
- Hans Petter Langtangen
- Hans-Joachim Bungartz
- Hartmut Ehrig
- Houbing Song
- Inna Birillo
- Ionut Mihai Ignat
- Jack W. Plunkett
- James Bernstein
- James F. Peters
- Jean-Pierre Couwenbergh
- Joaquim Filipe
- John Vince
- José Cordeiro
- Jose L. Encarnacao
- Jyoti Choudrie
- Kalaimani S
- Kesav V. Nori
- Khaled Elleithy
- Laura Leal-Taixé
- Leszek Borzemski
- Luca Maria Aiello
- Manfred Broy
- Marco Bernardo
- Marcondes Dourado
- Maria Virvou
- Martin Wirsing
- Mehmet Sahinoglu
- Michael J. Rider
- Michael M. Resch
- Michel Bidoit
- Miguel Botto-Tobar
- Mohammad Kaleem Galamali
- Muhammad Ashraf Mokhrizal
- Murat Yilmaz
- Nadia Magnenat-Thalmann
- Nicola Bellini
- Osvaldo Gervasi
- Oxford University Press
- Paolo Ciancarini
- Paramjit Kaur
- Patricia Pesado
- Paul Tran
- Prasad Puthiyillam
- Prof Sham Tickoo Purdue Univ
- Radek Silhavy
- Randy H. Shih
- Roger Lee
- Roman Wyrzykowski
- S. Balamurugan
- S. Mathioudakis
- S. Sumathi
- Saeed Nouri
- Saumya Shukla
- Shadi Zeinali
- Shivendra Singh
- Slimane Hammoudi
- Steve McConnell
- Suresh Chandra Satapathy
- Tai-hoon Kim
- Tarek Sobh
- Thompson Carter
- Tiziana Margaria
- Tosiyasu L. Kunii
- Victor Malyshkin
- Weixia Xu
- Wenliang Du
- Yongtian Wang
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,277
Original price
₹11,194
Original price
₹11,194
Original price
₹11,194
(-35%)
₹7,277
Current price
₹7,277
| /
• 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,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
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
