Výsledky vyhledávání

Obálka

Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proc...

Vydáno: 2003

Kniha

Obálka

Computer science logic : 18th international workshop, CSL 2004 : 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Vydáno: 2004

Získat plný text

Kniha

Obálka

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings

Vydáno: 2004

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

Programming languages and systems : 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006 : proceedings

Vydáno: 2006

Kniha

Obálka

Formal methods in computer science

Autor Wang, Jiacun, 1963- Vydáno: 2020

Kniha

Obálka

Computer science logic : 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25-29, 2006 : proceedings

Vydáno: 2006

Získat plný text

Kniha

Obálka

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Vydáno: 2003

Plný text

Kniha

Obálka

Computer science logic : 19th international workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings

Vydáno: 2005

Plný text

Kniha

Obálka

Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings

Vydáno: 2005

Plný text

Kniha

Obálka

Formal concept analysis : foundations and applications

Vydáno: 2005

Plný text

Rukopis

Obálka

Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures

Vydáno: 2007

Kniha

Obálka

Computer science logic : 21st international workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings

Vydáno: 2007

Plný text

Kniha

Obálka

Interactive theorem proving : 4th international conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings

Vydáno: 2013

Plný text

E-kniha

Obálka

Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European conferences on theory and practice of...

Vydáno: 2008

Plný text

E-kniha

Obálka

Functional and logic programming : 11th international symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Leveraging applications of formal methods, verification and validation : technologies for mastering change : 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, Octob...

Vydáno: 2014

Plný text

E-kniha

Obálka

Software, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering

Vydáno: 2015

Plný text

E-kniha

Obálka

Formal methods for components and objects : 11th international symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures

Vydáno: 2013

Plný text

E-kniha

Obálka

Compiler construction : 15th international conference, CC 2006, held as part of the Joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, Marc...

Vydáno: 2006

Plný text

E-kniha

1
2
3
4
5
6
7
8
9
10
11
Další »
[21]