-
Concrete Semantics – With Isabelle/HOL
2014 Springer International Publishing
-
Modern X86 Assembly Language Programming – 32-bit, 64-bit, SSE, and AVX
2014 Apress
-
Verified Software: Theories, Tools and Experiments – 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Giannakopoulou, Dimitra ; Kroening, Daniel 2014 Springer International Publishing
-
Languages and Compilers for Parallel Computing – 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papers
Caşcaval, Călin ; Montesinos-Ortego, Pablo 2014 Springer International Publishing
-
Declarative Programming and Knowledge Management – Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
Hanus, Michael ; Rocha, Ricardo 2014 Springer International Publishing
-
Programming Languages and Systems – 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
2014 Springer International Publishing
-
Pro TypeScript – Application-Scale JavaScript Development
2014 Apress
-
Software Architecture – 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings
2014 Springer International Publishing
-
Programming Languages and Operational Semantics – A Concise Overview
Fernández, Maribel 2014 Springer London
-
Big data integration theory – theory and methods of database mappings, programming languages, and semantics
Majkić, Zoran 2014 Springer International Publishing
-
Giants of Computing – A Compendium of Select, Pivotal Pioneers
O'Regan, Gerard 2013 Springer London
-
The R Software – Fundamentals of Programming and Statistical Analysis
2013 Springer New York
-
Engineering multi-agent systems – first international workshop ; revised selected papers
Cossentino, Massimo ; El Fallah Seghrouchni, Amal ; Winikoff, Michael 2013 Springer
-
Programming Languages and Systems – 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
Shan, Chung-chien 2013 Springer International Publishing
-
Automata, languages and programming – 2. Colloquium, Univ. of Saarbrücken, July 29 - Aug. 2, 1974
Loeckx, Jacques 1974 Springer
-
Programming languages – 17th Brazilian Symposium ; proceedings
Rauber du Bois, André ; Trinder, Phil 2013 Springer
-
Guide to Programming and Algorithms Using R
Ergül, Özgür 2013 Springer London
-
Automata, languages, and programming – 40th international colloquium ; proceedings
Fomin, Fedor V. ; Freivalds, Rusins ; Kwiatkowska, Marta Z. ; Peleg, David Springer
-
SNAP — A programming language for humanists
Barnett, Michael P.
-
Compiler Design – Syntactic and Semantic Analysis
Wilhelm, Reinhard ; Seidl, Helmut 2013 Springer Berlin Heidelberg