Showing
1 - 2
results of
2
Skip to content
VuFind
Book Bag:
0
items
(Full)
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
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search Results - "LNCS sublibrary, SL 1"
Search Results - "LNCS sublibrary, SL 1"
Suggested Topics within your search.
Suggested Topics within your search.
Computer science
1
Computer simulation
1
Formal methods (Computer science)
1
Temporal automata
1
Showing
1 - 2
results of
2
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Fundamentals of computation theory 16th international symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007 : proceedings
Published 2007
Call Number:
Loading…
Located:
Loading…
Click Here to View Status and Holdings.
Unknown
Add to Book Bag
Remove from Book Bag
Save to List
Saved in:
2
Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings
Published 2010
Call Number:
Loading…
Located:
Loading…
Click Here to View Status and Holdings.
Conference Proceeding
Add to Book Bag
Remove from Book Bag
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Format
Conference Proceeding
1 results
1
Unknown
1 results
1
Call Number
Q - Science
2 results
2
Author
Chatterjee, Krishnendu
1 results
1
Csuhaj-Varju, E.
1 results
1
Esik, Zoltan 1951-
1 results
1
FCT 2007
1 results
1
FORMATS 2010 Klosterneuburg, Austria
1 results
1
Henzinger, T. A. Thomas A.
1 results
1
Genre
Congresses
2 results
2
Year of Publication
From:
To: