UB FFM: Suchergebnisse - "Computer multitasking"

[1]
zurück
1
2
3
4
5
6
7
8
9
weiter
[9]

Partial order methods for the verification of concurrent systems : an approach to the state explosion problem

Godefroid, Patrice

Berlin [u.a.] : Springer, 1996

Buch

Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem

Godefroid, Patrice (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1996

E-Book

On Deadlocks in concurrent systems: a Petri net based approach for Deadlock prediction and avoidance

Cacutalua, Ndombe

München [u.a.] : Oldenbourg, 1994

Buch

Nebenläufige Programmierung : ein Arbeitsbuch mit UNIX/Linux und Java ; mit 39 Programmen

Vogt, Carsten (Verfasser)

München : Hanser, 2012

Buch

Coordination Models and Languages : 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings

De Nicola, Rocco (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

Petri net algebra

Best, Eike

Berlin [u.a.] : Springer, 2001

Buch

Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

Meyer, Bertrand (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings

Aoki, Toshiaki (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

Programming Languages and Systems : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Seidl, Helmut (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

Output space compaction for testing and concurrent checking

Seuring, Markus (Verfasser)

2000

E-Book

Agent-Oriented Programming : From Prolog to Guarded Definite Clauses

Huntbach, Matthew M (Verfasser)

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1999

E-Book

Advanced Lectures on Software Engineering : LASER Summer School 2007/2008

Müller, Peter (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Principles of Distributed Systems : 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings

Lu, Chenyang (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Coordination Models and Languages : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

Clarke, David (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

On correctness of buffer implementations in a concurrent lambda calculus with futures

Schwinghammer, Jan

March 2, 2009 and May 12, 2009

Frankfurt am Main : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, 2009

E-Book

Specification and analysis of concurrent systems : the COSY approach

Janicki, Ryszard

Berlin [u.a.] : Springer, 1992

Buch

Nets, terms and formulas : three views of concurrent processes and their relationship

Olderog, Ernst-Rüdiger

1. publ.

Cambridge [u.a.] : Cambridge Univ. Press, 1991

Buch

Nets, terms, and formulas : three views of concurrent processes and their relationship

Olderog, Ernst-Rüdiger (Verfasser)

Cambridge : Cambridge University Press, 1991

E-Book

Coordination Models and Languages : 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings

Field, John (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Theoretical Aspects of Computing - ICTAC 2009 : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings

Leucker, Martin (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

[1]
zurück
1
2
3
4
5
6
7
8
9
weiter
[9]

Treffer 61 - 80 von 177

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken