Search Results for Software.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Author: SpringerLink (Online service)

+

Language: English

+

Subject: Information theory.

+

Subject: Software engineering.

Author

Albada, Geert Dick. editor.

(16)

Gavrilova, Marina L. editor.

(16)

Gervasi, Osvaldo. editor.

(16)

Sloot, Peter M. A. editor.

(16)

Dongarra, Jack. editor.

(15)

Mun, Youngsong. editor.

(13)

Taniar, David. editor.

(13)

Kumar, Vipin. editor.

(9)

Laganà, Antonio. editor.

(7)

Tan, C. J. Kenneth. editor.

(7)

Laganá, Antonio. editor.

(6)

Choo, Hyunseung. editor.

(5)

Liu, Chunfeng. editor.

(5)

Alexandrov, Vassil N. editor.

(4)

Daydé, Michel. editor.

(4)

Jensen, Kurt. editor.

(4)

Lee, Heow Pueh. editor.

(4)

Margaria, Tiziana. editor.

(4)

Murgante, Beniamino. editor.

(4)

Shi, Yong. editor.

(4)

Steffen, Bernhard. editor.

(4)

Tan, Chih Jeng Kenneth. editor.

(4)

Bieliková, Mária. editor.

(3)

Brambilla, Marco. editor.

(3)

Bubak, Marian. editor.

(3)

Ceri, Stefano. editor.

(3)

Donatelli, Susanna. editor.

(3)

Liu, Baoxiang. editor.

(3)

Lopes, João Correia. editor.

(3)

Preneel, Bart. editor.

(3)

Streit, Achim. editor.

(3)

Sunderam, Vaidy S. editor.

(3)

Zhang, Yanchun. editor.

(3)

Zhu, Rongbo. editor.

(3)

Aceto, Luca. editor.

(2)

Albers, Susanne. editor.

(2)

Alexander, Michael. editor.

(2)

Allen, Gabrielle. editor.

(2)

Bougé, Luc. editor.

(2)

Bugliesi, Michele. editor.

(2)

Chang, Jincai. editor.

(2)

Damgård, Ivan. editor.

(2)

Dongarra, Jack J. editor.

(2)

Gavrilova, Marina. editor.

(2)

Goldberg, Leslie Ann. editor.

(2)

Halldórsson, Magnús M. editor.

(2)

Hsu, Ching-Hsien. editor.

(2)

Ingólfsdóttir, Anna. editor.

(2)

Italiano, Giuseppe F. editor.

(2)

Karhumäki, Juhani. editor.

(2)

Kleijn, Jetty. editor.

(2)

Koutny, Maciej. editor.

(2)

Lehner, Wolfgang. editor.

(2)

Lin, Dongdai. editor.

(2)

Liu, Zhiming. editor.

(2)

Marchetti-Spaccamela, Alberto. editor.

(2)

Matias, Yossi. editor.

(2)

Nabrzyski, Jarosław. editor.

(2)

Nikoletseas, Sotiris. editor.

(2)

Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757

(2)

Palma, José M. L. M. editor.

(2)

Palma, José M. Laginha M. editor.

(2)

Park, Jong Hyuk. editor.

(2)

Paule, Peter. editor.

(2)

Plasmeijer, Rinus. editor.

(2)

Sako, Kazue. editor.

(2)

Sassone, Vladimiro. editor.

(2)

Seidel, Edward. editor.

(2)

Thomas, Wolfgang. editor.

(2)

Träff, Jesper Larsson. editor.

(2)

Walukiewicz, Igor. editor.

(2)

Wegener, Ingo. editor.

(2)

Woodcock, Jim. editor.

(2)

Yang, Aimin. editor.

(2)

Yang, Laurence T. editor.

(2)

Yeo, Sang-Soo. editor.

(2)

Zhu, Huibiao. editor.

(2)

Aalst, Wil M. P. editor.

(1)

Abdelwahed, El Hassan. editor.

(1)

Affenzeller, Michael. editor.

(1)

Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X

(1)

Aho, Alfred V. editor.

(1)

Alfaro, Luca. editor.

(1)

Amestoy, Patrick R. editor.

(1)

Arge, Lars. editor.

(1)

Balcısoy, Selim. editor.

(1)

Barnat, Jiří. editor.

(1)

Bellatreche, Ladjel. editor.

(1)

Ben-Ari, Mordechai. author.

(1)

Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622

(1)

Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060

(1)

Benítez, Domingo. editor.

(1)

Bertoni, Alberto. editor.

(1)

Beyersdorff, Olaf. editor.

(1)

Billington, Jonathan. editor.

(1)

Bisgin, Halil. editor.

(1)

Bjørner, Dines. editor.

(1)

Bloem, Roderick. editor.

(1)

Blum, Edward K. editor.

(1)

Bollig, Benedikt. author.

(1)

Bouassida Rodriguez, Ismael. editor.

(1)

Brennan, Rob. editor.

(1)

Broy, Manfred. editor.

(1)

Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148

(1)

Buchberger, Bruno. editor.

(1)

Buchmann, Johannes. editor.

(1)

Bunker, Deborah. editor.

(1)

Cachin, Christian. editor.

(1)

Cai, Wentong. editor.

(1)

Caires, Luís. editor.

(1)

Carlet, Claude. editor.

(1)

Cascini, Gaetano. editor.

(1)

Cassez, Franck. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Chapman, Barbara M. editor.

(1)

Charron-Bost, Bernadette. editor.

(1)

Chen, Danny Z. editor.

(1)

Childs, Stephen. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Clarke, Edmund M. editor.

(1)

Coutinho, Álvaro L. G. A. editor.

(1)

Cunha, José C. editor.

(1)

Cérin, Christophe. editor.

(1)

César, Eduardo. editor.

(1)

Dancy, Christopher. editor.

(1)

Darondeau, Philippe. editor.

(1)

DeGross, Janice I. editor.

(1)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(1)

Dix, Jürgen. editor. (orcid)0000-0002-8528-1440

(1)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(1)

Dorling, Alec. editor.

(1)

Drira, Khalil. editor. (orcid)0000-0002-4770-1563

(1)

Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635

(1)

Dutle, Aaron. editor.

(1)

D’Souza, Meenakshi. editor.

(1)

Esparza, Javier. author.

(1)

Fan, Pingzhi. editor.

(1)

Fernández, Maribel. author.

(1)

Ferscha, Alois. editor.

(1)

Fiekas, Niklas. editor. (orcid)0000-0002-8369-4890

(1)

Fitzgerald, John S. editor.

(1)

Fleck, Joel. editor.

(1)

Fokkink, Wan. author.

(1)

Forsell, Martti. editor.

(1)

Franceschinis, Giuliana. editor.

(1)

Fu, Yuxi. editor.

(1)

Fukuda, Komei. editor.

(1)

Geffert, Viliam. editor.

(1)

Golfarelli, Matteo. editor.

(1)

Gruner, Stefan. editor.

(1)

Grünbauer, Johannes. editor.

(1)

Guilley, Sylvain. editor. (orcid)0000-0002-5044-3534

(1)

Güngör, Tunga. editor.

(1)

Gürgen, Fikret. editor.

(1)

Haller, Michael. editor.

(1)

Harel, David. editor.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Haxthausen, Anne E. editor.

(1)

He, Ji-Huan. editor.

(1)

Heckel, Reiko. editor.

(1)

Hee, Kees M. editor.

(1)

Heljanko, Keijo. author.

(1)

Henson, Martin C. editor.

(1)

Henzinger, Thomas A. editor.

(1)

Hernández, Vicente. editor.

(1)

Hoare, Tony. editor.

(1)

Hoek, Wiebe. editor.

(1)

Hoeven, Joris van der. editor.

(1)

Horiguchi, Susumu. editor.

(1)

Horváth, Zoltán. editor.

(1)

Howar, Falk. editor.

(1)

Huth, Michael. author.

(1)

Hyder, Ayaz. editor.

(1)

Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613

(1)

Impagliazzo, John. editor.

(1)

Issarny, Valerie. editor.

(1)

Jard, Claude. editor.

(1)

Jean, Stéphane. editor.

(1)

Jebelean, Tudor. editor.

(1)

Jerraya, A. A. editor.

(1)

Jha, Shantenu. editor.

(1)

Jin, Xiaolong. author.

(1)

Johnsen, Einar Broch. editor.

(1)

Jones, Cliff. editor.

(1)

Joswig, Michael. editor.

(1)

Jurdziński, Tomasz. editor.

(1)

Kabanda, Salah. editor.

(1)

Karczewski, Konrad. editor.

(1)

Kermarrec, Anne-Marie. editor.

(1)

Klement, Erich Peter. editor.

(1)

Knüpfer, Andreas. editor.

(1)

Koopman, Pieter. editor.

(1)

Kranzlmüller, Dieter. editor.

(1)

Kroening, Daniel. author.

(1)

Lange, Tanja. editor.

(1)

Lee, Der-Tsai. editor.

(1)

Leeuwen, Jan. editor.

(1)

Lepistö, Arto. editor.

(1)

Leucker, Martin. editor.

(1)

Levi, Albert. editor.

(1)

Publication Date

-

(22)

(19)

(19)

(19)

(18)

(15)

(10)

(10)

(7)

(7)

(3)

(1)

Subject

Computer science.

(133)

Electronic data processing.

(50)

Computer simulation.

(44)

Information systems.

(42)

Computer vision.

(34)

Computer software.

(27)

Computer network architectures.

(26)

Artificial intelligence.

(25)

Computer Communication Networks.

(21)

Computational complexity.

(18)

(16)

Database management.

(10)

Computer industry.

(8)

Computer system performance.

(8)

(7)

Data structures (Computer science).

(7)

Information storage and retrieval systems.

(7)

Theory of Computation.

(7)

(6)

Operating systems (Computers).

(6)

Algebra -- Data processing.

(5)

Data encryption (Computer science).

(5)

Computer aided design.

(4)

Computer organization.

(4)

Application software.

(3)

Computer communication systems.

(3)

Computers and civilization.

(3)

(3)

Information Systems.

(3)

Software Engineering/Programming and Operating Systems.

(3)

Artificial Intelligence (incl. Robotics).

(2)

Bioinformatics.

(2)

Computer hardware.

(2)

Computer security.

(2)

Data structures (Computer scienc.

(2)

(2)

Law and legislation.

(2)

Logic, Symbolic and mathematical.

(2)

Algorithm Analysis and Problem Complexity.

(1)

(1)

Computation by Abstract Devices.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer logic.

(1)

Computer science -- Mathematics.

(1)

Computing Methodologies.

(1)

Education—Data processing.

(1)

(1)

Management information systems.

(1)

Mathematical Logic and Formal Languages.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical Software.

(1)

Mathematical logic.

(1)

(1)

Quantum Computing.

(1)

Simulation and Modeling.

(1)

Social sciences -- Data processing.

(1)

Special purpose computers.

(1)

Symbolic and Algebraic Manipulation.

(1)

(1)

Systems engineering.

(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

150 Results Found

Subscribe to search results

1 2 3 4 5 .. 13

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 Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers

Author

Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-06019-0

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

Author

Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-96562-8

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Author

Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92970-5

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Author

Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

Author

Stamelos, Ioannis. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00623-5

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Author

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334841.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Computer Science The Hardware, Software and Heart of It

Computer Science The Hardware, Software and Heart of It

Computer Science The Hardware, Software and Heart of It

Author

Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-1168-0

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

Author

Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

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:

10.

Cover image for Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 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

Alfaro, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Compiler Construction 18th International Conference, CC 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

Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Author

Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3532-2

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 13

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11