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: Ganesh Gopalakrishnan 12 träffar

Titel Författare År Språk
1 Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings 2011 Okänt
2-3 Formal methods in computer aided design - second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings (flera utgåvor) CA) International Conference on Formal Methods in Computer-Aided Design 1998 : Palo Alto 1998 Engelska
4 Formal Methods in Computer-Aided Design: Second International Conference, FMCAD' 98 Palo Alto, CA, USA, November 46, 1998 Proceedings Ganesh Gopalakrishnan uuuu-uuuu Okänt
5 Computation Engineering electronic resource : Applied Automata Theory and Logic / by Ganesh Gopalakrishnan Ganesh. author. Gopalakrishnan uuuu-uuuu Okänt
6 Automata and Computability Ganesh Gopalakrishnan 2019 Okänt
7 Computation engineering - applied automata theory and logic Ganesh. Gopalakrishnan c2006 Engelska
8 Computation Engineering electronic resource - Applied Automata Theory and Logic Ganesh. Gopalakrishnan 2006 Engelska
9 Computation Engineering Ganesh Gopalakrishnan 2006 Okänt
10 Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings Ganesh. Gopalakrishnan 2011 Engelska
11 Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging Ganesh Gopalakrishnan uuuu-uuuu Okänt
12 Theorem Proving in Higher Order Logics TPHOLs 2004 2004 Engelska

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.