Limit Search Results
Author
SpringerLink (Online service)
(1037)
Wiley InterScience (Online service)
(19)
Apduhan, Bernady O. editor.
(17)
Stephanidis, Constantine. editor.
(13)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(12)
Language
Publication Date
-
Subject
Computer communication systems.
(469)
User interfaces (Computer systems).
(311)
Application software.
(283)
Artificial intelligence.
(275)
Software engineering.
(142)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1729 Results Found Subscribe to search results
000000000000DEFAULT
Print
193. 
Cover image for Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Author 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11757283
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 1
Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 1
Author 
Ferrario, Mauro. editor. Ciccotti, Giovanni. editor. Binder, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-35273-2
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 2
Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 2
Author 
Ferrario, Mauro. editor. Ciccotti, Giovanni. editor. Binder, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-35284-8
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for The Past and Future of Information Systems: 1976–2006 and Beyond IFIP 19th World Computer Congress, TC-8, Information System Stream, August 21–23, 2006, Santiago, Chile
The Past and Future of Information Systems: 1976–2006 and Beyond IFIP 19th World Computer Congress, TC-8, Information System Stream, August 21–23, 2006, Santiago, Chile
Author 
Avison, David. editor. Elliot, Steve. editor. Krogstie, John. editor. Pries-Heje, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-34732-5
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Biometrics, Computer Security Systems and Artificial Intelligence Applications
Biometrics, Computer Security Systems and Artificial Intelligence Applications
Author 
Saeed, Khalid. editor. Pejaś, Jerzy. editor. Mosdorf, Romuald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36503-9
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
Author 
Besnard, Denis. editor. Gacek, Cristina. editor. Jones, Cliff B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138838
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Multivariable Computer-controlled Systems A Transfer Function Approach
Multivariable Computer-controlled Systems A Transfer Function Approach
Author 
Rosenwasser, Efim N. author. Lampe, Bernhard P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-432-5
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for 16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering
16th European Symposium on Computer Aided Process Engineering and 9th International Symposium on Process Systems Engineering
Author 
European Symposium on Computer Aided Process Engineering (16th : 2006 : Garmisch-Partenkirchen, Germany) Marquardt, W. Pantelides, C. International Symposium on Process Systems Engineering (9th : 2006 : Garmisch-Partenkirchen, Germany)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444529695
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Advances in Computer, Information, and Systems Sciences, and Engineering Proceedings of IETA 2005, TeNe 2005, EIAE 2005
Advances in Computer, Information, and Systems Sciences, and Engineering Proceedings of IETA 2005, TeNe 2005, EIAE 2005
Author 
Elleithy, Khaled. editor. Sobh, Tarek. editor. Mahmood, Ausif. editor. Iskander, Magued. editor. Karim, Mohammad. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5261-8
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings
Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings
Author 
Goble, Lou. editor. Meyer, John-Jules Ch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11786849
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for An introduction to computer simulation methods : applications to physical systems
An introduction to computer simulation methods : applications to physical systems
Author 
Gould, Harvey. Tobochnik, Jan., ort. yaz. Christian, Wolfgang, ort.yaz.
Preferred Shelf Number 
QC52 .G685 2006
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
204. 
Cover image for Validating pharmaceutical systems : good computer practice in life science manufacturing
Validating pharmaceutical systems : good computer practice in life science manufacturing
Author 
Andrews, John.
Preferred Shelf Number 
QV 778 V1717 2006
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
Select an Action