Showing
1 - 16
results of
16
for search '
Boer, Frank S. de
'
Skip to content
Toggle navigation
Čeština
Log Out
Institutional Login
Dear users, the library is open in restricted mode from December 18, 2020 until further notice. More information
here
.
All Fields
Title
Author
Subject heading
LCC call number
Old call number
ISBN/ISSN
Tag
System number
Find
Advanced Search
Home
Author
Boer, Frank S. de
Showing
1 - 16
results of
16
for search '
Boer, Frank S. de
'
, query time: 0.05s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures
Published:
2003
Located:
Loading...
Get full text
Book
Saved in:
Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures
Published:
2004
Located:
Loading...
Book
Loading...
Saved in:
Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures
Published:
2005
Located:
Loading...
Get full text
Book
Saved in:
Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures
Published:
2006
Located:
Loading...
Get full text
Book
Saved in:
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Published:
2008
Located:
Loading...
Get full text
eBook
Saved in:
FM 2015: formal methods : 20th international symposium, Oslo, Norway, June 24-26, 2015 : proceedings
Published:
2015
Located:
Loading...
Full-text
eBook
Saved in:
Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
Published:
2009
Located:
Loading...
Get full text
eBook
Saved in:
Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Published:
2012
Located:
Loading...
Get full text
eBook
Saved in:
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Published:
2013
Located:
Loading...
Get full text
eBook
Saved in:
Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Published:
2010
Located:
Loading...
Get full text
eBook
Saved in:
Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Published:
2013
Located:
Loading...
Get full text
eBook
Saved in:
Formal Methods for Components and Objects : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Published:
2006
Located:
Loading...
Get full text
eBook
Saved in:
Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
Published:
2007
Located:
Loading...
Get full text
eBook
Saved in:
Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures
Published:
2005
Located:
Loading...
Get full text
eBook
Saved in:
Formal methods for components and objects : 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, revised lectures
Published:
2008
Located:
Loading...
Full-text
eBook
Saved in:
Theoretical computer science : 7th IFIP TC 1/WG 2.2 international conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings
Published:
2012
Located:
Loading...
Full-text
eBook
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Related Subjects
softwarové inženýrství
informatika
operační systémy
programovací jazyky
programování
verifikace programu
matematická logika
objektově orientované programování
počítače
algoritmizace
formální jazyky
podnikové informační systémy
×
Loading...
