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: Alberto Sangiovanni-Vincentelli 34 träffar

Titel Författare År Språk
1 Advances in computer-aided engineering design Vol. 1, Computer-aided design of VLSI circuits and systems - a research annual 1985 Engelska
2-3 Hybrid systems - computation and control : 4th international workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings (flera utgåvor) International Workshop on Hybrid Systems: Computation and Control 2001) Roma : cop. 2001 Engelska
4 Synchronous equivalence - formal methods for embedded systems Harry Hsieh cop. 2001 Engelska
5 Function/architecture optimization and co-design of embedded systems Bassam Tabbara cop. 2000 Engelska
6 Analysis and simulation of noise in nonlinear electronic circuits and systems Alper Demir cop. 1998 Engelska
7 Steady-state methods for simulating analog and microwave circuits Kenneth S. Kundert cop. 1990 Engelska
8 Algorithms for synthesis and testing of asynchronous circuits Luciano Lavagno cop. 1993 Engelska
9 Logic synthesis for field-programmable gate arrays Rajeev Murgai c1995 Engelska
10 Selected papers on computer-aided design of very large scale integrated circuits cop. 1987 Engelska
11 Relaxation techniques for the simulation of VLSI circuits Jacob K. White cop. 1987 Engelska
12 Security-Aware Design for Cyber-Physical Systems - A Platform-Based Approach Chung-Wei. Lin 2017 Engelska
13 Design systems for VLSI circuits - logic synthesis and silicon compilation NATO Advanced Study Institute on Logic Synthesis and Silicon Compilation for VLSI Design (1986 : L'Aquila) 1987 Engelska
14-15 Embedded software - second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings (flera utgåvor) France) EMSOFT 2002 (2002 : Grenoble op. 2002 Engelska
16 Noise analysis of radio frequency circuits Amit Mehrotra cop. 2004 Engelska
17 The Unknown Component Problem - Theory and Applications Tiziano. Villa 2012 Engelska
18 Embedded systems development. - from functional models to implementations 2014 Engelska
19 Synthesis of Finite State Machines Robert Brayton 1997 Okänt
20 Synthesis of Finite State Machines Alberto Sangiovanni-Vincentelli 1997 Okänt

1 2 Nästa sida

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.