„Programmiersprach“

Suchergebnisse

5.300 Treffer

• Programming Languages and Systems – 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
  Gordon, Andrew D. 2010 Springer International Publishing
• Fliegen & Fließen – Strömung erleben und berechnen
  Stubert, Bertram 2025 BoD – Books on Demand
• Logic, Language, Information, and Computation – 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
  De Paiva, Valeria ; Queiroz, Ruy J. G. B. ˜deœ ; Moss, Lawrence Stuart ; Leivant, Daniel ; de Oliveira, Anjolina 2015 Springer International Publishing
• Practical Aspects of Declarative Languages – 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
  Pontelli, Enrico ; Son, Tran Cao 2015 Springer International Publishing
• Programming Languages and Systems – 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
  2015 Springer International Publishing
• Concurrent Objects and Beyond – Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
  Agha, Gul ; Yonezawa, Akinori ; Igarashi, Atsushi ; Kobayashi, Naoki ; Masuhara, Hidehiko ; Matsuoka, Satoshi ; Shibayama, Etsuya ; Taura, Kenjiro 2014 Springer Berlin Heidelberg
• Logic, Language, Information, and Computation – 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
  Kohlenbach, Ulrich ; Barceló, Pablo ; Queiroz, Ruy J. G. B. ˜deœ 2014 Springer Berlin Heidelberg
• Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
• Programming Languages and Systems – 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Shao, Zhong 2014 Springer Berlin Heidelberg
• Practical Aspects of Declarative Languages – 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Implementation and Application of Functional Languages – 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
  2013 Springer Berlin Heidelberg
• In Search of Elegance in the Theory and Practice of Computation – Essays Dedicated to Peter Buneman
  Tannen, Val ; Buneman, Peter ; Wong, Limsoon ; Libkin, Leonid ; Fan, Wenfei ; Tan, Wang-Chiew ; Fourman, Michael 2013 Springer International Publishing
• Programming Languages – 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
  Rauber du Bois, André ; Trinder, Phil 2013 Springer Berlin Heidelberg
• The Beauty of Functional Code – Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
  Achten, Peter ; Plasmeijer, Marinus Jacobus ; Koopman, Pieter 2013 Springer Berlin Heidelberg
• Algebraic Informatics – 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
  Muntean, Traian ; Poulakis, Dimitrios ; ROLLAND, ROBERT 2013 Springer Berlin Heidelberg
• Logic, Language, Information, and Computation – 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings
  Libkin, Leonid ; Kohlenbach, Ulrich ; Queiroz, Ruy 2013 Springer Berlin Heidelberg
• Cognitive Models and Intelligent Environments for Learning Programming
  Lemut, Enrica 1993 Springer Berlin Heidelberg
• Reversible Computation – 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
  Dueck, Gerhard W. ; Miller, D. Michael 2013 Springer Berlin Heidelberg
• Declarative Agent Languages and Technologies X – 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
  Baldoni, Matteo ; Dennis, Louise ; Mascardi, Viviana ; Vasconcelos, Wamberto 2013 Springer Berlin Heidelberg
• Languages and Compilers for Parallel Computing – 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
  Kasahara, Hironori ; Kimura, Keiji 2013 Springer Berlin Heidelberg