Výsledky vyhledávání - "programovací jazyky"

Alternativní vyhledávání:
programovaci » programovani

Obálka

Randomness and completeness i computational complexity

Autor Melkebeek, Dieter van Vydáno: 2000

Kniha

Obálka

Rewriting Techniques and Applications : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

Computation engineering : applied automata theory and logic

Autor Gopalakrishnan, Ganesh Vydáno: 2006

Kniha

Obálka

Compositionality : The significant difference. International symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997. Revised lectures

Vydáno: 1998

Kniha

Obálka

Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Vydáno: 2013

Plný text

E-kniha

Obálka

The beauty of functional code : essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday

Vydáno: 2013

Plný text

E-kniha

Obálka

Unconventional Programming Paradigms : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers

Vydáno: 2005

Plný text

E-kniha

Obálka

Theoretical Aspects of Computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Vydáno: 2005

Plný text

E-kniha

Obálka

Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers

Vydáno: 2008

Plný text

E-kniha

Obálka

Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Vydáno: 2015

Plný text

E-kniha

Obálka

Term Rewriting and Applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

Vydáno: 2007

Plný text

E-kniha

Obálka

Programming Languages and Systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

Vydáno: 2013

Plný text

E-kniha

Obálka

Static Analysis : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Vydáno: 2014

Plný text

E-kniha

Obálka

Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

Vydáno: 2011

Plný text

E-kniha

Obálka

Theory and Practice of Model Transformations : 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Vydáno: 2008

Plný text

E-kniha

Obálka

Software Engineering and Formal Methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

Vydáno: 2015

Plný text

E-kniha

Obálka

Types for Proofs and Programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Vydáno: 2007

Plný text

E-kniha

Obálka

Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Vydáno: 2015

Plný text

E-kniha

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