Limit Search Results
Author
SpringerLink (Online service)
(36)
Dochev, Danail. editor.
(2)
Johnson, Michael. editor.
(2)
Muenchen, Robert A. author.
(2)
Achatz, Reinhold. editor.
(1)
Language
Publication Date
-
Subject
Artificial intelligence.
(12)
Software engineering.
(10)
Logic.
(7)
Data mining.
(6)
Engineering.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
36 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
Author 
Johnson, Michael. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17796-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for The gm/ID Methodology, A Sizing Tool for Low-voltage Analog CMOS Circuits The semi-empirical and compact model approaches
The gm/ID Methodology, A Sizing Tool for Low-voltage Analog CMOS Circuits The semi-empirical and compact model approaches
Author 
Jespers, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-47101-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Artificial Intelligence: Methodology, Systems, and Applications 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10. 2010. Proceedings
Artificial Intelligence: Methodology, Systems, and Applications 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10. 2010. Proceedings
Author 
Dicheva, Darina. editor. Dochev, Danail. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15431-7
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Awareness Systems Advances in Theory, Methodology and Design
Awareness Systems Advances in Theory, Methodology and Design
Author 
Markopoulos, Panos. editor. De Ruyter, Boris. editor. Mackay, Wendy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-477-5
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
Author 
Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79980-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Artificial Intelligence: Methodology, Systems, and Applications 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings
Artificial Intelligence: Methodology, Systems, and Applications 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings
Author 
Dochev, Danail. editor. Pistore, Marco. editor. Traverso, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85776-1
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Real-Time Object Uniform Design Methodology with UML
Real-Time Object Uniform Design Methodology with UML
Author 
Duc, Bui Minh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5977-3
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Author 
Ma, Zhe. editor. Marchal, Pol. editor. Scarpazza, Daniele Paolo. editor. Yang, Peng. editor. Wong, Chun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6344-2
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Artificial Intelligence: Methodology, Systems, and Applications 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006. Proceedings
Artificial Intelligence: Methodology, Systems, and Applications 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006. Proceedings
Author 
Euzenat, Jérôme. editor. Domingue, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11861461
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings
Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings
Author 
Johnson, Michael. editor. Vene, Varmo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11784180
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Form-Oriented Analysis A New Methodology to Model Form-Based Applications
Form-Oriented Analysis A New Methodology to Model Form-Based Applications
Author 
Draheim, Dirk. author. Weber, Gerald. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138252
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Social Understanding On Hermeneutics, Geometrical Models and Artificial Intelligence
Social Understanding On Hermeneutics, Geometrical Models and Artificial Intelligence
Author 
Klüver, Jürgen. author. Klüver, Christina. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9911-2
Format: 
Availability 
Online Library~1
Available:
Copies: