Limit Search Results
Author
SpringerLink (Online service)
(201)
Bernardo, Marco. editor.
(11)
Shishkov, Boris. editor.
(8)
John Wiley & Sons.
(3)
Lewis, John.
(3)
Language
Publication Date
-
Subject
Software engineering.
(32)
Computational intelligence.
(30)
Computer science.
(24)
Artificial intelligence.
(18)
Computer software -- Development.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
296 Results Found Subscribe to search results
000000000000DEFAULT
Print
73. 
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:
74. 
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:
75. 
Cover image for Flexible software design systems development for changing requirements
Flexible software design systems development for changing requirements
Author 
Johnson, Bruce (Bruce M.)
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:
76. 
Cover image for Yazılım geliştirmede, kalite yönetim sistemi yazılımı tasarımı ve gerçekleştirimi = Design and implementation of a quality management software for software development
Yazılım geliştirmede, kalite yönetim sistemi yazılımı tasarımı ve gerçekleştirimi = Design and implementation of a quality management software for software development
Author 
Erdem, Atilla.
Preferred Shelf Number 
TEZ/7206 E661 2005
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
77. 
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:
78. 
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:
79. 
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:
80. 
Cover image for Dedicated digital processors methods in hardware/software system design
Dedicated digital processors methods in hardware/software system design
Author 
Mayer-Lindenberg, F.
Preferred Shelf Number 
ONLINE
Electronic Access 
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/047009284X
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=175043
http://proquest.safaribooksonline.com/9780470092828
Volltext http://proquest.tech.safaribooksonline.de/9780470092828
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for A practitioner's guide to software test design
A practitioner's guide to software test design
Author 
Copeland, Lee.
Preferred Shelf Number 
QA76.76.T48 C66 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
82. 
Cover image for Interaction design for complex problem solving developing useful and usable software
Interaction design for complex problem solving developing useful and usable software
Author 
Mirel, Barbara.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781558608313
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies
Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies
Author 
Zhuk, Jeff.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
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