-
Coalgebraic Methods in Computer Science – 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings
König, Barbara ; Urbat, Henning 2024 Springer Nature Switzerland, Imprint: Springer
-
Functional and Logic Programming – 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
Gibbons, Jeremy ; Miller, Dale 2024 Springer Nature Singapore, Imprint: Springer
-
Inductive Logic Programming – 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings
Muggleton, Stephen H. ; Tamaddoni-Nezhad, Alireza 2024 Springer Nature Switzerland, Imprint: Springer
-
Human and Artificial Rationalities – Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings
Baratgin, Jean ; Jacquet, Baptiste ; Yama, Hiroshi 2024 Springer Nature Switzerland, Imprint: Springer
-
Software, System, and Service Engineering – S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17–20 September 2023, Revised Selected Papers
2024 Springer Nature Switzerland
-
Programming Languages with Applications to Biology and Security – Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday
2015 Springer International Publishing
-
Programming Languages – 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24–25, 2015, Proceedings
Pardo, Alberto ; Swierstra, S. Doaitse 2015 Springer International Publishing
-
Computational Collective Intelligence – 7th International Conference, ICCCI 2015 Madrid, Spain, September 21–23, 2015. Proceedings, Part I
Núñez, Manuel ; Nguyen, Ngoc Thanh ; Camacho, David ; Trawinski, Bogdan 2015 Springer International Publishing
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems LII
Hameurlain, Abdelkader ; Tjoa, A Min 2022 Springer International Publishing
-
Programming Languages and Systems – 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Thiemann, Peter 2016 Springer Berlin Heidelberg
-
Programming Languages and Systems – 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Yang, Hongseok 2015 Springer International Publishing
-
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems – 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Bernardo, Marco ; De Nicola, Rocco ; Hillston, Jane 2016 Springer International Publishing
-
Reliable Software Technologies – Ada-Europe 2016 – 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
Bertogna, Marko ; Pinho, Luis Miguel ; Quiñones, Eduardo 2016 Springer International Publishing
-
A List of Successes That Can Change the World – Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Lindley, Sam ; McBride, Conor ; Trinder, Phil ; Sannella, Donald 2016 Springer International Publishing
-
Java als erste Programmiersprache – Grundkurs für Hochschulen
Goll, Joachim ; Heinisch, Cornelia 2016 Springer Fachmedien Wiesbaden
-
Software Engineering – International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
Meyer, Bertrand ; Nordio, Martin 2015 Springer International Publishing
-
Trustworthy Global Computing – 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers
Ganty, Pierre ; Loreti, Michele 2016 Springer International Publishing
-
Programming Languages – 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
Castor, Fernando ; Liu, Yu David 2016 Springer International Publishing
-
Funktionale Programmierung und Metaprogrammierung – Interaktiv in Common Lisp
Krusenotto, Patrick M. 2016 Springer Fachmedien Wiesbaden
-
Grundkurs Programmieren mit Delphi – Systematisch programmieren lernen für Einsteiger
Matthäus, Wolf-Gert 2016 Springer Fachmedien Wiesbaden