Limit Search Results
Author
SpringerLink (Online service)
(135)
Wiley InterScience (Online service)
(9)
Li, Daoliang. editor.
(3)
Zhao, Chunjiang. editor.
(3)
Adamatzky, Andrew. editor.
(2)
Language
Subject
Computer simulation.
(135)
Computer science.
(99)
Artificial intelligence.
(47)
Software engineering.
(47)
Computer vision.
(26)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
178 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Predictive Modeling of Dynamic Processes A Tribute to Professor Klaus Thoma
Predictive Modeling of Dynamic Processes A Tribute to Professor Klaus Thoma
Author 
Hiermaier, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0727-1
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Combat Modeling
Combat Modeling
Author 
Washburn, Alan. author. Kress, Moshe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0790-5
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Artificial Life Models in Software
Artificial Life Models in Software
Author 
Komosinski, Maciej. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-285-6
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Rapid Modelling for Increasing Competitiveness Tools and Mindset
Rapid Modelling for Increasing Competitiveness Tools and Mindset
Author 
Reiner, Gerald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-748-6
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88479-8
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for QVT - Relations Language Modellierung mit der Query Views Transformation
QVT - Relations Language Modellierung mit der Query Views Transformation
Author 
Nolte, Siegfried. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92171-4
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Advances in Web Semantics I Ontologies, Web Services and Applied Semantic Web
Advances in Web Semantics I Ontologies, Web Services and Applied Semantic Web
Author 
Dillon, Tharam S. editor. Chang, Elizabeth. editor. Meersman, Robert. editor. Sycara, Katia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89784-2
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Membrane Computing 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers
Membrane Computing 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers
Author 
Corne, David Wolfe. editor. Frisco, Pierluigi. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95885-7
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Argumentation in Multi-Agent Systems Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers
Argumentation in Multi-Agent Systems Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers
Author 
Rahwan, Iyad. editor. Moraitis, Pavlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00207-6
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Coloured Petri Nets Modelling and Validation of Concurrent Systems
Coloured Petri Nets Modelling and Validation of Concurrent Systems
Author 
Jensen, Kurt. author. Kristensen, Lars M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b95112
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems
Author 
Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00899-3
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers
Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers
Author 
Gašević, Dragan. editor. Lämmel, Ralf. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00434-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets