Zobrazuji výsledky
1 - 20
z
47
pro vyhledávání '
'
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í
Zrušit filtry
Autor:
NOT
Horyna, Mojmír, 1945-2011
NOT
Truthe, Bianca
PSH:
NOT
programovací jazyky
AND
počítače
AND
matematická logika
Doporučená témata:
NOT
software
AND
softwarové inženýrství
Žánr:
NOT
autoreferáty
Zrušit filtry
Zobrazit filtry (8)
Autor:
NOT
Horyna, Mojmír, 1945-2011
NOT
Truthe, Bianca
PSH:
NOT
programovací jazyky
AND
počítače
AND
matematická logika
Doporučená témata:
NOT
software
AND
softwarové inženýrství
Žánr:
NOT
autoreferáty
Hlavní strana
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í:
matematická logika
47
počítače
47
softwarové inženýrství
informatika
46
umělá inteligence
22
formální jazyky
14
algoritmizace
9
více ...
robotika
9
programování
8
informační systémy
4
internet
4
vyhledávání v datech
4
algoritmy
3
databázové systémy
3
počítačová věda
3
sémantický web
3
UML
2
algebra
2
bioinformatika
2
operační systémy
2
podnikové informační systémy
2
počítačová simulace
2
simulace a modelování
2
systémy řízení báze dat
2
agenti
1
aplikační programy
1
architektura výpočetních systémů
1
diferenciální a diferenční algebra
1
diferenciální algebra
1
diskrétní matematika
1
méně ...
Zobrazuji výsledky
1 - 20
z
47
pro vyhledávání '
'
, doba hledání: 0,06 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automata, languages and programming : 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Scalable uncertainty management : third international conference, SUM 2009, Washington, DC, USA, September 28-30, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FM 2015: formal methods : 20th international symposium, Oslo, Norway, June 24-26, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
The evolution of conceptual modeling : from a historical perspective towards the future of conceptual modeling
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Relational Methods in Computer Science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Work...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Membrane Computing : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Correct Hardware Design and Verification Methods : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Descriptional Complexity of Formal Systems : 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automata, Languages and Programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conferen...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Confere...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Frontiers of Combining Systems : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Transactions on Petri Nets and Other Models of Concurrency III
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
Další »
[3]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
47
NTK
Médium
43
E-kniha
4
Kniha
Signatura
4
Q - Věda
Autor
43
SpringerLink (online služba)
2
Bozapalidis, Symeon
2
Durand, Bruno
2
Embley, David W.
2
Olivé, Antoni, 1946-
2
Palamidessi, Catuscia
více ...
2
Pihlajasaari, Pekka
2
Rahonis, George
2
Ram, Sudha, 1959-
1
Aceto, Luca, 1961-
1
Alt, Helmut, 1950-
1
Ball, Thomas (Thomas Jaudon), 1965-
1
Berdine, Josh
1
Beringer, Lennart
1
Beyer, Dirk
1
Billington, Jonathan
1
Bjørner, Nikolaj
1
Boer, Frank S. de
1
Boreale, Michele
1
Borrione, Dominique
1
Bouajjani, Ahmed
1
Brandt, Jens
1
Caires, Luís
1
Cerone, Antonio
1
Chen, Peter P. S., 1947-
1
Codescu, Mihai
1
Damm, Werner
1
Dawar, Anuj
1
Degano, Pierpaolo
1
Delcambre, Lois, 1950-
Zobrazit vše ...
méně ...
Jazyk
47
angličtina
Žánr
44
elektronicke knihy
18
sborníky konferencí
1
sborníky
Rok vydání
Od:
do:
PSH
matematická logika
počítače
47
softwarové inženýrství
46
informatika
22
umělá inteligence
14
formální jazyky
více ...
9
algoritmizace
9
robotika
8
programování
4
informační systémy
4
internet
4
vyhledávání v datech
3
databázové systémy
3
sémantický web
2
UML
2
algebra
2
bioinformatika
2
operační systémy
2
podnikové informační systémy
2
počítačová simulace
2
simulace a modelování
2
systémy řízení báze dat
1
agenti
1
aplikační programy
1
architektura výpočetních systémů
1
diferenciální a diferenční algebra
1
matematická statistika
1
matematika
1
počítačová bezpečnost
Zobrazit vše ...
méně ...
×
Načítá se...