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:

+

Library: Online Library

Author

SpringerLink (Online service)

(1539)

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)

Kop, Christian. 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)

John Wiley & Sons.

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

Nurcan, Selmin. editor.

(3)

Oquendo, Flavio. editor.

(3)

Paige, Richard F. editor.

(3)

Palsberg, Jens. editor.

(3)

Panetto, Hervé. editor.

(3)

Parkes, Duncan. editor.

(3)

Language

(1405)

(174)

(1)

Publication Date

-

(197)

(177)

(164)

(159)

(157)

(155)

(149)

(146)

(134)

(69)

(23)

(16)

(15)

(12)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

Subject

Software engineering.

(1503)

Computer science.

(1480)

(404)

Artificial intelligence.

(311)

Information systems.

(281)

Information Systems.

(179)

Computer simulation.

(155)

Computer software.

(139)

Management information systems.

(103)

Information storage and retrieval systems.

(100)

Information theory.

(91)

Computer vision.

(84)

Operating systems (Computers).

(79)

Database management.

(75)

(70)

Electronic data processing.

(69)

Data structures (Computer science).

(61)

Computational complexity.

(57)

Logics and Meanings of Programs.

(54)

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)

Data protection.

(35)

Mathematical Logic and Formal Languages.

(35)

Optical pattern recognition.

(35)

(31)

Programming Techniques.

(31)

Bioinformatics.

(27)

Computer system performance.

(27)

Information Storage and Retrieval.

(27)

Computer Communication Networks.

(26)

(25)

(22)

User Interfaces and Human Computer Interaction.

(22)

(21)

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.

(13)

Computer industry.

(11)

Computer science -- Mathematics.

(11)

Computer security.

(11)

(11)

Electronic commerce.

(11)

(10)

Engineering mathematics.

(9)

Operating Systems.

(9)

Biology -- Data processing.

(8)

Computer Applications.

(8)

Computers and Education.

(8)

(8)

Data Mining and Knowledge Discovery.

(8)

(8)

Computer Science, general.

(7)

Computer engineering.

(7)

Computers and civilization.

(7)

Text processing (Computer science.

(7)

(6)

Application software.

(6)

Computational intelligence.

(6)

Discrete Mathematics in Computer Science.

(6)

Electronic books.

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

(5)

Systems and Data Security.

(5)

Theory of Computation.

(5)

Translators (Computer programs).

(5)

(4)

Computer communication systems.

(4)

Data Structures.

(4)

Engineering design.

(4)

Industrial engineering.

(4)

Industrial procurement.

(4)

Logic, Symbolic and mathematical.

(4)

(4)

(4)

Symbolic and Algebraic Manipulation.

(4)

System Performance and Evaluation.

(4)

e-Commerce/e-business.

(4)

(3)

Computer hardware.

(3)

Computer science—Mathematics.

(3)

Control engineering.

(3)

Control, Robotics, Automation.

(3)

Geographic information systems.

(3)

Image Processing and Computer Vision.

(3)

Object-oriented programming (Computer science)

(3)

Probability and Statistics in Computer Science.

(3)

Programming languages (Electronic computers).

(3)

(3)

Banks and banking.

(2)

(2)

Business—Data processing.

(2)

Civil engineering.

(2)

Climatic changes.

(2)

Cognitive science.

(2)

Computer Appl. in Arts and Humanities.

(2)

Computer software -- Development.

(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 structures (Computer science)

(2)

Data transmission systems.

(2)

Electrical engineering.

(2)

Global Positioning System.

(2)

History of Computing.

(2)

Industrial and Production Engineering.

(2)

Information storage and retrieval.

(2)

Information technology.

(2)

(2)

Mathematical logic.

(2)

Models and Principles.

(2)

Project Management.

(2)

Remote sensing.

(2)

Science -- Data processing.

(2)

Software architecture.

(2)

(2)

Sustainable Architecture/Green Buildings.

(2)

Sustainable architecture.

(2)

(2)

(1)

Aerospace Technology and Astronautics.

(1)

Aerospace engineering.

(1)

Aging -- Research -- Longitudinal studies.

(1)

(1)

Algebras, Linear.

(1)

(1)

(1)

Automatic Data Processing.

(1)

BASIC (Computer program language)

(1)

Bayesian statistical decision theory -- Graphic methods.

(1)

(1)

Biological models.

(1)

Biology -- Classification -- Data processing.

(1)

Business -- Data processing.

(1)

Business Informatics.

(1)

Business logistics.

(1)

C++ (Computer program language)

(1)

COMPUTERS -- Programming -- Open Source.

(1)

COMPUTERS -- Social Aspects -- Human-Computer Interaction.

(1)

COMPUTERS -- Software Development & Engineering -- General.

(1)

COMPUTERS -- Software Development & Engineering -- Tools.

(1)

Cancer -- Epidemiology.

(1)

Cancer -- Research -- Methodology.

(1)

Cloud computing.

(1)

Cognitive Science -- methods.

(1)

Cognitive learning.

(1)

Computational Numerical Analysis

(1)

Computational linguistics.

(1)

Computer Appl. in Life Sciences.

(1)

Computer Science (General)

(1)

Computer files.

(1)

Computer logic.

(1)

Computer programming -- Textbooks.

(1)

Computer programming.

(1)

Computer science -- Handbooks, manuals, etc.

(1)

Computer science -- Textbooks.

(1)

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

(1)

Computing Systems Design.

(1)

Control and Systems Theory.

(1)

Criminalistiek.

(1)

Cryptography -- Data processing.

(1)

Data Storage Representation.

(1)

Data encryption (Computer science)

(1)

Data structures (Computer scienc.

(1)

Decision Making.

(1)

Decision support systems.

(1)

Desktop/Mobile Interface Design.

(1)

(1)

Differentiable dynamical systems.

(1)

Differential Equations

(1)

Differential equations.

(1)

Digitale technieken.

(1)

Drinking water -- Purification.

(1)

Economics -- Statistics.

(1)

Education -- Economic aspects.

(1)

Education Economics.

(1)

Educational tests and measurements.

(1)

Material Type

Shelf Location

Electronic 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

1581 Results Found

Subscribe to search results

1 2 3 4 5 .. 132

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 in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems

Author

Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Pitts, Andrew. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-46678-0

Format:

Availability

Online Library~1

Available:
Copies:

3.

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:

4.

Cover image for Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Author

Muscholl, Anca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54830-7

Format:

Availability

Online Library~1

Available:
Copies:

5.

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:

6.

Cover image for A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Tools

A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Tools

A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Tools

Author

Yevick, David.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

7.

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:

8.

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:

9.

Cover image for Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning

Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning

Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning

Author

Tchounikine, Pierre. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for New Software Engineering Paradigm Based on Complexity Science An Introduction to NSE

New Software Engineering Paradigm Based on Complexity Science An Introduction to NSE

New Software Engineering Paradigm Based on Complexity Science An Introduction to NSE

Author

Xiong, Jay. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-7326-9

Format:

Availability

Online Library~1

Available:
Copies:

11.

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:

12.

Cover image for Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Author

Ong, Luke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 132

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11