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
- 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 Learning & Development Limited
- 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
- Bpb Publications
- BPB Publications
- Butterworth-Heinemann
- CABI
- Cadcamcae Works
- Cadcim Technologies
- Callisto Reference
- Cambridge University Press
- Cambridge UP
- Canongate Books
- 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
- 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
- First Edition
- For Dummies
- Francis Mukobi
- Friends of ED
- Gabler Verlag
- Gatekeeper Press
- Genever Benning
- Goodheart-Wilcox Publisher
- Greenwood
- 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
- 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 Learning & Development Limited
- 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
- BPB Publications
- Bpb Publications
- But-Hein
- Butterworth-Heinemann
- CABI
- Cadcamcae Works
- Cadcim Technologies
- Callisto Reference
- Cambridge
- Cambridge University Press
- Canongate Books
- 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
- 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
- First Edition
- 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
- Tourism, Travel Guide & Hospitality
- Abdoulaye Gamatié
- Abdulsattar Abdullah Hamad
- Adair Dingle
- Ahmed Nabil Louahem m'Sabah
- Air Force Institute of Technology
- Akira Hanako
- Alaeddine Hmidi
- Alira Vexel
- Alistair Cockburn
- Amar Saraswat
- Amara Hawthorn
- Anatoly Perelmuter
- Andrea Janes
- Andreas Knüpfer
- Andrés Díaz Lantada
- Andrew Johnston
- Anton Liebetrau
- Anu G. Aggarwal
- Arantza Irastorza Goni
- Asadi
- Ascent - Center for Technical Knowledge
- Ascent -. Center for Technical Knowledge
- Autodesk
- Ayaz Isazadeh
- Benoit Combemale
- Bernhard Rumpe
- Bertrand Meyer
- Booker Blunt
- Caldren Voss
- Chandrasekar Vuppalapati
- Charles Sprinter
- Cheng Siong Chin
- Christodoulos A. Floudas
- Clifford Liem
- Codingtmd
- Conrad Matschoß
- Dennis Wee Keong Neo
- Diana Schmidt
- Diego Silva
- Dirk Abel
- Dmitry Vostokov
- Dominik Berner
- Eckhart Hanser
- Egon Börger
- Elian Greystone
- Eran Kinsbruner
- Ethan Thorpe
- Fabrice Kordon
- Farzin Asadi
- Felicia Toliver
- Felix Kossak
- Ferdinand Schäfer
- Flávia Gonçalves Fernandes
- Fouad Soliman
- Frank Oppenheimer
- Frank S. De Boer
- Gary Gruver
- Gaurav Verma
- Gerard O'Regan
- Gerhard Versteegen
- Gordon B. Bach
- Graeme Arthur Britton
- Greg Anthony
- Gregory Junker
- Greyson Chesterfield
- Haim Kilov
- Han Van Loon
- Hollis Denning
- I. Ben-Shaul
- Information Reso Management Association
- Iris Reinhartz-Berger
- Jimmy Rolando Molina Ríos
- John Ferguson Smart
- Jonathan Lalou
- Jörg Becker
- José Francisco Aldrete Enríquez
- Kalman Toth
- Laith Habeeb
- Landen Howe
- Lijun Zhang
- Michel Bidoit
- Parbhat Gupta
- Paul Tran
- Randy H. Shih
- Reid Harper
- Reiner Dumke
- Richard M. Stallman
- Rosa Imelda García Chi
- S. Gopalakrishnan
- S. Sumathi
- Scott Ambler
- Scott W. Ambler
- Sergey V. Zykov
- Sharmili Kc
- Singh
- Somnath Thigale
- Stephen Fleming
- Thompson Carter
- Tiziana Margaria
- Vinod Veeramachaneni
Products
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Ahmed Bouajjani, Wei-Ngan Chin
Paperback
Current price
₹5,766
Original price
₹6,920
Original price
₹6,920
Original price
₹6,920
(-17%)
₹5,766
Current price
₹5,766
| /
• Author(s): Ahmed Bouajjani | Wei-Ngan Chin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralA book that constitutes the refereed proceedings of the 8th International Symposium on Autom...
View full details
Automated Technology for Verification and Analysis: 20th International Symposium, Atva 2022, Virtual Event, October 25-28, 2022, Proceedings
Ahmed Bouajjani
Paperback
Current price
₹5,458
Original price
₹8,396
Original price
₹8,396
Original price
₹8,396
(-35%)
₹5,458
Current price
₹5,458
| /
• Author(s): Ahmed Bouajjani • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology f...
View full details
