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
Publikace dané osoby
Nipkow, Tobias, 1958-
Biografické údaje:
Německý autor publikací z oboru počítačové vědy.
Zdroj:
Misra, J. - Nipkow, T. - Sekerinski, E.: FM 2006
DNB
LC (Names)
Další informace:
Publikace dané osoby
5
Publikace o dané osobě
0
Metadata
Podrobné výsledky >>
Automated reasoning : first international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
FM 2006: formal methods : 14th International symposium on formal methods, Hamilton, Canada, August 21-27, 2006 : proceedings
FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings
Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998 : proceedings
Types for proofs and programs : International workshop TYPES '93 Nijmegen, the Netherlands, May 24-28, 1993. Selected papers
Publikace dané osoby
×
Načítá se...