Sangiovanni Vincentelli, Alberto books & textbook
Function/Architecture Optimization and Co-Design of Embedded Systems (The Springer International Series in Engineering and Computer Science)
Tabbara, Bassam Tabbara, Abdallah Sangiovanni-Vincentelli, Alberto L.
Springer /2012-10-21 Paperback / 264 Pages
isbn-10: 1461369592 / isbn-13: 9781461369592
Synchronous Equivalence: Formal Methods for Embedded Systems
Hsieh, Harry Balarin, Felice Sangiovanni-Vincentelli, Alberto L.
Springer /2012-11-05 Paperback / 147 Pages
isbn-10: 1461356644 / isbn-13: 9781461356646
Algorithms for Synthesis and Testing of Asynchronous Circuits (The Springer International Series in Engineering and Computer Science, 232)
Lavagno, Luciano Sangiovanni-Vincentelli, Alberto L.
Springer /2012-09-27 Paperback / 358 Pages
isbn-10: 1461364108 / isbn-13: 9781461364108
Logic Minimization Algorithms for VLSI Synthesis (The Springer International Series in Engineering and Computer Science)
Brayton, Robert K. K. Hachtel, Gary D. McMullen, C. Sangiovanni-Vincentelli, Alberto L.
Springer /2011-09-17 Paperback / 206 Pages
isbn-10: 1461297842 / isbn-13: 9781461297840
Logic Synthesis for Field-Programmable Gate Arrays (The Springer International Series in Engineering and Computer Science)
Murgai, Rajeev Brayton, Robert K. Sangiovanni-Vincentelli, Alberto L.
Springer /2012-10-08 Paperback / 444 Pages
isbn-10: 1461359945 / isbn-13: 9781461359944
Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics
Brayton, Robert K. P. Sangiovanni-Vincentelli, Alberto L.
Springer /2012-10-24 Paperback / 131 Pages
isbn-10: 1461355737 / isbn-13: 9781461355731
Steady-State Methods for Simulating Analog and Microwave Circuits (The Springer International Series in Engineering and Computer Science)
Kundert, Kenneth S. S. White, Jacob K. Sangiovanni-Vincentelli, Alberto L.
Springer /2010-12-08 Paperback / 266 Pages
isbn-10: 1441951210 / isbn-13: 9781441951212
Hardware-Software Co-Design of Embedded Systems: The POLIS Approach (The Springer International Series in Engineering and Computer Science)
Balarin, F. Giusto, Paolo Jurecska, Attila Passerone, Claudio Sentovich, Ellen Tabbara, Bassam Chiodo, M. Hsieh, Harry Lavagno, Luciano Sangiovanni-Vincentelli, Alberto
Springer /2013-01-28 Paperback / 316 Pages
isbn-10: 1461378087 / isbn-13: 9781461378082
Synthesis of Finite State Machines: Logic Optimization
Villa, Tiziano Kam, Timothy Brayton, Robert K. Sangiovanni-Vincentelli, Alberto L.
Springer /2012-10-04 Paperback / 394 Pages
isbn-10: 1461378214 / isbn-13: 9781461378211
Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings (Lecture Notes in Computer Science, 2491)
Sangiovanni-Vincentelli, Alberto Sifakis, Joseph
Springer /2002-09-25 Paperback / 440 Pages
isbn-10: 354044307X / isbn-13: 9783540443070
