Behavioural types : from theory to tools /
Gorde:
| Beste egile batzuk: | , |
|---|---|
| Formatua: | Baliabide elektronikoa eBook |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Delft, The Netherlands :
River Publishers,
[2017]
|
| Saila: | River Publishers series in automation, control and robotics.
|
| Gaiak: | |
| Sarrera elektronikoa: | Click to View |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
Antzeko izenburuak
Types and programming languages
nork: Pierce, Benjamin C.
Argitaratua: (2002)
nork: Pierce, Benjamin C.
Argitaratua: (2002)
Abstact data types /
nork: Dale, Nell
Argitaratua: (1996)
nork: Dale, Nell
Argitaratua: (1996)
Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
nork: Saxena, Shiti
Argitaratua: (2013)
nork: Saxena, Shiti
Argitaratua: (2013)
Programming systems and languages.
nork: Rosen, Saul
Argitaratua: (1967)
nork: Rosen, Saul
Argitaratua: (1967)
Software engineering (a lifecycle approach) /
nork: Mohapatra, Pratap K. J.
Argitaratua: (2010)
nork: Mohapatra, Pratap K. J.
Argitaratua: (2010)
Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
nork: Wheeler, Bert
Argitaratua: (2011)
nork: Wheeler, Bert
Argitaratua: (2011)
TypeScript essentials : develop large scale responsive web applications with TypeScript /
nork: Nance, C. (Christopher)
Argitaratua: (2014)
nork: Nance, C. (Christopher)
Argitaratua: (2014)
The Professional programmers guide to C
nork: McKay, Pat
Argitaratua: (1989)
nork: McKay, Pat
Argitaratua: (1989)
Beginning c# game programming
nork: Penton, Ron
Argitaratua: (2005)
nork: Penton, Ron
Argitaratua: (2005)
Intermediate business programming with C++
nork: Voils, Don
Argitaratua: (2007)
nork: Voils, Don
Argitaratua: (2007)
Advanced business programming with C++ 2005
nork: Voils, Don
Argitaratua: (2007)
nork: Voils, Don
Argitaratua: (2007)
The elements of C++ style
nork: Misfeldt, Trevor, 1969-
Argitaratua: (2004)
nork: Misfeldt, Trevor, 1969-
Argitaratua: (2004)
The Standard ML basis library
Argitaratua: (2004)
Argitaratua: (2004)
NumPy beginner's guide an action-packed guide for the easy-to-use, high performance, Python based free open source NumPy mathematical library using real-world examples /
nork: Idris, Ivan
Argitaratua: (2013)
nork: Idris, Ivan
Argitaratua: (2013)
Professional Swift(Tm) /
nork: Dippery, Michael
Argitaratua: (2015)
nork: Dippery, Michael
Argitaratua: (2015)
The art of assembly language
nork: Hyde, Randall
Argitaratua: (2003)
nork: Hyde, Randall
Argitaratua: (2003)
The art of Assembly language
nork: Hyde, Randall
Argitaratua: (2010)
nork: Hyde, Randall
Argitaratua: (2010)
Concepts of programming languages /
nork: Sebesta, Robert W.
Argitaratua: (1993)
nork: Sebesta, Robert W.
Argitaratua: (1993)
Principles of programming languages : design, evaluation, and implementation /
nork: MacLennan, Bruce J.
Argitaratua: (1999)
nork: MacLennan, Bruce J.
Argitaratua: (1999)
Programming languages : paradigm and practice /
nork: Appleby, Doris
Argitaratua: (1991)
nork: Appleby, Doris
Argitaratua: (1991)
Programming language landscape : syntax, semantics, and implementation /
nork: Marcotty, Michael, 1931-
Argitaratua: (1986)
nork: Marcotty, Michael, 1931-
Argitaratua: (1986)
Programming language pragmatics (a companied by CD /
nork: Scott, Michael L.
Argitaratua: (2006)
nork: Scott, Michael L.
Argitaratua: (2006)
Programming language pragmatics (a companied by CD /
nork: Scott, Michael L.
Argitaratua: (2000)
nork: Scott, Michael L.
Argitaratua: (2000)
Concepts of programming languages /
nork: Sebesta, Robert W.
Argitaratua: (2004)
nork: Sebesta, Robert W.
Argitaratua: (2004)
Programming languages : principles and paradigms /
nork: Tucker, Allen
Argitaratua: (2002)
nork: Tucker, Allen
Argitaratua: (2002)
Design concepts in programming languages
nork: Turbak, Franklyn Albin
Argitaratua: (2008)
nork: Turbak, Franklyn Albin
Argitaratua: (2008)
Learn meteor : node.js and mongodb javascript platform /
nork: Weil, Arnaud
Argitaratua: (2016)
nork: Weil, Arnaud
Argitaratua: (2016)
Dart cookbook : over 110 incredibly effective, useful, and hands-on recipes to design Dart web client and server applications /
nork: Balbaert, Ivo
Argitaratua: (2014)
nork: Balbaert, Ivo
Argitaratua: (2014)
Practical foundations for programming languages
nork: Harper, Robert
Argitaratua: (2013)
nork: Harper, Robert
Argitaratua: (2013)
Programming languages : an interpreter-based approach /
nork: Kamin, Samuel N.
Argitaratua: (1990)
nork: Kamin, Samuel N.
Argitaratua: (1990)
F# for quantitative finance /
nork: Astborg, Johan
Argitaratua: (2013)
nork: Astborg, Johan
Argitaratua: (2013)
Programming with Microsoft Visual Basic 6.0 /
nork: Zak, Diane
Argitaratua: (2001)
nork: Zak, Diane
Argitaratua: (2001)
Build your own framework with Visual FoxPro
nork: Chazotte, Ken
Argitaratua: (2004)
nork: Chazotte, Ken
Argitaratua: (2004)
CoffeeScript programming with jQuery, Rails, and Node.js
nork: Erasmus, Michael
Argitaratua: (2012)
nork: Erasmus, Michael
Argitaratua: (2012)
Introduction to computer science ... /
nork: Hume, J.N.P
Argitaratua: (1990)
nork: Hume, J.N.P
Argitaratua: (1990)
Beginning Visual C++ 6 /
nork: Horton, Ivor
Argitaratua: (1998)
nork: Horton, Ivor
Argitaratua: (1998)
PHP jQuery cookbook over 60 simple but highly effective recipes to create interactive web applications using PHP with jQuery /
nork: Joshi, Vijay
Argitaratua: (2010)
nork: Joshi, Vijay
Argitaratua: (2010)
Character development in blender 2.5
nork: Williamson, Jonathan Carter
Argitaratua: (2011)
nork: Williamson, Jonathan Carter
Argitaratua: (2011)
Programming language pragmatics
nork: Scott, Michael Lee, 1959-
Argitaratua: (2006)
nork: Scott, Michael Lee, 1959-
Argitaratua: (2006)
Code craft the practice of writing excellent code /
nork: Goodliffe, Pete
Argitaratua: (2006)
nork: Goodliffe, Pete
Argitaratua: (2006)