Search Results for Systems software. - Narrowed by: 2006

Directory of library automation software, systems, and services.

2026-01-27T21:54:50Z

Author Cibbarelli, Pamela R., ed. Information Today, Inc.
Preferred Shelf Number Z678.9.A3 D6
Format: Books
Availability Beytepe Library~1

DSP software development techniques for embedded and real-time systems

2026-01-27T21:54:50Z

Author Oshana, Robert.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750677592
Format: Electronic Resources
Availability Online Library~1

Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS05

2026-01-27T21:54:50Z

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: Electronic Resources
Availability Online Library~1

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

2026-01-27T21:54:50Z

Author Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11691372
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T21:54:50Z

Author Sestoft, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11693024
Format: Electronic Resources
Availability Online Library~1

Software Engineering 2 Specification of Systems and Languages

2026-01-27T21:54:50Z

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: Electronic Resources
Availability Online Library~1

Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications

2026-01-27T21:54:50Z

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: Electronic Resources
Availability Online Library~1

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

2026-01-27T21:54:50Z

Author Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11757283
Format: Electronic Resources
Availability Online Library~1

Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach

2026-01-27T21:54:50Z

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: Electronic Resources
Availability Online Library~1

Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

2026-01-27T21:54:50Z

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: Electronic Resources
Availability Online Library~1

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy

2026-01-27T21:54:50Z

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: Electronic Resources
Availability Online Library~1

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program

2026-01-27T21:54:50Z

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: Electronic Resources
Availability Online Library~1

Agent Technology from a Formal Perspective

2026-01-27T21:54:50Z

Author Rouff, Christopher A. editor. Hinchey, Michael. editor. Rash, James. editor. Truszkowski, Walter. editor. Gordon-Spears, Diana. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-271-3
Format: Electronic Resources
Availability Online Library~1

Information security management handbook

2026-01-27T21:54:50Z

Author Tipton, Harold F. Krause, Micki.
Preferred Shelf Number QA76.9 .A25 I54165 2003
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The Electrical Engineering Handbook - Six Volume Set

2026-01-27T21:54:50Z

Author Dorf, Richard C., editor. Taylor and Francis.
Preferred Shelf Number R857 .B54
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Context-Aware Pervasive Systems : Architectures for a New Breed of Applications

2026-01-27T21:54:50Z

Author Loke, Seng, author. Taylor and Francis.
Preferred Shelf Number QA76.5915
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Mechatronics : an introduction

2026-01-27T21:54:50Z

Author Bishop, Robert H., 1957-
Preferred Shelf Number TJ163.12 .M4315 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Microelectronics

2026-01-27T21:54:50Z

Author Whitaker, Jerry C.
Preferred Shelf Number TK7874 .M4587 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Embedded systems handbook

2026-01-27T21:54:50Z

Author Zurawski, Richard.
Preferred Shelf Number TK7895 .E42 E64 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

In silico technologies in drug target identification and validation

2026-01-27T21:54:50Z

Author Leon, Darryl. Markel, Scott.
Preferred Shelf Number RM301.25 .I48 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Autonomous software-defined radio receivers for deep space applications

2026-01-27T21:54:50Z

Author Hamkins, Jon, 1968- Simon, Marvin Kenneth, 1939-
Preferred Shelf Number ONLINE
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information http://www3.interscience.wiley.com/cgi-bin/bookhome/112632603 MyiLibrary, Table of contents http://www.myilibrary.com?id=72165&ref=toc Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006046396-b.html HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/69680167.html
Format: Electronic Resources
Availability Online Library~1

Low-power processors and systems on chips

2026-01-27T21:54:50Z

Author Piguet, Christian, author.
Preferred Shelf Number TK7895 .M5 P54 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The electrical engineering handbook. Third edition, Systems, controls, embedded systems, energy, and machines

2026-01-27T21:54:50Z

Author Dorf, Richard C.
Preferred Shelf Number TK1001 .E44 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1