Filters
- Springer
- 17 Books Publishing
- 3dtech
- 64 Ink
- 1423 Interests LLC
- 1st Book Library
- 5starcooks
- 12th Media Services
- 3ichael 7ambert
- 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 Press
- Adventure Times Narratives
- Afriyie Publishing
- Agencia Brasileira Do ISBN
- Aiden Phillips
- Akhira
- ALA Editions
- Aladdin Paperbacks
- Alan Grid
- Alaric Hemingway
- Alephsphere Publishing
- Alfonso Floyd
- Ali Cehreli
- Amazing Books
- Amberley Publishing
- Ambrosius Publishing
- American Academic Publisher
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Library Association
- American Medical Association Press
- American Society of Civil Engineers
- American Society of Mechanical Engineers
- 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
- Auerbach Publications
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Automation Consulting, LLC
- Av2
- Azhar Sario Dubai
- Azhar Sario Hungary
- BCS, the Chartered Institute for It
- BCS, the Chartered Institute for IT
- BPB Publications
- Springer
- 17 Books Publishing
- 3dtech
- 64 Ink
- 1423 Interests LLC
- 1st Book Library
- 5starcooks
- 12th Media Services
- 3ichael 7ambert
- 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 Press
- Adventure Times Narratives
- Afriyie Publishing
- Agencia Brasileira Do ISBN
- Aiden Phillips
- Akhira
- ALA Editions
- Aladdin Paperbacks
- Alan Grid
- Alaric Hemingway
- Alephsphere Publishing
- Alfonso Floyd
- Ali Cehreli
- Amazing Books
- Amberley Publishing
- Ambrosius Publishing
- American Academic Publisher
- American Book Group - Ra-Ma
- American Book Group-Rama
- American Library Association
- American Medical Association Press
- American Society of Civil Engineers
- American Society of Mechanical Engineers
- 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
- Auerbach P
- Auerbach Publications
- Austin Macauley
- Authorhouse
- Authorhouse UK
- Authors Choice Press
- Automation Consulting, LLC
- Av2
- Azhar Sario Dubai
- Architecture & Interior Designs
- Bio-Science and Agriculture
- Business Management
- Computer Science and Information Technology
- Creative Writing, Fiction
- Earth-Science/Environment
- Education & Psychology
- Engineering
- English Literature
- General Books
- Graphic Design & Animation
- History
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Physics and Astronomy
- Religion and Philosophy
- Tourism, Travel Guide & Hospitality
- A. de Quattro
- Ajit Singh
- Alan Grid
- Alexander Cane
- Amara Hawthorn
- Andrew Adamatzky
- Andrew Albert
- Andy Vickler
- Anna Ursyn
- Anshuman Mishra
- Atif Memon
- Bill Martens
- Bob Mather
- Booker Blunt
- Boozman Richard
- Caden Hawthorne
- Cay Horstmann
- Cesar Herrera
- Charlie Masterson
- Cliff B. Jones
- Clive Gifford
- Computer Programming Academy
- Cyberpunk Architects
- D. James Benton
- David Matuszek
- Devon Coder
- Dines Bjørner
- Donald Knuth
- Edward R. DeForest
- Ekkehard Kaier
- Elian Greystone
- F. L. Bauer
- Felicia Toliver
- Flemming Nielson
- Frahaan Hussain
- Frank Dehne
- Gareth Thomas
- Georg P. Loczewski
- Gerard O'Regan
- Greyson Chesterfield
- Haider Koele
- Harry Fairhead
- Herbert Schildt
- Information Reso Management Association
- Ivo Balbaert
- Jill Sherman
- John Paul Mueller
- John Smiley
- John Vince
- Joyce Farrell
- Juergen Pintaske
- Julio Sanchez
- Julitta Korol
- Kameron Hussain
- Kenwright
- Klaus Miesenberger
- Larry Jones
- Leo Code
- Lucien Sina
- Manfred Broy
- Marvin Zelkowitz
- Matthew D. Passmore
- Max Wainewright
- Maxwell Reed
- Maxwell Vector
- Michael A. Champagne
- Mike James
- Mike McGrath
- Nathan Clark
- Nathan Westwood
- Oscar R. Frost
- Oscar Toledo Gutierrez
- Oswald Campesato
- Paul Deitel
- Phil Bagge
- Pythquill Publishing
- Rafael Sanders
- Reactive Publishing
- Reema Thareja
- Richard Edwards
- Rick Riolo
- Robert C. Matthews
- Robert Campbell
- Robin Nixon
- Roger Lee
- Ryan Turner
- Sam Key
- Sqlpy Wizard
- Steve Jones
- Sufyan Bin Uzayr
- Suyel Namasudra
- Theophilus Edet
- Thompson Carter
- Tom Halt
- Tony Gaddis
- Veljko Milutinovic
- Vic Broquard
- Wolfgang Banzhaf
- X. Y. Wang
- Yang Hu
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 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 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 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
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 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 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 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