Výsledky vyhledávání

Obálka

Theoretical aspects of computing : ICTAC 2006, third international colloquium, Tunis, Tunisia, November 20-24, 2006 : proceedings

Vydáno: 2006

Plný text

Kniha

Obálka

Theoretical aspects of computing : ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings

Vydáno: 2007

Plný text

Kniha

Obálka

Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers

Vydáno: 2005

Plný text

Kniha

Obálka

Theoretical aspects of computing : ICTAC 2005 : second international colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings

Vydáno: 2005

Plný text

Kniha

Obálka

Formal aspects of component software : 7th international workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010 : revised selected papers

Vydáno: 2012

Plný text

E-kniha

Obálka

Reliable software technologies - Ada-Europe 2009 : 14th Ada-Europe international conference, Brest, France, June 8-12, 2009 : proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

STACS 2004 : 21th Annual Symposium on Theoretical Aspects of Computer Science Montpellier, France, March 25-27, 2004 : proceedings

Vydáno: 2004

Získat plný text

Kniha

Obálka

STACS 2000 : 17th Annual symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings

Vydáno: 2000

Kniha

Obálka

Systems engineering with SysML/UML : modeling, analysis, design

Autor Weilkiens, Tim Vydáno: 2007

Kniha

Obálka

Hardware and software: verification and testing : 7th International Haifa verification conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : revised selected papers

Vydáno: 2012

Plný text

E-kniha

Obálka

Reliable software technologies - Ada-Europe 2015 : 20th Ada-Europe International conference on reliable software technologies, Madrid Spain, June 22-26, 2015 : proceedings

Vydáno: 2015

Plný text

E-kniha

Obálka

Software language engineering : third international conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010 : revised selected papers

Vydáno: 2011

Plný text

E-kniha

Obálka

Web services and formal methods : 10th international workshop, WS-FM 2013, Beijing, China, August 2013 : revised selected papers

Vydáno: 2014

Plný text

E-kniha

Obálka

Model driven engineering languages and systems : 12th international conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009 : proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

Cooperative design, visualization, and engineering : 6th international conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009 : proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

Software language engineering : 4th international conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers

Vydáno: 2012

Plný text

E-kniha

Obálka

Trustworthy global computing : international symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers

Vydáno: 2005

Plný text

E-kniha

Obálka

Automated technology for verification and analysis : 7th international symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

New modeling concepts for today’s software processes : International conference on software process, ICSP 2010, Paderborn, Germany, July 8-9, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Advanced parallel processing technologies : 11th international symposium, APPT 2015, Jinan, China, August 20-21, 2015 : proceedings

Vydáno: 2015

Plný text

E-kniha