Výsledky
1 - 9
z
9
pro vyhledávání '
'
Přeskočit na obsah
Váš názor
Váš účet
Odhlásit
Přihlášení
English
Informace o aktuálním provozu knihoven sledujte na jejich
stránkách
.
Vše
Název
Autor
Téma
ISBN/ISSN
Signatura
Čárový kód
Systémové číslo
Hledat
Pokročilé vyhledávání
Pokročilé vyhledávání
Zachovat současné nastavení filtrů
author_facet:"Woodcock, Jim, 1956-"
Vyhledávání:
Výsledky
1 - 9
z
9
pro vyhledávání '
'
, doba hledání: 0,02 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Autor
Název
1
FM '99 - Formal methods : World Congress on Formal Methods in the Development of Computing Systems : Toulouse, France, September 20-24, 1999 : proceedings. Vol. 1 /
Vydáno 1999
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
2
FM '99 - Formal methods : World Congress on Formal Methods in the Development of Computing Systems : Toulouse, France, September 20-24, 1999 : proceedings. Vol. 2 /
Vydáno 1999
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
3
Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings /
Vydáno 2003
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
4
Theoretical aspects of computing - ICTAC 2007 : 4th International Colloquium : Macao, China, September 26-28, 2007 : proceedings /
Vydáno 2007
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
5
Domain modeling and the duration calculus : international training school : Shanghai, China, September 17-21, 2007 : advanced lectures /
Vydáno 2007
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
6
Formal methods and hybrid real-time systems : essays in honour od Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays /
Vydáno 2007
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
7
Refinement techniques in software engineering : first pernambuco summer school on software engineering, PSSE 2004, Receife, Brazil, November 23-december 5, 2004 revised lectures /
Vydáno 2006
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
8
Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005 : Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussionns /
Vydáno 2008
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
9
Verified software: theories, tools, experiments : second International Conference, VSTTE 2008 : Toronto, Canada, October 6-9, 2008 : proceedings /
Vydáno 2008
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Odstranit filtry
Zrušit filtr
Autor: Woodcock, Jim, 1956-
Knihovna
Fakulta informatiky
9
Typ dokumentu
Kniha
9
Autor
Woodcock, Jim, 1956-
Liu, Zhiming, 1961-
3
Davies, Jim, 1964-
2
Jones, C. B. 1944-
2
Wing, Jeannette M.
2
World Congress on Formal Methods in the Development of Computing Systems Toulouse, Francie)
2
více ...
Cavalcanti, Ana
1
Dong, Jin Song
1
George, Chris W.
1
ICTAC 2007 (Macao, Čína)
1
International Conference on Formal Engineering Methods Singapur)
1
International Training School on Domain Modeling and the Duration Calculus Šanghaj, Čína)
1
Meyer, Bertrand, 1950-
1
Pernambuco Summer School on Software Engineering Recife, Brazílie)
1
Sampaio, Augusto, 1964-
1
Shankar, N.
1
VSTTE (konference) Curych, Švýcarsko)
1
VSTTE (konference) Toronto, Ontario)
1
Zobrazit vše ...
méně ...
Jazyk
Angličtina
9
Doporučená témata
Počítačová věda. Výpočetní technika. Informační technologie
2
computer programs
2
computer science
2
počítačové programy
2
software engineering
2
softwarové inženýrství
2
více ...
výpočetní technika
2
computer simulation
1
data processing
1
hybrid computers
1
hybridní počítače
1
počítačová simulace
1
práce s počítačem
1
using personal computers
1
zpracování dat
1
Zobrazit vše ...
méně ...
Žánr
sborníky konferencí
5
proceedings of conferences
2
Rok vydání
Od:
do:
×
Načítá se...