TITLE	Editors / ISBN / Pages	PUBL_YEAR	PUBLISHER
VLSI-SoC: Design Methodologies for SoC and SiP (AICT 313)	Edited by Christian Piguet, Ricardo Reis, Dimitrios Soudris ISBN: 978 3 642 12266 8 285 pages	2010	SV
Analysis, Architectures and Modelling of Embedded Systems	Edited by Achim Rettberg, Mauro C. Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig ISBN: 978 3 642 04283 6 313 pages	2009	SV
Software Technologies for Embedded and Ubiquitous Systems	Edited by Sunggu Lee, Priya Narasimhan ISBN: 978 3 642 10264 6 378 pages	2009	SV
VLSI-SoC: Advanced Topics on Systems on a Chip	Edited by Ricardo Reis, Vincent Mooney, Paul Hasler ISBN: 978 0 387 89557 4 309 pages	2009	SV
Biologically-Inspired Collaborative Computing WCC 2008, Milano, Italy	Edited by Mike Hinchey, Anastasia Pagnoni, Franz J. Rammig, Hartmut Schmeck ISBN: 978 0 387 09654 4 246 pages	2008	SV
Distributed Embedded Systems	Edited by Bernd Kleinjohann, Lisa Kleinjohann, Wayne Wolf ISBN: 978 0 387 09660 5 225 pages	2008	SV
Network and Parallel Computing	Edited by Jian Cao, Minglu Li, Min-You Wu, Jinjun Chen ISBN: 978 3 540 88139 1 362 pages	2008	SV
Software Technologies for Embedded and Ubiquitous Systems	Edited by Uwe Brinkschulte, Tony Givargis, Stefano Russo ISBN: 978 3 540 87784 4 432 pages	2008	SV
VLSI-SoC: Research Trends in VLSi and Systems on Chip	Edited by Giovanni De Micheli, Salvador Mir, Ricardo Reis ISBN: 978 0 387 74908 2 397 pages	2008	SV
Embedded System Design: Topics, Techniques and Trends	Edited by Achim Rettberg, Mauro C. Zanella, Rainer Doemer, Andreas Gerstlauer, Franz J. Rammig ISBN: 978 0 387 72257 3 444 pages	2007	SV
Embedded and Ubiquitous Computing	Edited by Tei-Wei Kuo, Edwin Sha, Minyi Guo, Laurence T.Yang, Zili Shao ISBN: 978 3 540 77091 6 769 pages	2007	SV
Emerging Directions in Embedded and Ubiquitous Computing	Edited by Mieso K. Denko, Chi-Sheng Shih, Kuan-Ching Li, Shiao-Li Tsao, Qing-An Zeng, Soo Hyun Park, Young-Bae Ko, Shih-Hao Hung, Jong Hyuk Park ISBN: 978 3 540 77089 3 823 pages	2007	SV
Network and Parallel Computing	Edited by Keqiu Li, Chris Jesshope, Hai Jin, Jean-Luc Gaudiot ISBN: 978 3 540 74783 3 558 Pages	2007	SV
Software Technologies for Embedded and Ubiquitous Systems	Edited by Roman Obermaisser, Yunmook Nah, Peter Puschner, Franz J. Rammig ISBN: 978 3 540 75663 7 563 pages	2007	SV
VLSI-SoC: Advanced Topics on Systems on a Chip	Edited by Ricardo Reis, Vincent Mooney, Paul Hasler ISBN: 978 0 387 89557 4 309 pages	2007	SV
VLSI-SoC: From Systems to Silicon	Edited by Ricardo Reis, Adam Osseiran, Hans-Joerg Pfleiderer ISBN: 978 0 387 73660 0 344 pages	2007	SV
14^th IFIP WG10.5 International Conference on Very Large Scale Integration and System-on-Chip VLSI-SOC 2006	Edited by Salvador Mir, Giovanni de Micheli, Ricardo Reis, Emmanuel Simeu ISBN: 3 901882 19 7 416 pages	2006	IFIP
PhD Forum Digest of Papers 14^th IFIP WG10.5 International Conference on Very Large Scale Integration and System-on-Chip VLSI-SOC 2006	Edited by Emmanuel Simeu, Salvador Mir, Giovanni de Micheli, Ricardo Reis 83 pages	2006	IFIP
Biologically Inspired Cooperative Computing	Edited by Yi Pan, Franz Rammig, Hartmut Schmeck, Mauricio Solar ISBN: 0 387 34632 5 210 pages	2006	SV
VLSI-SOC From Systems to Chips	Edited by Manfred Glesner, Ricardo Reis, Leandro Indrusiak, Vincent Mooney, Hans Eveking ISBN: 0 387 33402 5 313 Pages	2006	SV
Correct Hardware Design and Verification Methods	Edited by Dominique Borrione, Wolfgang Paul ISBN: 3 540 29105 9 412 pages	2005	SSBM
Embedded and Ubiquitous Computing - EUC 2005	Edited by Laurence T.Yang, Makoto Amamiya, Zhen Liu, Minyi Guo, Franz J. Rammig ISBN: 3 540 30807 5 1204 pages	2005	SSBM
Embedded and Ubiquitous Computing - EUC 2005 Workshop	Edited by Tomoya Enokido, Lu Yan, Bin Xiao, Daeyoung Kim, Yuanshun Dai, Laurence T.Yang ISBN: 3 540 30803 2 1317 pages	2005	SSBM
From Specification to Embedded Systems Application	Edited by Achim Rettberg, Mauro C. Zanella, Franz J. Rammig ISBN: 0 387 27557 6 320 pages	2005	SSBM
Network and Parallel Computing	Edited by Hai Jin, Daniel Reed, Wenbin Jiang ISBN: 3 540 29810 X 513 pages	2005	SSBM
New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design	Edited by Achim Rettberg, Christophe Bobda ISBN: 0 387 29642 5 147 pages	2005	SSBM
Design Methods and Applications for Distributed Embedded Systems	Edited by Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz, Lisa Kleinjohann, Achim Rettberg ISBN: 1 4020 8148 0 326 pages	2004	Kluwer
EduTech: Computer-Aided Design Meets Computer-Aided Learning	Edited by Carlos Delgado Kloos, Abelardo Pardo ISBN: 1 4020 8161 8 227 pages	2004	Kluwer
Network and Parallel Computing	Edited by Hai Jin, Guang R. Gao, Zhiwei Xu, Hao Chen ISBN: 3 540 23388 1 694 pages	2004	SSBM
VLSI-SoC 2003 Proceedings	Edited by M. Glesner, R. Reis, H. Eveking, V. Mooney, L.S. Indrusiak, P. Zipf ISBN: 3 901 882 170 466 pages	2004	NCP
Design and Analysis of Distributed Embedded Systems	Edited by Bernd Kleinjohann, K.H. (Kane) Kim, Lisa Kleinjohann, Achim Rettberg ISBN: 1 4020 7156 6 286 pages	2002	Kluwer
Euro-Par 2002 Parallel Processing	Edited by Burkhard Monien, Rainer Feldmann ISBN: 3 540 44049 6 987 pages	2002	SV
SOC Design Methodologies	Edited by Michel Robert, Bruno Rouzeyre, Christian Piguet, Marie-Lise Flottes ISBN: 1 4020 7148 5 477 pages	2002	Kluwer
Architecture and Design of Distributed Embedded Systems	Edited by Bernd Kleinjohann ISBN: 0 7923 7345 6 236 pages	2001	Kluwer
VLSI: Systems on a Chip	Edited by L.M. Silveira, S. Devadas, R. Reis ISBN: 0 7923 7731 1 675 pages	2000	Kluwer
Distributed and Parallel Embedded Systems	Edited by F. Rammig ISBN: 0 7923 8614 0 240 pages	1999	Kluwer
Advances in Hardware Design & Verification	Edited by Hon F. Li, David K. Probst ISBN: 0 412 81330 0 313 pages	1997	C&H
Hardware Description Languages and their Applications	Edited by C. Delgado Kloos, E. Cerny ISBN: 0 412 78810 1 349 pages	1997	C&H
VLSI: Integrated Systems on Silicon	Edited by R. Reis, L. Claesen ISBN: 0 412 82370 5 569 pages	1997	C&H
Software Engineering for Parallel and Distributed Systems	Edited by Innes Jelly, Ian Gorton, Peter Croll ISBN: 0 412 75740 0 324 pages	1996	C&H
Electronic Design Automation Frameworks Volume 4	Edited by Franz J. Rammig, Flávio R. Wagner ISBN: 0 412 71010 2 281 pages	1995	C&H
Logic and Architecture Synthesis	Edited by Gabrièle Saucier, Anne Mignotte ISBN: 0 412 72690 4 390 pages	1995	C&H
Applications in Parallel and Distributed Computing (A-44)	Edited by C. Girault ISBN: 0 444 81870 7 341 pages	1994	ESV
Parallel Architectures and Compilation Techniques (A-50)	Edited by M. Cosnard, G.R. Gao, G.M. Silberman ISBN: 0 444 81926 6 362 pages	1994	ESV
VLSI 93 (A-42)	Edited by T. Yanagawa, P.A. Ivey ISBN: 0 444 89911 1 364 pages	1994	ESV
Architectures and Compilation Techniques for Fine and Medium Grain Parallelism (A-23)	Edited by M. Cosnard, K. Ebcioglu, J.-L. Gaudiot ISBN: 0 444 88464 5 330 pages	1993	ESV
Asynchronous Design Methodologies (A-28)	Edited by S. Furber, M. Edwards ISBN: 0 444 81599 6 221 pages	1993	ESV
Computer Hardware Description Languages (A-32)	Edited by D. Agnew, L. Claesen, R. Camposano ISBN: 0 444 81641 0 604 pages	1993	ESV
Decentralized and Distributed Systems (A-39)	Edited by M. Cosnard, R. Puigjaner ISBN: 0 444 81791 3 413 pages	1993	ESV
Higher Order Logic Theorem Proving and its Applications (A-20)	Edited by L.J.M. Claesen, M.J.C. Gordon ISBN: 0 444 89880 8 568 pages	1993	ESV
Synthesis for Control Dominated Circuits (A-22)	Edited by G. Saucier, J. Trilhe ISBN: 0 444 81479 5 453 pages	1993	ESV
Designing Correct Circuits (A-5)	Edited by J. Staunstrup, R. Sharp ISBN: 0 444 89335 0 287 pages	1992	ESV
Electronic Design Automation Frameworks (A-16)	Edited by M. Newman ISBN: 0 444 89820 4 288 pages	1992	ESV
Programming Environments for Parallel Computing (A-11)	Edited by N. Topham, R. Ibbett, T. Bemmerl ISBN: 0 444 89764 X 244 pages	1992	ESV
Theorem Provers in Circuit Design (A-10)	Edited by V. Stavridou, T.F. Melham, R.T. Boute ISBN: 0 444 89686 4 360 pages	1992	ESV
VLSI 91 (A-1)	Edited by A. Halaas, P.B. Denyer ISBN: 0 444 89019 X 500 pages	1992	ESV
Computer Hardware Description Languages and their Applications	Edited by D. Borrione, R. Waxman ISBN: 0 444 89208 7 478 pages	1991	ESV
Electronic Design Automation Frameworks	Edited by F.J. Rammig, R. Waxman ISBN: 0 444 88917 5 398 pages	1991	ESV
Logic and Architecture Synthesis	Edited by P. Michel, G. Saucier ISBN: 0 444 89023 8 338 pages	1991	ESV
Silicon Architectures for Neural Nets	Edited by M. Sami, J. Calzadilla-Daguerre ISBN: 0 444 89113 7 304 pages	1991	ESV
Computer Hardware Description Languages and their Applications	Edited by J.A. Darringer, F.J. Rammig ISBN: 0 444 88411 4 362 pages	1990	ESV
Decentralized Systems	Edited by M. Cosnard, C. Girault ISBN: 0 444 88898 5 452 pages	1990	ESV
Declarative Systems	Edited by G. David, R.T. Boute ISBN: 0 444 88431 9 324 pages	1990	ESV
Formal Methods for VLSI Design	Edited by J. Staunstrup ISBN: 0 444 88858 6 330 pages	1990	ESV
Formal VLSI Correctness Verification VLSI Design Methods-II	Edited by L.J.M. Claesen ISBN: 0 444 88688 5 430 pages	1990	ESV
Formal VLSI Specification and Synthesis VLSI Design Methods-I	Edited by L.J.M. Claesen ISBN: 0 444 88372 X 414 pages	1990	ESV
VLSI 89	Edited by G. Musgrave, U. Lauther ISBN: 0 444 88344 4 516 pages	1990	ESV
Wafer Scale Integration III	Edited by M. Sami, F. Distante ISBN: 0 444 88496 3 402 pages	1990	ESV
CAD Systems Using AI Techniques	Edited by G. Odawara ISBN: 0 444 88319 3 230 pages	1989	ESV
Concepts and Characteristics of Knowledge-Based Systems	Edited by M. Tokoro, Y. Anzai, A. Yonezawa ISBN: 0 444 88328 2 512 pages	1989	ESV
Design Methodologies for VLSI and Computer Architecture	Edited by D.A. Edwards ISBN: 0 444 87428 3 348 pages	1989	ESV
Knowledge Based Systems for Test and Diagnosis	Edited by G. Saucier, A. Ambler, M. A. Breuer ISBN: 0 444 88113 1 258 pages	1989	ESV
Distributed Processing	Edited by M.H. Barton, E.L. Dagless, G.L. Reijns ISBN: 0 444 70419 1 642 pages	1988	ESV
Parallel Processing	Edited by M. Cosnard, M.H. Barton, M. Vanneschi ISBN: 0 444 70534 1 390 pages	1988	ESV
The Fusion of Hardware Design and Verification	Edited by G.J. Milne ISBN: 0 444 70532 5 324 pages	1988	ESV
Tool Integration and Design Environments	Edited by F.J. Rammig ISBN: 0 444 70446 9 324 pages	1988	ESV
VLSI 87 VLSI Design of Digital Systems	Edited by C. H. Sequin ISBN: 0 444 70370 5 420 pages	1988	ESV
Wafer Scale Integration, II	Edited by R. M. Lea ISBN: 0 444 70535 X 249 pages	1988	ESV
Computer Hardware Description Languages and their Applications	Edited by M.R. Barbacci, C.J. Koomen ISBN: 0 444 70235 0 406 pages	1987	ESV
Fast-Prototyping of VLSI	Edited by G. Saucier, E. Read, J. Trilhe ISBN: 0 444 70295 4 284 pages	1987	ESV
From HDL Descriptions to Guaranteed Correct Circuit Designs	Edited by D. Borrione ISBN: 0 444 70194 X 302 pages	1987	ESV
Highly Parallel Computers	Edited by G.L. Reijns, M.H. Barton ISBN: 0 444 70131 1 272 pages	1987	ESV
Fifth Generation Computer Architectures	Edited by J.V. Woods ISBN: 0 444 87987 0 356 pages	1986	ESV
VLSI 85 VLSI Design of Digital Systems	Edited by E. Hoerbst ISBN: 0 444 87920 X 430 pages	1986	ESV
Wafer Scale Integration	Edited by G. Saucier, J. Trilhe ISBN: 0 444 70103 6 353 pages	1986	ESV
Concurrent Languages in Distributed Systems	Edited by G. L. Reijns, E. L. Dagless ISBN: 0 444 87635 9 163 pages	1985	ESV
Methodologies for Computer System Design	Edited by W. K. Giloi, B. D. Shriver ISBN: 0 444 87687 1 343 pages	1985	ESV
Computer Hardware Description Languages and Their Applications	Edited by T. Uehara, M. Barbacci ISBN: 0 444 86633 7 243 pages	1983	ESV
VLSI 83 VLSI Design of Digital Systems	Edited by F. Anceau, E. J. Aas ISBN: 0 444 86751 1 484 pages	1983	ESV
Computer Hardware Description Languages and Their Applications	Edited by M. Breuer, R. Hartenstein ISBN: 0 444 86279 X 349 pages	1981	ESV