Browse Results

Showing 80,851 through 80,875 of 85,134 results
Title Author ISBN Copyright Features Action
TypePad For Dummies 2942902 Melanie Nelson Shannon Lowe 9780470622766 2010
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in Computer Science #4502) 4813798 Thorsten Altenkirch Conor McBride 9783540744641 2007
Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science #1657) 4732193 Thorsten Altenkirch Wolfgang Naraschewski Bernhard Reus 9783540481676 1999
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers (Lecture Notes in Computer Science #3085) 4616687 Stefano Berardi Mario Coppo Ferruccio Damiani 9783540248491 2004
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in Computer Science #5497) 4614366 Stefano Berardi Ferruccio Damiani Ugo De Liguoro 9783642024443 2009
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science #2277) 4758694 Paul Callaghan Zhaohui Luo James McKinna Robert Pollack 9783540458425 2002
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science #1956) 4726443 Thierry Coquand Peter Dybjer Bengt Nordström Jan Smith 9783540445579 2000
Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science #3839) 4693513 Jean-Christophe Filliatre Christine Paulin-Mohring Benjamin Werner 9783540314295 2006
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers (Lecture Notes in Computer Science #2646) 4813902 Herman Geuvers Freek Wiedijk 9783540391852 2003
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes in Computer Science #4941) 4688955 Marino Miculan Ivan Scagnetto Furio Honsell 9783540681038 2008
Types in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers (Lecture Notes in Computer Science #2071) 4772077 Robert Harper 9783540453321 2001
TypeScript 2 for Angular Developers 2141836 Christian Nwamba 9781786464361 2017 Contains images
TypeScript 2.x By Example: Build Engaging Applications With Typescript, Angular, And Nativescript On The Azure Platform 2142971 Sachin Ohri 9781787280878 2017 Contains images
TypeScript 3.0 Quick Start Guide: The easiest way to learn TypeScript 2317249 Patrick Desjardins 9781789347937 2018 Contains images
TypeScript 3.0 Quick Start Guide: The easiest way to learn TypeScript 2317250 Patrick Desjardins 9781789347937 2018
TypeScript 3.0 Quick Start Guide: The Easiest Way To Learn Typescript 2885100 Patrick Desjardins 9781789345575 2018 Contains images
TypeScript Basics: Learn TypeScript from Scratch and Solidify Your Skills with Projects 5637081 Nabendu Biswas 9781484295236 2023 Contains images
TypeScript Essentials 2178312 Christopher Nance 9781783985777 2014 Contains images
TypeScript for Beginners: The Ultimate Guide (The Ultimate Guide) 4477608 Sufyan bin Uzayr 9781000539950 2022
TypeScript for Beginners: The Ultimate Guide (The Ultimate Guide) 5520972 Sufyan bin Uzayr 9781000539967 2022
TypeScript High Performance 2140694 Ajinkya Kher 9781782174387 2017 Contains images
TypeScript Microservices: Build, deploy, and secure Microservices using TypeScript combined with Node.js 2316537 Parth Ghiya 9781788836852 2018 Contains images
TypeScript Microservices: Build, deploy, and secure Microservices using TypeScript combined with Node.js 2316538 Parth Ghiya 9781788836852 2018
TypeScript Microservices: Build, Deploy, And Secure Microservices Using Typescript Combined With Node. Js 2882237 Parth Ghiya 9781788830751 2018 Contains images
TypeScript Revealed 3858888 Dan Maharry 9781430257264 2013

Refine Search

Showing 80,851 through 80,875 of 85,134 results