TITLE

Editors / ISBN / Pages

PUBL_YEAR

PUBLISHER

VLSI-SoC: System-on-Chip in the Nanoscale Era – Design, Verification and
Reliability (AICT 508)

Edited by Thomas Hollstein, Jaan Raik, Sergei Kostin, Anton Tsertov, Ian O’Connor,
Ricardo Reis
ISBN: 978 3 319 67103 1
232 pages

2017

SV

Network and Parallel Computing (LNCS 9966)

Edited by Guang R. Gao, Depei Qian, Xinbo Gao, Barbara Chapman, Wenguang Chen
ISBN: 978 3 319 47098 6
212 pages

2016

SV

VLSI-SoC: Design for Reliability, Security, and Low Power (AICT 483)

Edited by Youngsoo Shin, Chi Ying Tsui, Jae-Joon Kim, Kiyoung Choi, Ricardo Reis

ISBN: 978 3 319 46096 3

221 pages

2016

SV

VLSI-SoC: At the Crossroads of Emerging Trends (AICT 461)

Edited by Alex Orailoglu, H. Fatih Ugurdag, Luís Miguel Silveira, Martin Margala,
Ricardo Reis
ISBN: 978 3 319 23798 5
265 pages

2015

SV

VLSI-SoC: Internet of Things Foundations (AICT 464)

Edited by Luc Claesen, Maria-Teresa Sanz-Pascual, Ricardo Reis,
Arturo Sarmiento-Reyes
ISBN: 978 3 319 25278 0
240 pages

2015

SV

Network and Parallel Computing (LNCS 8707)


Edited by Ching-Hsien Hsu, Xuanhua Shi, Valentina Salapura
ISBN: 978 3 662 44916 5
626 pages

2014

SV

Embedded Systems: Design, Analysis and Verification (AICT 403)

Edited by Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig
ISBN: 978 3 642 38852 1
352 pages

2013

SV

Network and Parallel Computing (LNCS 8147)

Edited by Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng
ISBN: 978 3 642 40819 9
418 pages

2013

SV

VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design (AICT 418)

Edited by Andreas Burg, Ayşe Coşkun, Matthew guthaus, Srinivas Katkoori, Ricardo Reis
ISBN: 978 3 642 45072 3
233 pages

2013

SV

Network and Parallel Computing (LNCS 7513)

Edited by James J. Park, Albert Zomaya, Sang-Soo Yeo, Sartaj Sahni
ISBN: 978 3 642 35605 6
647 pages

2012

SV

VLSI-SoC: Forward-Looking Trends in IC and Systems Design (AICT 373)

Edited by José L. Ayala, David Atienza Alonso, Ricardo Reis
ISBN: 978 3 642 28565 3
353 pages

2012

SV

Network and Parallel Computing (LNCS 6985)

Edited by Erik Altman, Weisong Shi

ISBN: 978 3 642 24402 5

368 pages

2011

SV

VLSI-SoC: Advanced Research for Systems on Chip (AICT 379)

Edited by Salvador Mir, Chi-Ying Tsui, Ricardo Reis, Oliver C.S. Choy
ISBN: 978 3 642 32769 8

186 pages

2011

SV

VLSI-SoC: Technologies for Systems Integration (AICT 360)

Edited by Jürgen Becker, Marcelo Johann, Ricardo Reis

ISBN: 978 3 642 23119 3

197 pages

2011

SV

Distributed, Parallel and Biologically Inspired Systems (AICT 329)

Edited by Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay,

Franz J. Rammig, Jon Timmis, Marilyn Wolf

ISBN: 978 3 642 15233 7

316 pages

2010

SV

Network and Parallel Computing

Edited by Chen Ding, Zhiyuan Shao, Ran Zheng

ISBN: 978 3 642 15671 7

492 pages

2010

SV

Software Technologies for Embedded and Ubiquitous Systems

Edited by Sang Lyul Min, Robert Pettit, Peter Puschner, Theo Ungerer

ISBN: 978 3 642 16255 8

251 pages

2010

SV

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

14th 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
14th 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