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
- Alpha Edition
- 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
- Bloom Books
- 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
- 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
- Alpha Edition
- 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
- Bloom Books
- 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
- 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
- Adrien Bartoli
- Ahmed Seffah
- Alberto del Bimbo
- Alexander Heifetz
- Alfonso J. Kinglow
- Andrea Vedaldi
- Andreas Sofroniou
- Anonymous
- Asha Sohal
- Azizah Abd Manaf
- Bill Martens
- Boris Shishkov
- Borko Furht
- Brian Houghton Hodgson
- Cesar Herrera
- Christopher Goodman
- Chunfeng Lian
- David A. Patterson
- David Fleet
- David Jin
- Dieter Wecker
- Dmitry Vostokov
- Edward Black Greenshields
- Ekkehard Kaier
- Elian Greystone
- F. L. Bauer
- Felicia Toliver
- Gennady Sushko
- Gerard O'Regan
- Godspower Ekuobase
- Gordan Jezic
- Gregorio Martinez Perez
- Hans Petter Langtangen
- Hartmut Ehrig
- Hasso Plattner
- Huazhong Liu
- Igor Schagaev
- Inna Birillo
- Ira H. Bernstein
- Jadeja Indrajitsinh
- James F. Peters
- James Floyd Kelly
- Jasni Mohamad Zain
- Joaquim Filipe
- John Paul Mueller
- José Antonio Bernal López
- José Cordeiro
- Jyoti Choudrie
- Kenwright
- Laura Leal-Taixé
- Leonid Karlinsky
- Lynn Smith
- Manfred Broy
- Marco Aiello
- Marco Bernardo
- Marcondes Dourado
- Maria Virvou
- Matthew N. O. Sadiku
- Mehmet Sahinoglu
- Michael M. Resch
- Miguel Botto-Tobar
- Mohammad Kaleem Galamali
- Muhammad Ashraf Mokhrizal
- Murat Yilmaz
- Murilo G. Coutinho
- Nadia Magnenat-Thalmann
- Navdeep Kochhar
- Osvaldo Gervasi
- Oxford University Press
- Paramjit Kaur
- Paul Herrmann
- Paul Schmitz
- Pierpaolo Degano
- Prof Sham Tickoo Purdue Univ
- Radek Silhavy
- Raghunath Nambiar
- Ralf Denzer
- Ramu Vankudoth
- Randy Shih
- Rituparna Chaki
- Roger Lee
- Roman Wyrzykowski
- Roy Latham
- S. Sumathi
- Shadi Zeinali
- Shai Avidan
- Steve McClure
- Suresh Chandra Satapathy
- Tarek Sobh
- Thomas Driemeyer
- Thompson Carter
- U. S. Department of Justice
- United States Department of Agriculture
- Victor Malyshkin
- Vittorio Ferrari
- W. Brauer
- Walid Taha
- Wang
- Wei Lu
- Weixia Xu
Products
Domain Science and Engineering: A Foundation for Software Development
Dines Bjørner
Paperback
Current price
₹12,371
Original price
₹19,031
Original price
₹19,031
Original price
₹19,031
(-35%)
₹12,371
Current price
₹12,371
| /
• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - GeneralFrom the Back CoverIn this book the author explains domain engineering and the underlying science, and he then shows how we can derive re...
View full details
Software Engineering 3: Domains, Requirements, and Software Design
Dines Bjørner
Paperback
Current price
₹8,005
Original price
₹12,314
Original price
₹12,314
Original price
₹12,314
(-35%)
₹8,005
Current price
₹8,005
| /
• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringThis third volume examines the basic principles and techniques of overall software development, from domains via requirements to software ...
View full details
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
Dines Bjørner, Cliff Jones, Michael Mac an Airchinnigh
Paperback
Current price
₹5,764
Original price
₹6,917
Original price
₹6,917
Original price
₹6,917
(-17%)
₹5,764
Current price
₹5,764
| /
• Author(s): Dines Bjørner | Cliff Jones | Michael Mac an Airchinnigh • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - General
Software Engineering 1: Abstraction and Modelling
Dines Bjørner
Paperback
Current price
₹6,185
Original price
₹9,515
Original price
₹9,515
Original price
₹9,515
(-35%)
₹6,185
Current price
₹6,185
| /
• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringThis well written first volume covers the basic principles and techniques of abstraction and modeling. It starts by providing the reader w...
View full details
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001,
Dines Bjørner, Manfred Broy, Alexandre Zamulin
Paperback
Current price
₹5,882
Original price
₹7,059
Original price
₹7,059
Original price
₹7,059
(-17%)
₹5,882
Current price
₹5,882
| /
• Author(s): Dines Bjørner | Manfred Broy | Alexandre Zamulin • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralThis book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Confe...
View full details
