Výsledky vyhledávání

Obálka

Computer science logic : 10th international workshop, CSL '96, annual conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996. Selected papers

Vydáno: 1997

Kniha

Obálka

Mathematica for Scientists and Engineers

Autor Bahder, Thomas B. Vydáno: 1995

Kniha

Obálka

The CGI/Perl Cookbook

Autor Patchett, Craig Vydáno: 1998

Kniha

Obálka

Modeling and using context : Second international and interdisciplinary conference, CONTEXT '99, Trento, Italy, September 9-11, 1999. Proceedings

Vydáno: 1999

Kniha

Obálka

Computer science : an overview

Autor Brookshear, J. Glenn Vydáno: 2020

Kniha

Obálka

Computer systems : digital design, fundamentals of computer architecture and assembly language

Autor Elahi, Ata, 1950- Vydáno: 2018

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

Integrated circuit and system design. power and timing modeling, optimization and simulation : 22nd international workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 201...

Vydáno: 2013

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

Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

Embedded systems design : the ARTIST roadmap for research and development

Autor Bouyssounouse, Bruno Vydáno: 2005

Plný text

E-kniha

Obálka

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Transactions on pattern languages of programming II : special issue on applying patterns

Vydáno: 2011

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

Practical aspects of declarative languages : 16th international symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings

Vydáno: 2014

Plný text

E-kniha

Obálka

Trustworthy global computing : 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 : revised selected papers

Vydáno: 2009

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

Transactions on aspect-oriented software development XII

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

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