|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
Correct Hardware Design and Verification Methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2-4, 1995 Proceedings / edited by Paolo E. Camurati, Hans Eveking. by Advanced Research Working Conference On Correct Hardware Design Methodologies (1995 : Frankfurt, Germany) | Camurati, Paolo | Eveking, Hans. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer-Verlag, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
11.
|
Field-Programmable Logic Architectures, Synthesis and Applications : 4th International Workshop on Field-Programmable Logic and Applications, FPL'94 Prague, Czech Republic, September 7-9, 1994 Proceedings / edited by Reiner W. Hartenstein, Michal Z. Servít. by Hartenstein, Reiner | Servít, Michal Z, 1944-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer-Verlag, 1994Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
12.
|
|
|
13.
|
|
|
14.
|
Field-Programmable Logic Smart Applications, New Paradigms and Compilers : 6th International Workshop on Field-Programmable Logic and Applications, FPL '96 Darmstadt, Germany, September 23-25, 1996 Proceedings / edited by Reiner W. Hartenstein, Manfred Glesner. by International Workshop on Field-Programmable Logic and Applications (6th : 1996 : Darmstadt, Germany) | Hartenstein, Reiner | Glesner, Manfred. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer-Verlag, 1996Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
15.
|
|
|
16.
|
Graph Drawing : DIMACS International Workshop, GD '94 Princeton, New Jersey, USA, October 10-12, 1994 Proceedings / edited by Roberto Tamassia, Ioannis G. Tollis. by DIMACS International Workshop, GD '94 (1994 : Princeton, N.J.) | Tamassia, Roberto, 1960- | Tollis, Ioannis G, 1958-. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer-Verlag, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
17.
|
Theorem Provers in Circuit Design : Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26-28, 1994 Proceedings / edited by Ramayya Kumar, Thomas Kropf. by Kumar, Ramayya | Kropf, Thomas. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Other title: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedings.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
18.
|
|
|
19.
|
Social robotics : 5th International Conference, ICSR 2013, Bristol, UK, October 27-29, 2013, Proceedings / Guido Herrmann, Martin J. Pearson, Alexander Lenz, Paul Bremner, Adam Spiers, Ute Leonards (eds.). by International Conference on Social Robotics (5th : 2013 : Bristol, England) | Herrmann, Guido [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2013]Copyright date: ©2013Other title: ICSR 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
20.
|
|