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)

(236)

Bernardo, Marco. editor.

(10)

Messnarz, Richard. editor.

(6)

Romanovsky, Alexander. editor.

(5)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(4)

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

(3)

Choren, Ricardo. editor.

(3)

El-Qawasmeh, Eyas. editor.

(3)

Filipe, Joaquim. editor.

(3)

Finkbeiner, Bernd. editor.

(3)

Garcia, Alessandro. editor.

(3)

Giese, Holger. editor.

(3)

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792

(3)

Heule, Marijn. editor. (orcid)0000-0002-5587-8801

(3)

Kovács, Laura. editor.

(3)

Legay, Axel. editor.

(3)

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

(3)

Lucena, Carlos. editor.

(3)

Majumdar, Rupak. editor.

(3)

Merayo, Mercedes G. editor.

(3)

Wan Mohd, Wan Maseri bt. editor.

(3)

Zannone, Nicola. editor.

(3)

Zhang, Zili. editor.

(3)

Akshay, S. editor. (orcid)0000-0002-2471-5997

(2)

Barthe, Gilles. editor.

(2)

Bergsmann, Johannes. editor.

(2)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(2)

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

(2)

Broy, Manfred. editor.

(2)

Catala, Andreu. 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)

Joya, Gonzalo. editor.

(2)

Kobayashi, Naoki. editor.

(2)

Kowalczyk, Martin. author.

(2)

Kunčak, Viktor. editor.

(2)

Lemos, Rogério. editor.

(2)

Livshits, Benjamin. editor.

(2)

Massacci, Fabio. editor.

(2)

Meyer, Bertrand. editor.

(2)

Münch, Jürgen. author.

(2)

Niemetz, Aina. editor.

(2)

O'Connor, Rory V. editor.

(2)

O’Connor, Rory V. editor.

(2)

Petrenko, Alexandre. editor.

(2)

Philippou, Anna. editor.

(2)

Pierro, Alessandra. editor.

(2)

Puschner, Peter. editor.

(2)

Rocha, Ana Paula. editor.

(2)

Rojas, Ignacio. editor.

(2)

Sankaranarayanan, Sriram. editor.

(2)

Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340

(2)

Scandariato, Riccardo. editor.

(2)

Schimak, Gerald. editor.

(2)

Schoitsch, Erwin. editor.

(2)

Shafique, Muhammad. author.

(2)

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X

(2)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(2)

Succi, Giancarlo. editor.

(2)

Trendowicz, Adam. author.

(2)

Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126

(2)

Troubitsyna, Elena A. editor.

(2)

Ulrich, Andreas. editor.

(2)

Wiklicky, Herbert. editor.

(2)

Winkler, Dietmar. editor.

(2)

Wirsing, Martin. editor.

(2)

Worrell, James. editor.

(2)

Wu, Zhaohui. editor.

(2)

Yang, Laurence T. editor.

(2)

Yenigün, Hüsnü. editor.

(2)

Zain, Jasni Mohamad. editor.

(2)

Zavattaro, Gianluigi. editor.

(2)

van den Herik, Jaap. editor.

(2)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

Abdallah, Abderazek Ben. author.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611

(1)

Abrahamsson, Pekka. editor.

(1)

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

(1)

Ahram, Tareq. editor.

(1)

Alagar, V.S. author.

(1)

Alagić, Suad. author.

(1)

Aldini, Alessandro. editor.

(1)

Alexander, Michael. editor.

(1)

Alkhalaf, Muath. author.

(1)

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094

(1)

Arbel, Eli. editor.

(1)

Ariwa, Ezendu. editor.

(1)

Armbrust, Ove. author.

(1)

Arslan, Hüseyin. editor.

(1)

Artho, Cyrille. editor.

(1)

Athanasopoulos, Elias. editor.

(1)

Atkinson, Colin. editor.

(1)

Avgeriou, Paris. editor.

(1)

Ayala-Rincón, Mauricio. author.

(1)

Aydin, Abdulbaki. author.

(1)

Aydoğan, Reyhan. editor.

(1)

Baarslag, Tim. 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)

Barnard, Pepita. editor. (orcid)0000-0003-4518-1207

(1)

Barrett, Clark. editor.

(1)

Barry, Chris. editor.

(1)

Basili, Victor. author.

(1)

Bautista, John Robert. editor. (orcid)0000-0002-4892-9543

(1)

Beckert, Bernhard. editor.

(1)

Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286

(1)

Ben Abdallah, Abderazek. author.

(1)

Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929

(1)

Bernardi, Simona. author.

(1)

Bertogna, Marko. editor.

(1)

Biffl, Stefan. editor.

(1)

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

(1)

Bjørner, Dines. author.

(1)

Bloem, Roderick. editor.

(1)

Bodden, Eric. editor.

(1)

Boer, Frank S. editor.

(1)

Bogliolo, Alessandro. editor.

(1)

Boldo, Sylvie. editor.

(1)

Boldyreff, Cornelia. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Boronat, Artur. editor. (orcid)0000-0003-2024-1736

(1)

Bosch, Jan. editor.

(1)

Bouras, Abdelaziz. editor.

(1)

Bowen, Jonathan P. editor.

(1)

Bošnački, Dragan. editor.

(1)

Brat, Guillaume. editor.

(1)

Breitman, Karin Koogan. author.

(1)

Brijder, Robert. editor.

(1)

Brinkschulte, Uwe. editor.

(1)

Briola, Daniela. editor. (orcid)0000-0003-1994-8929

(1)

Bu, Jiajun. editor.

(1)

Bultan, Tevfik. author.

(1)

Bunse, Christian. editor.

(1)

Caballero, Juan. editor.

(1)

Cabarle, Francis George C. author.

(1)

Cabot, Jordi. editor.

(1)

Calinescu, Radu. editor.

(1)

Camp, Olivier. editor.

(1)

Cannataro, Mario. editor.

(1)

Capilla, Rafael. editor.

(1)

Caragiannis, Ioannis. editor.

(1)

Cardoso, Rafael C. editor. (orcid)0000-0001-6666-6954

(1)

Carmona, Josep. editor.

(1)

Casanova, Marco Antonio. author.

(1)

Casanovas, Pompeu. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976

(1)

Cavalli, Ana Rosa. editor.

(1)

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517

(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)

Crnkovic, Ivica. editor.

(1)

Crowther, Paul. author.

(1)

Cuppens, Frédéric. editor.

(1)

Cuppens, Nora. editor.

(1)

Damiani, Ernesto. editor.

(1)

Damiani, Ferruccio. editor.

(1)

Danelutto, Marco. editor.

(1)

Dash, Santanu. editor. (orcid)0000-0002-5674-8531

(1)

Davies, Misty. editor.

(1)

De Nicola, Rocco. editor.

(1)

Degano, Pierpaolo. editor.

(1)

Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142

(1)

Denzer, Ralf. editor.

(1)

Desai, Narayan. editor.

(1)

Desprez, Frédéric. editor.

(1)

Diaconescu, Ada. author.

(1)

Dignum, Virginia. editor. (orcid)0000-0001-7409-5813

(1)

Dini, Gianluca. editor.

(1)

Dong, Jianping. author.

(1)

Drossopoulou, Sophia. editor.

(1)

Dubois, Emmanuel. editor.

(1)

Durak, Umut. author.

(1)

Dutle, Aaron. editor. (orcid)0000-0002-8503-5514

(1)

El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268

(1)

Elleithy, Khaled. editor.

(1)

Engels, Gregor. editor.

(1)

Erlingsson, Úlfar. editor.

(1)

Esparza, Javier. editor.

(1)

Farahi, Arya. editor. (orcid)0000-0003-0777-4618

(1)

Language

(235)

(1)

Publication Date

-

(44)

(29)

(24)

(17)

(13)

(13)

(13)

(12)

(11)

(10)

(10)

(10)

(9)

(9)

(9)

(2)

(1)

Subject

Software engineering.

(207)

Computer Communication Networks.

(72)

Artificial intelligence.

(47)

(45)

Theory of Computation.

(44)

Computer Science Logic and Foundations of Programming.

(40)

Computer networks .

(31)

Compilers (Computer programs).

(28)

Compilers and Interpreters.

(28)

Software Engineering/Programming and Operating Systems.

(28)

Formal Languages and Automata Theory.

(26)

Machine theory.

(26)

Computer simulation.

(25)

Information systems.

(24)

Information Systems.

(18)

Operating systems (Computers).

(18)

Computer Modelling.

(17)

Computer software.

(17)

Programming Techniques.

(16)

Computer science -- Mathematics.

(14)

Data structures (Computer science).

(14)

Application software.

(13)

Computer system performance.

(12)

Information storage and retrieval systems.

(12)

Computer engineering.

(11)

Management information systems.

(11)

Computer Engineering and Networks.

(10)

Computer and Information Systems Applications.

(10)

Computer network architectures.

(10)

(10)

Models of Computation.

(10)

Programming Languages, Compilers, Interpreters.

(10)

(9)

Logics and Meanings of Programs.

(9)

Special Purpose and Application-Based Systems.

(9)

Control Structures and Microprogramming.

(8)

Information theory.

(8)

Microprogramming .

(8)

Bioinformatics.

(7)

Computer hardware.

(7)

Computer programming.

(7)

Computers, Special purpose.

(7)

Data encryption (Computer science).

(7)

Operating Systems.

(7)

System Performance and Evaluation.

(7)

(6)

Data protection.

(6)

Electronic data processing -- Management.

(6)

(6)

Information Storage and Retrieval.

(6)

Telecommunication.

(6)

Artificial Intelligence (incl. Robotics).

(5)

Computer System Implementation.

(5)

Computer systems.

(5)

Database management.

(5)

(5)

Management of Computing and Information Systems.

(5)

Mathematics of Computing.

(5)

Algorithm Analysis and Problem Complexity.

(4)

Data and Information Security.

(4)

Data transmission systems.

(4)

Information Systems Applications (incl. Internet).

(4)

Optical pattern recognition.

(4)

(4)

Simulation and Modeling.

(4)

Systems engineering.

(4)

The Computing Profession.

(4)

User Interfaces and Human Computer Interaction.

(4)

Computational Biology/Bioinformatics.

(3)

Computational and Systems Biology.

(3)

Computer Systems Organization and Communication Networks.

(3)

Data Structures and Information Theory.

(3)

Data Structures, Cryptology and Information Theory.

(3)

Discrete Mathematics in Computer Science.

(3)

Discrete mathematics.

(3)

Electronic digital computers -- Evaluation.

(3)

Information Systems and Communication Service.

(3)

Mathematical Logic and Formal Languages.

(3)

Mathematical Logic and Foundations.

(3)

Mathematical logic.

(3)

Mathematical statistics.

(3)

Probability and Statistics in Computer Science.

(3)

Processor Architectures.

(3)

Business Information Systems.

(2)

Computation by Abstract Devices.

(2)

Computational complexity.

(2)

Computational intelligence.

(2)

Computer Hardware.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer Science, general.

(2)

Computer vision.

(2)

Computing Milieux.

(2)

(2)

(2)

Data Mining and Knowledge Discovery.

(2)

Electronic data processing.

(2)

(2)

Image processing -- Digital techniques.

(2)

(2)

Logic programming.

(2)

Mathematical Applications in Computer Science.

(2)

Medical records -- Data processing.

(2)

Memory management (Computer science).

(2)

Models and Principles.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Performance and Reliability.

(2)

Programming languages (Electronic computers).

(2)

Project Management.

(2)

User interfaces (Computer systems).

(2)

(1)

(1)

Arithmetic and Logic Structures.

(1)

Artificial intelligence -- Data processing.

(1)

Automated Pattern Recognition.

(1)

Business Process Management.

(1)

Business information services.

(1)

Business logistics.

(1)

Business planning.

(1)

Business—Data processing.

(1)

Computer Applications.

(1)

Computer architecture.

(1)

Computer communication systems.

(1)

Computer graphics.

(1)

Computer industry.

(1)

Computer logic.

(1)

Computer organization.

(1)

Computer programs -- Testing.

(1)

Computing Methodologies.

(1)

Condensed matter.

(1)

Data Encryption.

(1)

(1)

Data Structures.

(1)

Data structures (Computer scienc.

(1)

(1)

Economics/Management Science.

(1)

(1)

Engineering design.

(1)

Environmental pollution.

(1)

Health Informatics.

(1)

Human-computer interaction.

(1)

IT in Business.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Informal Logic.

(1)

Information technology -- Management.

(1)

Input/Output and Data Communications.

(1)

(1)

Machine learning.

(1)

Math Applications in Computer Science.

(1)

Memory Structures.

(1)

Microprocessors.

(1)

(1)

Monoclonal antibodies.

(1)

Multimedia systems.

(1)

(1)

(1)

(1)

Numeric Computing.

(1)

Organization/Planning.

(1)

Pattern recognition systems.

(1)

Practice of medicine.

(1)

Programming Language.

(1)

(1)

Social sciences -- Data processing.

(1)

Software Testing.

(1)

Symbolic and Algebraic Manipulation.

(1)

Systems and Data Security.

(1)

Theory and Algorithms for Application Domains.

(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

236 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 20

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.

37.

Cover image for Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings

Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings

Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings

Author

Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-55128-4

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Author

Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44857-1

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

Author

Majzik, István. editor. Vieira, Marco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12241-0

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings

Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings

Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings

Author

Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-03602-1

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedings

Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedings

Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedings

Author

Barafort, Béatrix. editor. O'Connor, Rory V. editor. Poth, Alexander. editor. (orcid)0000-0002-2868-5633 Messnarz, Richard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-43896-1

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Author

Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334236.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Systems and Software Variability Management Concepts, Tools and Experiences

Systems and Software Variability Management Concepts, Tools and Experiences

Systems and Software Variability Management Concepts, Tools and Experiences

Author

Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334240.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

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:

45.

Cover image for Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Author

Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334688.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Using Event-B for Critical Device Software Systems

Using Event-B for Critical Device Software Systems

Using Event-B for Critical Device Software Systems

Author

Singh, Neeraj Kumar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331181.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-5260-6

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 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

Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334348.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Author

Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335141.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 .. 20

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11