Search Results for Systems software. - Narrowed by: 2011

Specification of Software Systems

2026-01-27T10:32:38Z

Author Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-277-3
Format: Electronic Resources
Availability Online Library~1

Software Tools and Algorithms for Biological Systems

2026-01-27T10:32:38Z

Author Arabnia, Hamid R. editor. Tran, Quoc-Nam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7046-6
Format: Electronic Resources
Availability Online Library~1

Directory of library automation software, systems, and services.

2026-01-27T10:32:38Z

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

Software Technologies for Embedded and Ubiquitous Systems 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings

2026-01-27T10:32:38Z

Author Min, Sang Lyul. editor. Pettit, Robert. editor. Puschner, Peter. editor. Ungerer, Theo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16256-5
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2026-01-27T10:32:38Z

Author Barthe, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19718-5
Format: Electronic Resources
Availability Online Library~1

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

2026-01-27T10:32:38Z

Author Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21292-5
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

2026-01-27T10:32:38Z

Author Wolff, Burkhart. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24580-0
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2026-01-27T10:32:38Z

Author Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19835-9
Format: Electronic Resources
Availability Online Library~1

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

2026-01-27T10:32:38Z

Author Wirsing, Martin. editor. Hölzl, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20401-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I

2026-01-27T10:32:38Z

Author Mohamad Zain, Jasni. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22170-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II

2026-01-27T10:32:38Z

Author Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22191-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III

2026-01-27T10:32:38Z

Author Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22203-0
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Service Process Improvement 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings

2026-01-27T10:32:38Z

Author O‘Connor, Rory V. editor. Pries-Heje, Jan. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22206-1
Format: Electronic Resources
Availability Online Library~1

Environmental Software Systems. Frameworks of eEnvironment 9th IFIP WG 5.11 International Symposium, ISESS 2011, Brno, Czech Republic, June 27-29, 2011. Proceedings

2026-01-27T10:32:38Z

Author Hřebíček, Jiří. editor. Schimak, Gerald. editor. Denzer, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22285-6
Format: Electronic Resources
Availability Online Library~1

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems

2026-01-27T10:32:38Z

Author Verhulst, Eric. author. Boute, Raymond T. author. Faria, José Miguel Sampaio. author. Sputh, Bernhard H.C. author. Mezhuyev, Vitaliy. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9736-4
Format: Electronic Resources
Availability Online Library~1

Hardware/Software Architectures for Low-Power Embedded Multimedia Systems

2026-01-27T10:32:38Z

Author Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9692-3
Format: Electronic Resources
Availability Online Library~1

Bond Graph Modelling of Engineering Systems Theory, Applications and Software Support

2026-01-27T10:32:38Z

Author Borutzky, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9368-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings

2026-01-27T10:32:38Z

Author Troubitsyna, Elena A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24124-6
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings

2026-01-27T10:32:38Z

Author Erlingsson, Úlfar. editor. Wieringa, Roel. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19125-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

2026-01-27T10:32:38Z

Author Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21455-4
Format: Electronic Resources
Availability Online Library~1

Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers

2026-01-27T10:32:38Z

Author Par, Gerard. editor. Morrow, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23583-2
Format: Electronic Resources
Availability Online Library~1

Metadata-driven Software Systems in Biomedicine Designing Systems that can adapt to Changing Knowledge

2026-01-27T10:32:38Z

Author Nadkarni, Prakash M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-510-1
Format: Electronic Resources
Availability Online Library~1

Design patterns for embedded systems in C an embedded software engineering toolkit

2026-01-27T10:32:38Z

Author Douglass, Bruce Powel.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781856177078
Format: Electronic Resources
Availability Online Library~1

Information security management handbook

2026-01-27T10:32:38Z

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

Cloud computing and software services : theory and techniques

2026-01-27T10:32:38Z

Author Ahson, Syed. Ilyas, Mohammad, 1953-
Preferred Shelf Number TK5105.88813 .C58 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Display and interface design : subtle science, exact art

2026-01-27T10:32:38Z

Author Bennett, Kevin B. (Kevin Bruce), 1957, author. Flach, John.
Preferred Shelf Number QA76.9 .U83 B458 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Conceptual modeling for discrete-event simulation

2026-01-27T10:32:38Z

Author Robinson, Stewart, 1964-
Preferred Shelf Number QA76.9 .C65 C6566 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Systems life cycle costing : economic analysis, estimation, and management

2026-01-27T10:32:38Z

Author Farr, John Vail., author.
Preferred Shelf Number TA145 .F37 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Green chemistry for environmental sustainability

2026-01-27T10:32:38Z

Author Sharma, Sanjay Kumar. Mudhoo, Ackmez.
Preferred Shelf Number TP155.2 .E58 G744 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Lean IT : enabling and sustaining your lean transformation

2026-01-27T10:32:38Z

Author Bell, Steve, 1960 Sept. 30, author. Orzen, Michael A.
Preferred Shelf Number HD30.2 .B4573 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Modern anti-windup synthesis

2026-01-27T10:32:38Z

Author Zaccarian, Luca. Teel, Andrew R., 1965-
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt7t5z2
Format: Electronic Resources
Availability Online Library~1

Advances in cognitive ergonomics

2026-01-27T10:32:38Z

Author Kaber, David B. Boy, Guy A.
Preferred Shelf Number TA166 .A355 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Location-based information systems : developing real-time tracking applications

2026-01-27T10:32:38Z

Author Labrador, Miguel A., author. Wightman, Pedro M. Perez, Alfredo Jose.
Preferred Shelf Number TK5105.65 .L33 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1