Zobrazuji výsledky
1 - 2
z
2
pro vyhledávání '
"Temporal Logic"
'
Přeskočit na obsah
VuFind
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é
Výsledky vyhledávání - "Temporal Logic"
Zobrazuji výsledky
1 - 2
z
2
pro vyhledávání '
"Temporal Logic"
'
, doba hledání: 0,03 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Signatury
Autor
Název
1
Načítá se...
Specification of software systems
Autor
Alagar, V S
Vydáno 2011
Témata:
“
...
Temporal
Logic
...
”
Signatura:
Načítá se...
Umístění:
Načítá se...
Printed Book
Načítá se...
2
Načítá se...
Temporal information processing technology and its applications
Autor
Tang, Yong
Vydáno 2010
Témata:
“
...
Temporal
logic
method...
”
Signatura:
Načítá se...
Umístění:
Načítá se...
Printed Book
Načítá se...
Vyhledávací nástroje:
RSS
—
Poslat emailem
Zpět
Upřesnit hledání
Instituce
CUSAT
2
Knihovna
University Library
2
Médium
Printed Book
2
Autor
Alagar, V S
1
Periyasamy, K
1
Tang, Yong
1
Jazyk
English
2
Rok vydání
Od:
do:
Načítá se...