KOBV Portal

Hits per page

hits 1 - 3 | 3 hits

Sorting

Online Resource

2008 6th IEEE/ACM International Conference on Formal Methods and Models for Codesign (2008)

IEEE Staff ; IEEE Staff [Contributor]

[Place of publication not identified] : I E E E

add to watchlist on the watchlist

Details

UID:

almahu_9948697695202882

Format: 1 online resource (vi, 205 pages)

ISBN: 9781509078004 , 1509078002

Series Statement: ACM Conferences

Note: Bibliographic Level Mode of Issuance: Monograph , English

Additional Edition: ISBN 9781424424177

Additional Edition: ISBN 1424424178

Language: English

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

HU Berlin

Online Resource

6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design, 2008, MEMOCODE'08 : 5 - 7 June 2008, Anaheim, CA, USA ; proceedings (2008)

Institute of Electrical and Electronics Engineers ; Association for Computing Machinery ; Association for Computing Machinery Special Interest Group on Design Automation

Piscataway, NJ : IEEE

add to watchlist on the watchlist

Details

UID:

gbv_737119179

Format: Online-Ressource

ISBN: 9781424424177 , 1424424178 , 9781424424177

Note: Parallel als Druckausg. erschienen , Co-located with the Design Automation Conference (DAC)

Language: English

Keywords: Hardwareentwurf ; Softwareentwicklung ; Formale Methode ; Systementwurf ; Konferenzschrift

URL: Volltext (lizenzpflichtig)

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

UB Potsdam

Online Resource

Proceedings of the Sixth ACMIEEE International Conference on Formal Methods and Models for Co-Design (2008)

Association for Computing Machinery-Digital Library ; ACM Special Interest Group on Embedded Systems ; ACM Special Interest Group on Design Automation

Washington, DC : IEEE Computer Society

add to watchlist on the watchlist

Details

UID:

gbv_1657568059

Format: 1 online resource.

ISBN: 9781424424177

Series Statement: ACM Conferences

Language: English

Keywords: Konferenzschrift

DOI: 10.5555/3041407

URL: Volltext

URL: lizenzpflichtig

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

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

Did you mean 9781424408177?

Did you mean 9781414424170?

Did you mean 9781414424187?

Kooperativer Bibliotheksverbund

Berlin Brandenburg