-
Vorlesung Nebenläufige Programmierung / Concurrent Programming
-
Aceto, Luca and Ingolfsdottir, Anna and Larsen, Kim Guldstrand and Srba, Jiri
Reactive Systems: Modelling, Specification and Verification
Cambridge University Press
2007
ACE l 2007:1 1.Ex
-
Andrews, Gregory R.
Concurrent Programming : Principles and Practice
Addison-Wesley
1991
AND g 1991:1 1.Ex
-
Ben-Ari, Moti
Principles of concurrent and distributed programming
Addison-Wesley
2006
BEN m 2006:1 1.Ex
-
Bowman, Howard and Gomez, Rodolfo
Concurrency theory
Springer
2006
BOW h 2006:1 1.Ex
-
Goetz, Brian and Peierls, Tim and Bloch, Joshua and Bowbeer, Joseph and Holmes, David
Java Concurrency in Practice
Addison-Wesley
2006
P JAV 2006:7 1.Ex
-
Herlihy, Maurice and Shavit, Nir
The art of multiprocessor programming
Elsevier
2008
HER m 2008:1 1.Ex
-
Lea, Doug
Concurrent Programming in Java - Design Principles and Patterns
Addison-Wesley
2007
P JAV 2007:4 2.Ex
-
Gosling, James and Joy, Bill and Steele, Guy and Bracha, Gilad
The Java Language Specification, Third Edition
Addison-Wesley
2005
Ebook
-
Lindsey, Clark S. and Tolliver, Johnny S. and Lindblad, Thomas
JavaTech
Cambridge Univ. Press
2005
LIN c 2005:1 1.Ex
-
Magee, Jeff and Kramer, Jeff
Concurrency: State Models and Java Programs
Wiley
2007
MAG j 2007:1 1.Ex
-
Milner, Robin
Communication and concurrency
Prentice-Hall
2006
MIL r 2006:1 1.Ex
-
Olderog, Ernst-Rüdiger
Nets, Terms and Formulas. Three Views of Concurrent Processes and Their Relationship
Cambridge
2005
OLD e 2005:1 1.Ex
-
Reisig, Wolfgang
Petrinetze: Eine Einführung
Springer
1982
REI w 1982:1 1.Ex
-
Taubner, Dirk
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets
Springer
1989
TAU d 1989:1 1.Ex
|