-
Multiparty Languages: The Choreographic and Multitier Cases (Pearl)
Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco ; Richter, David ; Salvaneschi, Guido ; Weisenburger, Pascal 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Finally, a Polymorphic Linear Algebra Language (Pearl)
Shaikhha, Amir ; Parreaux, Lionel 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Approximating Language Edit Distance Beyond Fast Matrix Multiplication: Ultralinear Grammars Are Where Parsing Becomes Hard!
Jayaram, Rajesh ; Saha, Barna 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Multiparty Session Types as Coherence Proofs
Carbone, Marco ; Montesi, Fabrizio ; Schürmann, Carsten ; Yoshida, Nobuko 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Typed Multi-Language Strategy Combinators
Koppel, James 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)
Alglave, Jade ; Cousot, Patrick ; Urban, Caterina
-
Concurrent Computing in the Many-core Era (Dagstuhl Seminar 15021)
Philippsen, Michael ; Felber, Pascal ; Scott, Michael L. ; Moss, J. Eliot B.
-
Second Language Study Abroad – Programming, Pedagogy, and Participant Engagement
Plews, John L. ; Misfeldt, Kim 2018 Springer International Publishing
-
Transactions on Pattern Languages of Programming IV
2019 Springer International Publishing
-
Developing Turn-Based Multiplayer Games – with GameMaker Studio 2 and NodeJS
2018 Apress
-
PHP Arrays – Single, Multi-dimensional, Associative and Object Arrays in PHP 7
2017 Apress
-
Raspberry Pi GPU Audio Video Programming
2017 Apress
-
Moving to Responsive Web Design – Bring existing static sites into today's multi-device world with responsive web design
2016 Apress
-
Languages and Compilers for Parallel Computing – 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers
Brodman, James ; Tu, Peng 2015 Springer International Publishing
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII – Special Issue on Database- and Expert-Systems Applications
Hameurlain, Abdelkader ; Küng, Josef ; Wagner, Roland ; Decker, Hendrik ; Lhotská, Lenka ; Link, Sebastian 2015 Springer Berlin Heidelberg
-
Speech and Computer – 16th International Conference, SPECOM 2014, Novi Sad, Serbia, October 5-9, 2014. Proceedings
2014 Springer International Publishing
-
Engineering multi-agent systems – first international workshop ; revised selected papers
Cossentino, Massimo ; El Fallah Seghrouchni, Amal ; Winikoff, Michael 2013 Springer
-
Ada 2012 Rationale – The Language, The Standard Libraries
Barnes, J. G. P. 2013 Springer Berlin Heidelberg
-
Ada 2012 rationale – the language, the standard libraries
Barnes, J. G. P. 2013 Springer
-
Advances in artificial intelligence – proceedings
Kuri-Morales, Angel ; Simari, Guillermo R. 2010 Springer