Výsledky vyhledávání

Obálka

Animation techniques in Win32 : A C++ programmer's guide to DIBs, palettes, and sprites for Win32s, Windows 95, and Windows NT

Autor Thompson, Nigel Vydáno: 1995

Kniha

Obálka

Programujeme .NET aplikace ve Visual Studiu .NET

Autor Kačmář, Dalibor, 1967- Vydáno: 2001

Rukopis

Obálka

C# - programování databází : the complete reference

Autor Schildt, Herbert, 1951- Vydáno: 2000

Kniha

Obálka

Verification and validation for quality of UML 2.0 models

Autor Unhelkar, Bhuvan, 1960- Vydáno: 2005

Získat plný text

Kniha

Obálka

Principles of computer hardware

Autor Clements, Alan, 1948- Vydáno: 2006

Kniha

Obálka

Metoda ladění distribuovaných aplikací : disertační práce

Autor Otta, Maxmilián Vydáno: 2001

Kniha

Obálka

Active Server Pages : pro úplné začátečníky

Autor Štrimpfl, Martin, 1971- Vydáno: 2000

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

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

Vydáno: 2011

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

Architectures for adaptive software systems : 5th International conference on the quality of software architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 : procee...

Vydáno: 2009

Plný text

E-kniha

Obálka

Applications and theory of Petri nets : 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings

Vydáno: 2010

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

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

Vydáno: 2006

Plný text

E-kniha

Obálka

Multicore software engineering, performance, and tools : international conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013 : proceedings

Vydáno: 2013

Plný text

E-kniha

Obálka

Formal techniques for distributed systems : joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal,...

Vydáno: 2009

Plný text

E-kniha

Obálka

Models in software engineering : workshops and symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007 : reports and revised selected papers

Vydáno: 2008

Plný text

E-kniha

1
2
3
4
5
6
7
Další »
[7]