MPG.eBooks - Search Results

Cover Image

1

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Published 2014

Springer Berlin Heidelberg

Cover Image

2

ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6...

Published 2014

Springer International Publishing

Cover Image

3

New Trends in Databases and Information Systems : ADBIS 2016 Short Papers and Workshops, BigDap, DCSA, DC, Prague, Czech Republic, August 28-31, 2016, Proceedings

Published 2016

Springer International Publishing

Cover Image

4

Design and Development of Web Information Systems

by Schewe, Klaus-Dieter, Thalheim, Bernhard
Published 2019

Springer Berlin Heidelberg

Cover Image

5

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX : Special Issue on Cloud Computing

Published 2016

Springer Berlin Heidelberg

Cover Image

6

Foundations of Information and Knowledge Systems : First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Cover Image

7

Model and Data Engineering : 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings

Published 2019

Springer International Publishing

Cover Image

8

Correct Software in Web Applications and Web Services

Published 2015

Springer International Publishing

Cover Image

9

Semantics in Databases : Second International Workshop Dagstuhl Castle, Germany, January 7–12, 2001 Revised Papers

by Bertossi, Leopoldo
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

10

Foundations of Information and Knowledge Systems : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20–23, 2002 Proceedings

by Eiter, Thomas
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

11

Foundations of Information and Knowledge Systems : First International Symposium, FoIKS 2000 Burg, Germany, February 14–17, 2000 Proceedings

by Schewe, Klaus-Dieter
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

12

Conceptual Modeling - ER 2007 : 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Cover Image

13

Web Information Systems Engineering - WISE 2008 : 9th International Conference, Auckland, New Zealand, September 1-3, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Cover Image

14

Semantics in Data and Knowledge Bases : 5th International Workshop SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers

Published 2013

Springer Berlin Heidelberg

Cover Image

15

Semantics in Databases : Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers

Published 2003

Springer Berlin Heidelberg

Cover Image

16

Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Published 2021

Springer International Publishing

Cover Image

17

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Published 2016

Springer International Publishing

Cover Image

18

Foundations of Information and Knowledge Systems : Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Cover Image

19

Fundamentals of Information Systems

Published 1999

Springer US

Cover Image

20

Database and Expert Systems Applications : 22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011, Proceedings, Part I

Published 2011

Springer Berlin Heidelberg

1
2