Výsledky vyhledávání

Obálka

Formal methods and software engineering : 8th International conference on formal engineering methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings

Vydáno: 2006

Plný text

E-kniha

Obálka

Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Integrated formal methods : 7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 : proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

Assurances for self-adaptive systems : principles, models, and techniques

Vydáno: 2013

Plný text

E-kniha

Obálka

Compiler construction : 17th international conference, CC 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, Ma...

Vydáno: 2008

Plný text

E-kniha

Obálka

Fundamental approaches to software engineering : 17th international conference, FASE 2014, held as part of the European joint conferences on theory and practice of software, ETAPS...

Vydáno: 2014

Plný text

E-kniha

Obálka

Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Rewriting logic and its applications : 9th international workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers

Vydáno: 2012

Plný text

E-kniha

Obálka

Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday

Vydáno: 2013

Plný text

E-kniha

Obálka

Formal methods for executable software models : 14th International school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, It...

Vydáno: 2014

Plný text

E-kniha

Obálka

Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings

Vydáno: 2008

Plný text

E-kniha

Obálka

Principles and practice of constraint programming : 18th international conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012 : proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Recent advances in constraints : 12th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 :...

Vydáno: 2008

Plný text

E-kniha

Obálka

Software engineering and formal methods : 11th international conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings

Vydáno: 2013

Plný text

E-kniha

Obálka

Trends in functional programming : 15th international symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers

Vydáno: 2015

Plný text

E-kniha

Obálka

UML modeling languages and applications : «UML» 2004 satellite activities, Lisbon, Portugal, October 11-15, 2004 : revised selected papers

Vydáno: 2005

Plný text

E-kniha

Obálka

Constraint solving and language processing : 7th international workshop, CSLP 2012, Orléans, France, September 13-14, 2012 : revised selected papers

Vydáno: 2013

Plný text

E-kniha

Obálka

Programming languages and systems : 17th European symposium on programming, ESOP 2008, held as part of the Joint European conferences on theory and practice of software, ETAPS 2008...

Vydáno: 2008

Plný text

E-kniha

Obálka

Hardware and software: verification and testing : 8th International Haifa verification conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : revised selected papers

Vydáno: 2013

Plný text

E-kniha

Obálka

Modelling foundations and applications : 7th European conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 : proceedings

Vydáno: 2011

Plný text

E-kniha

[1]
« Předchozí
1
2
3
4
5
6
7
8
9
10
11
Další »
[18]