Výsledky vyhledávání

Obálka

Spectral techniques in digital logic

Autor Hurst, Stanley Leonard Vydáno: 1985

Kniha

Obálka

Advances in natural language processing : 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008 : proceedings

Vydáno: 2008

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

Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers

Vydáno: 2008

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

Obálka

Certified programs and proofs : third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings

Vydáno: 2013

Plný text

E-kniha

Obálka

NASA formal methods : 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings

Vydáno: 2015

Plný text

E-kniha

Obálka

Teaching formal methods : second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

Logic-based program synthesis and transformation : 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers

Vydáno: 2009

Plný text

E-kniha

Obálka

Implementation and application of automata : 17th international conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings

Vydáno: 2007

Plný text

E-kniha

Obálka

Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008 : proceedings

Vydáno: 2008

Plný text

E-kniha

Obálka

Software language engineering : 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers

Vydáno: 2013

Plný text

E-kniha

Obálka

Formal theories of information : from Shannon to semantic information theory and general concepts of information

Vydáno: 2009

Plný text

E-kniha

Obálka

Tools for practical software verification : LASER, international summer school 2011, Elba Island, Italy : revised tutorial lectures

Vydáno: 2012

Plný text

E-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

E-kniha

Obálka

Inductive logic programming : 22nd international conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers

Vydáno: 2013

Plný text

E-kniha

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