14 results
Skip to content
Toggle navigation
VuFind
Keyword
-- Title
-- Author
-- Subject
-- Call Number
-- ISBN/ISSN
-- OCLC Number
Title A-Z
Author A-Z
Subject A-Z
Call Number A-Z
Prospector
Find
Advanced
0
items
(Full)
Your Account
Log Out
Login
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Keyword
-- Title
-- Author
-- Subject
-- Call Number
-- ISBN/ISSN
-- OCLC Number
Title A-Z
Author A-Z
Subject A-Z
Call Number A-Z
Prospector
Find
Advanced
Author
Schewe, Klaus-Dieter.
Showing
1
-
14
of
14
for search:
'Schewe, Klaus-Dieter.'
, query time: 0.13s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
1
Design and development of web information systems
by
Schewe
,
Klaus
-
Dieter
,
Published: Springer, 2019
Description: 1 online resource (xix, 590 pages) : illustrations (some color)
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
2
Semantics in data and knowledge bases : Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008 : revised selected papers
Published: Springer, 2008
Description: 1 online resource (x, 214 pages).
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
3
Correct software in web applications and web services
Published: Springer, 2015
Description: 1 online resource (xiv, 332 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
4
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-...
Published: Springer, 2014
Description: 1 online resource (xii, 161 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
5
Abstract state machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Published: Springer, 2014
Description: 1 online resource (xvi, 336 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
6
Conceptual modelling and its theoretical foundations : essays dedicated to Bernhard Thalheim on the occasion of his 60th birthday
Published: Springer, 2012
Description: 1 online resource (viii, 328 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
7
Semantics in data and knowledge bases : 4th international workshop, SDKB 2010, Bordeaux, France, July 5, 2010 : revised selected papers
Published: Springer, 2011
Description: 1 online resource (vi, 133 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
8
Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Published: Springer, 2016
Description: 1 online resource (xxi, 426 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
9
Semantics in data and knowledge bases : 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised selected papers
Published: Springer, 2013
Description: 1 online resource (vii, 197 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
10
Model and data engineering : 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings
Published: Springer, 2019
Description: 1 online resource (xv, 349 pages) : illustrations (some color).
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
11
Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday
Published: Springer, 2021
Description: 1 online resource (367 pages).
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
12
Transactions on large-scale data- and knowledge -centered systems XXX : special issue on cloud computing
Published: Springer, 2016
Description: 1 online resource.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
13
Hagenberg business process modelling method
Published: Springer, 2016
Description: 1 online resource (xii, 259 pages) : illustrations (some color)
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
14
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: Springer, 2016
Description: 1 online resource (xiv, 235 pages) : illustrations.
Located:
Loading...
Call Number:
Loading...
eBook
Loading...
Save to List
Saved in:
Select Page | with selected:
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Related Subjects
Machine theory
Database management
Databases
Machine learning
Ontologies (Information retrieval)
Semantic Web
Application software Development
B method (Computer science)
Cloud computing
Computer architecture
Computer logic
Computer networks
Computer programs Verification
Computer science
Computer software Verification
Data mining
Decision support systems
Formal methods (Computer science)
Internet
Knowledge management
Landing gear Computer simulation
Management information systems
Semantic computing
Simulation methods
Software engineering
System design
Web applications
Z (Computer program language)
×
Loading...