QR kód

Computer aided verification : Proceedings, New Brunswick, USA, July 31 - Aug. 3, 1996 /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Boigelot, Bernard
Korporativní autor:	Proceedings USA, New Brunswick
Další autoři:	Alur, R. (Editor)
Médium:	Konferenční příspěvek Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Springer, 1996
Vydání:	[1st ed.]
Edice:	Lecture notes in computer science Vol. 1102
Témata:	simulácia > aritmetický obvod > automatický preklad prirodzeného jazyka
ISBN:	3540614745
ISSN:	0302-9743
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Jazykové aspekty interkulturálnej komunikácie v stredo-európskom kontexte = Az‰‰ interkulturális kommunikáció nyelvi aspektusai közép-európai közegben : zborník príspevkov z medzinárodnej vedeckej konferencie, 27. mája 2008 /
Autor: Balázs, Géza
Vydáno: (2009)

The application of expert systems in libraries and information centres /
Autor: Morris, Anne
Vydáno: (1992)

Sequentielle Systeme. Binäre und Fuzzy Automatisierung mit arithmetischen Polynomen /
Autor: Franke, Dieter
Vydáno: (1994)

Úvod do vysokoškolskej geometrie /
Autor: Lettrich, Jaroslav
Vydáno: (1992)

Smart robots. A handbook of intelligent robotic systems /
Autor: Hunt, V. Daniel
Vydáno: (1985)

Computer aided verification : Proceedings, Elounda, Greece, June 28 - July 1, 1993 /
Autor: Courcoubetis, Costas
Vydáno: (1993)

Machine oriented languages /
Autor: Slavík, Pavel
Vydáno: (2003)

Verification and validation in scientific computing /
Autor: Oberkampf, William L. 1944-, a další
Vydáno: (2010)

Automatizačná technika /
Autor: Maršík, Antonín
Vydáno: (1988)

Parallel algorithms for VLSI computer aided design /
Autor: Banerjee, Prithviraj
Vydáno: (1994)

Layout design and verification /
Autor: Ueda, Kazuhiro
Vydáno: (1986)

Garážové brány a pohony vstupných brán. Rozmerové podmienky pre montáž garážových brán. Cenník garážových brán a príslušenstva bránových pohonov od 1.4.2005.
Vydáno: (2006)

Technológie automatických ventilov od spoločnosti Emerson.
Vydáno: (2011)

Zabezpečovací technika v železniční dopravě. 2. díl /
Autor: Poupě, Oldřich
Vydáno: (1990)

Computer-aided design /
Autor: Taylor, Dean L.
Vydáno: (1992)

Poznámky k problematice překladu ruských odborných textů /
Autor: Waldmannová, Marta
Vydáno: (1971)

Kniha o překládání. Příspěvky k otázkám překladu z ruštiny /
Autor: Trávníček, F.
Vydáno: (1953)

Překládáme do angličtiny. Příručka pro překladatele odborných textů /
Autor: Janata, Petr
Vydáno: (1999)

Computer aided education in automation and control : Internat. Summer School, Aug. 24 - Sept. 6, 1997 /
Autor: Jörgl, H. Peter
Vydáno: (1997)

Machine oriented languages /
Autor: Slavík, Pavel
Vydáno: (1998)

Cifrovaja schemotechnika /
Autor: Myšljajeva, Irina Michajlovna
Vydáno: (2005)

Naučte se programovat! Podrobný průvodce programováním v C++ /
Autor: Glassborow, Francis
Vydáno: (2005)

Translation, interpreting and culture: old dogmas, new approaches (?) : book of abstracts ; Nitra, Slovakia, September 26 - 28, 2018 /
Vydáno: (2018)

Translation, interpreting and culture: old dogmas, new approaches (?) : book of abstracts ; Nitra, Slovakia, September 26 - 28, 2018 /
Vydáno: (2018)

Slovenský jazyk pre 3. ročník stredných škôl s vyučovacím jazykom maďarským /
Autor: Répássyová, Elena
Vydáno: (2010)

Translatológia a jej súvislosti = Translationswissenschaft und ihre Zusammenhänge The‰‰ translation studies and its contexts.
Autor: Bohušová, Zuzana
Vydáno: (2009)

Řízení rozlehlých systémů /
Autor: Beneš, Jiří
Vydáno: (1981)

Linejnyje avtomatičeskije sistemy s peremennymi parametrami /
Autor: Solodov, Aleksandr Vasiľjevič, a další
Vydáno: (1971)

Giperustojčivosť avtomatičeskich sistem /
Autor: Popov, Vasile Mihal
Vydáno: (1970)

Skupinové balenie. Aplikácia "odnosných uší". Ovinovacie a lepiace stroje.
Vydáno: (2007)

Automatic digital calculators /
Autor: Booth, Andrew D., a další
Vydáno: (1965)

Automatic control systems /
Autor: Zeines, Ben
Vydáno: (1972)

An introduction to parallel algorithms /
Autor: Jájá, Joseph
Vydáno: (1992)

Základy programovania vo Visual Basicu pre Excel /
Autor: Krivá, Zuzana 1962-
Vydáno: (2005)

Formal techniques for verification of complex real-time systems /
Autor: Geilen, Marc Constantijn Willem
Vydáno: (2002)

The position of foreign languages in European education systems (1999/2000).
Vydáno: (2000)

PHP : kapesní přehled /
Autor: Krejčí, Lukáš 1979-
Vydáno: (2006)

Odborný preklad v praxi : učebnica s cvičeniami pre ukrajinistov /
Autor: Kredátusová, Jarmila 1972-
Vydáno: (2011)

Preklad a jazyková kultúra = Fordítás és nyelvi kultúra /
Autor: Alabán, Ferenc 1951-
Vydáno: (2014)

Otázky strojového prekladu /
Autor: Marčuk, J. N.
Vydáno: (1986)