Limit Search Results
Author
SpringerLink (Online service)
(85)
Apduhan, Bernady O. editor.
(5)
Carlini, Maurizio. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Language
Publication Date
-
Subject
Computer science.
(37)
Simulation and Modeling.
(21)
Computer software.
(20)
Software engineering.
(20)
Algorithm Analysis and Problem Complexity.
(14)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
97 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings
Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings
Author 
Even, Guy. editor. Rawitz, Dror. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34862-4
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
Author 
Cousot, Radhia. editor. Martel, Matthieu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15769-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
Author 
Yahav, Eran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23702-7
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Prostate Cancer Imaging. Image Analysis and Image-Guided Interventions International Workshop, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011. Proceedings
Prostate Cancer Imaging. Image Analysis and Image-Guided Interventions International Workshop, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011. Proceedings
Author 
Madabhushi, Anant. editor. Dowling, Jason. editor. Huisman, Henkjan. editor. Barratt, Dean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23944-1
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Latent Variable Analysis and Signal Separation 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings
Latent Variable Analysis and Signal Separation 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings
Author 
Vigneron, Vincent. editor. Zarzoso, Vicente. editor. Moreau, Eric. editor. Gribonval, Rémi. editor. Vincent, Emmanuel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15995-4
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Bond Graph Methodology Development and Analysis of Multidisciplinary Dynamic System Models
Bond Graph Methodology Development and Analysis of Multidisciplinary Dynamic System Models
Author 
Borutzky, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-882-7
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Numerical Analysis and Its Applications 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers
Numerical Analysis and Its Applications 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers
Author 
Margenov, Svetozar. editor. Vulkov, Lubin G. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00464-3
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems
The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems
Author 
Pezzulo, Giovanni. editor. Butz, Martin V. editor. Castelfranchi, Cristiano. editor. Falcone, Rino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-87702-8
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
Author 
Paech, Barbara. editor. Martell, Craig. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89778-1
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Document Analysis Systems VII 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006. Proceedings
Document Analysis Systems VII 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006. Proceedings
Author 
Bunke, Horst. editor. Spitz, A. Lawrence. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11669487
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Simulation Approaches in Transportation Analysis Recent Advances and Challenges
Simulation Approaches in Transportation Analysis Recent Advances and Challenges
Author 
Kitamura, Ryuichi. editor. Kuwahara, Maso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104513
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Cellular Automaton Modeling of Biological Pattern Formation Characterization, Applications, and Analysis
Cellular Automaton Modeling of Biological Pattern Formation Characterization, Applications, and Analysis
Author 
Deutsch, Andreas. author. Dormann, Sabine. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138451
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action