Filters
- Springer
- 8080 Books
- 17 Books Publishing
- 3dtech
- 64 Ink
- 1423 Interests LLC
- 1st Book Library
- 5starcooks
- 12th Media Services
- 3ichael 7ambert
- 978-83-966847-2-1
- A K PETERS
- A K Peters
- Aaip
- AB Publisher LLC
- Abbott Properties
- ABDO & Daughters
- Ability First Limited
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrams Image
- Abrazol Publishing
- Academic Press
- Accessibility Dot Net, Inc.
- ACM
- ACM Books
- Acorn Books
- Acorn Classics
- ADA Protosmith
- Adam Hott
- ADavis Publishing
- Addison-Wesley Professional
- Adesh Silva
- Admslc
- Adobe Developer Library
- Adobe Press
- Adventure Times Narratives
- Afriyie Publishing
- Agencia Brasileira Do ISBN
- Aiden Phillips
- Akhira
- ALA Editions
- ALA Neal-Schuman
- Aladdin Paperbacks
- Alan Grid
- Alaric Hemingway
- Alephsphere Publishing
- Alexander Kenan
- Alfonso Floyd
- Ali Cehreli
- AMA
- Amazing Books
- Amberley Publishing
- Ambrosius Publishing
- American Academic Publisher
- American Book Group - Ra-Ma
- American Book Group-Rama
- American College of Obstetricians and Gynecol
- American Library Association
- American Medical Association Press
- American Society of Civil Engineers
- American Society of Mechanical Engineers
- Amicus
- Amicus Ink
- Amicus Learning
- Anchor Academic Publishing
- Andrews UK Limited
- Andrzej Wojtowicz
- Angkor
- Annabooks, LLC.
- Anson Street Press
- Anthea Peries
- Anurag Anurag
- Anurag Pandey
- Any Book That Inspires a Division of Twelve:
- Appjungle.Net LLC
- Apple Academic Press
- Applecored.Net
- Apress
- APress
- April Peter
- Archer Paul
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arief Muinnudin
- Arizona Business Alliance
- Arm Education Media
- Artech House Publishers
- Artima Inc
- Ascended Ideas
- Asian Culture Press
- Association for Computing Machinery
- Atlantic
- Atlantic Monthly Press
- Atlantic Publishers & Distributors (P) Ltd
- Atropos Press
- Auerbach Publications
- Auris
- Austin Macauley
- Springer
- 8080 Books
- 17 Books Publishing
- 3dtech
- 64 Ink
- 1423 Interests LLC
- 1st Book Library
- 5starcooks
- 12th Media Services
- 3ichael 7ambert
- 978-83-966847-2-1
- A K PETERS
- A K Peters
- A K Peters/CRC Press
- Aaip
- AB Publisher LLC
- Abbott Properties
- ABDO & Daughters
- Ability First Limited
- Abiprod Pty Ltd
- Ablex Publishing Corporation
- Abrams Image
- Abrazol Publishing
- Acad Pr
- Academic Press
- Accessibility Dot Net, Inc.
- ACM
- ACM Books
- Acorn Books
- Acorn Classics
- ADA Protosmith
- Adam Hott
- ADavis Publishing
- Addison-Wesley
- Addison-Wesley Professional
- AddisWesle
- Adesh Silva
- Admslc
- Adobe Developer Library
- Adobe Press
- Adventure Times Narratives
- Afriyie Publishing
- Agencia Brasileira Do ISBN
- Aiden Phillips
- Akhira
- ALA Editions
- ALA Neal-Schuman
- Aladdin Paperbacks
- Alan Grid
- Alaric Hemingway
- Alephsphere Publishing
- Alexander Kenan
- Alfonso Floyd
- Ali Cehreli
- AMA
- Amazing Books
- Amberley Publishing
- Ambrosius Publishing
- American Academic Publisher
- American Book Group - Ra-Ma
- American Book Group-Rama
- American College of Obstetricians and Gynecol
- American Library Association
- American Medical Association Press
- American Society of Civil Engineers
- American Society of Mechanical Engineers
- Amicus
- Amicus Ink
- Amicus Learning
- Anchor Academic Publishing
- Andrews UK Limited
- Andrzej Wojtowicz
- Angkor
- Annabooks, LLC.
- Anson Street Press
- Anthea Peries
- Anurag Anurag
- Anurag Pandey
- Any Book That Inspires a Division of Twelve:
- Appjungle.Net LLC
- Apple Academic Press
- Applecored.Net
- Apress
- APress
- April Peter
- Archer Paul
- Arcler Press
- Arcturus Editions
- Arcturus Publishing Ltd
- Arief Muinnudin
- Arizona Business Alliance
- Arm Education Media
- Artech House Publishers
- Artima Inc
- Ascended Ideas
- Asian Culture Press
- Association for Computing Machinery
- Atlantic
- Atlantic Monthly Press
- Atlantis Press
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Communication, Mass Media and Journalism
- Computer Science and Information Technology
- Creative Writing, Fiction
- Dictionary, Thesaurus, Encyclopedia & Atlas
- Earth-Science/Environment
- Education & Psychology
- Engineering
- English Literature
- General Books
- Graphic Design & Animation
- History
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Physics and Astronomy
- Religion and Philosophy
- Tourism, Travel Guide & Hospitality
- Ajit Singh
- Al Sweigart
- Alan Grid
- Alexander Cane
- Alexander Meduna
- Amara Hawthorn
- Andrew Adamatzky
- Andy Vickler
- Anshuman Mishra
- Atif Memon
- Bill Martens
- Bob Mather
- Booker Blunt
- Cay Horstmann
- Cesar Herrera
- Charlie Masterson
- Christian Ullenboom
- Cliff B. Jones
- Clive Gifford
- Computer Programming Academy
- Cyberpunk Architects
- David Matuszek
- Devon Coder
- Dines Bjørner
- DK
- Echo Elise González
- Ekkehard Kaier
- Elian Greystone
- Elizabeth Noll
- Felicia Toliver
- Frank Dehne
- Gareth Thomas
- Gerard O'Regan
- Greyson Chesterfield
- Haider Koele
- Harry Fairhead
- Herbert Schildt
- Information Reso Management Association
- Ivo Balbaert
- Jamie Flux
- Jill Sherman
- Joel Murach
- John Paul Mueller
- John Smiley
- John Vince
- Juergen Pintaske
- Julio Sanchez
- Julitta Korol
- Kameron Hussain
- Kenwright
- Khaled Elleithy
- Klaus Miesenberger
- Kohei Arai
- Krzysztof R. Apt
- Larry Jones
- Lucien Sina
- Manfred Broy
- Marco T. Morazán
- Mark Greenshields
- Matthew D. Passmore
- Max Wainewright
- Maxwell Reed
- Maxwell Vector
- Michael A. Champagne
- Miguel Farmer
- Mike James
- Mike McGrath
- Oscar R. Frost
- Oscar Toledo Gutierrez
- Oswald Campesato
- Paul Deitel
- Phil Bagge
- Philip Conrod
- Pythquill Publishing
- Radek Silhavy
- Rafael Sanders
- Rajaraman V.
- Richard Edwards
- Rick Riolo
- Robert C. Matthews
- Robert Campbell
- Robin Nixon
- Roger Lee
- Ryan Turner
- Sam Key
- Source Code Society
- Sqlpy Wizard
- Steve Jones
- Sufyan Bin Uzayr
- Suyel Namasudra
- Tarek Sobh
- Theophilus Edet
- Thompson Carter
- Tom Halt
- Tony Gaddis
- Vaskaran Sarcar
- Wallace Wang
- Wolfgang Banzhaf
- Yang Hu
- Ying Bai
Products
Software Engineering 2: Specification of Systems and Languages
Dines Bjørner
Hardcover
• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringThis second volume looks at the principles and techniques of modeling spatial and simple temporal phenomena, and such specialized topics a...
View full detailsSoftware Engineering 2: Specification of Systems and Languages
Dines Bjørner
Paperback
• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: Computer EngineeringThis second volume looks at the principles and techniques of modeling spatial and simple temporal phenomena, and such specialized topics a...
View full detailsSoftware Engineering 1: Abstraction and Modelling
Dines Bjørner
Hardcover
• 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 detailsSoftware Engineering 1: Abstraction and Modelling
Dines Bjørner
Paperback
• 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 detailsDomain Science and Engineering: A Foundation for Software Development
Dines Bjørner
Paperback
• 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 detailsFormal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding
Dines Bjørner, Manfred Broy, Igor V. Pottosin
Paperback
• Author(s): Dines Bjørner | Manfred Broy | Igor V. Pottosin • Publisher: Springer • Publisher Imprint: Springer • BISAC: Logic DesignThis volume comprises the papers selected for presentation at the international conference on Formal Methods in ...
View full detailsDomain Science and Engineering: A Foundation for Software Development
Dines Bjørner
Hardcover
• 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 detailsPerspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Pr
Dines Bjørner
Paperback
• Author(s): Dines Bjørner • Publisher: Springer • Publisher Imprint: Springer • BISAC: GeneralThis book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, hel...
View full detailsPerspectives 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
• 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