Pattern calculus : computing with functions and structures /
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; London :
Springer,
2009.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Abstract computing machines : a lambda calculus perspective /
by: Kluge, Werner (Werner E.)
Published: (2005)
by: Kluge, Werner (Werner E.)
Published: (2005)
Adapting proofs-as-programs : the Curry-Howard protocol /
by: Poernomo, Iman Hafiz, 1976-
Published: (2005)
by: Poernomo, Iman Hafiz, 1976-
Published: (2005)
Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday /
Published: (2005)
Published: (2005)
Drawing programs : the theory and practice of schematic functional programming /
by: Addis, T. R.
Published: (2010)
by: Addis, T. R.
Published: (2010)
Grokking simplicity : taming complex software with functional thinking /
by: Normand, Eric
Published: (2021)
by: Normand, Eric
Published: (2021)
Advanced algorithms and data structures /
by: La Rocca, Marcello
Published: (2021)
by: La Rocca, Marcello
Published: (2021)
Open data structures : an introduction /
by: Morin, Pat, 1973-
Published: (2013)
by: Morin, Pat, 1973-
Published: (2013)
Algorithms and data structures : the science of computing /
by: Baldwin, Douglas (Douglas L.), 1958-
Published: (2004)
by: Baldwin, Douglas (Douglas L.), 1958-
Published: (2004)
Algorithms and data structures : the basic toolbox /
by: Mehlhorn, Kurt, 1949-
Published: (2008)
by: Mehlhorn, Kurt, 1949-
Published: (2008)
Sams teach yourself data structures and algorithms in 24 hours /
by: Lafore, Robert
Published: (1999)
by: Lafore, Robert
Published: (1999)
Structures de données et méthodes formelles /
by: Guyomard, Marc
Published: (2011)
by: Guyomard, Marc
Published: (2011)
Algorithm design with Haskell /
by: Bird, Richard, 1943-, et al.
Published: (2020)
by: Bird, Richard, 1943-, et al.
Published: (2020)
F# for scientists /
by: Harrop, Jon D.
Published: (2008)
by: Harrop, Jon D.
Published: (2008)
Get programming with Scala /
by: Sfregola, Daniela
Published: (2021)
by: Sfregola, Daniela
Published: (2021)
C++ plus data structures /
by: Dale, Nell (Nell B.)
Published: (1998)
by: Dale, Nell (Nell B.)
Published: (1998)
Schaum's outline of theory and problems of data structures with Java /
by: Hubbard, J. R. (John Rast), 1943-
Published: (2000)
by: Hubbard, J. R. (John Rast), 1943-
Published: (2000)
Practical Clojure /
by: VanderHart, Luke
Published: (2010)
by: VanderHart, Luke
Published: (2010)
Enterprise Mac Administrator's Guide /
by: Edge, Charles S., Jr, et al.
Published: (2009)
by: Edge, Charles S., Jr, et al.
Published: (2009)
Data modeling fundamentals : a practical guide for IT professionals /
by: Ponniah, Paulraj
Published: (2007)
by: Ponniah, Paulraj
Published: (2007)
Beginning database design /
by: Churcher, Clare
Published: (2007)
by: Churcher, Clare
Published: (2007)
Algorithm and data structures /
by: Raghuwanshi, M. M.
Published: (2016)
by: Raghuwanshi, M. M.
Published: (2016)
Data science with Julia /
by: McNicholas, Paul D., et al.
Published: (2019)
by: McNicholas, Paul D., et al.
Published: (2019)
Projection-Based Clustering through Self-Organization and Swarm Intelligence : Combining Cluster Analysis with the Visualization of High-Dimensional Data /
by: Thrun, Michael Christoph
Published: (2018)
by: Thrun, Michael Christoph
Published: (2018)
Pascal Plus data structures, algorithms, and advanced programming /
by: Dale, Nell (Nell B.)
Published: (1995)
by: Dale, Nell (Nell B.)
Published: (1995)
Learning structure and schemas from documents /
Published: (2011)
Published: (2011)
Fundamentals of OOP and data structures in Java /
by: Wiener, Richard, 1941-
Published: (2000)
by: Wiener, Richard, 1941-
Published: (2000)
Object-oriented data structures using Java /
by: Dale, Nell (Nell B.), et al.
Published: (2017)
by: Dale, Nell (Nell B.), et al.
Published: (2017)
Managing and mining graph data /
Published: (2010)
Published: (2010)
Cookies /
by: St. Laurent, Simon
Published: (1998)
by: St. Laurent, Simon
Published: (1998)
The lambda calculus : its syntax and semantics /
by: Barendregt, H. P. (Hendrik Pieter)
Published: (1984)
by: Barendregt, H. P. (Hendrik Pieter)
Published: (1984)
Practical OCaml /
by: Smith, Joshua B.
Published: (2006)
by: Smith, Joshua B.
Published: (2006)
The Ultimate Openshift (2018) Bootcamp /
by: Shah, Gourav
Published: (2018)
by: Shah, Gourav
Published: (2018)
Grammatical picture generation : a tree-based approach /
by: Drewes, Frank
Published: (2006)
by: Drewes, Frank
Published: (2006)
Designing sorting networks : a new paradigm /
by: Al-Haj Baddar, Sherenaz W. (Sherenaz Waleed)
Published: (2011)
by: Al-Haj Baddar, Sherenaz W. (Sherenaz Waleed)
Published: (2011)
Mining graph data /
Published: (2007)
Published: (2007)
Communications and Multimedia Security : 8th IFIP TC-6 TC-11 Conference on Communications and Multimedia Security, Sept. 15-18, 2004, Windermere, The Lake District, United Kingdom /
Published: (2005)
Published: (2005)
Physically unclonable functions (PUFs) : applications, models, and future directions /
by: Wachsmann, Christian, et al.
Published: (2015)
by: Wachsmann, Christian, et al.
Published: (2015)
The Tomes of Delphi : algorithms and data structures /
by: Bucknall, Julian
Published: (2001)
by: Bucknall, Julian
Published: (2001)
STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science Dresden, Germany, February 15 17, 2001 Proceedings.
by: Ferreira, Afonso
Published: (2001)
by: Ferreira, Afonso
Published: (2001)
Geometric Structure of High-Dimensional Data and Dimensionality Reduction /
by: Wang, Jianzhong
Published: (2011)
by: Wang, Jianzhong
Published: (2011)