Výsledky vyhledávání

Obálka

Transactions on Engineering Technologies : International MultiConference of Engineers and Computer Scientists 2016

Vydáno: 2017

Plný text

E-kniha

Obálka

Ověření funkce systémů odolných proti poruchám metodou simulací : habilitační práce

Autor Herout, Pavel, 1961- Vydáno: 2003

Rukopis

Obálka

Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings

Vydáno: 2004

Získat plný text

Kniha

Obálka

Advanced information systems engineering : 9th international conference, CAiSE '97, Barcelona, Catalonia, Spain, June 16-20, 1997 : proceedings

Vydáno: 1997

Kniha

Obálka

Advanced information systems engineering : 8th international conference, CAiSE '96, Heraklion, Crete, Greece, May 20-24, 1996 : proceedings

Vydáno: 1996

Kniha

Obálka

Integrated formal methods : third international conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings

Vydáno: 2002

Kniha

Obálka

Destilované UML

Autor Fowler, Martin, 1963- Vydáno: 2009

Kniha

Obálka

Advanced information systems engineering : Proceedings

Vydáno: 1992

Kniha

Obálka

Advanced information systems engineering : Proceedings

Vydáno: 1993

Kniha

Obálka

Software process change : International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-2...

Vydáno: 2006

Kniha

Obálka

Advanced information systems engineering : 13th international conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001. Proceedings

Vydáno: 2001

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

Advanced information systems engineering

Vydáno: 1990

Kniha

Obálka

Advanced information systems engineering

Vydáno: 1991

Kniha

Obálka

Podpora automatizovaného návrhu řídicích systémů disertační práce

Autor Kymla, Lukáš Vydáno: 2006

Rukopis

Obálka

Podpora automatizovaného návrhu řídicích systémů teze disertační práce

Autor Kymla, Lukáš Vydáno: 2006

Rukopis

Obálka

Simulace a návrh vyvíjecích se systémů : habilitační práce

Autor Janoušek, Vladimír, 1966- Vydáno: 2011

Kniha

Obálka

Ingredients for successful system level design methodology

Autor Patel, Hiren D. Vydáno: 2008

Plný text

Kniha

Obálka

Computer performance evaluation : modelling techniques and tools : 13th international conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003 : proceedings

Vydáno: 2003

Plný text

Kniha

Obálka

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 : proceedings

Vydáno: 2005

Plný text

Kniha