Zobrazuji výsledky
1 - 13
z
13
pro vyhledávání '
Dershowitz, Nachum
'
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
Dershowitz, Nachum
Zobrazuji výsledky
1 - 13
z
13
pro vyhledávání '
Dershowitz, Nachum
'
, doba hledání: 0,04 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th Birthday
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Calendrical calculations : the ultimate edition
Autor
Reingold, Edward M., 1945-
Vydáno:
2018
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Rewriting techniques and applications: 3rd international conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
Vydáno:
1989
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Language, Culture, Computation. Computing - Theory and Technology : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994. Proceedings
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Language, culture, computation : computational linguistics and linguistics : essays dedicated to Yaacov Choueka on the occasion of his 75th birthday.
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Unconventional Computation : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Související témata
informatika
programování
počítače
umělá inteligence
algoritmizace
matematická logika
strojová lingvistika
algoritmy (programování)
přepisující systémy
softwarové inženýrství
bioinformatika
matematická lingvistika
matematické programování
měření času
počítačová lingvistika
robotika
verifikace programu
vyhledávání informací
×
Načítá se...