Results
|
|
101.
|
Hardware and Software, Verification and Testing [electronic resource] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal. by Series: Lecture Notes in Computer Science ; 3875
Edition: 1a ed.
Material type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.V47 U7 2006.
|
|
|
102.
|
|
|
|
103.
|
|
|
|
104.
|
|
|
|
105.
|
|
|
|
106.
|
|
|
|
107.
|
|
|
|
108.
|
|
|
|
109.
|
|
|
|
110.
|
|
|
|
111.
|
Acoustical Imaging [electronic resource] / edited by Michael P. André, Iwaki Akiyama, Michael Andre, Walter Arnold, Jeff Bamber, Valentin Burov, Noriyoshi Chubachi, Kenneth Erikson, Helmut Ermert, Mathias Fink, Woon S. Gan, Bernd Granz, James Greenleaf, Jiankai Hu, Joie P. Jones, Pierre Khuri-Yakub, Pascal Laugier, Hua Lee, Sidney Lees, Vadim M. Levin, Roman Maev, Leonardo Masotti, Andrzej Nowicki, William O’Brien, Manika Prasad, Patrick Rafter, Daniel Rouseff, Johan Thijssen, Bernard Tittmann, Piero Tortoli, Anton Steen, Robert Waag, Peter Wells. by
- André, Michael P
- Akiyama, Iwaki
- Andre, Michael
- Arnold, Walter
- Bamber, Jeff
- Burov, Valentin
- Chubachi, Noriyoshi
- Erikson, Kenneth
- Ermert, Helmut
- Fink, Mathias
- Gan, Woon S
- Granz, Bernd
- Greenleaf, James
- Hu, Jiankai
- Jones, Joie P
- Khuri-Yakub, Pierre
- Laugier, Pascal
- Lee, Hua
- Lees, Sidney
- Levin, Vadim M
- Maev, Roman
- Masotti, Leonardo
- Nowicki, Andrzej
- O’Brien, William
- Prasad, Manika
- Rafter, Patrick
- Rouseff, Daniel
- Thijssen, Johan
- Tittmann, Bernard
- Tortoli, Piero
- Steen, Anton
- Waag, Robert
- Wells, Peter
- SpringerLink (Online service)
Series: Acoustical Imaging ; 28
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Dordrecht : Springer, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QC244.5 A53 2007.
|
|
|
112.
|
|
|
|
113.
|
|
|
|
114.
|
|
|
|
115.
|
|
|
|
116.
|
Intelligent Virtual Agents [electronic resource] : 5th International Working Conference, IVA 2005, Kos, Greece, September 12-14, 2005. Proceedings / edited by Themis Panayiotopoulos, Jonathan Gratch, Ruth Aylett, Daniel Ballin, Patrick Olivier, Thomas Rist. by Series: Lecture Notes in Computer Science ; 3661
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.C65 P36 2005.
|
|
|
117.
|
|
|
|
118.
|
|
|
|
119.
|
|
|
|
120.
|
Nature Inspired Problem-Solving Methods in Knowledge Engineering [electronic resource] : Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II / edited by José Mira, José R. Álvarez. by Series: Lecture Notes in Computer Science ; 4528
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QP376 M57 2007.
|