Results
|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
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 Series: Lecture notes in computer science ; 901.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995
Other title: - Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedings
Availability: Items available for loan: e-Library (1).
|
|
|
19.
|
|
|
|
20.
|
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 Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 8239. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2013]Copyright date: ©2013
Availability: Items available for loan: e-Library (1).
|