Limit Search Results
Author
Corchado, Emilio. editor.
(13)
Kacprzyk, Janusz. editor.
(6)
Woźniak, Michał. editor.
(6)
Abraham, Ajith. editor.
(5)
Melin, Patricia. editor.
(5)
Language
English
(170)
Publication Date
-
Subject
Artificial intelligence.
(26)
Computer science.
(23)
Engineering.
(22)
Computer software.
(10)
Database management.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
170 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Hybrid Artificial Intelligent Systems 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part I
Hybrid Artificial Intelligent Systems 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part I
Author 
Corchado, Emilio. editor. Kurzyński, Marek. editor. Woźniak, Michał. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21219-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
Author 
Herde, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9949-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
Author 
Platzer, André. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14509-4
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Quantum Materials, Lateral Semiconductor Nanostructures, Hybrid Systems and Nanocrystals Lateral Semiconductor Nanostructures, Hybrid Systems and Nanocrystals
Quantum Materials, Lateral Semiconductor Nanostructures, Hybrid Systems and Nanocrystals Lateral Semiconductor Nanostructures, Hybrid Systems and Nanocrystals
Author 
Heitmann, Detlef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10553-1
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part I
Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part I
Author 
Graña Romay, Manuel. editor. Corchado, Emilio. editor. Garcia Sebastian, M. Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13769-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part II
Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part II
Author 
Corchado, Emilio. editor. Graña Romay, Manuel. editor. Manhaes Savio, Alexandre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13803-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings
Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings
Author 
Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00602-9
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Verification and Control of Hybrid Systems A Symbolic Approach
Verification and Control of Hybrid Systems A Symbolic Approach
Author 
Tabuada, Paulo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0224-5
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Fault Diagnosis of Nonlinear Systems Using a Hybrid Approach
Fault Diagnosis of Nonlinear Systems Using a Hybrid Approach
Author 
Sobhani-Tehrani, Ehsan. author. Khorasani, Khashayar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-92907-1
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Hybrid Artificial Intelligence Systems 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings
Hybrid Artificial Intelligence Systems 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings
Author 
Corchado, Emilio. editor. Wu, Xindong. editor. Oja, Erkki. editor. Herrero, Álvaro. editor. Baruque, Bruno. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02319-4
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Bio-inspired Hybrid Intelligent Systems for Image Analysis and Pattern Recognition
Bio-inspired Hybrid Intelligent Systems for Image Analysis and Pattern Recognition
Author 
Melin, Patricia. editor. Kacprzyk, Janusz. editor. Pedrycz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04516-5
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
Author 
Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78929-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action