Limit Search Results
Author
SpringerLink (Online service)
(201)
Bernardo, Marco. editor.
(11)
Shishkov, Boris. editor.
(8)
John Wiley & Sons.
(3)
Nurcan, Selmin. editor.
(3)
Language
Publication Date
-
Subject
Computational intelligence.
(30)
Software engineering.
(30)
Computer science.
(24)
Artificial intelligence.
(18)
Telecommunication.
(11)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
235 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE
Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE
Author 
Fähnrich, Klaus-Peter. editor. Husen, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7908-1944-1
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
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:
51. 
Cover image for Software VNA and microwave network design and characterisation
Software VNA and microwave network design and characterisation
Author 
Wu, Zhipeng.
Preferred Shelf Number 
ONLINE
Electronic Access 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2007298044-b.html
John Wiley http://dx.doi.org/10.1002/9780470513217
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
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:
53. 
Cover image for Modern industrial automation software design principles and real-world applications
Modern industrial automation software design principles and real-world applications
Author 
Wang, Lingfen. Tan, Kay Chen.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201934
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Software Engineering 3 Domains, Requirements, and Software Design
Software Engineering 3 Domains, Requirements, and Software Design
Author 
Bjøner, Dines. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-33653-2
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
Author 
Lanza, Michele. author. Marinescu, Radu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-39538-5
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
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:
57. 
Cover image for Co-verification of hardware and software for ARM SoC design
Co-verification of hardware and software for ARM SoC design
Author 
Andrews, Jason R.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750677301
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
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:
59. 
Cover image for Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
Author 
Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138692
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Web application design handbook best practices for web-based software
Web application design handbook best practices for web-based software
Author 
Fowler, Susan L., 1953- Stanwick, Victor R., 1958-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781558607521
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action