KOBV Portal

Hits per page

hits 1 - 10 | 26 hits

Sorting

Book

Processing : a programming handbook for visual designers and artists (2007)

Reas, Casey [Verfasser] 1970- ; Fry, Ben [Verfasser]

Cambridge, Mass. [u.a.] : MIT Press

add to watchlist on the watchlist

Details

UID:

b3kat_BV023040449

Format: XXVI, 710 S. , Ill., graph. Darst.

ISBN: 9780262182621 , 0262182629

Language: English

Subjects: Computer Science

RVK:

ST 320

Keywords: Visuelle Medien ; Programmierung ; Computerkunst ; Programmierung

URL: Inhaltsverzeichnis

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

HWR Berlin

TH Brandenburg

FH Potsdam

BTU Cottbus

TU Berlin

HFS Ernst Busch

UdK Berlin

Kunsthochschule Berlin

Online Resource

Tools and algorithms for the construction and analysis of systems : 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III (2019)

TACAS 25. 2019 Prag ; Beyer, Dirk 1972- ; Huisman, Marieke 1973- ; [et al.]

Cham, Switzerland : Springer Open

add to watchlist on the watchlist

Details

UID:

b3kat_BV045860468

Format: 1 Online-Ressource (xxvii, 258 Seiten) , Illustrationen, Diagramme

ISBN: 9783030175023

Series Statement: Lecture notes in computer science 11429

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-17501-6

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Softwareentwicklung ; Systementwicklung ; Systemanalyse ; Programmverifikation ; Hardwareverifikation ; Model Checking ; Entscheidungsverfahren ; Programmiersprache ; Programmierung ; Theoretische Informatik ; Konferenzschrift ; Aufsatzsammlung ; Konferenzschrift

DOI: 10.1007/978-3-030-17502-3

URL: Volltext (kostenfrei)

URL: kostenfrei

URL: Inhaltstext

Author information: Kordon, Fabrice

Author information: Beyer, Dirk 1972-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Fulltext

UB Potsdam

EUV Frankfurt

HTW Berlin

FH Potsdam

BTU Cottbus

Book

Programming massively parallel processors : a hands-on approach (2010)

Kirk, David [Verfasser] 1960- ; Hwu, Wen-mei W. [Verfasser]

Burlington, MA [u.a.] : Elsevier

add to watchlist on the watchlist

Details

UID:

b3kat_BV035989667

Format: XVIII, 258 S. , Ill., graph. Darst.

ISBN: 9780123814722

Note: Includes bibliographical references and index

Language: English

Subjects: Computer Science

RVK:

ST 151

RVK:

ST 170

Keywords: Parallelprozessor ; Massive Parallelität ; Programmierung

URL: Inhaltsverzeichnis

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

HTW Berlin

TH Wildau

BTU Cottbus

TU Berlin

Online Resource

Logic, language, information, and computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings (2017)

WoLLIC 24. 2017 London ; Kennedy, Juliette 1955- ; Queiroz, Ruy J. G. B. de 1958-

Berlin : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV044432715

Format: 1 Online-Ressource (X, 401 Seiten) , Illustrationen

ISBN: 9783662553862

Series Statement: Lecture Notes in Computer Science 10388

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-662-55385-5

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Programmierlogik ; Natürliche Sprache ; Formale Syntax ; Formale Grammatik ; Logik ; Theoretische Informatik ; Programmiersprache ; Künstliche Intelligenz ; Konferenzschrift

DOI: 10.1007/978-3-662-55386-2

URL: Volltext (URL des Erstveröffentlichers)

URL: Volltext (lizenzpflichtig)

URL: Inhaltstext

Author information: Kennedy, Juliette 1955-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

FU Berlin

UB Potsdam

HTW Berlin

BTU Cottbus

Book

AMPL : a modeling language for mathematical programming (2003)

Fourer, Robert [Verfasser] 1950- ; Gay, David M. [Verfasser] ; Kernighan, Brian W. [Verfasser] 1942-

Pacific Grove, CA [u.a.] : Thomson Brooks/Cole

add to watchlist on the watchlist

Details

UID:

b3kat_BV016491844

Format: XXI, 517 S.

Edition: 2. ed.

ISBN: 0534388094 , 9780534388096

Language: English

Subjects: Computer Science

RVK:

ST 250

RVK:

ST 601

Keywords: AMPL ; Optimierung ; Programmiersprache

URL: Inhaltsverzeichnis

Author information: Kernighan, Brian W. 1942-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

FU Berlin

TH Wildau

Zuse-Institut Berlin

Book

The C++ programming language (1991)

Stroustrup, Bjarne [Verfasser] 1950-

Reading, Mass. u.a. : Addison-Wesley

add to watchlist on the watchlist

Details

UID:

b3kat_BV004609885

Format: XI, 669 S.

Edition: 2. ed.

ISBN: 0201539926

Language: English

Subjects: Computer Science , Economics

RVK:

QH 500

RVK:

ST 250

Keywords: C ; C++ ; Programmierung ; C++11 ; Programmiersprache ; Objektorientierte Programmierung ; Lehrbuch

Author information: Stroustrup, Bjarne 1950-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

FU Berlin

TH Brandenburg

TU Berlin

Book

The C++ programming language : [C++11] (2013)

Stroustrup, Bjarne [Verfasser] 1950-

Upper Saddle River, NJ ; Munich [u.a.] : Addison-Wesley

add to watchlist on the watchlist

Details

UID:

b3kat_BV041081002

Format: XIV, 1347 S. , graph. Darst.

Edition: 4. ed.

ISBN: 9780321563842 , 0321563840 , 9780321958327 , 0321958322

Note: Hier auch später erschienene, unveränderte Nachdrucke

Language: English

Subjects: Computer Science

RVK:

ST 250

Keywords: C++ ; Programmierung ; C ; C++11 ; Programmiersprache ; Objektorientierte Programmierung ; Lehrbuch

URL: Inhaltsverzeichnis

Author information: Stroustrup, Bjarne 1950-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

UB Potsdam

BTU Cottbus

TU Berlin

Book

Mathematical logic in computer science (1981)

Dömölki, B. ; Colloquium on Mathematical Logic in Computer Science 1978 Salgótarján

Amsterdam [u.a.] : North-Holland Publ.

add to watchlist on the watchlist

Details

UID:

b3kat_BV002005979

Format: 757 S. , graph. Darst.

ISBN: 0444854401 , 9638021462

Series Statement: Bolyai János Matematikai Társulat: Colloquia mathematica Societatis János Bolyai 26

Language: English

Subjects: Computer Science , Mathematics

RVK:

SD 1978

RVK:

SS 1978

Keywords: Mathematische Logik ; Datenverarbeitung ; Mathematische Logik ; Informatik ; Logik ; Programmierung ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

HU Berlin

UB Potsdam

TU Berlin

Online Resource

Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings (2018)

WoLLIC 25. 2018 Bogotá ; Moss, Lawrence S. ; Queiroz, Ruy J. G. B. de 1958- ; [et al.]

Berlin : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV045099629

Format: 1 Online-Ressource (XVIII, 325 Seiten)

ISBN: 9783662576694

Series Statement: Lecture Notes in Computer Science 10944

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-662-57668-7

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Programmierlogik ; Natürliche Sprache ; Formale Syntax ; Formale Grammatik ; Logik ; Theoretische Informatik ; Programmiersprache ; Künstliche Intelligenz ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/978-3-662-57669-4

URL: Volltext (URL des Erstveröffentlichers)

URL: Volltext

URL: lizenzpflichtig

URL: Cover

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

HTW Berlin

BTU Cottbus

Online Resource

Software engineering and formal methods : 16th International Conference, SEFM 2018 : held as part of STAF 2018, Toulouse, France, June 27–29, 2018 : proceedings (2018)

SEFM 16. 2018 Toulouse ; Johnsen, Einar Broch ; Schaefer, Ina 1977- ; [et al.]

Cham : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV045099597

Format: 1 Online-Ressource (XIV, 302 Seiten) , Illustrationen, Diagramme

ISBN: 9783319929705

Series Statement: Lecture Notes in Computer Science 10886

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-319-92969-9

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Informatik ; Software Engineering ; Logischer Entwurf ; Programmiersprache ; Konferenzschrift

DOI: 10.1007/978-3-319-92970-5

URL: Volltext (URL des Erstveröffentlichers)

URL: Volltext

URL: lizenzpflichtig

URL: Cover

URL: Inhaltstext

Author information: Johnsen, Einar Broch

Author information: Schaefer, Ina 1977-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

HTW Berlin

BTU Cottbus

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