Výsledky vyhledávání

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

Conceptual modeling for new information systems technologies : ER 2001 workshops : HUMACS, DASWIS, ECOMO, and DAMA, Yokohama, November 27-30, 2001 : revised papers

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

On the move to meaningful internet systems 2002 : CoopIS, DOA, and ODBASE : confederated inernational conferences CoopIS, DOA, and ODBASE 2002 : proceedings

Vydáno: 2002

Rukopis

Obálka

Formal techniques for networked and distributed systems : FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings

Vydáno: 2002

Kniha

Obálka

Grid computing : GRID 2002 : third international workshop, Baltimore, MD, USA, November 18, 2002 : proceedings

Vydáno: 2002

Kniha

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