Výsledky vyhledávání

Obálka

Programujeme .NET aplikace ve Visual Studiu .NET

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

Rukopis

Obálka

Udělejte si z PC v DELPHI--.

Autor Matoušek, David, 1972- Vydáno: 2003

Rukopis

Obálka

macOS daemonology : communicate with daemons, agents, and helpers through XPC

Autor Vashurkin, Volodymyr Vydáno: 2021

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

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

Composition of embedded systems : scientific and industrial issues : 13th Monterey workshop 2006, Paris, France, October 16-18, 2006 : revised selected papers

Vydáno: 2008

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

Obálka

Formal methods for components and objects : 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, revised lectures

Vydáno: 2008

Plný text

E-kniha

Obálka

Runtime verification : 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers

Vydáno: 2008

Plný text

E-kniha

Obálka

Dependable and historic computing : essays dedicated to Brian Randell on the occasion of his 75th birthday

Vydáno: 2011

Plný text

E-kniha

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