E-LIB Suche - Ergebnisse für: Baeten, Jared M - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Process algebra: equational theories of communicating proce..

Cambridge tracts in theoretical computer science, 50

Baeten, J. C. M ; Basten, Thomas Geertruida Henricus ; Reniers, M. A , 2010

Link: https://search.ebscohost..

2

Applications of process algebra

Cambridge tracts in theoretical computer science ; 17

Baeten, J. C. M. , 2004

Link: https://doi.org/10.1017/..

Exemplar: Zentrale:Magazin 03.f.1682

3

The magic mirror: myth's abiding power

SUNY series in the philosophy of the social sciences

Baeten, Elizabeth M , 1996

Link: https://search.ebscohost..

4

Process algebra

Cambridge tracts in theoretical computer science ; 18

Baeten, J. C. M. ; Weijland, W. P. , 1990

Link: https://doi.org/10.1017/..

5

Automata, Languages and Programming

30th International Colloquium, ICALP 2003 Eindhoven, The Ne... Lecture Notes in Computer Science ; 2719

Baeten, Jos C. M. ; Lenstra, Jan Karel ; Parrow, Joachim. , 2003

Link: https://doi.org/10.1007/..

6

CONCUR '91

2nd International Conference on Concurrency Theory, Amsterd... Lecture Notes in Computer Science ; 527;SpringerLink, Bücher

Baeten, Jos C.M. ; Groote, Jan Friso , 1991

Link: https://doi.org/10.1007/..

7

CONCUR '91

2nd International Conference on Concurrency Theory, Amsterd... Lecture notes in computer science ; 527

Baeten, Josephus C. M. , 1991

Link: http://dx.doi.org/10.100..

Exemplar: Zentrale:Magazin 01.p.0349

8

CONCUR '90

Theories of Concurrency: Unification and Extension Lecture Notes in Computer Science ; 458;SpringerLink, Bücher

Baeten, Joseph C.M. ; Klop, Jan W. , 1990

Link: https://doi.org/10.1007/..

9

Theoretical Computer Science

7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Am... Lecture Notes in Computer Science ; 7604;SpringerLink, Bücher

Baeten, Jos C. M. ; Boer, Frank S. ; Ball, Tom , 2012

Link: https://doi.org/10.1007/..

10

Process algebra

equational theories of communicating processes Cambridge tracts in theoretical computer science ; 50

Baeten, Josephus C. M. ; Reniers, M. A. ; Basten, Thomas , 2010

Link: https://doi.org/10.1017/..

Exemplar: Zentrale:E02 a inf 450 ver/372

11

CONCUR’99 Concurrency Theory

10th International Conference Eindhoven, The Netherlands, A... Lecture Notes in Computer Science ; 1664;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Baeten, Jos C. M. ; Mauw, Sjouke , 1999

Link: https://doi.org/10.1007/..

12

CONCUR '90

theories of concurrency: unification and extension ; Amster... Lecture notes in computer science ; 458

Baeten, Josephus C. M. , 1990

Link: http://dx.doi.org/10.100..

Exemplar: Zentrale:Magazin 01.p.0195

1-12