Search Results for Science -- 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: Software engineering.

Author

SpringerLink (Online service)

(1497)

Dongarra, Jack. editor.

(18)

Albada, Geert Dick. editor.

(16)

Gavrilova, Marina L. editor.

(16)

Gervasi, Osvaldo. editor.

(16)

Sloot, Peter M. A. editor.

(16)

Mun, Youngsong. editor.

(13)

Taniar, David. editor.

(13)

Meyer, Bertrand. editor.

(12)

Voronkov, Andrei. editor.

(12)

Lei, Jingsheng. editor.

(10)

Palanque, Philippe. editor.

(10)

Wang, Fu Lee. editor.

(10)

Winckler, Marco. editor.

(10)

Boer, Frank S. editor.

(9)

Bonsangue, Marcello M. editor.

(9)

Kumar, Vipin. editor.

(9)

Messnarz, Richard. editor.

(9)

Abrahamsson, Pekka. editor.

(8)

Cordeiro, José. editor.

(8)

Laganà, Antonio. editor.

(7)

Margaria, Tiziana. editor.

(7)

Tan, C. J. Kenneth. editor.

(7)

Boldyreva, Alexandra. editor.

(6)

Broy, Manfred. editor.

(6)

Deng, Hepu. editor.

(6)

Filipe, Joaquim. editor.

(6)

Goll, Joachim. author.

(6)

Kotzé, Paula. editor.

(6)

Kronland-Martinet, Richard. editor.

(6)

Laganá, Antonio. editor.

(6)

Lemos, Rogério. editor.

(6)

Li, Daoliang. editor.

(6)

Rozenberg, Grzegorz. editor.

(6)

Shishkov, Boris. editor.

(6)

Woodcock, Jim. editor.

(6)

Ystad, Sølvi. editor.

(6)

Arbab, Farhad. editor.

(5)

Beckert, Bernhard. editor.

(5)

Boles, Dietrich. author.

(5)

Choo, Hyunseung. editor.

(5)

Gacek, Cristina. editor.

(5)

Gibbons, Jeremy. editor.

(5)

Kleuker, Stephan. author.

(5)

Liu, Honghai. editor.

(5)

Liu, Zhiming. editor.

(5)

Mokhtari, Mounir. editor.

(5)

Pfahl, Dietmar. editor.

(5)

Rashid, Awais. editor.

(5)

Rijmen, Vincent. editor.

(5)

Shi, Yong. editor.

(5)

Sillitti, Alberto. editor.

(5)

Starke, Gernot. author.

(5)

Stephanidis, Constantine. editor.

(5)

Wojtkowski, Wita. editor.

(5)

Abts, Dietmar. author.

(4)

Aksit, Mehmet. editor.

(4)

Alexandrov, Vassil N. editor.

(4)

Ali, Moonis. editor.

(4)

Anglin, Steve. editor.

(4)

Barry, Chris. editor.

(4)

Buckingham, Ewan. editor.

(4)

Campos, Pedro. editor.

(4)

Cavalcanti, Ana. editor.

(4)

Conboy, Kieran. editor.

(4)

Cornell, Gary. editor.

(4)

Daniel, Florian. editor.

(4)

Dastani, Mehdi. editor.

(4)

Ehrig, Hartmut. editor.

(4)

Fiadeiro, José Luiz. editor.

(4)

Fitzgerald, Brian. editor.

(4)

Giese, Holger. editor.

(4)

Graf, Susanne. editor.

(4)

Graham, Nicholas. editor.

(4)

Hassell, Jonathan. editor.

(4)

Havelund, Klaus. editor.

(4)

Heckel, Reiko. editor.

(4)

Horváth, Zoltán. editor.

(4)

Jensen, Kristoffer. editor.

(4)

Jorge, Joaquim. editor.

(4)

Joseph, Mathai. editor.

(4)

Kotlarsky, Julia. editor.

(4)

Kuhrmann, Marco. author.

(4)

Lang, Michael. editor.

(4)

Lee, Heow Pueh. editor.

(4)

Lindgaard, Gitte. editor.

(4)

Luo, Xiangfeng. editor.

(4)

Lämmel, Ralf. editor.

(4)

Maciaszek, Leszek A. editor.

(4)

Marsden, Gary. editor.

(4)

Mayr, Heinrich C. editor.

(4)

Moodie, Matthew. editor.

(4)

Murgante, Beniamino. editor.

(4)

Nordio, Martin. editor.

(4)

Nunes, Nuno. editor.

(4)

Oivo, Markku. editor.

(4)

Oshri, Ilan. editor.

(4)

O’Connor, Rory V. editor.

(4)

Paech, Barbara. editor.

(4)

Plasmeijer, Rinus. editor.

(4)

Potapov, Igor. editor.

(4)

Roever, Willem-Paul. editor.

(4)

Shakeshaft, Dominic. editor.

(4)

Shumaker, Randall. editor.

(4)

Sirjani, Marjan. editor.

(4)

Steffen, Bernhard. editor.

(4)

Succi, Giancarlo. editor.

(4)

Tan, Chih Jeng Kenneth. editor.

(4)

Veith, Helmut. editor.

(4)

Wade, Matt. editor.

(4)

Wang, Qing. editor.

(4)

Wesson, Janet. editor.

(4)

Wojtkowski, Gregory. editor.

(4)

Wolff, Burkhart. editor.

(4)

Zhao, Chunjiang. editor.

(4)

Zhu, Huibiao. editor.

(4)

Aalst, Wil M. P. editor.

(3)

Abdulrazak, Bessam. editor.

(3)

Aceto, Luca. editor.

(3)

Albers, Susanne. editor.

(3)

Alpuente, María. editor.

(3)

Altmann, Jörn. editor.

(3)

Andres, Clay. editor.

(3)

Aramaki, Mitsuko. editor.

(3)

Barthe, Gilles. editor.

(3)

Beckner, Mark. editor.

(3)

Beliczynski, Bartlomiej. editor.

(3)

Bernardo, Marco. editor.

(3)

Biffl, Stefan. editor.

(3)

Bowen, Jonathan P. editor.

(3)

Brambilla, Marco. editor.

(3)

Bubak, Marian. editor.

(3)

Butler, Michael. editor.

(3)

Cai, Guoqiang. editor.

(3)

Chen, Jim X. author.

(3)

Chen, Junjie. editor.

(3)

Craig, Iain D. author.

(3)

Cristea, Ana Daniela. author.

(3)

Damiani, Ernesto. editor.

(3)

Dausmann, Manfred. author.

(3)

Delcambre, Lois. editor.

(3)

Dillon, Tharam. editor.

(3)

Ebert, Christof. author.

(3)

Fensel, Dieter. author.

(3)

Franch, Xavier. editor.

(3)

Friedrich, Jan. author.

(3)

Galbraith, Steven. editor.

(3)

Ganter, Bernhard. editor.

(3)

Gellert, Ulrich. author.

(3)

Gennick, Jonathan. editor.

(3)

Gong, Zhiguo. editor.

(3)

Governatori, Guido. editor.

(3)

Gruhn, Volker. editor.

(3)

Grundy, John. editor.

(3)

Guelfi, Nicolas. editor.

(3)

Gulliksen, Jan. editor.

(3)

Hameurlain, Abdelkader. editor.

(3)

Hauswirth, Manfred. editor.

(3)

Helfert, Markus. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

Hruschka, Peter. author.

(3)

Hsu, Ching-Hsien. editor.

(3)

Huang, Guangyan. editor.

(3)

Hähnle, Reiner. editor.

(3)

Ingólfsdóttir, Anna. editor.

(3)

Inverardi, Paola. editor.

(3)

Jedlitschka, Andreas. editor.

(3)

Jensen, Kurt. editor.

(3)

Jhala, Ranjit. editor.

(3)

Kop, Christian. editor.

(3)

Koutny, Maciej. editor.

(3)

Kurosu, Masaaki. editor.

(3)

Köhler, Peter T. author.

(3)

Leavens, Gary T. editor.

(3)

Leucker, Martin. editor.

(3)

Linger, Henry. editor.

(3)

Liu, Weibin. editor.

(3)

Lowman, Michelle. editor.

(3)

Lu, Wei. editor.

(3)

Marchesi, Michele. editor.

(3)

Marchetti-Spaccamela, Alberto. editor.

(3)

Marcus, Aaron. editor.

(3)

Meersman, Robert. editor.

(3)

Mertens, Peter. author.

(3)

Miao, Duoqian. editor.

(3)

Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985

(3)

Mistrík, Ivan. editor.

(3)

Montanari, Ugo. editor.

(3)

Morisio, Maurizio. editor.

(3)

Mylopoulos, John. editor.

(3)

Münch, Jürgen. editor.

(3)

Nguyen, Ngoc Thanh. editor.

(3)

Nielsen, Jesper Buus. editor.

(3)

Oquendo, Flavio. editor.

(3)

Paige, Richard F. editor.

(3)

Palsberg, Jens. editor.

(3)

Panetto, Hervé. editor.

(3)

Parkes, Duncan. editor.

(3)

Paschke, Adrian. editor.

(3)

Pastor, Oscar. editor.

(3)

Language

(1327)

(174)

(1)

Publication Date

-

(197)

(177)

(158)

(156)

(154)

(150)

(144)

(143)

(131)

(68)

(15)

(6)

(2)

(1)

(1)

Subject

Computer science.

(1473)

(399)

Artificial intelligence.

(307)

Information systems.

(279)

Information Systems.

(178)

Computer simulation.

(155)

Computer software.

(133)

Management information systems.

(102)

Information storage and retrieval systems.

(100)

Information theory.

(91)

Computer vision.

(84)

Operating systems (Computers).

(79)

Database management.

(75)

(69)

Electronic data processing.

(69)

Data structures (Computer science).

(60)

Logics and Meanings of Programs.

(54)

Computational complexity.

(53)

Information Systems Applications (incl. Internet).

(51)

Programming Languages, Compilers, Interpreters.

(49)

Data encryption (Computer science).

(48)

Multimedia systems.

(48)

Artificial Intelligence (incl. Robotics).

(46)

Management of Computing and Information Systems.

(38)

Algebra -- Data processing.

(36)

Mathematical Logic and Formal Languages.

(35)

Optical pattern recognition.

(35)

Data protection.

(34)

Programming Techniques.

(31)

(30)

Bioinformatics.

(27)

Computer system performance.

(27)

Information Storage and Retrieval.

(27)

Computer Communication Networks.

(25)

(24)

(22)

User Interfaces and Human Computer Interaction.

(22)

(20)

Computer graphics.

(20)

Computer network architectures.

(19)

Special Purpose and Application-Based Systems.

(19)

Computer Appl. in Administrative Data Processing.

(18)

Business Information Systems.

(17)

Software Engineering/Programming and Operating Systems.

(17)

Business planning.

(16)

Algorithm Analysis and Problem Complexity.

(15)

Computers and Society.

(15)

Computation by Abstract Devices.

(14)

Computer aided design.

(14)

Systems engineering.

(14)

Simulation and Modeling.

(13)

Social sciences -- Data processing.

(12)

Computer industry.

(11)

Computer science -- Mathematics.

(11)

Computer security.

(11)

Electronic commerce.

(11)

(10)

(10)

Engineering mathematics.

(9)

Operating Systems.

(9)

Biology -- Data processing.

(8)

Computer Applications.

(8)

Computers and Education.

(8)

Data Mining and Knowledge Discovery.

(8)

Computer Science, general.

(7)

Computer engineering.

(7)

Computers and civilization.

(7)

(7)

(7)

Text processing (Computer science.

(7)

(6)

Application software.

(6)

Discrete Mathematics in Computer Science.

(6)

Information Systems and Communication Service.

(6)

Multimedia Information Systems.

(6)

Computational Biology/Bioinformatics.

(5)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(5)

Natural language processing (Computer science).

(5)

Pattern Recognition.

(5)

Systems and Data Security.

(5)

Theory of Computation.

(5)

Translators (Computer programs).

(5)

(4)

Computer communication systems.

(4)

Data Structures.

(4)

Industrial procurement.

(4)

Logic, Symbolic and mathematical.

(4)

(4)

(4)

(4)

Symbolic and Algebraic Manipulation.

(4)

System Performance and Evaluation.

(4)

e-Commerce/e-business.

(4)

Computer hardware.

(3)

Engineering design.

(3)

Image Processing and Computer Vision.

(3)

Industrial engineering.

(3)

Probability and Statistics in Computer Science.

(3)

Banks and banking.

(2)

Business—Data processing.

(2)

Civil engineering.

(2)

Climatic changes.

(2)

Computational intelligence.

(2)

Computer Appl. in Arts and Humanities.

(2)

Computer science—Mathematics.

(2)

Computer system failures.

(2)

Computers -- Law and legislation.

(2)

Computing Methodologies.

(2)

Control engineering systems.

(2)

Data Encryption.

(2)

Data Structures, Cryptology and Information Theory.

(2)

Data transmission systems.

(2)

History of Computing.

(2)

Information storage and retrieval.

(2)

(2)

Models and Principles.

(2)

Project Management.

(2)

(2)

(1)

(1)

Biological models.

(1)

Business logistics.

(1)

COMPUTERS -- Programming -- Open Source.

(1)

COMPUTERS -- Software Development & Engineering -- General.

(1)

COMPUTERS -- Software Development & Engineering -- Tools.

(1)

Computational linguistics.

(1)

Computer Appl. in Life Sciences.

(1)

Computer files.

(1)

Computer software -- Development.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Data Storage Representation.

(1)

Data structures (Computer scienc.

(1)

Data structures (Computer science)

(1)

Differentiable dynamical systems.

(1)

Economics -- Statistics.

(1)

Electrical engineering.

(1)

Electronic books.

(1)

Engineering economy.

(1)

Entrepreneurship.

(1)

Environmental pollution.

(1)

(1)

Fourier analysis.

(1)

Geometry, algebraic.

(1)

Industrial and Production Engineering.

(1)

Industrial management.

(1)

Information technology.

(1)

Innovation/Technology Management.

(1)

Legal Aspects of Computing.

(1)

(1)

(1)

Mathematical statistics.

(1)

Mathematics of Computing.

(1)

Mechanics, applied.

(1)

(1)

Medical records -- Data processing.

(1)

Memory management (Computer science).

(1)

Microprogramming.

(1)

Nanotechnology.

(1)

(1)

Object-oriented programming (Computer science)

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

Organization/Planning.

(1)

Personal Computing.

(1)

Political science.

(1)

(1)

Production/Logistics/Supply Chain Management.

(1)

Programming languages (Electronic computers).

(1)

Quality Control, Reliability, Safety and Risk.

(1)

Quantum Computing.

(1)

Quantum computing.

(1)

Robotics and Automation.

(1)

Science -- Data processing.

(1)

Science -- Software.

(1)

Social sciences -- Methodology.

(1)

Social sciences.

(1)

(1)

Special purpose computers.

(1)

Systems Biology.

(1)

Systems theory.

(1)

Telecommunication -- Computer programs.

(1)

Telecommunication.

(1)

The Computer Industry.

(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

1503 Results Found

Subscribe to search results

1 2 3 4 5 .. 126

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 Perspectives on data science for software engineering

Perspectives on data science for software engineering

Perspectives on data science for software engineering

Author

Menzies, Tim, editor. Williams, Laurie, 1962- editor. Zimmermann, Thomas, editor.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780128042069

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Software engineering foundations : a software science perspective

Software engineering foundations : a software science perspective

Software engineering foundations : a software science perspective

Author

Wang, Yingxu., author.

Preferred Shelf Number

QA76.758 .W375 2008

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1

Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1

Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1

Author

Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-35311-6

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2

Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2

Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2

Author

Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-21438-7

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Computing and Software Science State of the Art and Perspectives

Computing and Software Science State of the Art and Perspectives

Computing and Software Science State of the Art and Perspectives

Author

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91908-9

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 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

Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings

Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings

Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings

Author

Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145 Dagienė, Valentina. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02750-6

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Design Science Methodology for Information Systems and Software Engineering

Design Science Methodology for Information Systems and Software Engineering

Design Science Methodology for Information Systems and Software Engineering

Author

Wieringa, Roel J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-43839-8

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

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

Pfenning, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334358.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Author

Birkedal, Lars. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

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

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

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

Hofmann, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

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:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 126

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11