Search Results for Systems software.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computer software.

Author

SpringerLink (Online service)

(20)

El-Qawasmeh, Eyas. editor.

(3)

Wan Mohd, Wan Maseri bt. editor.

(3)

Zain, Jasni Mohamad. editor.

(2)

Alexander, Michael. editor.

(1)

Ariwa, Ezendu. editor.

(1)

Babu, M. Rajasekhara. editor.

(1)

Badia, Rosa Maria. editor.

(1)

Baker, Paul. editor.

(1)

Cannataro, Mario. editor.

(1)

Caragiannis, Ioannis. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cirne, Walfredo. editor.

(1)

Costan, Alexandru. editor.

(1)

Danelutto, Marco. editor.

(1)

Desai, Narayan. editor.

(1)

Desprez, Frédéric. editor.

(1)

Frachtenberg, Eitan. editor.

(1)

Gorton, Ian. editor.

(1)

Grumberg, Orna. editor.

(1)

Halbwachs, Nicolas. editor.

(1)

Hermanns, Holger. editor.

(1)

Hofmeister, Christine. editor.

(1)

Hu, Bo. editor.

(1)

Huth, Michael. editor.

(1)

Khan, Zaheer. editor.

(1)

Kowalewski, Stefan. editor.

(1)

Krammer, Bettina. editor.

(1)

Krishna, P. Venkata. editor.

(1)

Malyshkin, Victor. editor.

(1)

Massacci, Fabio. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Mirandola, Raffaela. editor.

(1)

Mohamad Zain, Jasni. editor.

(1)

Nguyen, Ngoc Thanh. editor.

(1)

Núñez, Manuel. editor.

(1)

Palsberg, Jens. editor.

(1)

Paule, Peter. editor.

(1)

Philippou, Anna. editor.

(1)

Pimenidis, Elias. editor.

(1)

Piterman, Nir. editor.

(1)

Ramakrishnan, C. R. editor.

(1)

Redwine, Samuel T. editor.

(1)

Rehof, Jakob. editor.

(1)

Sahuquillo, Julio. editor.

(1)

Schwiegelshohn, Uwe. editor.

(1)

Scott, Stephen L. editor.

(1)

Smolka, Scott A. editor.

(1)

Trawiński, Bogdan. editor.

(1)

Weidendorfer, Josef. editor.

(1)

Zannone, Nicola. editor.

(1)

Zu, Qiaohong. editor.

(1)

Zuck, Lenore D. editor.

(1)

Language

(20)

Publication Date

-

(5)

(5)

(3)

(2)

(1)

(1)

(1)

(1)

(1)

Subject

Software engineering.

(19)

Computer science.

(17)

Computer Communication Networks.

(9)

(9)

Information systems.

(5)

Algorithm Analysis and Problem Complexity.

(4)

Software Engineering/Programming and Operating Systems.

(4)

Artificial intelligence.

(3)

Computer network architectures.

(3)

Computer simulation.

(3)

Operating systems (Computers).

(3)

Optical pattern recognition.

(3)

Computer Systems Organization and Communication Networks.

(2)

Information theory.

(2)

Simulation and Modeling.

(2)

(1)

Bioinformatics.

(1)

Computational Biology/Bioinformatics.

(1)

Computer hardware.

(1)

Computer system performance.

(1)

Data encryption (Computer science).

(1)

Data protection.

(1)

Database management.

(1)

Electronic data processing.

(1)

Information Systems.

(1)

Information storage and retrieval systems.

(1)

Logic, Symbolic and mathematical.

(1)

Logics and Meanings of Programs.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

(1)

Numeric Computing.

(1)

Operating Systems.

(1)

Performance and Reliability.

(1)

Programming Languages, Compilers, Interpreters.

(1)

System Performance and Evaluation.

(1)

Theory of Computation.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

20 Results Found

Subscribe to search results

1 2

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334278.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36742-7

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II

Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II

Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II

Author

Krishna, P. Venkata. editor. Babu, M. Rajasekhara. editor. Ariwa, Ezendu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29216-3

Format:

Availability

Online Library~1

Available:
Copies:

3.

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

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

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

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:

Availability

Online Library~1

Available:
Copies:

4.

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

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

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

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:

Availability

Online Library~1

Available:
Copies:

5.

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

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

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

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:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00768-2

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Author

Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-05031-2

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

Author

Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00199-4

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Author

Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02351-4

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Castagna, Giuseppe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00590-9

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Author

Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-78800-3

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Author

Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-71209-1

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11