Design Cost-efficient Interconnect Processing Units (System-on-chip Design and Technologies): The Spidergon STNoC
by Marcello Coppola, Miltos D. Grammatikakis, Riccardo Locatelli, Giuseppe Maruccia, Lorenzo Pieralisi
ISBN 13: 9781420044713
Format: Hardcover (288 pages) Publisher: CRC Press Published: 17 Sep 2008
Save for later
Principles of Programming Languages (Undergraduate Topics in Computer Science)
by Gilles Dowek
ISBN 13: 9781848820319
Format: Illustrated (171 pages) Publisher: Springer Published: 13 Mar 2009
Three-dimensional Integrated Circuit Design (Systems on Silicon)
by Vasilis F. Pavlidis
ISBN 13: 9780123743435
Format: Illustrated (326 pages) Publisher: Morgan Kaufmann Published: 06 Nov 2008
Models of Network Reliability
by Ilya B. Gertsbakh, Yoseph Shpungin
ISBN 13: 9781439817414
Format: Hardcover (217 pages) Publisher: CRC Press Published: 22 Dec 2009
Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised ... 5963 (Lecture Notes in Computer Science)
by Peter Wild, Jean Vanderdonckt, David England, Philippe Palanque
ISBN 13: 9783642117961
Format: Paperback (163 pages) Publisher: Springer Published: 18 Feb 2010
Analysis and Synthesis of Fuzzy Control Systems (Automation and Control Engineering Series)
by Gang Feng
ISBN 13: 9781420092646
Format: Hardcover (299 pages) Publisher: CRC Press Published: 10 Mar 2010
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science)
by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
ISBN 13: 9783540883869
Format: Paperback (430 pages) Publisher: Springer Published: 06 Oct 2008
Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings: 5797 (Lecture Notes in Computer Science)
by Olivier Bournez,Igor Potapov
ISBN 13: 9783642044199
Format: Paperback (244 pages) Publisher: Springer Published: 07 Sep 2009
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783642206733
Format: Paperback (142 pages) Publisher: Springer Published: 04 May 2011
Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, ... Computer Science and General Issues)
ISBN 13: 9783642210693
Format: Paperback (371 pages) Publisher: Springer Published: 20 May 2011
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected ... Computer Science and General Issues)
ISBN 13: 9783642205507
Format: Paperback (259 pages) Publisher: Springer Published: 02 May 2011
Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642209192
Format: Paperback (321 pages) Publisher: Springer Published: 02 May 2011