Search results for “[Subject: software-development-engineering-tools]”
Filters
- Springer
- 99m
- 12th Media Services
- A1 Entities, Inc.
- A K PETERS
- Academic Press
- ACM
- ACM Books
- Adactin Group Pty Ltd
- Addison Wesley Publishing Company
- Addison-Wesley Professional
- Alan Grid
- Alaric Hemingway
- Amacom
- Amebarki Informatics
- American Society of Mechanical Engineers,U.S.
- Anova
- Apress
- Archway Publishing
- Arcler Press
- Arm Education Media
- Artech House
- Artech House Publishers
- Asatte Press, Inc.
- Ascent - Center for Technical Knowledge
- Ascent, Center for Technical Knowledge
- Ashwini Publishing
- Atlantic Publishers & Distributors (P) Ltd
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- AV Akademikerverlag
- Bachelor + Master Publishing
- BCS, the Chartered Institute for IT
- Bedford Books
- Bellevue Publishers
- Ben Linders Publishing
- Bibliogov
- Biblioscholar
- Billding Software
- Birdrock Press
- Birkhauser
- Bloomsbury Publishing PLC
- Bod - Books on Demand
- Bookbaby
- Books on Demand
- Booksurge Publishing
- Bpb Publications
- BPB Publications
- Buch & Netz
- Butterworth-Heinemann
- CABI
- Cadcamcae Works
- Cadcim Technologies
- Callisto Reference
- Cambridge University Press
- Cambridge UP
- Cengage Learning
- Central West Publishing
- Chapman and Hall
- Charles M Dominquez
- Clanrye International
- College House Enterprises, LLC
- Conflux Books
- Construx Press
- Corey S. Scott
- CRC Press
- Createspace Independent Publishing Platform
- Crowood Press (UK)
- Deutscher Universitatsverlag
- Digital Press
- Diplom.de
- Diplomica Verlag
- Disserta Verlag
- Dr Naim Tahir Baig
- Dustin McNally
- Eastwood Harris Pty Ltd
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Editions Universitaires Europeennes
- Editorial Academica Espanola
- Edizioni Sapienza
- EDP Sciences
- Elowen Elliott
- Elsevier
- Elsevier Science
- Elsevier Science & Technology
- Engineering Management Institute
- Engineering Science Reference
- Evelyn McKnight
- Examicus Verlag
- Eyrolles Group
- Fingerpress
- For Dummies
- Francis Mukobi
- Frey Innovations, LLC
- Friends of ED
- Gabler Verlag
- Gatekeeper Press
- Genever Benning
- Springer
- 99m
- 12th Media Services
- A1 Entities, Inc.
- A K Peters
- A K PETERS
- Acad Pr
- Academic Press
- ACM
- ACM Books
- Adactin Group Pty Ltd
- Addison Wesley Publishing Company
- Addison-Wesley Professional
- Alan Grid
- Alaric Hemingway
- Amacom
- Amebarki Informatics
- American Society of Mechanical Engineers,U.S.
- Apple Academic Press
- Apress
- Archway Publishing
- Arcler Press
- Arm Education Media
- Artech
- Artech House Publishers
- Asatte Press, Inc.
- Ascent - Center for Technical Knowledge
- Ascent, Center for Technical Knowledge
- Ashwini Publishing
- Atlantic
- Auerbach P
- Auerbach Publications
- Authorhouse
- Authorhouse UK
- AV Akademikerverlag
- Bachelor + Master Publishing
- BCS, the Chartered Institute for IT
- Bedford Books
- Bellevue Publishers
- Ben Linders Publishing
- Bibliogov
- Biblioscholar
- Billding Software
- Birdrock Press
- Birkhauser
- Bloomsbury Publishing PLC
- Bod - Books on Demand
- Bookbaby
- Books on Demand
- Booksurge Publishing
- Bpb Publications
- BPB Publications
- Buch & Netz
- But-Hein
- Butterworth-Heinemann
- CABI
- Cadcamcae Works
- Cadcim Technologies
- Callisto Reference
- Cambridge
- Cambridge University Press
- Cengage Learning
- Central West Publishing
- Chapman and Hall
- Chapman Hall
- Charles M Dominquez
- Clanrye International
- College House Enterprises, LLC
- Collin&Br
- Conflux Books
- Construx Press
- Corey S. Scott
- CRC Press
- CRC/CH
- Createspace Independent Publishing Platform
- Crowood Press (UK)
- David Fult
- Deutscher Universitatsverlag
- Digital Press
- Diplom.de
- Diplomica Verlag
- Disserta Verlag
- Dr Naim Tahir Baig
- Dustin McNally
- Eastwood Harris Pty Ltd
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Editions Universitaires Europeennes
- Editorial Academica Espanola
- Edizioni Sapienza
- EDP Sciences
- Elowen Elliott
- Elsevier
- Elsevier Science
- Elsevier Science & Technology
- Engineering Management Institute
- Engineering Science Reference
- Evelyn McKnight
- Examicus Verlag
- Eyrolles Group
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Chemistry
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Earth-Science/Environment
- Education & Psychology
- Engineering
- General Books
- Graphic Design & Animation
- Mathematics and Statistics
- Photography
- Physics and Astronomy
- Religion and Philosophy
- Abdoulaye Gamatié
- Agostino Nuzzolo
- Ahmed Nabil Louahem m'Sabah
- Air Force Institute of Technology
- Akhil Khare
- Alan Holt
- Alexandru Forrai
- Alira Vexel
- Alistair Cockburn
- Allan Brito
- Amar Saraswat
- Amara Hawthorn
- Ammar Al-Ashmori
- Anatoly Perelmuter
- Andreas Knüpfer
- Andy Schürr
- Annabelle McLver
- Anthony F. Mills
- Anthony Fasano
- Arantza Irastorza Goni
- Arthur M. Langer
- Asadi
- Ascent - Center for Technical Knowledge
- Ascent -. Center for Technical Knowledge
- Autodesk
- Ben Wang
- Bernhard Rumpe
- Bernhard Steffen
- Bertrand Meyer
- Brian Allbee
- Bryan Jester
- Bui Minh Duc
- Caden Hawthorne
- Caldren Voss
- Charles Sprinter
- Cheng Siong Chin
- Clifford Liem
- Colin P. Williams
- Dana Petcu
- Darryl Jeffery
- David W. Embley
- Diana Schmidt
- Diego Silva
- Dietmar Hildenbrand
- Dirk Abel
- Djedjiga Mouheb
- Dmitry Vostokov
- Dominik Berner
- Doug Rosenberg
- Edward Lamie
- Egon Börger
- Ekbert Hering
- Eran Kinsbruner
- Ethan Thorpe
- Ezio Bartocci
- Fabrice Kordon
- Felicia Toliver
- Flávia Gonçalves Fernandes
- Fouad Soliman
- Franck Barbier
- Frank S. De Boer
- Gary Mak
- Gary T. Leavens
- Georg Herzwurm
- Gerard O'Regan
- Gerhard Versteegen
- Greyson Chesterfield
- Hollis Denning
- Iris Reinhartz-Berger
- Jean Marcel Mbikayi Mpanya
- Jennifer Harder
- John Derrick
- John Fitzgerald
- Jonathan Lalou
- Jonathan P. Bowen
- José Francisco Aldrete Enríquez
- Kashif Asad
- Kaushik Kumar
- Manfred Nagl
- Mike Hinchey
- Parbhat Gupta
- Paul C. Jorgensen
- Paul Tran
- Randy H. Shih
- Reid Harper
- Reiner Dumke
- Rhys Gallagher
- S. Gopalakrishnan
- Sandeep Koranne
- Scott W. Ambler
- Shikha Gautam
- Shivkumar V. Iyer
- Shraddha N. Zanjat
- Somnath Thigale
- Stefan Luckhaus
- Stephen Fleming
- Syed Adnan Afaq
- Thompson Carter
- Tiziana Margaria
- Vinod Veeramachaneni
Products
Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part II
Isil Dillig
Paperback
Current price
₹3,639
Original price
₹5,597
Original price
₹5,597
Original price
₹5,597
(-35%)
₹3,639
Current price
₹3,639
| /
• Author(s): Isil Dillig • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThe open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of t...
View full details
Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I
Isil Dillig
Paperback
Current price
₹3,639
Original price
₹5,597
Original price
₹5,597
Original price
₹5,597
(-35%)
₹3,639
Current price
₹3,639
| /
• Author(s): Isil Dillig • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverThis open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of ...
View full details
