Showing
1 - 3
results of
3
for search '
Schätz, Bernhard
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Schätz, Bernhard
Showing
1 - 3
results of
3
for search '
Schätz, Bernhard
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings /
Published 2011
Other Authors:
“…
Schätz
,
Bernhard
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
2
Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /
Published 2010
Other Authors:
“…
Schätz
,
Bernhard
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings /
Published 2013
Other Authors:
“…
Schätz
,
Bernhard
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computer Science
Computer logic
Computer science
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Software Engineering
Software engineering
Computer programming
Programming Techniques
Computer simulation
Computer system failures
Computers
Management information systems
Management of Computing and Information Systems
Mathematical Logic and Formal Languages
Mathematical logic
Simulation and Modeling
Software Engineering/Programming and Operating Systems
Special Purpose and Application-Based Systems
Special purpose computers
System Performance and Evaluation
Theory of Computation
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών