Zobrazuji výsledky
1 - 1
z
1
pro vyhledávání '
'
Přeskočit na obsah
Toggle navigation
VuFind
Váš účet
Odhlásit
Přihlásit
Jazyk
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
हिंदी
Vše
Název
Autor
Téma
Signatura
ISBN/ISSN
Tag
Hledat
Pokročilé
Zrušit filtry
Médium:
Konferenční příspěvek
Období:
2004
Oblast:
Bertinoro
Doporučená témata:
Formal methods (Computer science)
Zrušit filtry
Zobrazit filtry (4)
Médium:
Konferenční příspěvek
Období:
2004
Oblast:
Bertinoro
Doporučená témata:
Formal methods (Computer science)
Výsledky vyhledávání
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Commande en temps réel
1
Computer software
1
Computer systems
1
Echtzeitsystem
1
Formal methods (Computer science)
Formale Methode
1
Logiciel
1
více ...
Logiciels
1
Machine theory
1
Méthode formelle
1
Méthodes formelles (Informatique)
1
Programmation en temps réel
1
Real-time control
1
Real-time data processing
1
Real-time programming
1
Système informatique
1
Systèmes informatiques
1
Temps réel (Informatique)
1
Traitement en temps réel
1
Zeitbehafteter Automat
1
Zeitbewertetes Petri-Netz
1
Zeitdiskretes System
1
méně ...
Zobrazuji výsledky
1 - 1
z
1
pro vyhledávání '
'
, doba hledání: 0,07 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Signatury
Autor
Název
1
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro,...
Berlin ; New York : Springer, 2004
Signatura:
Načítá se...
Umístění:
Načítá se...
//IF NOT LOGGED IN - FORCE LOGIN ?>
Request
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Konferenční příspěvek
Kniha
Vyhledávací nástroje:
RSS
—
Poslat e-mailem
—
Uložit hledání
Zpět
Upřesnit hledání
Instituce
Rutgers University
1
Temple University
1
University of Pennsylvania
1
Villanova University
1
West Virginia University
1
Médium
Kniha
1
Konferenční příspěvek
Signatura
Q - Věda
1
Autor
Bernardo, Marco
1
Corradini, Flavio
1
International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy
1
Jazyk
English
1
Žánr
Conference papers and proceedings
1
Congresses
1
Congrès
1
Kongress
1
Období
2004
Oblast
Bertinoro
Bertinoro (2004)
1
Rok vydání
Od:
do:
Načítá se...