Integrated circuit and system design
: power and timing modeling, optimization and simulation ; 15th international workshop ; proceedings / PATMOS 2005, Leuven, Belgium, September 21 - 23, 2005. Vassilis Paliouras ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3728)
ISBN 978-3-540-32080-7
Lizenzpflichtig
Quelle: DNB
Integrated circuit design
: power and timing modeling, optimization and simulation ; 12th international workshop ; proceedings / PATMOS 2002, Seville, Spain, September 11 - 13, 2002. B. Hochet ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2451)
ISBN 978-3-540-45716-9
Lizenzpflichtig
Quelle: DNB
Integrated circuit design
: power and timing modeling, optimization and simulation ; 12th international workshop ; proceedings / PATMOS 2002, Seville, Spain, September 11 - 13, 2002. Bertrand Hochet ... (ed.). - Berlin : Springer, 2002. - XVI, 496 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2451)
ISBN 978-3-540-44143-4 / 3-540-44143-3 kart. : EUR 64.20
Literaturangaben
Quelle: DNB
Integrated circuit design
: power and timing modeling, optimization and simulation ; 10th international workshop ; proceedings / PATMOS 2000, Göttingen, Germany, September 2000. Dimitrios Soudris ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1918)
ISBN 978-3-540-45373-4
Lizenzpflichtig
Quelle: DNB
Integrated circuit design
: power and timing modeling, optimization and simulation ; 10th international workshop ; proceedings / PATMOS 2000, Göttingen, Germany, September 13 - 15, 2000. Dimitrios Soudris ... (ed.). - Berlin : Springer, 2000. - XII, 338 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1918)
ISBN 978-3-540-41068-3 / 3-540-41068-6 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Integrated formal methods
: 4th international conference ; proceedings / IFM 2004, Canterbury, UK, April 4 - 7, 2004. Eerke A. Boiten ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2999)
ISBN 978-3-540-24756-2
Lizenzpflichtig
Quelle: DNB
Integrated formal methods
: 4th international conference ; proceedings / IFM 2004, Canterbury, UK, April 4 - 7, 2004. Eerke A. Boiten ... (ed.). - Berlin : Springer, 2004. - XI, 540 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2999)
ISBN 978-3-540-21377-2 / 3-540-21377-5 kart. : EUR 72.76
Literaturangaben
Quelle: DNB
Integrated formal methods
: third international conference ; proceedings / IFM 2002, Turku, Finland, May 15 - 18, 2002. M. Butler ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2335)
ISBN 978-3-540-47884-3
Lizenzpflichtig
Quelle: DNB
Integrated formal methods
: second international conference ; proceedings / IFM 2000, Dagstuhl Castle, Germany, November 2000. Wolfgang Grieskamp ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1945)
ISBN 978-3-540-40911-3
Lizenzpflichtig
Quelle: DNB
Integrated formal methods
: 6th international conference ; proceedings / IFM 2007, Oxford, UK, July 2 - 5, 2007. Jim Davies ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4591)
ISBN 978-3-540-73210-5
Lizenzpflichtig
Quelle: DNB
