Limit Search Results
Author
SpringerLink (Online service)
(64)
Albada, Geert Dick. editor.
(2)
Albers, Susanne. editor.
(2)
Allen, Gabrielle. editor.
(2)
Barry, Chris. editor.
(2)
Language
Subject
Computer science.
(62)
Information theory.
(56)
Computer software.
(25)
Software engineering.
(20)
Logic design.
(17)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
73 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Sensitivity and uncertainty analysis
Sensitivity and uncertainty analysis
Author 
Cacuci, D. G. Ionescu-Bujor, Mihaela. Navon, Ionel Michael.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Sensitivity and uncertainty analysis
Sensitivity and uncertainty analysis
Author 
Cacuci, D. G. Ionescu-Bujor, Mihaela. Navon, Ionel Michael.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Microeconomics of banking
Microeconomics of banking
Author 
Freixas, Xavier.
Preferred Shelf Number 
HG 1601 F74 1997
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
16. 
Cover image for Handbook of software engineering & knowledge engineering
Handbook of software engineering & knowledge engineering
Author 
Chang, Shi Kuo, 1944- ed.
Preferred Shelf Number 
QA 76.758 H36 2001- V.2
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
17. 
Cover image for Hagenberg Research
Hagenberg Research
Author 
Buchberger, Bruno. editor. Affenzeller, Michael. editor. Ferscha, Alois. editor. Haller, Michael. editor. Jebelean, Tudor. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02127-5
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
Author 
Fisher, Michael. editor. Sadri, Fariba. editor. Thielscher, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02734-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Transactions on Rough Sets X
Transactions on Rough Sets X
Author 
Peters, James F. editor. Skowron, Andrzej. editor. Wolski, Marcin. editor. Chakraborty, Mihir K. editor. Wu, Wei-Zhi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03281-3
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
Author 
Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02927-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
Author 
Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02930-1
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings
Author 
Bravetti, Mario. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04081-8
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
Author 
Leucker, Martin. editor. Morgan, Carroll. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03466-4
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Author 
Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11447-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action