Skip to contents Zima, Hans [Author] Betriebssysteme : parallele Prozesse - [3., durchges. Aufl.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Mannheim [u.a.]: Bibliograph. Inst., 1986 Published in: Reihe Informatik ; 20.1986 International Conference on Parallel Processing Proceedings of the ... International Conference on Parallel Processing Journals / Newspapers / Series Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: IEEE, 1976-1989 / 1976 - 1989 Fokkink, Willem J. [Author] ; Fokkink, Wan [Other] Introduction to process algebra : with 11 figures and 11 tables Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2000 Published in: Texts in theoretical computer science - An EATCS series Baeten, Josephus C. M. [Author]; Weijland, W. P. [Author] Process algebra Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge; New York$Port Chester; Melbourne; Sydney: Cambridge University Press, 1990 Published in: Cambridge tracts in theoretical computer science ; 18 Hirschberg, Reiner [Author] Mathematische Modellbildung und Analyse des betriebsmittelbeschränkten Scheduling auf parallelen Maschinen Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 1992 Published in: Reihe Informatik Reinecke, Rüdiger [Author] Hoares communicating sequential processes : Erweiterung des Spurenmodells Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1985 Hoare, Charles A. R. [Author] Communicating sequential processes Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Englewood Cliffs, NJ [u.a.]: Prentice-Hall International, 1985 Published in: Prentice-Hall International series in computer science Rothenhöfer, Daniela [Author] Ein Konzept für ein intelligentes Tutorsystem zum Erlernen des Testens und Debugging paralleler Prozeßsysteme Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Utz, Wiss., 1997 Published in: Informatik Trescher, Joachim [Author] Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer Systeme Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1996 Published in: GMD-Forschungszentrum Informationstechnik: GMD-Bericht ; 257 Taubner, Dirk A. [Author] The finite representation of abstract programs by automata and Petri nets Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1988 Röhrich, Johannes [Author] Parallele Systeme Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1986 Published in: Informatik-Fachberichte ; 117 Zima, Hans [Author] Betriebssysteme : parallele Prozesse - [2. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Mannheim [u.a.]: Bibliographisches Institut, 1980 Published in: Reihe Informatik ; 20.1980 Katoen, Joost-Pieter [Editor]; König, Barbara [Other] ; CONCUR 22 2011 Aachen CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6901 Breugel, Franck van [Other]; @Cherchik, Marsha [Other]; Breugel, Frank van [Editor] ; CONCUR 19 2008 Toronto CONCUR 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5201 Bravetti, Mario [Editor]; Zavattaro, Gianluigi [Other] ; CONCUR 20 2009 Bologna CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5710 Gastin, Paul [Editor]; Laroussinie, François [Other] ; CONCUR 21 2010 Paris CONCUR 2010 - concurrency theory : 21th international conference, CONCUR 2010, Paris, France, August 31 - September 3, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6269 Baier, Christel [Editor]; Hermanns, Holger [Other] ; CONCUR 17 2006 Bonn CONCUR 2006 - concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27 - 30, 2006 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4137 Caires, Luís [Editor]; Vasconcelos, Vasco T. [Other] ; CONCUR 18 2007 Lissabon CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4703 Amadio, Roberto M. [Editor] ; CONCUR 14 2003 Marseille CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3 - 5, 2003 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2761 Gardner, Philippa [Editor] ; CONCUR 15 2004 London CONCUR 2004 - Concurrency theory : 15th international conference, London, UK, August 31 - September 3, 2004 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3170
Zima, Hans [Author] Betriebssysteme : parallele Prozesse - [3., durchges. Aufl.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Mannheim [u.a.]: Bibliograph. Inst., 1986 Published in: Reihe Informatik ; 20.1986
International Conference on Parallel Processing Proceedings of the ... International Conference on Parallel Processing Journals / Newspapers / Series Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: IEEE, 1976-1989 / 1976 - 1989
Fokkink, Willem J. [Author] ; Fokkink, Wan [Other] Introduction to process algebra : with 11 figures and 11 tables Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2000 Published in: Texts in theoretical computer science - An EATCS series
Baeten, Josephus C. M. [Author]; Weijland, W. P. [Author] Process algebra Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge; New York$Port Chester; Melbourne; Sydney: Cambridge University Press, 1990 Published in: Cambridge tracts in theoretical computer science ; 18
Hirschberg, Reiner [Author] Mathematische Modellbildung und Analyse des betriebsmittelbeschränkten Scheduling auf parallelen Maschinen Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 1992 Published in: Reihe Informatik
Reinecke, Rüdiger [Author] Hoares communicating sequential processes : Erweiterung des Spurenmodells Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1985
Hoare, Charles A. R. [Author] Communicating sequential processes Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Englewood Cliffs, NJ [u.a.]: Prentice-Hall International, 1985 Published in: Prentice-Hall International series in computer science
Rothenhöfer, Daniela [Author] Ein Konzept für ein intelligentes Tutorsystem zum Erlernen des Testens und Debugging paralleler Prozeßsysteme Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Utz, Wiss., 1997 Published in: Informatik
Trescher, Joachim [Author] Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer Systeme Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1996 Published in: GMD-Forschungszentrum Informationstechnik: GMD-Bericht ; 257
Taubner, Dirk A. [Author] The finite representation of abstract programs by automata and Petri nets Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1988
Röhrich, Johannes [Author] Parallele Systeme Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1986 Published in: Informatik-Fachberichte ; 117
Zima, Hans [Author] Betriebssysteme : parallele Prozesse - [2. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Mannheim [u.a.]: Bibliographisches Institut, 1980 Published in: Reihe Informatik ; 20.1980
Katoen, Joost-Pieter [Editor]; König, Barbara [Other] ; CONCUR 22 2011 Aachen CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6901
Breugel, Franck van [Other]; @Cherchik, Marsha [Other]; Breugel, Frank van [Editor] ; CONCUR 19 2008 Toronto CONCUR 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5201
Bravetti, Mario [Editor]; Zavattaro, Gianluigi [Other] ; CONCUR 20 2009 Bologna CONCUR 2009 - concurrency theory : 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5710
Gastin, Paul [Editor]; Laroussinie, François [Other] ; CONCUR 21 2010 Paris CONCUR 2010 - concurrency theory : 21th international conference, CONCUR 2010, Paris, France, August 31 - September 3, 2010 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6269
Baier, Christel [Editor]; Hermanns, Holger [Other] ; CONCUR 17 2006 Bonn CONCUR 2006 - concurrency theory : 17th international conference, CONCUR 2006, Bonn, Germany, August 27 - 30, 2006 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4137
Caires, Luís [Editor]; Vasconcelos, Vasco T. [Other] ; CONCUR 18 2007 Lissabon CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4703
Amadio, Roberto M. [Editor] ; CONCUR 14 2003 Marseille CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3 - 5, 2003 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2761
Gardner, Philippa [Editor] ; CONCUR 15 2004 London CONCUR 2004 - Concurrency theory : 15th international conference, London, UK, August 31 - September 3, 2004 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3170
> Media type Skip to next facet Books (1.398) Wert ausschließen Journals / Newspapers / Series (18) Wert ausschließen Articles (3) Wert ausschließen Thesis (3) Wert ausschließen Microforms (2) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (130) Wert ausschließen Stack Collection (620) Wert ausschließen Ask for availability (73) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (646) Wert ausschließen Central Library (185) Wert ausschließen TU Dresden holdings (19) Wert ausschließen Branch Library of Medicine (6) Wert ausschließen Branch Library of Educationen (3) Wert ausschließen Branch Library of Forestry (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (8) Wert ausschließen Attribution (CC BY) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (100) Wert ausschließen Restricted Access (3) Wert ausschließen Without Specification (551) Wert ausschließen Show more show less
> Language Skip to next facet English (1.218) Wert ausschließen German (212) Wert ausschließen Without Specification (6) Wert ausschließen Japanese (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (1.310) Wert ausschließen Mathmatics (777) Wert ausschließen Technology (115) Wert ausschließen Economics (35) Wert ausschließen Physics (17) Wert ausschließen General sciences (16) Wert ausschließen General (7) Wert ausschließen Medicine (7) Wert ausschließen Biology (5) Wert ausschließen Geography (5) Wert ausschließen Musicology (5) Wert ausschließen Psychology (4) Wert ausschließen Chemistry and pharmacology (3) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (2) Wert ausschließen Geology and paleontology (2) Wert ausschließen History (1) Wert ausschließen Art and art history (1) Wert ausschließen Philosophy (1) Wert ausschließen Political science (1) Wert ausschließen Sociology (1) Wert ausschließen Sports science (1) Wert ausschließen Show more show less
> Creator Skip to next facet Institute of Electrical and Electronics Engineers (45) Wert ausschließen Association for Computing Machinery (25) Wert ausschließen Dongarra, Jack (24) Wert ausschließen Malyškin, Viktor Ė (23) Wert ausschließen European Organisation for Information Technology and Microelectronics (18) Wert ausschließen Feitelson, Dror G. (16) Wert ausschließen Schwiegelshohn, Uwe (14) Wert ausschließen Waśniewski, Jerzy (14) Wert ausschließen Bakker, Jacobus W. de (13) Wert ausschließen IEEE Computer Society (13) Wert ausschließen Nierstrasz, Oscar (13) Wert ausschließen Banerjee, Utpal (12) Wert ausschließen Mitchell, John C. (12) Wert ausschließen Bougé, Luc (11) Wert ausschließen Hutchison, David (11) Wert ausschließen Kanade, Takeo (11) Wert ausschließen Kittler, Josef (11) Wert ausschließen Kleinberg, Jon (11) Wert ausschließen Mattern, Friedemann (11) Wert ausschließen Naor, Moni (11) Wert ausschließen Pandu Rangan, C. (11) Wert ausschließen Rozenberg, Grzegorz (11) Wert ausschließen Steffen, Bernhard (11) Wert ausschließen Sudan, Madhu (11) Wert ausschließen Terzopoulos, Demetri (11) Wert ausschließen Tygar, Doug (11) Wert ausschließen Vardi, Moshe Y. (11) Wert ausschließen Weikum, Gerhard (11) Wert ausschließen Frachtenberg, Eitan (10) Wert ausschließen Guo, Minyi (10) Wert ausschließen Jin, Hai (10) Wert ausschließen Rünger, Gudula (10) Wert ausschließen Best, Eike (9) Wert ausschließen International Federation for Information Processing (9) Wert ausschließen Itō, Takayasū (9) Wert ausschließen Nagel, Wolfgang E. (9) Wert ausschließen Rauber, Thomas (9) Wert ausschließen Rudolph, Larry (9) Wert ausschließen Wyrzykowski, Roman (9) Wert ausschließen Cao, Jiannong (8) Wert ausschließen Klawonn, Axel (8) Wert ausschließen Rheinbach, Oliver (8) Wert ausschließen Agha, Gul (7) Wert ausschließen Baeten, Josephus C. M. (7) Wert ausschließen IEEE Computer Society Technical Committee on Parallel Processing (7) Wert ausschließen Majster-Cederbaum, Mila (7) Wert ausschließen Oechsle, Rainer (7) Wert ausschließen Padua, David A. (7) Wert ausschließen Roever, Willem-Paul de (7) Wert ausschließen Technische Universität Dresden (7) Wert ausschließen Yang, Laurence Tianruo (7) Wert ausschließen Yonezawa, Akinori (7) Wert ausschließen Alexander, Michael (6) Wert ausschließen Ciancarini, Paolo (6) Wert ausschließen Cosnard, Michel (6) Wert ausschließen Gropp, William (6) Wert ausschließen Hermanns, Holger (6) Wert ausschließen IEEE Computer Society Technical Committee on Scalable Computing (6) Wert ausschließen Kågström, Bo (6) Wert ausschließen Montanari, Ugo (6) Wert ausschließen Rolim, José (6) Wert ausschließen Schwefel, Hans-Paul (6) Wert ausschließen Streit, Achim (6) Wert ausschließen Zomaya, Albert Y. (6) Wert ausschließen Bode, Arndt (5) Wert ausschließen Daydé, Michel (5) Wert ausschließen Desel, Jörg (5) Wert ausschließen Feitelson, Dror (5) Wert ausschließen Gelernter, David (5) Wert ausschließen Hennessy, John L. (5) Wert ausschließen Hsu, Ching-Hsien (5) Wert ausschließen Knüpfer, Andreas (5) Wert ausschließen Lehner, Wolfgang (5) Wert ausschließen Nicolau, Alex (5) Wert ausschließen Pan, Yi (5) Wert ausschließen Parashar, Manish (5) Wert ausschließen Patterson, David A. (5) Wert ausschließen Resch, Michael (5) Wert ausschließen Zima, Hans (5) Wert ausschließen Akl, Selim G. (4) Wert ausschließen Almasi, George S. (4) Wert ausschließen Association for Computing Machinery Special Interest Group on Computer Architecture (4) Wert ausschließen Association for Computing Machinery Special Interest Group on Simulation (4) Wert ausschließen Austrian Center for Parallel Computation (4) Wert ausschließen Bräunl, Thomas (4) Wert ausschließen Buyya, Rajkumar (4) Wert ausschließen Clack, Chris (4) Wert ausschließen Danelutto, Marco (4) Wert ausschließen Daneshtalab, Masoud (4) Wert ausschließen Elmroth, Erik (4) Wert ausschließen Gao, Guang R. (4) Wert ausschließen Gardner, Philippa (4) Wert ausschließen Garg, Vijay Kumar (4) Wert ausschließen Grebe, Reinhard (4) Wert ausschließen Heinlein, Alexander (4) Wert ausschließen Hwu, Wen-mei W. (4) Wert ausschließen Karl, Wolfgang (4) Wert ausschließen Keller, Rainer (4) Wert ausschließen Lauer, Peter E. (4) Wert ausschließen Lin, Hai-Xiang (4) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (1.416) Wert ausschließen Lizenzfreie Online-Ressourcen (88) Wert ausschließen Qucosa (26) Wert ausschließen Abschlussarbeiten der TU Dresden (20) Wert ausschließen BASE - Bielefeld Academic Search Engine (3) Wert ausschließen Diss online (2) Wert ausschließen Digital Library Thüringen (1) Wert ausschließen Elsevier BV (CrossRef) (1) Wert ausschließen Forschungszentrum Jülich: JuSER (Juelich Shared Electronic Resources) (1) Wert ausschließen MOnAMi - Publication Server of the University of Applied Sciences Mittweida (1) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (1) Wert ausschließen Sächsische Bibliografie (1) Wert ausschließen Wiley (CrossRef) (1) Wert ausschließen Show more show less