Zobrazuji výsledky
201 - 220
z
247
pro vyhledávání '
(jim)
'
Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Hlavní strana
Autor
(jim)
Zobrazuji výsledky
201 - 220
z
247
pro vyhledávání '
(jim)
'
, doba hledání: 0,05 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Theorem proving in higher order logics : 9th international conference, TPHOLs'96, Turku, Finland, August 26-30, 1996. Proceedings
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
4 disciplíny realizace : jak dosahovat skutečně nejdůležitějších cílů
Autor
McChesney, Chris
Vydáno:
2020
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Refinement techniques in software engineering : first Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Unifying theories of programming and formal engineering methods : international training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013 : a...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Collaborative Software Engineering
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Testing Techniques in Software Engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theoretical aspects of computing - ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Innovations and renovations : designing the teaching laboratory
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Biodegradation of nitroaromatic compounds and explosives
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Designing & leading life-changing workshops : creating the conditions for fransformation in your groups, trainings, and retreats
Autor
Nelson, Ken
Vydáno:
2020
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
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...
Uloženo v:
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...
Plný text
E-kniha
Uloženo v:
Parallel Problem Solving from Nature - PPSN XIII : 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theoretical Aspects of Computing - ICTAC 2010 : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Assessing transformation products of chemicals by non-target and suspect screening : strategies and workflows.
Vydáno:
2016
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
30 vteřin na vědu : 50 nejpodnětnějších vědeckých teorií, o nichž získáte přehled za 30 vteřin
Vydáno:
2012
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Most přes řeku Willamette, Eugene, Oregon, USA = Bridge over the Willamette river, Eugene, Oregon, USA
Umístění:
Načítá se...
PDF verze
Článek
Uloženo v:
[1]
« Předchozí
3
4
5
6
7
8
9
10
11
12
13
Další »
[13]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Související témata
softwarové inženýrství
programovací jazyky
programování
informatika
počítače
umělá inteligence
software
matematická logika
operační systémy
objektově orientované programování
simulace a modelování
aplikační programy
počítačová grafika
internet
podnikové informační systémy
zpracování dat
historie
management
servery
výpočetní technika
architektonické návrhy
chemické inženýrství
lékařství
matematika
podnikání
počítačové sítě
programovací jazyk Java
sémantika programovacích jazyků
algebra
analogové obvody
×
Načítá se...