Other relevant titles

2014

Build for Change : Revolutionizing Customer Engagement through Continuous Digital Innovation

Trefler, Alan



 

2014

Conditionality and the ambitions of governance : social transformation in Southeastern Europe

Shelton, Joel T., author

[Basingstoke] : Palgrave Macmillan, 2014

 

2014

A functional start to computing with Python

Herman, Ted, 1952-



 

2014

A new foundation for representation in cognitive and brain science : category theory and the hippocampus

Gómez-Ramirez, Jaime, author

Dordrecht : Springer, 2014

 

2014

Becoming functional

Backfield, Joshua.



 

2014

Functional thinking

Ford, Neal



 

2014

Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings

International Conference on Formal Engineering Methods (16th : 2014 : Luxembourg, Luxembourg)

Cham : Springer, 2014

 

2014

Concrete semantics : with Isabelle/HOL

Nipkow, Tobias, author

Cham : Springer, 2014

 

2014

Foundations of programming languages

Lee, Kent D. (Kent Derek), author.

Cham : Springer, 2014

 

2014

Programming languages and operational semantics : a concise overview

Fernández, Maribel, author.

Berlin : Springer, [2014]

 

2014

Specification, algebra, and software : essays dedicated to Kokichi Futatsugi

Heidelberg : Springer, 2014

 

2014

Beginning Java 8 fundamentals : language syntax, arrays, data types, objects, and regular expressions

Sharan, Kishori (Software engineer), author.

[Berkeley, CA] : Apress, 2014

 

2014

JavaFX 8 : introduction by example

Second edition
[Berkeley, CA] : Apress, [2014]

 

2014

Windows PowerShell desired state configuration revealed

Chaganti, Ravikanth, author

[Berkeley, CA] : Apress, [2014]

 

2014

Thinking in LINQ : harnessing the power of functional programing in .NET applications

Mukherjee, Sudipta, author.

[Berkeley, CA?] : Apress, 2014

 

2014

Introduction to programming languages

Bansal, Arvind Kumar, author.

Boca Raton, FL : CRC Press, [2014]

 

2013

Global HIV/AIDS politics, policy and activism : persistent challenges and emerging issues

Santa Barbara, Calif. : Praeger, an imprint of ABC-CLIO, LLC, [2013]

 

2013

Systematic program design : from clarity to efficiency

Liu, Yanhong Annie, 1965- author.

Cambridge : Cambridge University Press, 2013

 

2013

Functional thinking : functional programming using Java, Clojure and Scala

Ford, Neal



 

2013

Functional Programming Using F♯

Hansen, Michael R



 

2013

Functional programming in F♯

Hansen, Michael R., author



 

2013

Introduction to Programming Languages

Bansal, Arvind Kumar



 

2013

Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

LFCS 2013 (2013: San Diego, Calif.)



 

2013

Multicriteria and multiagent decision making with applications to economics and social sciences

 

2013

Static analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

International Static Analysis Symposium (20th : 2013 : Seattle, Wash.)



 

2013

The beauty of functional code : essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday

Heidelberg : Springer, 2013

 

2013

Android on x86 : an introduction to optimizing for Intel architecture

Krajci, Iggy



 

2013

Encyclopedia of sciences and religions

 

2012

Cochlear implants and other implantable hearing devices

San Diego : Plural Pub., [2012]

 

2012

Applied evolutionary psychology

1st ed


 

2012

Engineering a compiler

Cooper, Keith
2nd ed


 

2012

Introduction to computing using Python : an application development focus

Perkovic, Ljubomir.



 

2012

High-level structures for quantum computing

Miszczak, Jarosław Adam.



 

2012

Computer Aided Verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings

CAV (Conference) (24th : 2012 : Berkeley, Calif.)



 

2012

Genetic programming : 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012. Proceedings

EuroGP 2012 (2012 : Málaga, Spain)



 

2012

Modern compiler design

2nd ed


 

2012

Programming language concepts

Sestoft, Peter



 

2012

Text, speech and dialogue : 15th international conference, TSD 2012, Brno, Czech Republic, September 3-7, 2012, Proceedings

TSD (Conference) (15th : 2012 : Brno, Czech Republic)



 

2012

Static analysis : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

International Static Analysis Symposium (19th : 2012 : Deauville, France)



 

2012

Programming languages and systems : 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, proceedings

APLAS (Symposium) (10th : 2012 : Kyoto, Japan)



 

2012

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings

VSTTE (Conference) (4th : 2012 : Philadelphia, Pa.)



 

2012

Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

International Conference on Software Engineering and Formal Methods (10th : 2012 : Thessalonikē, Greece)



 

2011

Logic for computer science and artificial intelligence

Caferra, Ricardo, 1945-



 

2011

Professional parallel programming with C♯ : master parallel extensions with .NET 4

Hillar, Gastón C. (Gastón Carlos)



 

2011

Applied evolutionary psychology

 

2011

Learn you a Haskell for great good! : a beginner's guide

Lipovača, Miran



 

2011

Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers

FoVeOOS (Conference) (2010 : Paris, France)



 

2011

Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers

LOPSTR (Symposium) (20th : 2010 : Hagenberg, Austria)



 

2011

Multiparadigm constraint programming languages

Hofstedt, Petra



 

2011

Verification, model checking, and abstract interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings

VMCAI 2011 (2011 : Austin, Tex.)