|
|
401.
|
Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell.
by Hoos, Holger H | Mitchell, David G | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
402.
|
Hybrid Estimation of Complex Systems [electronic resource] / by Michael W. Hofbaur.
by Hofbaur, Michael W | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
403.
|
Nonblocking Supervisory Control of State Tree Structures [electronic resource] / by Chuan Ma, W. Murray Wonham.
by Ma, Chuan | Wonham, W. Murray | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
404.
|
Soft Computing in Web Information Retrieval [electronic resource] : Models and Applications / edited by Enrique Herrera-Viedma, Gabriella Pasi, Fabio Crestani.
by Herrera-Viedma, Enrique | Pasi, Gabriella | Crestani, Fabio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
405.
|
Control of Redundant Robot Manipulators [electronic resource] : Theory and Experiments / by R. V. Patel, F. Shadpey.
by Patel, R. V | Shadpey, F | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
406.
|
Sound Capture for Human/Machine Interfaces [electronic resource] : Practical Aspects of Microphone Array Signal Processing / by Wolfgang Herbordt.
by Herbordt, Wolfgang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
407.
|
Cooperative Control [electronic resource] : A Post-Workshop Volume 2003 Block Island Workshop on Cooperative Control / edited by Vijay Kumar, Naomi Leonard, A. Stephen Morse.
by Kumar, Vijay | Leonard, Naomi | Morse, A. Stephen | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
408.
|
Computational Intelligence and Security [electronic resource] : International Conference, CIS 2005, Xi’an, China, December 15-19, 2005, Proceedings, Part II / edited by Yue Hao, Jiming Liu, Yu-Ping Wang, Yiu-ming Cheung, Hujun Yin, Licheng Jiao, Jianfeng Ma, Yong-Chang Jiao.
by Hao, Yue | Liu, Jiming | Wang, Yu-Ping | Cheung, Yiu-ming | Yin, Hujun | Jiao, Licheng | Ma, Jianfeng | Jiao, Yong-Chang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
409.
|
Computational Intelligence and Security [electronic resource] : International Conference, CIS 2005, Xi’an, China, December 15-19, 2005, Proceedings Part I / edited by Yue Hao, Jiming Liu, Yuping Wang, Yiu-ming Cheung, Hujun Yin, Licheng Jiao, Jianfeng Ma, Yong-Chang Jiao.
by Hao, Yue | Liu, Jiming | Wang, Yuping | Cheung, Yiu-ming | Yin, Hujun | Jiao, Licheng | Ma, Jianfeng | Jiao, Yong-Chang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
410.
|
Socionics [electronic resource] : Scalability of Complex Social Systems / edited by Klaus Fischer, Michael Florian, Thomas Malsch.
by Fischer, Klaus | Florian, Michael | Malsch, Thomas | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
411.
|
Professional Knowledge Management [electronic resource] : Third Biennial Conference, WM 2005, Kaiserslautern, Germany, April 10-13, 2005, Revised Selected Papers / edited by Klaus-Dieter Althoff, Andreas Dengel, Ralph Bergmann, Markus Nick, Thomas Roth-Berghofer.
by Althoff, Klaus-Dieter | Dengel, Andreas | Bergmann, Ralph | Nick, Markus | Roth-Berghofer, Thomas | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
412.
|
Progress in Artificial Intelligence [electronic resource] : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005. Proceedings / edited by Carlos Bento, Amílcar Cardoso, Gaël Dias.
by Bento, Carlos | Cardoso, Amílcar | Dias, Gaël | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
413.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings / edited by Geoff Sutcliffe, Andrei Voronkov.
by Sutcliffe, Geoff | Voronkov, Andrei | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
414.
|
Intelligent Technologies for Interactive Entertainment [electronic resource] : First International Conference, INTETAIN 2005, Madonna di Campiglio, Italy, November 30 – December 2, 2005. Proceedings / edited by Mark Maybury, Oliviero Stock, Wolfgang Wahlster.
by Maybury, Mark | Stock, Oliviero | Wahlster, Wolfgang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
415.
|
AI 2005: Advances in Artificial Intelligence [electronic resource] : 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005. Proceedings / edited by Shichao Zhang, Ray Jarvis.
by Zhang, Shichao | Jarvis, Ray | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
416.
|
MICAI 2005: Advances in Artificial Intelligence [electronic resource] : 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005. Proceedings / edited by Alexander Gelbukh, Álvaro Albornoz, Hugo Terashima-Marín.
by Gelbukh, Alexander | Albornoz, Álvaro | Terashima-Marín, Hugo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
417.
|
Intelligent Techniques for Web Personalization [electronic resource] : IJCAI 2003 Workshop, ITWP 2003, Acapulco, Mexico, August 11, 2003, Revised Selected Papers / edited by Bamshad Mobasher, Sarabjot Singh Anand.
by Mobasher, Bamshad | Anand, Sarabjot Singh | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
418.
|
Agents and Peer-to-Peer Computing [electronic resource] : Third International Workshop, AP2PC 2004, New York, NY, USA, July 19, 2004, Revised and Invited Papers / edited by Gianluca Moro, Sonia Bergamaschi, Karl Aberer.
by Moro, Gianluca | Bergamaschi, Sonia | Aberer, Karl | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
419.
|
Biological and Medical Data Analysis [electronic resource] : 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005. Proceedings / edited by José Luís Oliveira, Víctor Maojo, Fernando Martín-Sánchez, António Sousa Pereira.
by Oliveira, José Luís | Maojo, Víctor | Martín-Sánchez, Fernando | Pereira, António Sousa | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
|
420.
|
Applied Soft Computing Technologies: The Challenge of Complexity [electronic resource] / edited by Ajith Abraham, Bernard de Baets, Mario Köppen, Bertram Nickolay.
by Abraham, Ajith | de Baets, Bernard | Köppen, Mario | Nickolay, Bertram | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|