Theoretical introduction to programming

Theoretical introduction to programming

Saved in:

Bibliographic Details
Main Author:	Mills, Bruce (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London Springer-Verlag 2006.
Subjects:	Algebra > Data processing Computer science Data structures (Computer science) Logic design
Online Access:	Click here to view the full text content
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Theoretical computer science : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings

Trends in functional programming 12th international symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, revised selected papers /
Published: (2012)

Certified programs and proofs : third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /
Published: (2013)

Types for proofs and programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
Published: (2007)

Types for proofs and programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /

Rigorous software development an introduction to program verification /
Published: (2011)

Graph-theoretic concepts in computer science : 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers /
Published: (2010)

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers
Published: (2005)

Datatype-generic programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /
Published: (2007)

Generic and indexed programming international spring school, SSGIP 2010, Oxford, UK, March 22-26, 2010, revised lectures /
Published: (2012)

Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings /
Published: (2013)

Rewriting and typed lambda calculi : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
Published: (2014)

Programming languages and systems (vol. # 3444) 14th european symposium on programming, ESOP 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8,
by: Sagiv, Mooly
Published: (2005)

Term Rewriting and Applications (vol. # 3467) 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
Published: (2005)

Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, revised selected papers
by: Fiadeiro, JosÃ© Luiz
Published: (2005)

Algebraic informatics : Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /
Published: (2007)

An introduction to mathematical cryptography /
by: Hoffstein, Jeffrey, et al.
Published: (2014)

Introduction to programming with fortran with coverage of fortran 90, 95, 2003, 2008 and 77 /
by: Chivers, Ian
Published: (2012)

Logic, language, information and computation 17th international workshop, woLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /
Published: (2010)

Logic, language, information and computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. proceedings /
Published: (2012)

Rough sets and knowledge technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings /
Published: (2009)

Computer science logic 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. proceedings /
by: Gradel, Erich
Published: (2009)

Algebraic and numeric biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers /
Published: (2012)

Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
Published: (2013)

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 /
Published: (2010)

STACS 2006 : 23rd annual symposium on theoretical aspects of computer science, Marseille, France, February 23-25, 2006, Proceedings /
Published: (2006)

STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings /
Published: (2007)

Logical foundations of computer science international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings /
Published: (2009)

Application and theory of petri nets and concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings /
Published: (2013)

Pattern calculus computing with functions and structures /
by: Jay, Barry
Published: (2009)

Application and theory of petri nets : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings /
Published: (2012)

LATIN 2014: Theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014. Proceedings /
Published: (2014)

Quantum attacks on public-key cryptosystems /
by: Yan, Song Y.
Published: (2013)

Mathematical foundations of computer science 2010 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Published: (2010)

Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings /
Published: (2013)

Theory and applications of models of computation : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings /
Published: (2014)

Theory and applications of models of computation : 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings /
Published: (2012)

Algebra and coalgebra in computer science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

Relational and algebraic methods in computer science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings /
Published: (2014)

Relational and algebraic methods in computer science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
Published: (2012)