KOBV Portal

1

Online Resource

Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design (2010)

Bloem, Roderick [VerfasserIn] ; ACM Special Interest Group on Programming Languages ; ACM Special Interest Group on Software Engineering

Austin,Texas : FMCAD Inc

add to watchlist on the watchlist

Details

UID:

gbv_1752063538

Format: 1 online resource (278 pages)

Series Statement: ACM Other conferences

Note: Title from The ACM Digital Library

Language: English

Keywords: Konferenzschrift ; Konferenzschrift

DOI: 10.5555/1998496

URL: lizenzpflichtig

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

2

Online Resource

Proceedings of the International Conference on Formal Methods in Computer-Aided Design (2011)

Bjesse, Per [VerfasserIn] ; ACM Special Interest Group on Programming Languages ; ACM Special Interest Group on Software Engineering

Austin,Texas : FMCAD Inc

add to watchlist on the watchlist

Details

UID:

gbv_1752064739

Format: 1 online resource (240 pages)

ISBN: 9780983567813

Series Statement: ACM Conferences

Note: Title from The ACM Digital Library

Language: English

Keywords: Konferenzschrift ; Konferenzschrift

DOI: 10.5555/2157654

URL: lizenzpflichtig

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

3

Online Resource

Proceedings of the 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (2022)

Lee, Jaejin [VerfasserIn] ; ACM Special Interest Group on High Performance Computing ; ACM Special Interest Group on Programming Languages ; [et al.]

New York,NY,United States : Association for Computing Machinery

add to watchlist on the watchlist

Details

UID:

gbv_1797740598

Format: 1 online resource (495 pages)

ISBN: 9781450392044

Series Statement: ACM Conferences

Note: Title from The ACM Digital Library

Language: English

Keywords: Konferenzschrift

DOI: 10.1145/3503221

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

UB Potsdam

4

Online Resource

Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction (2022)

Egger, Bernhard [VerfasserIn] ; ACM Special Interest Group on Programming Languages ; ACM SIGs

New York,NY,United States : Association for Computing Machinery

add to watchlist on the watchlist

Details

UID:

gbv_1797740741

Format: 1 online resource (253 pages)

ISBN: 9781450391832

Series Statement: ACM Conferences

Note: Title from The ACM Digital Library

Language: English

Keywords: Konferenzschrift

DOI: 10.1145/3497776

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

UB Potsdam

5

Online Resource

Proceedings of the 8th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (2022)

Henriksen, Troels [VerfasserIn] ; ACM Special Interest Group on Programming Languages ; ACM SIGs

New York,NY,United States : Association for Computing Machinery

add to watchlist on the watchlist

Details

UID:

gbv_1809426499

Format: 1 online resource (57 pages)

ISBN: 9781450392693

Series Statement: ACM Conferences

Note: Title from The ACM Digital Library

Language: English

Keywords: Konferenzschrift

DOI: 10.1145/3520306

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

UB Potsdam

6

Online Resource

Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (2022)

Gonnord, Laure [VerfasserIn] ; ACM Special Interest Group on Programming Languages ; ACM SIGs

New York,NY,United States : Association for Computing Machinery

add to watchlist on the watchlist

Details

UID:

gbv_1809426456

Format: 1 online resource (50 pages)

ISBN: 9781450392747

Series Statement: ACM Conferences

Note: Title from The ACM Digital Library

Language: English

Keywords: Konferenzschrift

DOI: 10.1145/3520313

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

UB Potsdam

7

Online Resource

Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang (2022)

Aronis, Stavros [VerfasserIn] ; ACM Special Interest Group on Programming Languages ; ACM SIGs

New York,NY,United States : Association for Computing Machinery

add to watchlist on the watchlist

Details

UID:

gbv_1818057913

Format: 1 online resource (46 pages)

ISBN: 9781450394352

Series Statement: ACM Conferences

Note: Title from The ACM Digital Library

Language: English

Keywords: Konferenzschrift

DOI: 10.1145/3546186

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

UB Potsdam

8

Online Resource

Proceedings of the 18th ACM SIGPLAN International Symposium on Dynamic Languages (2022)

De Meuter, Wolfgang [VerfasserIn] ; ACM Special Interest Group on Programming Languages ; ACM SIGs

New York,NY,United States : Association for Computing Machinery

add to watchlist on the watchlist

Details

UID:

gbv_1830548425

Format: 1 online resource (28 pages)

ISBN: 9781450399081

Series Statement: ACM Conferences

Note: Title from The ACM Digital Library

Language: English

Keywords: Konferenzschrift

DOI: 10.1145/3563834

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

UB Potsdam

9

Online Resource

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems (2022)

Artho, Cyrille [VerfasserIn] ; ACM Special Interest Group on Programming Languages ; ACM SIGs

New York,NY,United States : Association for Computing Machinery

add to watchlist on the watchlist

Details

UID:

gbv_1830548522

Format: 1 online resource (94 pages)

ISBN: 9781450399074

Series Statement: ACM Conferences

Note: Title from The ACM Digital Library

Language: English

Keywords: Konferenzschrift

DOI: 10.1145/3563822

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

UB Potsdam

10

Online Resource

Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (2022)

Scholliers, Christophe [VerfasserIn] ; ACM Special Interest Group on Programming Languages ; ACM SIGs

New York,NY,United States : Association for Computing Machinery

add to watchlist on the watchlist

Details

UID:

gbv_1830548778

Format: 1 online resource (269 pages)

ISBN: 9781450399098

Series Statement: ACM Conferences

Note: Title from The ACM Digital Library

Language: English

Keywords: Konferenzschrift

DOI: 10.1145/3563835

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

UB Potsdam

Kooperativer Bibliotheksverbund

Berlin Brandenburg