Showing
1 - 5
results of
5
for search '
Roever, Willem-Paul de
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Roever, Willem-Paul de
Showing
1 - 5
results of
5
for search '
Roever, Willem-Paul de
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Compositionality: The Significant Difference International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures /
Published 1998
Other Authors:
“…
Roever
,
Willem
-
Paul
de
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
2
Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures /
Published 2006
Other Authors:
“…
Roever
,
Willem
-
Paul
de
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
3
Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
Published 2008
Other Authors:
“…
Roever
,
Willem
-
Paul
de
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
4
Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures /
Published 2005
Other Authors:
“…
Roever
,
Willem
-
Paul
de
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
5
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
Published 2007
Other Authors:
“…
Roever
,
Willem
-
Paul
de
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computer logic
Logics and Meanings of Programs
Software Engineering
Software engineering
Computer Science
Computer science
Operating Systems
Operating systems (Computers)
Programming Languages, Compilers, Interpreters
Programming languages (Electronic computers)
Software Engineering/Programming and Operating Systems
Artificial Intelligence
Artificial intelligence
Computers
Mathematical Logic and Formal Languages
Mathematical logic
Theory of Computation
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών