Limit Search Results
Author
SpringerLink (Online service)
(281)
Barolli, Leonard. editor.
(14)
Bernardo, Marco. editor.
(12)
Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382
(6)
Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874
(6)
Language
Publication Date
-
Subject
Artificial intelligence.
(93)
Computational intelligence.
(69)
Software engineering.
(62)
Human-computer interaction.
(57)
Computer networks .
(54)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
485 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
Author 
Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13678-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Design for reliability information and computer-based systems
Design for reliability information and computer-based systems
Author 
Bauer, Eric.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5732779
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Author 
Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01918-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Author 
Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68894-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Secure computer and network systems modeling, analysis and design
Secure computer and network systems modeling, analysis and design
Author 
Ye, Nong. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0833/2007037133-b.html
John Wiley http://dx.doi.org/10.1002/9780470023273
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
Author 
Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72522-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Author 
Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135888
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Multisensor instrumentation 6[sigma] design defined accuracy computer-integrated measurement systems
Multisensor instrumentation 6[sigma] design defined accuracy computer-integrated measurement systems
Author 
Garrett, Patrick H.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/0471221554
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/2001046730.html
ebrary http://site.ebrary.com/id/10299172
HathiTrust Digital Library Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/47971537.html
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Reliability of computer systems and networks fault tolerance, analysis and design
Reliability of computer systems and networks fault tolerance, analysis and design
Author 
Shooman, Martin L. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/047122460X
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/2002265406.html
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computer-aided design of analog integrated circuits and systems
Computer-aided design of analog integrated circuits and systems
Author 
Rutenbar, Rob A., 1957- Gielen, Georges. Antao, Brian.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265766
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer aided design, engineering, and manufacturing : systems techniques and applications
Computer aided design, engineering, and manufacturing : systems techniques and applications
Author 
Leondes, Cornelius T.
Preferred Shelf Number 
TS155.6 .C6455 2001
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action