Limit Search Results
Author
Language
Subject
Computer science.
(3)
Electronic books.
(2)
Software engineering.
(2)
Algorithms.
(1)
Benefits of Improved Testing.
(1)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
17 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Multicore Systems On-Chip: Practical Software/Hardware Design
Multicore Systems On-Chip: Practical Software/Hardware Design
Author 
Abdallah, Abderazek Ben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-33-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
Author 
Popovici, Katalin. author. Rousseau, Frédéric. author. Jerraya, Ahmed A. author. Wolf, Marilyn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-5567-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for A Process Algebraic Approach to Software Architecture Design
A Process Algebraic Approach to Software Architecture Design
Author 
Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-223-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Arithmetic Optimization Techniques for Hardware and Software Design
Arithmetic Optimization Techniques for Hardware and Software Design
Author 
Kastner, Ryan. Hosangadi, Anup. Fallah, Farzan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Üç boyutlu bilgisayar grafiklerinde yazılım tasarım örüntüleri ve uygulamaları = Applying software design patterns in 3D computer graphics
Üç boyutlu bilgisayar grafiklerinde yazılım tasarım örüntüleri ve uygulamaları = Applying software design patterns in 3D computer graphics
Author 
Selem, Atilla.
Preferred Shelf Number 
TEZ 9338 .S45 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
7. 
Cover image for Information security management handbook
Information security management handbook
Author 
Tipton, Harold F. Nozaki, Micki Krause.
Preferred Shelf Number 
QA76.9 .A25 I54165 2007
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Testing Complex and Embedded Systems
Testing Complex and Embedded Systems
Author 
Pries, Kim H., author. Quigley, Jon M., author. Taylor and Francis.
Preferred Shelf Number 
TK7895 .E42
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Software metrics and software metrology
Software metrics and software metrology
Author 
Abran, Alain, 1949-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381791
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Food identity preservation and traceability : safer grains
Food identity preservation and traceability : safer grains
Author 
Bennet, Gregory S., author.
Preferred Shelf Number 
TX531 .B46 2010
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Handbook of chemoinformatics algorithms
Handbook of chemoinformatics algorithms
Author 
Faulon, Jean-Loup. Bender, Andreas, 1976-
Preferred Shelf Number 
QD39.3 .E46 H357 2010
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Underwater acoustic sensor networks
Underwater acoustic sensor networks
Author 
Xiao, Yang, 1966-
Preferred Shelf Number 
TK5103.52 .U54 2010
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets