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:

+

Konu: Computer science.

Author

SpringerLink (Online service)

(1577)

Dongarra, Jack. editor.

(18)

Gavrilova, Marina L. editor.

(17)

Albada, Geert Dick. editor.

(16)

Gervasi, Osvaldo. editor.

(16)

Sloot, Peter M. A. editor.

(16)

Meyer, Bertrand. editor.

(13)

Mun, Youngsong. editor.

(13)

Taniar, David. editor.

(13)

Voronkov, Andrei. editor.

(13)

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)

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)

Cavalcanti, Ana. editor.

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

Mayr, Heinrich C. editor.

(5)

Mokhtari, Mounir. editor.

(5)

Pfahl, Dietmar. editor.

(5)

Rashid, Awais. 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)

Aceto, Luca. editor.

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

Butler, Michael. editor.

(4)

Campos, Pedro. editor.

(4)

Conboy, Kieran. editor.

(4)

Cornell, Gary. editor.

(4)

Cudré-Mauroux, Philippe. 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)

Governatori, Guido. editor.

(4)

Graf, Susanne. editor.

(4)

Graham, Nicholas. editor.

(4)

Hassell, Jonathan. editor.

(4)

Havelund, Klaus. editor.

(4)

Heckel, Reiko. editor.

(4)

Heflin, Jeff. editor.

(4)

Horváth, Zoltán. editor.

(4)

Ingólfsdóttir, Anna. editor.

(4)

Jensen, Kristoffer. editor.

(4)

Jorge, Joaquim. editor.

(4)

Joseph, Mathai. editor.

(4)

Kobayashi, Naoki. 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)

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)

Ölveczky, Peter Csaba. editor.

(4)

Aalst, Wil M. P. editor.

(3)

Abdulrazak, Bessam. 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)

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)

Ganter, Bernhard. editor.

(3)

Gellert, Ulrich. author.

(3)

Gennick, Jonathan. editor.

(3)

Gong, Zhiguo. 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)

Inverardi, Paola. editor.

(3)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Jedlitschka, Andreas. editor.

(3)

Jensen, Kurt. editor.

(3)

Jhala, Ranjit. editor.

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

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

Majumdar, Rupak. editor.

(3)

Marchesi, Michele. editor.

(3)

Marchetti-Spaccamela, Alberto. editor.

(3)

Marcus, Aaron. editor.

(3)

Matheja, Christoph. editor. (orcid)0000-0001-9151-0441

(3)

Meersman, Robert. editor.

(3)

Mertens, Peter. author.

(3)

Miao, Duoqian. editor.

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

Noll, Thomas. editor. (orcid)0000-0002-1865-1798

(3)

O'Regan, Gerard. author.

(3)

Language

(1404)

(174)

(1)

Publication Date

-

(197)

(177)

(157)

(157)

(156)

(150)

(146)

(142)

(131)

(59)

(37)

(35)

(14)

(12)

(4)

(4)

(1)

Subject

Software engineering.

(1556)

(400)

Artificial intelligence.

(329)

Information systems.

(279)

Information Systems.

(178)

Computer simulation.

(171)

Computer software.

(138)

Information storage and retrieval systems.

(103)

Management information systems.

(101)

Information theory.

(93)

Computer vision.

(86)

Operating systems (Computers).

(79)

Database management.

(78)

Electronic data processing.

(69)

(66)

Computer Science Logic and Foundations of Programming.

(65)

Data structures (Computer science).

(64)

Computational complexity.

(56)

Logics and Meanings of Programs.

(54)

Information Systems Applications (incl. Internet).

(51)

Programming Languages, Compilers, Interpreters.

(49)

Multimedia systems.

(48)

Theory of Computation.

(47)

Artificial Intelligence (incl. Robotics).

(46)

Formal Languages and Automata Theory.

(41)

Machine theory.

(41)

Programming Techniques.

(40)

Management of Computing and Information Systems.

(38)

Algebra -- Data processing.

(36)

Computer Communication Networks.

(36)

Data protection.

(35)

Mathematical Logic and Formal Languages.

(35)

Optical pattern recognition.

(35)

Data encryption (Computer science).

(34)

Information Storage and Retrieval.

(31)

(30)

Bioinformatics.

(28)

Compilers (Computer programs).

(28)

Compilers and Interpreters.

(28)

Computer science -- Mathematics.

(27)

Computer system performance.

(26)

Application software.

(25)

Special Purpose and Application-Based Systems.

(25)

(24)

(23)

(22)

User Interfaces and Human Computer Interaction.

(22)

Computer graphics.

(20)

Computer and Information Systems Applications.

(19)

Computer network architectures.

(19)

Computer Appl. in Administrative Data Processing.

(18)

Computer networks .

(18)

Business Information Systems.

(17)

Software Engineering/Programming and Operating Systems.

(17)

Business planning.

(16)

Computer Modelling.

(16)

Algorithm Analysis and Problem Complexity.

(15)

Computers and Society.

(15)

Computation by Abstract Devices.

(14)

Computer aided design.

(14)

Systems engineering.

(14)

(13)

Simulation and Modeling.

(13)

Social sciences -- Data processing.

(13)

Computer engineering.

(11)

Electronic commerce.

(11)

(10)

Computer industry.

(10)

Computer security.

(10)

Discrete Mathematics in Computer Science.

(10)

(10)

Computer programming.

(9)

Computers and Education.

(9)

Engineering mathematics.

(9)

Operating Systems.

(9)

System Performance and Evaluation.

(9)

Biology -- Data processing.

(8)

Computer Applications.

(8)

Data Mining and Knowledge Discovery.

(8)

Mathematics of Computing.

(8)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(7)

Computer Science, general.

(7)

Computer System Implementation.

(7)

Computer systems.

(7)

(7)

Text processing (Computer science.

(7)

Computers, Special purpose.

(6)

Information Systems and Communication Service.

(6)

Information technology -- Management.

(6)

(6)

Models of Computation.

(6)

Multimedia Information Systems.

(6)

Probability and Statistics in Computer Science.

(6)

Computational Biology/Bioinformatics.

(5)

Computer Application in Administrative Data Processing.

(5)

Electronic digital computers -- Evaluation.

(5)

Pattern Recognition.

(5)

Symbolic and Algebraic Manipulation.

(5)

Systems and Data Security.

(5)

Translators (Computer programs).

(5)

(4)

Computer Engineering and Networks.

(4)

Data Structures and Information Theory.

(4)

Data Structures.

(4)

Discrete mathematics.

(4)

Industrial procurement.

(4)

Logic, Symbolic and mathematical.

(4)

Mathematical statistics.

(4)

Mathematics -- Data processing.

(4)

(4)

(4)

Programming languages (Electronic computers).

(4)

e-Commerce/e-business.

(4)

Computer hardware.

(3)

(3)

Design and Analysis of Algorithms.

(3)

Engineering design.

(3)

History of Computing.

(3)

Image Processing and Computer Vision.

(3)

Industrial engineering.

(3)

Mathematical Applications in Computer Science.

(3)

Mathematical Logic and Foundations.

(3)

Mathematical logic.

(3)

Programming Language.

(3)

Arithmetic and Logic Structures.

(2)

Banks and banking.

(2)

Business information services.

(2)

Business—Data processing.

(2)

Civil engineering.

(2)

Climatic changes.

(2)

Computational Mathematics and Numerical Analysis.

(2)

Computational Science and Engineering.

(2)

Computational linguistics.

(2)

Computer Appl. in Arts and Humanities.

(2)

Computer arithmetic and logic units.

(2)

Computer communication systems.

(2)

Computers -- Law and legislation.

(2)

Computing Methodologies.

(2)

Control engineering systems.

(2)

Data Encryption.

(2)

Data Structures, Cryptology and Information Theory.

(2)

Electrical engineering.

(2)

IT in Business.

(2)

Image processing -- Digital techniques.

(2)

(2)

Logic programming.

(2)

(2)

Models and Principles.

(2)

Natural language processing (Computer science).

(2)

Project Management.

(2)

Python (Computer program language).

(2)

(2)

Quantum computing.

(2)

(2)

Theory and Algorithms for Application Domains.

(2)

(1)

Applications of Mathematics.

(1)

Artificial intelligence -- Data processing.

(1)

(1)

Biological models.

(1)

Business Process Management.

(1)

Business logistics.

(1)

(1)

Chemistry -- Data processing.

(1)

Computational Chemistry.

(1)

Computational and Systems Biology.

(1)

Computer Appl. in Life Sciences.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Engineering.

(1)

Computer Hardware.

(1)

Computer files.

(1)

Computer programs -- Testing.

(1)

Computer science

(1)

Computer security

(1)

Computer software -- Development.

(1)

Computer system failures.

(1)

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

(1)

Computers -- History.

(1)

Computers and civilization.

(1)

(1)

(1)

(1)

Data Storage Representation.

(1)

Data and Information Security.

(1)

Data structures (Computer scienc.

(1)

Data transmission systems.

(1)

Differentiable dynamical systems.

(1)

Digital and Analog Signal Processing.

(1)

Economics -- Statistics.

(1)

Education -- Data processing.

(1)

Educational tests and measurements.

(1)

Electrical and Electronic Engineering.

(1)

Electronic books.

(1)

Electronic data processing -- Management.

(1)

Engineering economy.

(1)

Entrepreneurship.

(1)

Environmental pollution.

(1)

(1)

Fourier analysis.

(1)

Geographic information systems.

(1)

Material Type

Shelf Location

Electronic Library

Wiley E-Book Collection

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

1579 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 Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-86644-9

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Author

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-90897-2

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

Author

Watt, Stephen M. editor. (orcid)0000-0001-8303-4983 Ida, Tetsuo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Author

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-57228-9

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Author

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-57231-9

Format:

Availability

Online Library~1

Available:
Copies:

6.

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:

7.

Cover image for Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Author

Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54458-7

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Author

Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-49630-5

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 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:

12.

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:

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