Showing
1 - 5
results of
5
for search '
Möller, Bernhard
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Möller, Bernhard
Showing
1 - 5
results of
5
for search '
Möller, Bernhard
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Mathematics of Program Construction 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings /
Published 2002
Other Authors:
“…
Möller
,
Bernhard
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
2
Prospects for Hardware Foundations ESPRIT Working Group 8533 NADA - New Hardware Design Methods Survey Chapters /
Published 1998
Other Authors:
“…
Möller
,
Bernhard
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
Relational and Kleene-Algebraic Methods in Computer Science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kl...
Published 2004
Other Authors:
“…
Möller
,
Bernhard
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
4
Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene...
Published 2008
Other Authors:
“…
Möller
,
Bernhard
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
5
Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applicat...
Published 2009
Other Authors:
“…
Möller
,
Bernhard
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Mathematical Logic and Formal Languages
Mathematical logic
Computer logic
Computer science
Logics and Meanings of Programs
Mathematics
Software Engineering
Software engineering
Symbolic and Algebraic Manipulation
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer Science
Algebra
Computation by Abstract Devices
Computers
Discrete Mathematics in Computer Science
Logic Design
Logic design
Number Theory
Number theory
Order, Lattices, Ordered Algebraic Structures
Ordered algebraic structures
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών