Chargement en cours…

Programming Languages An Active Learning Approach /

Programming Languages: An Active Learning Approach introduces students to three programming paradigms: object-oriented/imperative languages using C++ and Ruby, functional languages using Standard ML, and logic programming using Prolog. This interactive textbook is intended to be used in and outside...

Description complète

Détails bibliographiques
Cote:	Libro Electrónico
Auteur principal:	Lee, Kent D. (Auteur)
Collectivité auteur:	SpringerLink (Online service)
Format:	Électronique eBook
Langue:	Inglés
Publié:	New York, NY : Springer US : Imprint: Springer, 2008.
Édition:	1st ed. 2008.
Sujets:	Compilers (Computer programs). Computer science. Computer science-Mathematics. Compilers and Interpreters. Computer Science Logic and Foundations of Programming. Symbolic and Algebraic Manipulation.
Accès en ligne:	Texto Completo

Documents similaires

Chargement en cours…

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
Publié: (2007)

Chargement en cours…

Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
Publié: (2009)

Chargement en cours…

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings /
Publié: (2008)

Chargement en cours…

Term Rewriting and Applications 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings /
Publié: (2006)

Chargement en cours…

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings /
Publié: (2007)

Chargement en cours…

Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers /
Publié: (2008)

Chargement en cours…

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
Publié: (2006)

Chargement en cours…

Rewriting Techniques and Applications 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings /
Publié: (2009)

Chargement en cours…

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /
Publié: (2011)

Chargement en cours…

Types for Proofs and Programs International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers /
Publié: (2008)

Chargement en cours…

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings /
Publié: (2013)

Chargement en cours…

Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
Publié: (2005)

Chargement en cours…

Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers /
Publié: (2011)

Chargement en cours…

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /
Publié: (2012)

Chargement en cours…

Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings /
Publié: (2011)

Chargement en cours…

Mathematica®: A Problem-Centered Approach
par: Hazrat, Roozbeh
Publié: (2015)

Chargement en cours…

Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers /
Publié: (2012)

Chargement en cours…

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement /
Publié: (2011)

Chargement en cours…

Mathematica®: A Problem-Centered Approach
par: Hazrat, Roozbeh
Publié: (2010)

Chargement en cours…

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings /
Publié: (2011)

Chargement en cours…

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007 and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers /
Publié: (2010)

Chargement en cours…

Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers /
Publié: (2010)

Chargement en cours…

Drawing Programs: The Theory and Practice of Schematic Functional Programming
par: Addis, Tom, et autres
Publié: (2010)

Chargement en cours…

Principles of Programming Languages
par: Dowek, Gilles
Publié: (2009)

Chargement en cours…

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /
Publié: (2014)

Chargement en cours…

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings /
Publié: (2013)

Chargement en cours…

Programming Languages and Operational Semantics A Concise Overview /
par: Fernández, Maribel
Publié: (2014)

Chargement en cours…

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /
Publié: (2006)

Chargement en cours…

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /
Publié: (2007)

Chargement en cours…

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /
Publié: (2005)

Chargement en cours…

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Publié: (2014)

Chargement en cours…

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
Publié: (2016)

Chargement en cours…

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /
Publié: (2005)

Chargement en cours…

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 /
Publié: (2009)

Chargement en cours…

Abstract Computing Machines A Lambda Calculus Perspective /
par: Kluge, Werner
Publié: (2005)

Chargement en cours…

Semantics with Applications: An Appetizer
par: Riis Nielson, Hanne, et autres
Publié: (2007)

Chargement en cours…

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Publié: (2010)

Chargement en cours…

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /
Publié: (2010)

Chargement en cours…

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /
Publié: (2015)

Chargement en cours…

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /
Publié: (2005)

Cannot write session to /tmp/vufind_sessions/sess_nes1hde6o526gh8220icj2of8e