KOBV Portal

Online Resource

Semantics : foundations and applications ; REX Workshop Beekbergen, The Netherlands, June 1-4, 1992 ; proceedings (1993)

Bakker, Jacobus W. de [Sonstige] 1939-2012 ; REX Workshop 1992 Beekbergen

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV035720773

Format: 1 Online-Ressource (VIII, 659 S.)

ISBN: 3540565965 , 0387565965

Series Statement: Lecture notes in computer science 666

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Programmiersprache ; Semantik ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/3-540-56596-5

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

UB Potsdam

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

Foundations of object-oriented languages : REX School, workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990 ; proceedings (1991)

Bakker, Jacobus W. de [Sonstige] 1939-2012 ; REX School Workshop 1990 Noordwijkerhout

Berlin u.a. : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV035782975

Format: 1 Online-Ressource (VIII, 442 S.)

ISBN: 354053931X , 038753931X

Series Statement: Lecture notes in computer science 489

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Objektorientierte Programmierung ; Objektorientierte Programmiersprache ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/BFb0019438

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: lizenzpflichtig

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

UB Potsdam

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

A decade of concurrency : reflections and perspectives ; proceedings (1994)

Bakker, Jacobus W. de [Sonstige] 1939-2012 ; REX School Symposium 1993 Noordwijkerhout

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV035718049

Format: 1 Online-Ressource (684 S.) , graph. Darst.

ISBN: 3540580433 , 0387580433

Series Statement: Lecture notes in computer science 803

Language: English

Subjects: Computer Science

RVK:

SS 1993

RVK:

SS 4800

Keywords: Nebenläufigkeit ; Konferenzschrift

DOI: 10.1007/3-540-58043-3

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

Real-time: theory in practice : proceedings (1992)

Bakker, Jacobus W. de [Sonstige] 1939-2012 ; REX Workshop 1991 Mook

Berlin u.a. : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV035721485

Format: 1 Online-Ressource (VIII, 723 S. , graph. Darst.)

ISBN: 3540555641 , 0387555641

Series Statement: Lecture notes in computer science 600

Note: Literaturangaben

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Echtzeitverarbeitung ; Echtzeitsystem ; Konferenzschrift

DOI: 10.1007/BFb0031984

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

Current trends in concurrency : overviews and tutorials (1986)

Bakker, Jacobus W. de [Sonstige] 1939-2012 ; Advanced School on Current Trends in Concurrency 1985 Noordwijkerhout

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV035969356

Format: 1 Online-Ressource (XII, 716 S.) , Ill.

ISBN: 354016488X , 038716488X

Series Statement: Lecture notes in computer science 224

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Parallelverarbeitung ; Aufsatzsammlung ; Konferenzschrift

DOI: 10.1007/BFb0027037

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

Automata, languages and programming : 7th Colloquium, Noordwijker, the Netherlands, July 14 - 18, 1980 (1980)

Bakker, Jacobus W. de [Sonstige] 1939-2012 ; International Colloquium on Automata, Languages and Programming 7 1980 Noordwijkerhout

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV036033933

Format: 1 Online-Ressource (VIII, 671 S.) , graph. Darst.

ISBN: 3540100032 , 0387100032

Series Statement: Lecture notes in computer science 85

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Programmiersprache ; Automatentheorie ; Konferenzschrift

DOI: 10.1007/3-540-10003-2

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30 - June 3, 1988 (1989)

Bakker, Jacobus W. de [Sonstige] 1939-2012 ; School Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency 1988 Noordwijkerhout

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV035800993

Format: 1 Online-Ressource (VIII, 713 S.) , graph. Darst.

ISBN: 354051080X , 038751080X

Series Statement: Lecture notes in computer science 354

Note: Literaturangaben

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Nebenläufigkeit ; Parallelverarbeitung ; Mathematisches Modell ; Konferenzschrift

DOI: 10.1007/BFb0013019

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

Stepwise refinement of distributed systems : models, formalisms, correctness; proceedings (1990)

Bakker, Jacobus W. de [Sonstige] 1939-2012 ; REX Workshop 1989 Mook

Berlin u.a. : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV035787965

Format: 1 Online-Ressource (X, 808 S. , graph. Darst.)

ISBN: 3540525599 , 0387525599

Series Statement: Lecture notes in computer science 430

Note: Literaturanagebn

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Verteiltes System ; Schrittweise Verfeinerung ; Verteiltes System ; Konferenzschrift

DOI: 10.1007/3-540-52559-9

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

Parallel architectures and languages Europe : Eindhoven, the Netherlands, June 15 - 19, 1987, proceedings; 1: Parallel architectures (1987)

Bakker, Jacobus W. de [Sonstige] 1939-2012 ; PARLE 1 1987 Eindhoven

Berlin u.a. : Springer

Show associated volumes

add to watchlist on the watchlist

Details

UID:

b3kat_BV035880702

Format: 1 Online-Ressource

Series Statement: Lecture notes in computer science 258

In: 1

Language: English

DOI: 10.1007/3-540-17943-7

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Online Resource

Parallel architectures and languages Europe : Eindhoven, the Netherlands, June 15 - 19, 1987, proceedings; 2: Parallel languages (1987)

Bakker, Jacobus W. de [Sonstige] 1939-2012 ; PARLE 1 1987 Eindhoven

Berlin u.a. : Springer

Show associated volumes

add to watchlist on the watchlist

Details

UID:

b3kat_BV035880698

Format: 1 Online-Ressource

Series Statement: Lecture notes in computer science 259

In: 2

Language: English

DOI: 10.1007/3-540-17945-3

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

hits 1 - 10 | 90 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg