QR kód

TAPSOFT '93. Theory and practice of software development : Proceedings, Orsay, France, April 13 - 17, 1993 /

Uložené v:

Podrobná bibliografia
Hlavný autor:	Guttag, John V.
Korporativný autor:	Proceedings France, Orsay
Ďalší autori:	Gaudel, m.-C (Editor), Jounnaud, j.-P
Médium:	Konferenčný príspevok.. Kniha
Jazyk:	English
Vydavateľské údaje:	Berlin : Springer, 1993
Vydanie:	[1st ed.]
Edícia:	Lecture notes in computer science Vol. 668
Predmet:	geometrické modelovanie > logika > strom > automat > analýza algoritmov > overovanie súbežných systémov
ISBN:	3540566104
On-line prístup:
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Podobné jednotky

Metody zpracování grafické informace /
Autor: Slavík, Pavel
Vydavateľské údaje: (1995)

Umění programování.
Autor: Knuth, Donald E. (Donald Ervin)
Vydavateľské údaje: (2008)

LATIN '95. Theoretical informatics : 2nd Latin American symp., Valparaíso, Chile, April 3 -7 1995 /
Autor: Goles, Eric
Vydavateľské údaje: (1995)

Tools and algorithms for the construction and analysis of systems : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
Autor: Lee, Peter
Vydavateľské údaje: (2003)

Zvyšovanie spoľahlivosti výrobných systémov na optimálnu úroveň /
Autor: Fabian, Stanislav
Vydavateľské údaje: (1998)

Programming languages and systems : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
Autor: Leroy, Xavier
Vydavateľské údaje: (2003)

Program correctness over abstract data types, with error-state semantics /
Autor: Tucker, John V.
Vydavateľské údaje: (1988)

FME '93. Industrial-strength formal methods : Proceedings, Odense, Denmark, April 19 - 23, 1993 /
Autor: Jones, C. B.
Vydavateľské údaje: (1993)

Computer aided verification : Proceedings, Elounda, Greece, June 28 - July 1, 1993 /
Autor: Courcoubetis, Costas
Vydavateľské údaje: (1993)

Numerické řešení velkých řídkých soustav /
Autor: Samarskij, Alexandr Andrejevič
Vydavateľské údaje: (1985)

Experimentálne overovanie konštrukcií /
Autor: Kereškényi, Ján
Vydavateľské údaje: (1988)

Quo vadis, graph theory?. A source book for challenges and directions /
Autor: Tutte, William
Vydavateľské údaje: (1993)

Higher order logic theorem proving and its applications : Proceedings of the IFIP TC10/WG10.2 internat. workshop, Leuven, Belgium, 21 - 24 Sept., 1992 /
Autor: Melham, Thomas F.
Vydavateľské údaje: (1993)

Testování softwaru řízené návrhem /
Autor: Stephens, Matt, a ďalší
Vydavateľské údaje: (2011)

Diskrétna matematika /
Autor: Bučko, Michal
Vydavateľské údaje: (1999)

Discrete mathematics /
Autor: Dossey, John A.
Vydavateľské údaje: (2006)

Continuous authentication using biometrics : data, models, and metrics /
Vydavateľské údaje: (2012)

The theory of infinite soluble groups /
Autor: Lennox, John C.
Vydavateľské údaje: (2004)

Algoritmy '95 : Zborník prednášok 13. symp. o algoritmoch, Krpáčovo - Nízke Tatry, 30. 5. - 2. 6. 1995 /
Autor: Kľuska, František
Vydavateľské údaje: (1995)

STACS 93 : Proceedings, Würzburg, Germany, Febr. 25 - 27, 1993 /
Autor: Castellani, Ilaria
Vydavateľské údaje: (1993)

Experimentální ověřování ve výstavbě /
Autor: Procházka, Josef
Vydavateľské údaje: (1988)

Experimentálne overovanie konštrukcií /
Autor: Kereškényi, Ján
Vydavateľské údaje: (1984)

Knowledge oriented software design : Extended papers from the IFIP TC12 workshop on AIFIPP '92, Madrid, Spain, 14 - 15 Sept., 1992 /
Autor: Chandrasekaran, B.
Vydavateľské údaje: (1993)

Diskrétní matematika /
Autor: Mezník, Ivan 1942-
Vydavateľské údaje: (2004)

The engineering of knowledge-based systems. Theory and practice /
Autor: Gonzales, Avelino J.
Vydavateľské údaje: (1993)

Technické kreslenie.
Autor: Horák, Stanislav, 1937-
Vydavateľské údaje: (1972)

Správní právo. Příručka pro ověřování zvláštní odborné způsobilosti pracovníků okresních a obecních úřadů /
Autor: Šlauf, Václav
Vydavateľské údaje: (1992)

Diskrétní matematika pro užitou informatiku /
Autor: Mezník, Ivan 1942-
Vydavateľské údaje: (2009)

Computer safety, reliability, and security : proceedings, 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 /
Autor: Pfitzmann, Andreas
Vydavateľské údaje: (2004)

Numerical methods and software tools in industrial mathematics /
Autor: Daehlen, Morten
Vydavateľské údaje: (1997)

Matematicko-logické modelovanie : sympózium /
Vydavateľské údaje: (1989)

Tajomný svet stromov /
Autor: Dudíková, Veronika
Vydavateľské údaje: (2011)

A software engineering approach to the development of fuzzy control systems /
Autor: Isomursu, Pekka
Vydavateľské údaje: (1995)

Diskrétna matematika. I. diel. Grafy, digrafy a kombinatorika /
Autor: Gliviak, Ferdinand
Vydavateľské údaje: (1999)

Programovací techniky /
Autor: Hudec, Bohuslav 1940-
Vydavateľské údaje: (1996)

Algoritmy a zložitosť /
Autor: Plávka, Ján
Vydavateľské údaje: (1998)

Geometrická zobrazení. Cvičení. 1. díl /
Autor: Čech, Vlastimil
Vydavateľské údaje: (1986)

Platónská a archimedovská tělesa : geometrie prostoru /
Autor: Sutton, Daud
Vydavateľské údaje: (2011)

European joint conferences on theory and practice of software. 2003. Satellite events : ETAPS, Warsaw, April 5 - 13 2003
Vydavateľské údaje: (2003)

Logické systémy /
Autor: Kaprálik, Peter, a ďalší
Vydavateľské údaje: (2007)