Search Results for Industry.

|

|

|

|

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)

(93)

Margaria, Tiziana. editor.

(5)

Masak, Dieter. author.

(5)

Bandini, Stefania. editor.

(4)

Steffen, Bernhard. editor.

(4)

Impagliazzo, John. editor.

(3)

Smolander, Kari. editor.

(3)

Baddoo, Nathan. editor.

(2)

Horger-Thies, Sibylle. author.

(2)

Messnarz, Richard. editor.

(2)

O’Connor, Rory V. editor.

(2)

Panetto, Hervé. editor.

(2)

Umeo, Hiroshi. editor.

(2)

ASC Community. author.

(1)

Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226

(1)

Almand, Kathleen H. author.

(1)

Alì, Giuseppe. editor.

(1)

Amasaki, Sousuke. editor.

(1)

Anile, Angelo Marcello. editor.

(1)

Arnold, Barry C. editor.

(1)

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481

(1)

Ausiello, Giorgio. editor.

(1)

Balakrishnan, N. editor.

(1)

Barceló, Pablo. editor.

(1)

Barnat, Jiří. editor.

(1)

Baskerville, Richard L. editor.

(1)

Bellini, Roberto. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bhanu, Bir. author.

(1)

Bliudze, Simon. editor. (orcid)0000-0002-7900-5271

(1)

Bonilla, Luis L. editor.

(1)

Bouras, Abdelaziz. editor.

(1)

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

(1)

Brooks, Margaret. author.

(1)

Bubenko, Janis. editor.

(1)

Bucchianico, A. editor.

(1)

Burton, Mark. author.

(1)

Bäumer, Ulrich. editor.

(1)

Camenisch, Jan. editor.

(1)

Canossa, Alessandro. editor.

(1)

Capilla, Rafael. editor. (orcid)0000-0002-6943-1285

(1)

Cardoso, Jorge. editor.

(1)

Cetina, Carlos. editor. (orcid)0000-0001-8542-5515

(1)

Channelle, Andy. author.

(1)

Chen, Hui. author.

(1)

Chen, Jessie Y.C. editor.

(1)

Chiabert, Paolo. editor.

(1)

Chopard, Bastien. editor.

(1)

Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794

(1)

Ciuprina, Gabriela. editor.

(1)

Colombo, Christian. editor.

(1)

Corrigan, Ray. author.

(1)

Creek, Sam. author.

(1)

Cuadrago Gallego, Juan. editor.

(1)

Cusumano, Michael A. editor.

(1)

DeGross, Janice I. editor.

(1)

Demey, Yan Tang. editor.

(1)

Derler, Patricia. editor.

(1)

Dillon, Tharam. editor.

(1)

Douglas, Ian. editor.

(1)

Drachen, Anders. editor.

(1)

Du, Ding-Zhu. editor.

(1)

Dubois, Catherine. editor.

(1)

El-Geish, Mohamed. author.

(1)

Fan, Xiumin. editor.

(1)

Fischer-Hübner, Simone. editor.

(1)

Fitt, Alistair D. editor.

(1)

Fragomeni, Gino. editor.

(1)

Gaber, Mohamed Medhat. editor.

(1)

Gallagher, John P. editor. (orcid)0000-0001-6984-7419

(1)

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

(1)

Galmés, Sebastià. editor.

(1)

Gausemeier, Jürgen. editor.

(1)

Gaïti, Dominique. editor.

(1)

Grafe, Michael. editor.

(1)

Gustas, Remigijus. editor.

(1)

Hebig, Regina. editor. (orcid)0000-0002-1459-2081

(1)

Hefley, Bill. editor.

(1)

Hepp, Martin. editor.

(1)

Herrero, Pilar. editor.

(1)

Herzwurm, Georg. editor.

(1)

Howar, Falk. editor.

(1)

Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750

(1)

Ioan, Daniel. editor.

(1)

Iyer, Bala. editor.

(1)

Jansen, Bernhard J. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Jäger, Willi. editor.

(1)

Järvi, Timo. editor.

(1)

Kaesler, Clemens. author.

(1)

Karhumäki, Juhani. editor.

(1)

Kelly, James Floyd. author.

(1)

Kianmehr, Keivan. editor.

(1)

Klünder, Jil. editor. (orcid)0000-0001-7674-2930

(1)

Komatsuzaki, Toshihiko. editor.

(1)

Kotlarsky, Julia. editor.

(1)

Kotlarsky, Julia. editor. (orcid)0000-0002-1478-549X

(1)

Krebs, Hans-Joachim. editor.

(1)

Kreutter, Peter. editor.

(1)

Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931

(1)

Küpper, Steffen. editor. (orcid)0000-0002-2438-5035

(1)

Lassenius, Casper. editor.

(1)

Lebanon, Guy. author.

(1)

Leucker, Martin. editor.

(1)

Liu, Zhengjie. editor.

(1)

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

(1)

Lohstroh, Marten. editor.

(1)

Lovett, J. J. author.

(1)

Lundin, Per. editor.

(1)

Lytras, Miltiadis D. editor.

(1)

Ma, Dengzhe. editor.

(1)

Manzoni, Sara. editor.

(1)

Mascali, Giovanni. editor.

(1)

Mathiassen, Lars. editor.

(1)

Mattheij, R.M.M. editor.

(1)

Mauri, Giancarlo. editor.

(1)

Mazzeo, Antonino. editor.

(1)

Medina, Manel. editor.

(1)

Meersman, Robert. editor.

(1)

Meiselwitz, Gabriele. editor.

(1)

Melzer, Ingo. author.

(1)

Messner, Wolfgang. author.

(1)

Messner, Wolfgang. editor.

(1)

Minguez, Roberto. editor.

(1)

Mitrakas, Andreas. editor.

(1)

Moens, Marie-Francine. author.

(1)

Monsuez, Bruno. editor.

(1)

Morawiec, Adam. author.

(1)

Morishita, Shin. editor.

(1)

Moscoso, Miguel. editor.

(1)

Motta, Gianmario. editor.

(1)

Murayama, Yuko. editor.

(1)

Murphy, Wendy. editor.

(1)

Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200

(1)

Nilsson, Anders G. editor.

(1)

Nishinari, Katsuhiro. editor.

(1)

Norbury, John. editor.

(1)

Noël, Frédéric. editor.

(1)

Ockendon, Hilary. editor.

(1)

Ong, Luke. editor.

(1)

Osborn, Steven. author.

(1)

Oshri, Ilan. editor.

(1)

Oshri, Ilan. editor. (orcid)0000-0001-6577-1795

(1)

Paju, Petri. editor.

(1)

Partridge, Derek. author.

(1)

Peletier, M.A. editor.

(1)

Perner, Petra. editor.

(1)

Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831

(1)

Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X

(1)

Pichler, Reinhard. editor.

(1)

Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952

(1)

Piskac, Ruzica. editor.

(1)

Platero, Gloria. editor.

(1)

Podelski, Andreas. editor.

(1)

Portmann, Armand. editor.

(1)

Pries-Heje, Jan. editor.

(1)

Puigjaner, Ramon. editor.

(1)

Pěchouček, Michal. editor.

(1)

Rannenberg, Kai. editor.

(1)

Rejas Muslera, Ricardo. editor.

(1)

Rieder, Carlos. editor.

(1)

Rommes, Joost. editor.

(1)

Russo, Alessandra. editor. (orcid)0000-0002-3318-8711

(1)

Ríos, José. editor.

(1)

Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098

(1)

Salvetti, Ovidio. editor.

(1)

Sarabia, Jose-Maria. editor.

(1)

Schaefer, Ina. editor.

(1)

Schilders, Wilhelmus H. A. editor.

(1)

Schneider, Kurt. editor.

(1)

Schröder, Helmut. author.

(1)

Schweighofer, Erich. editor.

(1)

Schürr, Andy. editor. (orcid)0000-0001-8100-1109

(1)

Seif El-Nasr, Magy. editor.

(1)

Shen, Xuemin Sherman. editor.

(1)

Sicam, Jaime. author.

(1)

Sirakoulis, Georgios Ch. editor.

(1)

Sirjani, Marjan. editor.

(1)

Smith, Christopher. author.

(1)

Spink, Amanda. editor.

(1)

Sulzmann, Martin. editor.

(1)

Sun, Jing. editor.

(1)

Sun, Meng. editor.

(1)

Suoranta, Mari. editor. (orcid)0000-0002-3849-4902

(1)

Sølvberg, Arne. editor.

(1)

Tan, Mehmet. editor.

(1)

Tell, Paolo. editor. (orcid)0000-0001-7391-0046

(1)

Thomas, Andrew R. author.

(1)

Thomas, Keir. author.

(1)

Thompson, Simon G. editor.

(1)

Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618

(1)

Tsouroulas, Nikolaos. editor.

(1)

Tyrväinen, Pasi. editor. (orcid)0000-0001-7716-3244

(1)

Ukai, Yasuharu. editor.

(1)

Vega, Jose M. editor.

(1)

Venkatraman, N. editor.

(1)

Vizzari, Giuseppe. editor.

(1)

Voos, Holger. editor.

(1)

Voronkov, Andrei. editor.

(1)

Vorst, Henk A. editor.

(1)

Language

(83)

(10)

Publication Date

-

(26)

(13)

(9)

(8)

(8)

(7)

(6)

(4)

(4)

(4)

(2)

(2)

Subject

Computer industry.

(63)

Software engineering.

(32)

Artificial intelligence.

(16)

Information systems.

(16)

Computer system performance.

(13)

Computer network architectures.

(12)

Computer Communication Networks.

(9)

Information theory.

(9)

Computer simulation.

(8)

(8)

Information Systems.

(7)

Management information systems.

(7)

(7)

Text processing (Computer science.

(7)

Computer software.

(6)

(6)

Computer vision.

(5)

Numerical analysis.

(5)

Bioinformatics.

(4)

(4)

Differential equations, partial.

(4)

Economics -- Statistics.

(4)

Information storage and retrieval systems.

(4)

The Computer Industry.

(4)

Computer science -- Mathematics.

(3)

Distribution (Probability theory).

(3)

(3)

Industrial procurement.

(3)

(3)

Computer engineering.

(2)

Computer graphics.

(2)

Computer hardware.

(2)

Computers -- Law and legislation.

(2)

Data encryption (Computer science).

(2)

Database management.

(2)

Electromagnetism.

(2)

Engineering economy.

(2)

Entrepreneurship.

(2)

Industrial management.

(2)

Mechanical engineering.

(2)

Operating systems (Computers).

(2)

Optical pattern recognition.

(2)

Social sciences -- Data processing.

(2)

(2)

User Interfaces and Human Computer Interaction.

(2)

Artificial Intelligence (incl. Robotics).

(1)

(1)

Chemistry -- Mathematics.

(1)

Civil engineering.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Science, general.

(1)

Computer security.

(1)

(1)

(1)

Differential Equations.

(1)

(1)

Electronic commerce.

(1)

Engineering mathematics.

(1)

Industrial organization (Economic theory).

(1)

Information Storage and Retrieval.

(1)

Information Systems Applications (incl. Internet).

(1)

Information Systems and Communication Service.

(1)

Law and legislation.

(1)

Management of Computing and Information Systems.

(1)

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical optimization.

(1)

Mathematical statistics.

(1)

Microprogramming.

(1)

Multimedia systems.

(1)

(1)

Organizational Studies, Economic Sociology.

(1)

Personnel management.

(1)

Regional planning.

(1)

Simulation and Modeling.

(1)

Systems engineering.

(1)

Systems theory.

(1)

Telecommunication.

(1)

Translators (Computer programs).

(1)

(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

93 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 8

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 The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generation

The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generation

The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generation

Author

ASC Community. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-3731-3

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Author

Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-90686-7

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Author

Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Author

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00359-3

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

Author

Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-90421-4

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Author

Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00244-2

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

Author

Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92997-2

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Author

Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74313-4

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03421-4

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Author

Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03592-1

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Author

Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 .. 8

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11