Zobrazuji výsledky
1 - 1
z
1
pro vyhledávání '
(
'
Přeskočit na obsah
Váš účet
Odhlásit
Přihlášení prostřednictvím instituce
Jazyk
English
Te Reo Māori
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
Klíčové slovo
Kurz
Název
Název časopisu
Autor
Téma
ISBN/ISSN
Signatura
Call Number (LC)
Call Number (Dewey)
Call Number (Local)
Bib#
Čárový kód
Edice
Abecední procházení: Podle názvu
Abecední procházení: Podle autora
Abecední procházení: Podle tématu
Abecední procházení: By LC Call Number
Abecední procházení: By Dewey Call Number
Hledat
Pokročilé
Při zrušení filtru bude stránka obnovena.
Použité filtry:
Autor:
Odstranit filtr
SpringerLink (Online service)
Období:
Odstranit filtr
1937-
Při zrušení filtru bude stránka obnovena.
Zobrazit filtry (2)
Autor:
Odstranit filtr
SpringerLink (Online service)
Období:
Odstranit filtr
1937-
UC Library
Vyhledávání v katalogu
Výsledky vyhledávání - (
Zobrazuji výsledky
1 - 1
z
1
pro vyhledávání '
(
'
Upřesnit hledání
Počet výsledků na stránku
10
20
40
60
80
100
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Signatury
Autor
Název
Vyberte všechny položky na stránce
E-mail
Exportovat
Vytisknout
Uložit
Vybrat výsledek číslo 1
1
Formal methods and hybrid real-time systems essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays /
Vydáno 2007
Umístění
Načítá se...
Signatura
Načítá se...
Connect to electronic resource
Elektronický zdroj
E-kniha
Přidat do oblíbených
Uloženo v:
Vyberte všechny položky na stránce
E-mail
Exportovat
Vytisknout
Uložit
Vyhledávací nástroje:
RSS
Poslat e-mailem
Uložit hledání
Zpět
Upřesnit hledání
Při vybrání filtru bude stránka obnovena.
Médium
Elektronický zdroj
1 výsledků
1
E-kniha
1 výsledků
1
Rok vydání
Od:
do:
Doporučená témata
Formal methods (Computer science)
1 výsledků
1
Real-time data processing
1 výsledků
1
Žánr
Congresses
1 výsledků
1
Období
1937-
Jazyk
English
1 výsledků
1
Autor
Bjørner, D. (Dines), 1937-
1 výsledků
1
Chaochen, Zhou
1 výsledků
1
Jones, C. B. (Cliff B.), 1944-
1 výsledků
1
Liu, Zhiming, 1961-
1 výsledků
1
SpringerLink (Online service)
Woodcock, Jim
1 výsledků
1
Signatura
Q - Věda
1 výsledků
1
Načítá se...