KOBV Portal

Hits per page

hits 1 - 7 | 7 hits

Sorting

Book

Programmverifikation : sequentielle, parallele und verteilte Programme (1994)

Apt, Krzysztof R. 1949- ; Olderog, Ernst-Rüdiger 1955-

Berlin u.a. :Springer,

add to watchlist on the watchlist

Details

UID:

almafu_BV009128957

Format: XII, 258 S.

ISBN: 3-540-57479-4

Series Statement: Springer-Lehrbuch

Language: German

Subjects: Computer Science

RVK:

ST 233

Keywords: Programmverifikation ; Einführung

URL: Inhaltsverzeichnis

URL: Inhaltstext

Author information: Olderog, Ernst-Rüdiger 1955-

Author information: Apt, Krzysztof R. 1949-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

FU Berlin

UB Potsdam

TH Brandenburg

TH Wildau

Berlin VÖBB/ZLB

BTU Cottbus

TU Berlin

Book

Foundations of deductive databases and logic programming / (1988)

Apt, Krzysztof R. 1949- ; Minker, Jack ; Workshop on Foundations of Deductive Databases and Logic Programming 1986 Washington, DC

Los Altos, Calif. :Morgan Kaufmann,

add to watchlist on the watchlist

Details

UID:

almafu_BV002301473

Format: 746 S. : graph. Darst.

ISBN: 0-934613-40-0

Note: Literaturangaben

Language: English

Subjects: Computer Science

RVK:

SS 1986

RVK:

ST 270

RVK:

ST 304

Keywords: Deduktives Datenbanksystem ; Logische Programmierung ; Datenbank ; Logische Programmierung ; Aufsatzsammlung ; Konferenzschrift ; Aufsatzsammlung ; Konferenzschrift ; Aufsatzsammlung ; Konferenzschrift

URL: Inhaltstext

Author information: Apt, Krzysztof R. 1949-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

HU Berlin

FU Berlin

UB Potsdam

TU Berlin

Book

Verification of sequential and concurrent programs / (1997)

Apt, Krzysztof R. 1949- ; Olderog, Ernst-Rüdiger 1955-

New York u.a. :Springer,

add to watchlist on the watchlist

Details

UID:

almafu_BV011429751

Format: XVII, 364 S.

Edition: 2. ed.

ISBN: 0-387-94896-1

Series Statement: Graduate texts in computer science

Language: English

Subjects: Computer Science

RVK:

ST 230

RVK:

ST 233

Keywords: Programmverifikation ; Verifikation ; Software

URL: Inhaltstext

URL: http://www.loc.gov/catdir/enhancements/fy0812/96029771-d.html

URL: http://www.loc.gov/catdir/enhancements/fy0812/96029771-t.html

Author information: Olderog, Ernst-Rüdiger 1955-

Author information: Apt, Krzysztof R. 1949-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

FU Berlin

UB Potsdam

Berlin VÖBB/ZLB

BTU Cottbus

Book

New trends in constraints : joint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25 - 27, 1999 ; selected papers (2000)

Apt, Krzysztof R. [Hrsg.] 1949- ; European Research Consortium for Informatics and Mathematics ; European Network of Excellence in Computational Logic

Berlin : Springer

add to watchlist on the watchlist

Details

UID:

gbv_318089831

Format: X, 338 S. , Ill., graph. Darst , 24 cm

ISBN: 3540678859

Series Statement: Lecture notes in computer science 1865

Additional Edition: Erscheint auch als Online-Ausgabe Apt, Krzysztof R., 1949 - New Trends in Constraints Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2000 ISBN 9783540446545

Additional Edition: ISBN 3540678859

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Constraint-Programmierung ; Constraint-Programmierung ; Konferenzschrift

URL: Inhaltsverzeichnis

URL: Kapitel 1

URL: Cover

Author information: Apt, Krzysztof R. 1949-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

UB Potsdam

Online Resource

New Trends in Constraints : Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers (2000)

Apt, Krzysztof R. 1949- ; Kakas, Antonis C. ; Monfroy, Eric ; [et al.]

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg

add to watchlist on the watchlist

Details

UID:

gbv_1649371632

Format: Online-Ressource

ISBN: 9783540446545 , 3540678859

Series Statement: Lecture Notes in Computer Science 1865

Content: This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. The 12 revised full research papers presented together with four surveys by leading researchers were carefully reviewed. The book is divided in topical sections on constraint propagation and manipulation, constraint programming, and rule-based constraint programming

Additional Edition: ISBN 9783540678854

Additional Edition: Buchausg. u.d.T. New trends in constraints Berlin : Springer, 2000 ISBN 3540678859

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Constraint-Programmierung ; Constraint-Programmierung ; Konferenzschrift

DOI: 10.1007/3-540-44654-0

URL: Volltext (lizenzpflichtig)

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: Cover

URL: Inhaltsverzeichnis

URL: Kapitel 1

URL: Inhaltsverzeichnis

Author information: Apt, Krzysztof R. 1949-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

Book

Principles of constraint programming (2006)

Apt, Krzysztof R. 1949-

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

add to watchlist on the watchlist

Details

UID:

gbv_528932047

Format: XII, 407 S , Ill., graph. Darst

Edition: Reprint

ISBN: 0521825830 , 9780521825832

Note: Literaturverz. S. 387 - 400

Language: English

Subjects: Computer Science

RVK:

ST 230

Keywords: Constraint-Programmierung ; Lehrbuch

URL: Inhaltsverzeichnis

URL: http://www.loc.gov/catdir/description/cam041/2003278560.html

URL: http://www.loc.gov/catdir/samples/cam041/2003278560.html

Author information: Apt, Krzysztof R. 1949-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

UB Potsdam

Online Resource

Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Selected Papers (2004)

Apt, Krzysztof R. ; Fages, François ; Rossi, Francesca 1962- ; [et al.]

Berlin : Springer

add to watchlist on the watchlist

Details

UID:

gbv_749258381

Format: Online-Ressource (VIII, 285 p. Also available online) , digital

Edition: Springer eBook Collection. Computer Science

ISBN: 9783540246626 , 3540218343 , 9783540218340

Series Statement: Lecture Notes in Computer Science 3010

Content: This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003 held in Budapest, Hungary in June/July 2003. The 15 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in Topical sections on constraint solving, soft constraints, language issues, and applications

Note: Literaturangaben

Additional Edition: ISBN 9783540218340

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783662192658

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783540218340

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Logische Programmiersprache ; Fuzzy-Logik

DOI: 10.1007/b96986

URL: lizenzpflichtig

URL: Volltext (lizenzpflichtig)

URL: Volltext (Online Access)

URL: Inhaltstext

URL: Online Access

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

hits 1 - 7 | 7 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