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 science.

Author

SpringerLink (Online service)

(157)

Bernardo, Marco. editor.

(9)

Messnarz, Richard. editor.

(6)

Romanovsky, Alexander. editor.

(5)

Choren, Ricardo. editor.

(3)

El-Qawasmeh, Eyas. editor.

(3)

Garcia, Alessandro. editor.

(3)

Giese, Holger. editor.

(3)

Lucena, Carlos. editor.

(3)

Merayo, Mercedes G. editor.

(3)

Wan Mohd, Wan Maseri bt. editor.

(3)

Zannone, Nicola. editor.

(3)

Barthe, Gilles. editor.

(2)

Bergsmann, Johannes. editor.

(2)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(2)

Broy, Manfred. editor.

(2)

Filipe, Joaquim. editor.

(2)

Fitzgerald, Brian. editor.

(2)

Henkel, Jörg. author.

(2)

Huisman, Marieke. editor.

(2)

Hölzl, Matthias. editor.

(2)

Hřebíček, Jiří. editor.

(2)

Kowalczyk, Martin. author.

(2)

Lemos, Rogério. editor.

(2)

Livshits, Benjamin. editor.

(2)

Massacci, Fabio. editor.

(2)

Münch, Jürgen. author.

(2)

O'Connor, Rory V. editor.

(2)

O’Connor, Rory V. editor.

(2)

Petrenko, Alexandre. editor.

(2)

Pierro, Alessandra. editor.

(2)

Puschner, Peter. editor.

(2)

Scandariato, Riccardo. editor.

(2)

Schimak, Gerald. editor.

(2)

Shafique, Muhammad. author.

(2)

Succi, Giancarlo. editor.

(2)

Trendowicz, Adam. author.

(2)

Ulrich, Andreas. editor.

(2)

Wiklicky, Herbert. editor.

(2)

Winkler, Dietmar. editor.

(2)

Wirsing, Martin. editor.

(2)

Wu, Zhaohui. editor.

(2)

Yang, Laurence T. editor.

(2)

Zain, Jasni Mohamad. editor.

(2)

Zavattaro, Gianluigi. editor.

(2)

Abdallah, Abderazek Ben. author.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Abrahamsson, Pekka. editor.

(1)

Ahmed, Amal. editor. (orcid)0000-0001-7424-572X

(1)

Ahram, Tareq. editor.

(1)

Alagar, V.S. author.

(1)

Aldini, Alessandro. editor.

(1)

Alexander, Michael. editor.

(1)

Ariwa, Ezendu. editor.

(1)

Armbrust, Ove. author.

(1)

Arslan, Hüseyin. editor.

(1)

Atkinson, Colin. editor.

(1)

Avgeriou, Paris. editor.

(1)

Babu, M. Rajasekhara. editor.

(1)

Badia, Rosa Maria. editor.

(1)

Baker, Paul. editor.

(1)

Banâtre, Jean-Pierre. editor.

(1)

Barafort, Béatrix. editor.

(1)

Barry, Chris. editor.

(1)

Basili, Victor. author.

(1)

Beckert, Bernhard. editor.

(1)

Ben Abdallah, Abderazek. author.

(1)

Bernardi, Simona. author.

(1)

Biffl, Stefan. editor.

(1)

Biffl, Stefan. editor. (orcid)0000-0002-3413-7780

(1)

Bjørner, Dines. author.

(1)

Boer, Frank S. editor.

(1)

Bogliolo, Alessandro. editor.

(1)

Boldyreff, Cornelia. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bosch, Jan. editor.

(1)

Bouras, Abdelaziz. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Brat, Guillaume. editor.

(1)

Breitman, Karin Koogan. author.

(1)

Brinkschulte, Uwe. editor.

(1)

Bu, Jiajun. editor.

(1)

Bunse, Christian. editor.

(1)

Calinescu, Radu. editor.

(1)

Camp, Olivier. editor.

(1)

Cannataro, Mario. editor.

(1)

Capilla, Rafael. editor.

(1)

Caragiannis, Ioannis. editor.

(1)

Casanova, Marco Antonio. author.

(1)

Casanovas, Pompeu. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Chen, Chun. editor.

(1)

Cheng, Betty H. C. editor.

(1)

Chiabert, Paolo. editor.

(1)

Cimatti, Alessandro. editor.

(1)

Cirne, Walfredo. editor.

(1)

Cleland-Huang, Jane. editor.

(1)

Cleve, Anthony. editor.

(1)

Coady, Jennifer. editor.

(1)

Conboy, Kieran. editor.

(1)

Cordeiro, José. editor.

(1)

Corral, Luis. editor.

(1)

Cortellessa, Vittorio. editor.

(1)

Costan, Alexandru. editor.

(1)

Cotroneo, Domenico. editor.

(1)

Cristea, Ana Daniela. author.

(1)

Crowther, Paul. author.

(1)

Damiani, Ernesto. editor.

(1)

Damiani, Ferruccio. editor.

(1)

Danelutto, Marco. editor.

(1)

Degano, Pierpaolo. editor.

(1)

Denzer, Ralf. editor.

(1)

Desai, Narayan. editor.

(1)

Desprez, Frédéric. editor.

(1)

Diaconescu, Ada. author.

(1)

Dini, Gianluca. editor.

(1)

Drossopoulou, Sophia. editor.

(1)

Dubois, Emmanuel. editor.

(1)

Elleithy, Khaled. editor.

(1)

Erlingsson, Úlfar. editor.

(1)

Esparza, Javier. editor.

(1)

Favaro, John. editor.

(1)

Felderer, Michael. editor.

(1)

Felleisen, Matthias. editor.

(1)

Flanagan, Cormac. editor.

(1)

Flückiger, Markus. author.

(1)

Forbrig, Peter. editor.

(1)

Frachtenberg, Eitan. editor.

(1)

Franch, Xavier. editor.

(1)

Fray, Imed El. editor.

(1)

Gallardo-Valencia, Rosalva E. editor.

(1)

Gardner, Philippa. editor.

(1)

Gellert, Ulrich. author.

(1)

Giorgini, Paolo. editor.

(1)

Givargis, Tony. editor.

(1)

González-Barahona, Jesús M. editor.

(1)

Gorbenko, Anatoliy. editor.

(1)

Gordon, Andrew D. editor.

(1)

Gordon-Spears, Diana. editor.

(1)

Gorton, Ian. editor.

(1)

Gotel, Orlena. editor.

(1)

Graba, Jan. author.

(1)

Gray, Philip. editor.

(1)

Grieskamp, Wolfgang. editor.

(1)

Gross, Hans-Gerhard. editor.

(1)

Grumberg, Orna. editor.

(1)

Grünbauer, Johannes. editor.

(1)

Guo, Minyi. editor.

(1)

Gómez Pardo, José Luis. author.

(1)

Hailes, Stephen. editor.

(1)

Halbwachs, Nicolas. editor.

(1)

Hammoudi, Slimane. editor.

(1)

Harel, David. editor.

(1)

Hasegawa, Toru. editor.

(1)

Heidrich, Jens. author.

(1)

Hermanns, Holger. editor.

(1)

Hierons, Robert. editor.

(1)

Higashino, Teruo. editor.

(1)

Hillston, Jane. editor.

(1)

Hinchey, Michael. editor.

(1)

Hoare, Tony. editor.

(1)

Hofmeister, Christine. editor.

(1)

Holvoet, Tom. editor.

(1)

Hung, Dang. editor.

(1)

Hunt, John. author.

(1)

Huth, Michael. editor.

(1)

Inverardi, Paola. editor.

(1)

Issarny, Valérie. editor.

(1)

Jackson, Ethan. editor.

(1)

Jaeger, Dieter. editor.

(1)

Jung, Ranu. editor.

(1)

Jürjens, Jan. editor.

(1)

Kang, Kyo-Chul. editor.

(1)

Karwowski, Waldemar. editor.

(1)

Keller, Rainer. editor.

(1)

Khan, Muhammad Usman Karim. author.

(1)

Kharchenko, Vyacheslav. editor.

(1)

Kim, Heung-Nam. editor.

(1)

Kim, Jong. editor.

(1)

Kim, Sung Won. editor.

(1)

Kohlas, Jürg. editor.

(1)

Kowalewski, Stefan. editor.

(1)

Kramer, David. editor.

(1)

Krammer, Bettina. editor.

(1)

Kreowski, Hans-Jörg. editor.

(1)

Krishna, P. Venkata. editor.

(1)

Kubásek, Miroslav. editor.

(1)

König, Barbara. editor.

(1)

Lake, Peter. author.

(1)

Lalanda, Philippe. author.

(1)

Lang, Michael. editor.

(1)

Lanza, Michele. author.

(1)

Lee, Sunggu. editor.

(1)

Lee, Yann-Hang. editor.

(1)

Leino, K. Rustan M. editor.

(1)

Leung, Ho-fung. editor.

(1)

Lin, Man. editor.

(1)

Linger, Henry. editor.

(1)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(1)

Lopes, Luís. editor.

(1)

Language

(156)

(1)

Publication Date

-

(44)

(17)

(13)

(12)

(11)

(10)

(10)

(10)

(9)

(9)

(9)

(2)

(1)

Subject

Software engineering.

(141)

Computer Communication Networks.

(52)

(45)

Software Engineering/Programming and Operating Systems.

(28)

Artificial intelligence.

(25)

Information systems.

(24)

Information Systems.

(18)

Computer software.

(17)

Operating systems (Computers).

(16)

Computer system performance.

(12)

Data structures (Computer science).

(11)

Management information systems.

(11)

Computer network architectures.

(10)

Information storage and retrieval systems.

(10)

Programming Languages, Compilers, Interpreters.

(10)

Logics and Meanings of Programs.

(9)

Programming Techniques.

(9)

Computer simulation.

(8)

Computer hardware.

(7)

(6)

Telecommunication.

(6)

Artificial Intelligence (incl. Robotics).

(5)

Data encryption (Computer science).

(5)

Database management.

(5)

(5)

Information theory.

(5)

Management of Computing and Information Systems.

(5)

Operating Systems.

(5)

Algorithm Analysis and Problem Complexity.

(4)

Bioinformatics.

(4)

Data transmission systems.

(4)

Information Storage and Retrieval.

(4)

Information Systems Applications (incl. Internet).

(4)

Optical pattern recognition.

(4)

Simulation and Modeling.

(4)

System Performance and Evaluation.

(4)

Systems engineering.

(4)

Application software.

(3)

Computational Biology/Bioinformatics.

(3)

Computer Systems Organization and Communication Networks.

(3)

Data Structures, Cryptology and Information Theory.

(3)

Information Systems and Communication Service.

(3)

Mathematical Logic and Formal Languages.

(3)

Theory of Computation.

(3)

User Interfaces and Human Computer Interaction.

(3)

Business Information Systems.

(2)

Computation by Abstract Devices.

(2)

Computer Science, general.

(2)

(2)

Data Mining and Knowledge Discovery.

(2)

Data protection.

(2)

Electronic data processing.

(2)

(2)

Medical records -- Data processing.

(2)

Memory management (Computer science).

(2)

Models and Principles.

(2)

Performance and Reliability.

(2)

Processor Architectures.

(2)

Project Management.

(2)

Special Purpose and Application-Based Systems.

(2)

(1)

(1)

Arithmetic and Logic Structures.

(1)

Business logistics.

(1)

Business planning.

(1)

Business—Data processing.

(1)

Computational complexity.

(1)

Computational intelligence.

(1)

Computer Applications.

(1)

Computer communication systems.

(1)

Computer engineering.

(1)

Computer graphics.

(1)

Computer industry.

(1)

Computer logic.

(1)

Computer networks .

(1)

Computer organization.

(1)

Computing Methodologies.

(1)

Condensed matter.

(1)

Data Encryption.

(1)

Data Structures.

(1)

Data structures (Computer scienc.

(1)

(1)

Economics/Management Science.

(1)

(1)

Engineering design.

(1)

Environmental pollution.

(1)

Health Informatics.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Input/Output and Data Communications.

(1)

(1)

Math Applications in Computer Science.

(1)

Memory Structures.

(1)

(1)

Monoclonal antibodies.

(1)

Multimedia systems.

(1)

(1)

(1)

(1)

Numeric Computing.

(1)

Organization/Planning.

(1)

Practice of medicine.

(1)

Programming languages (Electronic computers).

(1)

Social sciences -- Data processing.

(1)

Systems and Data Security.

(1)

User interfaces (Computer systems).

(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

157 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 14

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 Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings

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

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

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:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for 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

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

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

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:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for 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

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

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

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:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for 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

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

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

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:

Availability

Online Library~1

Available:
Copies:

5.

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

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

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

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:

Availability

Online Library~1

Available:
Copies:

6.

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

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

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

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:

Availability

Online Library~1

Available:
Copies:

7.

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

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

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

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:

Availability

Online Library~1

Available:
Copies:

8.

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

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

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

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:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for 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

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

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

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:

Availability

Online Library~1

Available:
Copies:

10.

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:

11.

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:

12.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 14

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11