Výsledky vyhledávání

Pokročilé vyhledávání

Zrušit filtry

Žánr: NOT encyklopedie AND elektronicke knihy

PSH: programovací jazyky NOT systémy řízení báze dat

Autor: NOT Dastani, Mehdi NOT Woodcock, Jim

Zrušit filtry

Zobrazit filtry (6)

Žánr: NOT encyklopedie AND elektronicke knihy

PSH: programovací jazyky NOT systémy řízení báze dat

Autor: NOT Dastani, Mehdi NOT Woodcock, Jim

Obálka

Python and Matplotlib essentials for scientists and engineers

Autor Wood, Matt A. Vydáno: 2015

Plný text

E-kniha

Obálka

Rewriting logic and its applications : 9th international workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers

Vydáno: 2012

Plný text

E-kniha

Obálka

Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday

Vydáno: 2013

Plný text

E-kniha

Obálka

Programming Python

Autor Lutz, Mark Vydáno: 2011

Plný text

E-kniha

Obálka

Formal methods for executable software models : 14th International school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, It...

Vydáno: 2014

Plný text

E-kniha

Obálka

Principles and practice of constraint programming : 18th international conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012 : proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Recent advances in constraints : 12th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 :...

Vydáno: 2008

Plný text

E-kniha

Obálka

Software engineering and formal methods : 11th international conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings

Vydáno: 2013

Plný text

E-kniha

Obálka

Trends in functional programming : 15th international symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers

Vydáno: 2015

Plný text

E-kniha

Obálka

UML modeling languages and applications : «UML» 2004 satellite activities, Lisbon, Portugal, October 11-15, 2004 : revised selected papers

Vydáno: 2005

Plný text

E-kniha

Obálka

Constraint solving and language processing : 7th international workshop, CSLP 2012, Orléans, France, September 13-14, 2012 : revised selected papers

Vydáno: 2013

Plný text

E-kniha

Obálka

Programming languages and systems : 17th European symposium on programming, ESOP 2008, held as part of the Joint European conferences on theory and practice of software, ETAPS 2008...

Vydáno: 2008

Plný text

E-kniha

Obálka

Hardware and software: verification and testing : 8th International Haifa verification conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : revised selected papers

Vydáno: 2013

Plný text

E-kniha

Obálka

Modelling foundations and applications : 7th European conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 : proceedings

Vydáno: 2011

Plný text

E-kniha

Obálka

Central European functional programming school : 4th summer school, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers

Vydáno: 2012

Plný text

E-kniha

Obálka

NASA formal methods : 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Programming languages and systems : 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Application and theory of Petri nets and concurrency : 36th international conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015 : proceedings

Vydáno: 2015

Plný text

E-kniha

Obálka

Software engineering : International summer schools, ISSSE 2009-2011, Salerno, Italy : revised tutorial lectures

Vydáno: 2013

Plný text

E-kniha

Obálka

Recent advances in parallel virtual machine and message passing interface : 14th European PVM/MPI user’s group meeting, Paris, France, September 30 - October 3, 2007 : proceedings...

Vydáno: 2007

Plný text

E-kniha