Výsledky vyhledávání

Obálka

Applied semantics : international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures

Vydáno: 2002

Kniha

Obálka

Unconventional models of computation : third international conference, UMC 2002, Kobe, Japan, October 15-19, 2002 : proceedings

Vydáno: 2002

Rukopis

Obálka

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings

Vydáno: 2002

Kniha

Obálka

Algorithm engineering and experiments : 4th international workshop, ALENEX 2002, San Francisco, CA, USA, January 4-5, 2002 : revised papers

Vydáno: 2002

Kniha

Obálka

Extreme programming and agile methods : XP/Agile Universe 2002 : second XP Universe and First Agile Universe Conference, Chicago, Il, USA, August 4-7, 2002 : proceedings

Vydáno: 2002

Kniha

Obálka

Theorem proving in higher order logics : 15th international conference, TPHOLs 2002, Hampton, VA USA, August 20-23, 2002 : proceedings

Vydáno: 2002

Kniha

Obálka

Generative programming and component engineering : ACM SIGPLAN/SIGSOFT conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002 : proceedings

Vydáno: 2002

Kniha

Obálka

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings

Vydáno: 2002

Kniha

Obálka

Advanced information systems engineering : 6th international conference, CAiSE '94 Utrecht, the Netherlands, June 6-10, 1994. Proceedings

Vydáno: 1994

Kniha

Obálka

Recent advances in intrusion detection : 5th international symposium, RAID 2002, Zurich, Switzerland, October 16-18, 2002 : proceedings

Vydáno: 2002

Rukopis

Obálka

Software Engineering Education : proceedings

Vydáno: 1990

Kniha

Obálka

Flexible query answering systems : 5th international conference, FQAS 2002, Copenhagen, Denmark, October 27-29, 2002 : proceedings

Vydáno: 2002

Kniha

Obálka

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

Vydáno: 2002

Rukopis

Obálka

SOFSEM 2002 : theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002 : proceedin...

Vydáno: 2002

Kniha

Obálka

Umění systémového návrhu : objektově orientovaná tvorba informačních systémů pomocí původní metody BORM

Autor Polák, Jiří, 1953- Vydáno: 2003

Kniha

Obálka

Foundations of software technology and theoretical computer science : FST TCS 2002 : 22nd conference Kanpur, India, December 12-14, 2002 : proceedings

Vydáno: 2002

Kniha

Obálka

Modeling software components using behavior protocols : doctoral thesis

Autor Višňovský, Stanislav Vydáno: 2002

Rukopis

Obálka

Modeling software components using behavior protocols : abstract booklet of doctoral thesis = Modelování softwarových komponent pomocí protokolů chování

Autor Višňovský, Stanislav Vydáno: 2002

Rukopis

Obálka

Object persistency in C++ : doctoral thesis

Autor Kopecký, Michal Vydáno: 2002

Rukopis

Obálka

Experimentální deduktivní databázový systém s neurčitostí : disertační práce

Autor Zíma, Martin Vydáno: 2002

Rukopis