Behavioural types : from theory to tools /
Wedi'i Gadw mewn:
| Awduron Eraill: | , |
|---|---|
| Fformat: | Electronig eLyfr |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Delft, The Netherlands :
River Publishers,
[2017]
|
| Cyfres: | River Publishers series in automation, control and robotics.
|
| Pynciau: | |
| Mynediad Ar-lein: | Click to View |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Eitemau Tebyg
Types and programming languages
gan: Pierce, Benjamin C.
Cyhoeddwyd: (2002)
gan: Pierce, Benjamin C.
Cyhoeddwyd: (2002)
Abstact data types /
gan: Dale, Nell
Cyhoeddwyd: (1996)
gan: Dale, Nell
Cyhoeddwyd: (1996)
Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
gan: Saxena, Shiti
Cyhoeddwyd: (2013)
gan: Saxena, Shiti
Cyhoeddwyd: (2013)
Software engineering (a lifecycle approach) /
gan: Mohapatra, Pratap K. J.
Cyhoeddwyd: (2010)
gan: Mohapatra, Pratap K. J.
Cyhoeddwyd: (2010)
Programming systems and languages.
gan: Rosen, Saul
Cyhoeddwyd: (1967)
gan: Rosen, Saul
Cyhoeddwyd: (1967)
Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
gan: Wheeler, Bert
Cyhoeddwyd: (2011)
gan: Wheeler, Bert
Cyhoeddwyd: (2011)
Beginning c# game programming
gan: Penton, Ron
Cyhoeddwyd: (2005)
gan: Penton, Ron
Cyhoeddwyd: (2005)
The elements of C++ style
gan: Misfeldt, Trevor, 1969-
Cyhoeddwyd: (2004)
gan: Misfeldt, Trevor, 1969-
Cyhoeddwyd: (2004)
The Professional programmers guide to C
gan: McKay, Pat
Cyhoeddwyd: (1989)
gan: McKay, Pat
Cyhoeddwyd: (1989)
The Standard ML basis library
Cyhoeddwyd: (2004)
Cyhoeddwyd: (2004)
Intermediate business programming with C++
gan: Voils, Don
Cyhoeddwyd: (2007)
gan: Voils, Don
Cyhoeddwyd: (2007)
Advanced business programming with C++ 2005
gan: Voils, Don
Cyhoeddwyd: (2007)
gan: Voils, Don
Cyhoeddwyd: (2007)
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 /
gan: Idris, Ivan
Cyhoeddwyd: (2013)
gan: Idris, Ivan
Cyhoeddwyd: (2013)
Professional Swift(Tm) /
gan: Dippery, Michael
Cyhoeddwyd: (2015)
gan: Dippery, Michael
Cyhoeddwyd: (2015)
TypeScript essentials : develop large scale responsive web applications with TypeScript /
gan: Nance, C. (Christopher)
Cyhoeddwyd: (2014)
gan: Nance, C. (Christopher)
Cyhoeddwyd: (2014)
The art of Assembly language
gan: Hyde, Randall
Cyhoeddwyd: (2010)
gan: Hyde, Randall
Cyhoeddwyd: (2010)
The art of assembly language
gan: Hyde, Randall
Cyhoeddwyd: (2003)
gan: Hyde, Randall
Cyhoeddwyd: (2003)
Programming language pragmatics (a companied by CD /
gan: Scott, Michael L.
Cyhoeddwyd: (2000)
gan: Scott, Michael L.
Cyhoeddwyd: (2000)
Design concepts in programming languages
gan: Turbak, Franklyn Albin
Cyhoeddwyd: (2008)
gan: Turbak, Franklyn Albin
Cyhoeddwyd: (2008)
Programming language pragmatics (a companied by CD /
gan: Scott, Michael L.
Cyhoeddwyd: (2006)
gan: Scott, Michael L.
Cyhoeddwyd: (2006)
Programming language landscape : syntax, semantics, and implementation /
gan: Marcotty, Michael, 1931-
Cyhoeddwyd: (1986)
gan: Marcotty, Michael, 1931-
Cyhoeddwyd: (1986)
Programming languages : paradigm and practice /
gan: Appleby, Doris
Cyhoeddwyd: (1991)
gan: Appleby, Doris
Cyhoeddwyd: (1991)
Concepts of programming languages /
gan: Sebesta, Robert W.
Cyhoeddwyd: (1993)
gan: Sebesta, Robert W.
Cyhoeddwyd: (1993)
Principles of programming languages : design, evaluation, and implementation /
gan: MacLennan, Bruce J.
Cyhoeddwyd: (1999)
gan: MacLennan, Bruce J.
Cyhoeddwyd: (1999)
Concepts of programming languages /
gan: Sebesta, Robert W.
Cyhoeddwyd: (2004)
gan: Sebesta, Robert W.
Cyhoeddwyd: (2004)
Programming languages : principles and paradigms /
gan: Tucker, Allen
Cyhoeddwyd: (2002)
gan: Tucker, Allen
Cyhoeddwyd: (2002)
Dart cookbook : over 110 incredibly effective, useful, and hands-on recipes to design Dart web client and server applications /
gan: Balbaert, Ivo
Cyhoeddwyd: (2014)
gan: Balbaert, Ivo
Cyhoeddwyd: (2014)
Practical foundations for programming languages
gan: Harper, Robert
Cyhoeddwyd: (2013)
gan: Harper, Robert
Cyhoeddwyd: (2013)
Learn meteor : node.js and mongodb javascript platform /
gan: Weil, Arnaud
Cyhoeddwyd: (2016)
gan: Weil, Arnaud
Cyhoeddwyd: (2016)
Programming languages : an interpreter-based approach /
gan: Kamin, Samuel N.
Cyhoeddwyd: (1990)
gan: Kamin, Samuel N.
Cyhoeddwyd: (1990)
F# for quantitative finance /
gan: Astborg, Johan
Cyhoeddwyd: (2013)
gan: Astborg, Johan
Cyhoeddwyd: (2013)
Build your own framework with Visual FoxPro
gan: Chazotte, Ken
Cyhoeddwyd: (2004)
gan: Chazotte, Ken
Cyhoeddwyd: (2004)
Programming with Microsoft Visual Basic 6.0 /
gan: Zak, Diane
Cyhoeddwyd: (2001)
gan: Zak, Diane
Cyhoeddwyd: (2001)
CoffeeScript programming with jQuery, Rails, and Node.js
gan: Erasmus, Michael
Cyhoeddwyd: (2012)
gan: Erasmus, Michael
Cyhoeddwyd: (2012)
Introduction to computer science ... /
gan: Hume, J.N.P
Cyhoeddwyd: (1990)
gan: Hume, J.N.P
Cyhoeddwyd: (1990)
Beginning Visual C++ 6 /
gan: Horton, Ivor
Cyhoeddwyd: (1998)
gan: Horton, Ivor
Cyhoeddwyd: (1998)
PHP jQuery cookbook over 60 simple but highly effective recipes to create interactive web applications using PHP with jQuery /
gan: Joshi, Vijay
Cyhoeddwyd: (2010)
gan: Joshi, Vijay
Cyhoeddwyd: (2010)
Character development in blender 2.5
gan: Williamson, Jonathan Carter
Cyhoeddwyd: (2011)
gan: Williamson, Jonathan Carter
Cyhoeddwyd: (2011)
Programming language pragmatics
gan: Scott, Michael Lee, 1959-
Cyhoeddwyd: (2006)
gan: Scott, Michael Lee, 1959-
Cyhoeddwyd: (2006)
Code craft the practice of writing excellent code /
gan: Goodliffe, Pete
Cyhoeddwyd: (2006)
gan: Goodliffe, Pete
Cyhoeddwyd: (2006)