Limit Search Results
Author
Language
Subject
Computer science.
(10)
Software engineering.
(10)
Logic design.
(4)
Computer Communication Networks.
(3)
Artificial intelligence.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
23 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Directory of library automation software, systems, and services.
Directory of library automation software, systems, and services.
Author 
Cibbarelli, Pamela R., ed. Information Today, Inc.
Preferred Shelf Number 
Z678.9.A3 D6
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach
Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach
Author 
Papajorgji, Petraq J. author. Pardalos, Panos M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28171-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy
Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy
Author 
Damiani, Ernesto. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Scotto, Marco. editor. Succi, Giancarlo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34226-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS05
Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS05
Author 
Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5263-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
Author 
Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11691372
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Software Engineering 2 Specification of Systems and Languages
Software Engineering 2 Specification of Systems and Languages
Author 
Bjørner, Dines. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-33193-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications
Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications
Author 
Garcia, Alessandro. editor. Choren, Ricardo. editor. Lucena, Carlos. editor. Giorgini, Paolo. editor. Holvoet, Tom. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11738817
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Dependable Systems: Software, Computing, Networks Research Results of the DICS Program
Dependable Systems: Software, Computing, Networks Research Results of the DICS Program
Author 
Kohlas, Jürg. editor. Meyer, Bertrand. editor. Schiper, André. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11808107
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
Cover image for Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings
Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings
Author 
Sestoft, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11693024
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for DSP software development techniques for embedded and real-time systems
DSP software development techniques for embedded and real-time systems
Author 
Oshana, Robert.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750677592
Format: 
Availability 
Online Library~1
Available:
Copies: