„Concurrent Programming“

Suchergebnisse

241 Treffer

• Programming languages and systems – proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 Springer
• Concurrent programming for scalable web architectures
  Erb, Benjamin 2012 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• On concurrent programming
  Schneider, Fred B. 1997 Springer
• Central European Functional Programming School – 4th summer school ; revised selected papers
  Zsók, Viktória ; Horváth, Zoltán ; Plasmeijer, Rinus 2012 Springer
• Concurrent programming: algorithms, principles, and foundations
  Raynal, Michel 2013 Springer
• An approach to logic, object oriented concurrent robot programming and performance aspects
  Pollmann, Alfried
• Runtime verification – second international conference ; revised selected papers
  Khurshid, Sarfraz ; Sen, Koushik 2012 Springer
• “Truly concurrent” and nondeterministic semantics of discrete-time Petri nets
  Virbitskaite, I. B. ; Borovlev, V. A. ; Popova-Zeugmann, L.
• Multicore-Software – Grundlagen, Architektur und Implementierung in C/C++, Java und C#
  Gleim, Urs ; Schüle, Tobias 2012 dpunkt.verlag
• Concurrent abstract state machines
  Börger, Egon ; Schewe, Klaus-Dieter
• Clojure – Grundlagen, Concurrent Programming, Java
  Kamphausen, Stefan ; Kaiser, Tim Oliver 2011 dpunkt.verlag
• Model checking unbounded concurrent lists
  Sethi, Divjyot ; Talupur, Muralidhar ; Malik, Sharad
• Synthesis of large dynamic concurrent programs from dynamic specifications
  Attie, Paul C.
• Empirical software engineering and verification – international summer schools, LASER 2008 - 2010, Elba Island, Italy ; revised tutorial lectures
  Meyer, Bertrand ; Nordio, Martin 2012 Springer
• On Concurrent Programming
  Schneider, Fred B. 1997 Springer New York
• Search based software engineering – third international symposium ; proceedings
  Cohen, Myra B. ; O'Cinneide, Mel 2011 Springer
• Objects for Concurrent Constraint Programming
  1998 Springer US
• Symmetry reductions for model checking of concurrent dynamic software
  Iosif, Radu
• Exploiting transition locality in automatic verification of finite-state concurrent systems
  Della Penna, Giuseppe ; Intrigila, Benedetto ; Melatti, Igor ; Tronci, Enrico ; Venturini Zilli, Marisa
• Model-based testing for concurrent systems: unfolding-based test selection
  Ponce de León, Hernán ; Haar, Stefan ; Longuet, Delphine