|
TITLE |
Editors / ISBN /
Pages |
PUBL_YEAR |
PUBLISHER |
|
Network
and Parallel Computing (LNCS 6985) |
Edited by Erik Altman, Weisong Shi ISBN: 978 3 642 24402 5 368 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 |
2010 |
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 |
2009 |
SV |
|
Analysis,
Architectures and Modelling of Embedded Systems |
Edited by Achim Rettberg, Mauro C. Zanella,
Michael Amann, Michael Keckeisen, |
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 |
2009 |
SV |
|
Biologically-Inspired
Collaborative Computing WCC
2008, |
Edited by Mike Hinchey, Anastasia Pagnoni, Franz J. Rammig, Hartmut
Schmeck ISBN: 978 0 387 09654 4 |
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, 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, 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 |
2007 |
SV |
|
VLSI-SoC: From
Systems to Silicon |
Edited by Ricardo Reis, Adam Osseiran, Hans-Joerg Pfleiderer |
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 |
2006 |
IFIP |
|
PhD Forum Digest of Papers |
Edited by Emmanuel Simeu, Salvador Mir, Giovanni de Micheli, |
2006 |
IFIP |
|
Biologically Inspired Cooperative Co |
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, 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 |
2005 |
SSBM |
|
Network and Parallel Co |
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 |
2005 |
SSBM |
|
Design Methods and Applications for |
Edited by Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz,
Lisa Kleinjohann, |
2004 |
Kluwer |
|
EduTech: Computer-Aided Design |
Edited by Carlos Delgado Kloos, Abelardo Pardo |
2004 |
Kluwer |
|
Network and Parallel Co |
Edited by Hai
Jin, Guang R. Gao, Zhiwei
Xu, Hao Chen |
2004 |
SSBM |
|
VLSI-SoC 2003 |
Edited by M. Glesner,
R. Reis, H. Eveking, V. Mooney, L.S. Indrusiak, P. Zipf |
2004 |
NCP |
|
Design and Analysis of Distributed
Embedded Systems |
Edited by Bernd Kleinjohann,
K.H. (Kane) Kim, Lisa Kleinjohann, Achim Rettberg |
2002 |
Kluwer |
|
Euro-Par 2002 |
Edited by Burkhard
Monien, Rainer Feldmann |
2002 |
SV |
|
SOC Design Methodologies |
Edited by Michel Robert, Bruno Rouzeyre, Christian Piguet,
Marie-Lise Flottes |
2002 |
Kluwer |
|
Architecture and Design of Distributed
Embedded Systems |
Edited by Bernd Kleinjohann |
2001 |
Kluwer |
|
VLSI: Systems on a Chip |
Edited by L.M. Silveira,
S. Devadas, R. Reis |
2000 |
Kluwer |
|
Distributed and Parallel Embedded
Systems |
Edited by F. Rammig |
1999 |
Kluwer |
|
Advances in Hardware Design &
Verification |
Edited by Hon F. Li, David K. Probst |
1997 |
C&H |
|
Hardware Description Languages and their
Applications |
Edited by C. Delgado Kloos,
|
1997 |
C&H |
|
VLSI: Integrated Systems on Silicon |
Edited by R. Reis, L. Claesen |
1997 |
C&H |
|
Software Engineering for Parallel and
Distributed Systems |
Edited by Innes Jelly, Ian Gorton, Peter
Croll |
1996 |
C&H |
|
Electronic Design Automation Frameworks
Volume 4 |
Edited by Franz J. Rammig, Flávio R. Wagner |
1995 |
C&H |
|
Logic and Architecture Synthesis |
Edited by Gabrièle
Saucier, Anne Mignotte |
1995 |
C&H |
|
Applications in Parallel and Distributed
Computing (A-44) |
Edited by C. Girault |
1994 |
ESV |
|
Parallel Architectures and Compilation
Techniques (A-50) |
Edited by M. Cosnard,
G.R. Gao, G.M. Silberman |
1994 |
ESV |
|
VLSI 93 (A-42) |
Edited by T. Yanagawa,
P.A. Ivey |
1994 |
ESV |
|
Architectures and Compilation Techniques
for Fine and Medium Grain Parallelism (A-23) |
Edited by M. Cosnard,
K. Ebcioglu, J.-L. Gaudiot |
1993 |
ESV |
|
Asynchronous Design Methodologies |
Edited by |
1993 |
ESV |
|
Computer Hardware Description Languages
(A-32) |
Edited by D. Agnew, L. Claesen, R. Camposano |
1993 |
ESV |
|
Decentralized and Distributed Systems
(A-39) |
Edited by M. Cosnard,
R. Puigjaner |
1993 |
ESV |
|
Higher Order Logic Theorem Proving and
its Applications (A-20) |
Edited by L.J.M. Claesen,
M.J.C. Gordon |
1993 |
ESV |
|
Synthesis for Control Dominated Circuits
(A-22) |
Edited by G. Saucier, J. Trilhe |
1993 |
ESV |
|
Designing Correct Circuits (A-5) |
Edited by J. Staunstrup,
R. Sharp |
1992 |
ESV |
|
Electronic Design Automation Frameworks
(A-16) |
Edited by M. Newman |
1992 |
ESV |
|
Programming Environments for Parallel
Computing (A-11) |
Edited by |
1992 |
ESV |
|
Theorem Provers
in Circuit Design (A-10) |
Edited by V. Stavridou,
T.F. Melham, R.T. Boute |
1992 |
ESV |
|
VLSI 91 (A-1) |
Edited by A. Halaas,
P.B. Denyer |
1992 |
ESV |
|
Computer Hardware Description Languages
and their Applications |
Edited by D. Borrione,
R. Waxman |
1991 |
ESV |
|
Electronic Design Automation Frameworks |
Edited by F.J. Rammig, R. Waxman |
1991 |
ESV |
|
Logic and Architecture Synthesis |
Edited by P. Michel, G. Saucier |
1991 |
ESV |
|
Silicon Architectures for Neural Nets |
Edited by M. Sami, J. Calzadilla-Daguerre |
1991 |
ESV |
|
Computer Hardware Description Languages
and their Applications |
Edited by J.A. Darringer,
F.J. Rammig |
1990 |
ESV |
|
Decentralized Systems |
Edited by M. Cosnard,
C. Girault |
1990 |
ESV |
|
Declarative Systems |
Edited by G. David, R.T. Boute |
1990 |
ESV |
|
Formal Methods for VLSI Design |
Edited by J. Staunstrup |
1990 |
ESV |
|
Formal VLSI Correctness Verification |
Edited by L.J.M. Claesen |
1990 |
ESV |
|
Formal VLSI Specification and Synthesis |
Edited by L.J.M. Claesen |
1990 |
ESV |
|
VLSI 89 |
Edited by G. Musgrave, U. Lauther |
1990 |
ESV |
|
Wafer Scale Integration III |
Edited by M. Sami, F. Distante |
1990 |
ESV |
|
CAD Systems Using AI Techniques |
Edited by G. Odawara |
1989 |
ESV |
|
Concepts and Characteristics of
Knowledge-Based Systems |
Edited by M. Tokoro,
Y. Anzai, A. Yonezawa |
1989 |
ESV |
|
Design Methodologies for VLSI and
Computer Architecture |
Edited by D.A. Edwards |
1989 |
ESV |
|
Knowledge Based Systems for Test and
Diagnosis |
Edited by G. Saucier, A. Ambler, M. A.
Breuer |
1989 |
ESV |
|
Distributed Processing |
Edited by M.H. Barton, E.L. Dagless, G.L. Reijns |
1988 |
ESV |
|
Parallel Processing |
Edited by M. Cosnard,
M.H. Barton, M. Vanneschi |
1988 |
ESV |
|
The Fusion of Hardware Design and
Verification |
Edited by G.J. Milne |
1988 |
ESV |
|
Tool Integration and Design Environments |
Edited by F.J. Rammig |
1988 |
ESV |
|
VLSI 87 |
Edited by C. H. Sequin |
1988 |
ESV |
|
Wafer Scale Integration, II |
Edited by R. M. Lea |
1988 |
ESV |
|
Computer Hardware Description Languages
and their Applications |
Edited by M.R. Barbacci,
C.J. Koomen |
1987 |
ESV |
|
Fast-Prototyping of VLSI |
Edited by G. Saucier, E. Read, J. Trilhe |
1987 |
ESV |
|
From HDL Descriptions to Guaranteed
Correct Circuit Designs |
Edited by D. Borrione |
1987 |
ESV |
|
Highly Parallel Co |
Edited by G.L. Reijns,
M.H. Barton |
1987 |
ESV |
|
Fifth Generation Co |
Edited by J.V. Woods |
1986 |
ESV |
|
VLSI 85 |
Edited by |
1986 |
ESV |
|
Wafer Scale Integration |
Edited by G. Saucier, J. Trilhe |
1986 |
ESV |
|
Concurrent Languages in Distributed
Systems |
Edited by G. L. Reijns,
E. L. Dagless |
1985 |
ESV |
|
Methodologies for Co |
Edited by W. K. Giloi,
B. D. Shriver |
1985 |
ESV |
|
Computer Hardware Description Languages
and Their Applications |
Edited by T. Uehara,
M. Barbacci |
1983 |
ESV |
|
VLSI 83 |
Edited by F. Anceau,
E. J. Aas |
1983 |
ESV |
|
Computer Hardware Description Languages
and Their Applications |
Edited by M. Breuer, R. Hartenstein |
1981 |
ESV |