Home Advanced Search

Advanced Search - Page 1

Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

PDF
English
Year: 2009
Author: Philip Wadler, Robert Bruce Findler (auth.), Giuseppe Castagna (eds.)

Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

PDF
English
Year: 2011
Author: Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)

Semantics engineering with PLT Redex

DJVU
English
Year: 2009
Author: Matthias Felleisen, Robert Bruce Findler, Matthew Flatt

How to design Programs. An Introduction to Programming and Computing (online version) [2nd ed.]

PDF
English
Year: 2014
Author: Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

How to Design Programs: An Introduction to Programming and Computing, 2nd Edition

AZW3
English
Year: 2018
Author: Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

How to Design Programs: An Introduction to Programming and Computing

PDF
English
Year: 2018
Author: Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

How to Design Programs: An Introduction to Programming and Computing

EPUB
English
Year: 2018
Author: Felleisen, Matthias; Findler, Robert Bruce; Flatt, Matthew; Krishnamurthi, Shriram

How to Design Programs An Introduction to Computing and Programming

PDF
English
Year: 2003
Author: Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

How to Design Programs: An Introduction to Programming and Computing

EPUB
English
Year: 2001
Author: Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

Java Generics and Collections

EPUB
English
Year: 2009
Author: Naftalin, Maurice;Wadler, Philip