-
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
-
Developing Security Tools of WSN and WBAN Networks Applications
Mahmoud, Mohsen 2015 Springer Japan
-
Programming Languages and Systems – 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
2014 Springer International Publishing
-
Assembly Language Step-by-Step – Programming with Linux
Duntemann, Jeff 2009 John Wiley & Sons
-
Speech and Computer – 16th International Conference, SPECOM 2014, Novi Sad, Serbia, October 5-9, 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
-
Computational Science and Its Applications – ICCSA 2014 – 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part I
2014 Springer International Publishing
-
Computational Science and Its Applications – ICCSA 2014 – 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V
2014 Springer International Publishing
-
Combinatorial Pattern Matching – 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings
2014 Springer International Publishing
-
Polymorphic type inference for a simple object oriented programming language with state
Hense, Andreas V. 2011 Saarländische Universitäts- und Landesbibliothek
-
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
-
Ada 2012 Reference Manual. Language and Standard Libraries – International Standard ISO/IEC 8652/2012 (E)
Taft, S. Tucker ; Duff, Robert A. ; Brukardt, Randall L. ; Plödereder, Erhard ; Leroy, Pascal ; Schonberg, Edmond 2013 Springer Berlin Heidelberg
-
Ada 2012 reference manual – language and standard libraries ; international standard ISO/IEC 8652/2012(E)
Taft, S. Tucker ; Duff, Robert A. ; Brukardt, Randall L. ; Plödereder, Erhard ; Leroy, Pascal ; Schonberg, Edmond 2013 Springer
-
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