Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: ACM and IEEE International Conference on Formal Methods and Models for Co-Design. 8 träffar

Titel Författare År Språk
1 2006 IEEE/ACM 4th International Conference on Formal Methods and Models for Co-Design ACM and IEEE International Conference on Formal Methods and Models for Co-Design. uuuu-uuuu Okänt
2-3 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Codesign (flera utgåvor) ACM and IEEE International Conference on Formal Methods and Models for Co-Design. uuuu-uuuu Okänt
4 Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign / sponsors, ACM Special Interest Group on Design Automation, ACM Special Interest Group on Embedded Systems Tex.) (2015 ACM and IEEE International Conference on Formal Methods and Models for Co-Design Austin uuuu-uuuu Okänt
5 MEMOCODE : 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design : 15-18 October 2018, Beijing, China / Institute of Electrical and Electronics Engineers China) 2018 : (16th ACM and IEEE International Conference on Formal Methods and Models for Co-Design Beijing uuuu-uuuu Okänt
6 First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003, Proceedings : 24-26 June 2003, Mont Saint Michel, France / Institute of Electrical and Electronics Engineers France) 2003 : (1st ACM and IEEE International Conference on Formal Methods and Models for Co-Design Mont Saint Michel uuuu-uuuu Okänt
7 MEMOCODE'04 : Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design : proceedings : June 23-25, 2004, San Diego, California Calif.) 2004 : (2nd ACM and IEEE International Conference on Formal Methods and Models for Co-Design San Diego uuuu-uuuu Okänt
8 2005 Third ACM/IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '05, July 11-14, 2005, verona, Italy ACM/IEEE International Conference on Formal Methods and Models for Co-Design Corporate Author uuuu-uuuu Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.