Search results for “[subject: computers-software]”
Filters
- 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
- Bayshop (Generis Publishing)
- BCS, the Chartered Institute for It
- Bdtoolbox.Org
- Beelectronic
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Birkhauser
- Bloom Books
- Bloomsbury
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Blue River Press
- Blurb
- Bmj Publishing Group
- Bod - Books on Demand
- Bottom of the Hill Publishing
- Boydell & Brewer
- 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
- Byul Hur
- C&T Publishing
- CABI
- CBS Publishers & Distributors Pvt. Ltd.
- CCB Publishing
- CRC 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
- Bayshop (Generis Publishing)
- BCS, the Chartered Institute for It
- Bdtoolbox.Org
- Beelectronic
- Bentham Science Publishers
- Berghahn Books
- Bibliogov
- Biblioscholar
- Birkhauser
- Bloom Books
- Bloomsbury Academic
- Bloomsbury Publishing PLC
- Blue River Press
- Blurb
- Bmj Publishing Group
- Bod - Books on Demand
- Bottom of the Hill Publishing
- Boydell & Brewer
- 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
- 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
- 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
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- Writing/Research Methods
- Abhinandan H. Patil
- Adrien Bartoli
- Ahmed Seffah
- Alexander Heifetz
- Alfonso J. Kinglow
- Alistair G. Sutcliffe
- Álvaro Rocha
- Anara Baimagambetova
- Andrea Vedaldi
- Andreas Knüpfer
- Andreas Varga
- Andrew Fitzgibbon
- Angel Arias
- Anonymous
- Ascent -. Center for Technical Knowledge
- Asha Sohal
- Ata Elahi
- Atif Memon
- Autodesk
- Axton Nexus
- Bernhard Steffen
- Borko Furht
- Bruno Buchberger
- Cadcim Technologies
- Cesar Herrera
- Chris Roda
- Christopher Goodman
- Dan Gookin
- David D. Zhang
- David Fleet
- Dines Bjørner
- Dmitry Vostokov
- Elian Greystone
- Elmozamil Elamir
- Felicia Toliver
- Franck Barbier
- G. Jezic
- Gerard O'Regan
- Godspower Ekuobase
- Halimah Badioze Zaman
- Hans Petter Langtangen
- Hans-Joachim Bungartz
- Hartmut Ehrig
- Herbert Spencer
- James Bernstein
- Janusz S. Kowalik
- Joaquim Filipe
- José Cordeiro
- Jyoti Choudrie
- Kalaimani S
- Kesav V. Nori
- Khaled Elleithy
- Kuinam J. Kim
- Landmark Publications
- Laura Leal-Taixé
- Lee Stemkoski
- Lijun Zhang
- Louis Young
- Manfred Broy
- Marco Bernardo
- Marcondes Dourado
- Margarita N. Favorskaya
- Maria Virvou
- Martin Wirsing
- Matthew N. O. Sadiku
- Michael M. Resch
- Miguel Botto-Tobar
- Miguel F. Acevedo
- Muhammad Ashraf Mokhrizal
- Murat Yilmaz
- Nadia Bouaoudia-Madi
- Nasa Technical Reports Server (Ntrs)
- Nicola Bellini
- Nikos Mastorakis
- No Contributor
- Noah Webster
- Odin L. Jurkowski
- Osvaldo Gervasi
- P. K. Kapur
- Patricia Pesado
- Paul Tran
- Pradeep Kumar Singh
- Prof Sham Tickoo Purdue Univ
- Puja Acharya
- Radek Silhavy
- Rahul K. Patel
- Rainer Keller
- Roger Lee
- S. L. Jany Shabu
- S. Sumathi
- Sabine Roller
- Samuel Martin Miller
- Saumya Shukla
- Sivarama P. Dandamudi
- Suresh Chandra Satapathy
- Suyel Namasudra
- Tarek Sobh
- Thompson Carter
- Weixia Xu
- Zaigham Mahmood
Products
Refinement: Semantics, Languages and Applications
John Derrick
Hardcover
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): John Derrick • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralFrom the Back CoverRefinement is one of the cornerstones of a formal approach to software engineering. Refineme...
View full details
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, Abz 2012, Pisa, Italy, June 18-21, 2012. Proceedings
John Derrick, John Fitzgerald, Stefania Gnesi
Paperback
Current price
₹5,758
Original price
₹6,910
Original price
₹6,910
Original price
₹6,910
(-17%)
₹5,758
Current price
₹5,758
| /
• Author(s): John Derrick | John Fitzgerald | Stefania Gnesi • Publisher: Springer • Publisher Imprint: Springer • BISAC: Data Science - GeneralThis book constitutes the proceedings of the Third International Conference on Abstract State Machines...
View full details
Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings
John Derrick, Stefania Gnesi, Diego Latella
Paperback
Current price
₹5,743
Original price
₹6,892
Original price
₹6,892
Original price
₹6,892
(-17%)
₹5,743
Current price
₹5,743
| /
• Author(s): John Derrick | Stefania Gnesi | Diego Latella • Publisher: Springer • Publisher Imprint: Springer • BISAC: LogicThis book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012...
View full details
