Výsledky vyhledávání

Obálka

Methods and tools of parallel programming multicomputers : second Russia-Taiwan symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010 : revised selected papers

Vydáno: 2010

Plný text

E-kniha

Obálka

Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings

Vydáno: 2005

Plný text

E-kniha

Obálka

Formal foundations of reuse and domain engineering : 11th International conference on software reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009 : proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

Objects and databases : third international conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Unconventional computation : 9th international conference, UC 2010, Tokyo, Japan, June 21-25, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Software engineering education in the modern age : software education and training sessions at the International conference on software engineering, ICSE 2005, St. Louis, MO, USA,...

Vydáno: 2006

Plný text

E-kniha

Obálka

Computer safety, reliability, and security : 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings

Vydáno: 2007

Plný text

E-kniha

Obálka

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

Vydáno: 2007

Plný text

E-kniha

Obálka

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings

Vydáno: 2007

Plný text

E-kniha

Obálka

Formal methods and software engineering : 12th International conference on formal engineering methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Collaboration and technology : 16th international conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Engineering multi-agent systems : first international workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013 : revised selected papers

Vydáno: 2013

Plný text

E-kniha

Obálka

Motion in games : third international conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Vydáno: 2015

Plný text

E-kniha

Obálka

Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Vydáno: 2015

Plný text

E-kniha

Obálka

ECOOP 2014 - object-oriented programming : 28th European conference, Uppsala, Sweden, July 28 - August 1, 2014 : proceedings

Vydáno: 2014

Plný text

E-kniha

Obálka

The secret life of programs : understand computers - craft better code

Autor Steinhart, Jonathan E. Vydáno: 2019

Kniha

Obálka

The book of I2C : a guide for adventurers

Autor Hyde, Randall, 1956- Vydáno: 2023

Kniha

Obálka

Powerful command-line applications in Go : build fast and maintainable tools

Autor Gerardi, Ricardo Vydáno: 2021

Kniha

Obálka

Python testing with pytest : simple, rapid, effective, and scalable

Autor Okken, Brian Vydáno: 2022

Kniha