Skip to contents

Peuker, Sybille [Author] ; Peuker, Sibylle [Other]

Property preserving transition refinement with concurrent runs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Inst. für Informatik, 2000

Published in: Informatik-Berichte ; 13900
Peuker, Sibylle [Author]

Phased decomposition of distributed algorithms

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Inst. für Informatik, 1999

Published in: Informatik-Berichte ; 120
Kindler, Ekkart [Author]; Peuker, Sibylle [Author]

Integrating distributed algorithms into distributed systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Professoren des Institutes für Informatik, 1998

Published in: Informatik-Berichte ; 10700
Peucker, Nicolaus [Author] ; Schmied, Friedrich [Honoree]; Schmied, Marie Sibylle [Honoree]

Die Schmide mit ihrem Pinke Panke Pinke Panke Pink, vorgestellet bey der zwischen Friderich Schmiden und Marien Sibyllen Schillings angestellten Hochzeit

View online
Schließen

Access

... to E-book via Digital Collections of the SLUB

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kölln an der Spree, [1666]
Peuker, Sibylle [Author] ; Starke, Peter [Contributor]; Roever, Willem-Paul de [Contributor]; Reisig, Wolfgang [Contributor]

Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2001-07-03
Kindler, Ekkart [Author]; Peuker, Sibylle [Author]

Integrating Distributed Algorithms into Distributed Systems

View online
Schließen

Links

... to E-book

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik, 2011-08-17
Peucker, Nicolaus [Author] ; Schmied, Friedrich [Honoree]; Schmied, Marie Sibylle [Honoree]

Die Schmide mit ihrem Pinke Panke Pinke Panke Pink, vorgestellet bey der zwischen Friderich Schmiden und Marien Sibyllen Schillings angestellten Hochzeit

View online
Schließen

Access

... to E-book via Digital Collections of the SLUB (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kölln an der Spree, [1666] ; Online-Ausg., Dresden: SLUB, 2012
Peuker, Sibylle

Lecture Notes in Computer Science: Concurrency Based Transition Refinement for the Verification of Distributed Algorithms

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2003

Published in: Lecture Notes in Computer Science (2003), Seite 430-454
Peuker, Sibylle

Lecture Notes in Computer Science: Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2002

Published in: Lecture Notes in Computer Science (2002), Seite 374-393
Peuker, Sibylle; Hayes, Ian

Lecture Notes in Computer Science: Towards a Refinement Calculus for Concurrent Real-Time Programs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2002

Published in: Lecture Notes in Computer Science (2002), Seite 335-347
Kindler, Ekkart; Peuker, Sibylle

Integrating Distributed Algorithms into Distributed Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

IOS Press, 1999

Published in: Fundamenta Informaticae, 37 (1999) 3, Seite 291-309
Peucer, Kaspar [Author] ; Baumgartner, Hieronymus [Addressee]

Briefe Peucer, Casp. an Hieronym. Baumgärtner - Mscr.Dresd.C.107.f,13

View online
Schließen

Access

... to E-book via Digital Collections of the SLUB (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.], [1555-1563] ; Online-Ausg., Dresden: SLUB, 2014
Peucer, Kaspar [Author] ; Bersmann, Gregor [Other]; Christian I. Anhalt-Bernburg, Fürst [Other]; Schmidt, Bonaventura [Printer]

proseuchai.|| ILLVSTRISS. AC GE=||NEROSISS. PRINCIPI AC DOMI-||no, Dn. Christiano Pr. Anhaltino, comiti Ascaniae,|| Domino Seruesti ac Bernburgi &c. profici-||scenti cum exercitu in Gallias,|| Militia Christiana, vnà cum Psalmo XX. Exaudiat || te Dominus etc.||[von(Gregorius Bersmanus.||)] Piae ac faustae apprecationis ergò nuncupata.||

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Servestae: Bonaventura, 1591 ; Online-Ausg., Gotha: UFB Erfurt/Gotha, 2013

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication