Search Results for Computer science.

|

|

|

|

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:

+

Author: SpringerLink (Online service)

+

Library: Online Library

+

Subject: Programming Languages, Compilers, Interpreters.

Author

Cordeiro, José. editor.

(3)

Maciaszek, Leszek A. editor.

(3)

Filipe, Joaquim. editor.

(2)

Legay, Axel. editor.

(2)

Lemos, Rogério. editor.

(2)

Noble, James. editor.

(2)

Reed, Rick. editor.

(2)

Schonberg, Edmond. editor.

(2)

Shishkov, Boris. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Achten, Peter. editor.

(1)

Artemov, Sergei. editor.

(1)

Ayala, José L. editor.

(1)

Barnes, John. author.

(1)

Bartocci, Ezio. editor.

(1)

Beckert, Bernhard. editor.

(1)

Beek, Maurice H. editor.

(1)

Bensalem, Saddek. editor.

(1)

Bertacco, Valeria. editor.

(1)

Biere, Armin. editor.

(1)

Boer, Frank S. editor.

(1)

Bois, André Rauber. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bosschere, Koen. editor.

(1)

Botterweck, Goetz. editor.

(1)

Bramer, Max. author.

(1)

Brat, Guillaume. editor.

(1)

Bravetti, Mario. editor.

(1)

Brukardt, Randall L. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Chapman, Barbara M. editor.

(1)

Chiba, Shigeru. editor.

(1)

Clark, Peter. author.

(1)

Clarke, Dave. editor.

(1)

Clarke, Peter. editor.

(1)

Coecke, Bob. editor.

(1)

Cohen, Albert. editor.

(1)

Colom, José-Manuel. editor.

(1)

Cortellessa, Vittorio. editor.

(1)

Czarnecki, Krzysztof. editor.

(1)

Cámara, Javier. editor.

(1)

Damiani, Ferruccio. editor.

(1)

Davis, Martin. editor.

(1)

Dencker, Peter. editor.

(1)

Desel, Jörg. editor.

(1)

Drira, Khalil. editor.

(1)

Drouilhet, Rémy. author.

(1)

Duchier, Denys. editor.

(1)

Duddy, Keith. editor.

(1)

Duff, Robert A. editor.

(1)

Egges, Arjan. author.

(1)

Ergül, Özgür. author.

(1)

Ermolayev, Vadim. editor.

(1)

Erwig, Martin. editor.

(1)

Escalona, María José. editor.

(1)

Fan, Wenfei. editor.

(1)

Farchi, Eitan. editor.

(1)

Favaro, John. editor.

(1)

Feliachi, Abderrahmane. editor.

(1)

Felleisen, Matthias. editor.

(1)

Ferrucci, Filomena. editor.

(1)

Fokker, Jeroen D. author.

(1)

Fourman, Michael. editor.

(1)

Frery, Alejandro C. author.

(1)

Fähndrich, Manuel. editor.

(1)

Gackenheimer, Cory. author.

(1)

Gardner, Philippa. editor.

(1)

Gaudel, Marie-Claude. editor.

(1)

Gherbi, Abdelouahed. editor.

(1)

Ghezzi, Carlo. editor.

(1)

Giese, Holger. editor.

(1)

Gonthier, Georges. editor.

(1)

Gorp, Pieter. editor.

(1)

Gotzhein, Reinhard. editor.

(1)

Gray, Jeff. editor.

(1)

Groves, Lindsay. editor.

(1)

Hack, Sebastian. author.

(1)

Hammoudi, Slimane. editor.

(1)

Han, Youn-Hee. editor.

(1)

Haugen, Øystein. editor.

(1)

Hedin, Görel. editor.

(1)

Hierons, Robert M. editor.

(1)

Hinze, Ralf. editor.

(1)

Horspool, R. Nigel. author.

(1)

Hung, Dang. editor.

(1)

Jhala, Ranjit. editor.

(1)

Jia, Weijia. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Johnson, Ralph. editor.

(1)

Jörges, Sven. author.

(1)

Kappel, Gerti. editor.

(1)

Kasahara, Hironori. editor.

(1)

Keller, Hubert B. editor.

(1)

Khendek, Ferhat. editor.

(1)

Kimura, Keiji. editor.

(1)

Klenk, Herbert. editor.

(1)

Koopman, Pieter. editor.

(1)

Lafaye de Micheaux, Pierre. author.

(1)

Leavens, Gary T. editor.

(1)

Leite, João. editor.

(1)

Leroy, Pascal. editor.

(1)

Libkin, Leonid. editor.

(1)

Liquet, Benoit. author.

(1)

Liu, Shaoying. editor.

(1)

Logozzo, Francesco. editor.

(1)

Lohmann, Niels. editor.

(1)

Loidl, Hans-Wolfgang. editor.

(1)

Lopes, Antónia. editor.

(1)

Lourenço, João M. editor.

(1)

Lucia, Andrea. editor.

(1)

Luszczak, Andreas. author.

(1)

Lämmel, Ralf. editor.

(1)

Lèbre, Sophie. author.

(1)

Machado, Ricardo J. editor.

(1)

Maciel, Rita Suzana P. editor.

(1)

Mayr, Heinrich C. editor.

(1)

McMillan, Ken. editor.

(1)

Merayo, Mercedes G. editor.

(1)

Mey, Dieter. editor.

(1)

Middeldorp, Aart. editor.

(1)

Mills Strout, Michelle. editor.

(1)

Mohr, Bernd. editor.

(1)

Moreira, Ana. editor.

(1)

Morisio, Maurizio. editor.

(1)

Müller, Hausi A. editor.

(1)

Müller, Matthias S. editor.

(1)

Nagarajan, Radhakrishnan. author.

(1)

Nahir, Amir. editor.

(1)

Nerode, Anil. editor.

(1)

Nikitchenko, Mykola. editor.

(1)

Norrish, Michael. editor.

(1)

Nutting, Jack. author.

(1)

Ogawa, Mizuhito. editor.

(1)

Oliveira, Carlos. author.

(1)

Ong, Luke. editor.

(1)

Overmars, Mark H. author.

(1)

O’Regan, Gerard. author.

(1)

Paige, Richard F. editor.

(1)

Panangaden, Prakash. editor.

(1)

Park, Doo-Soon. editor.

(1)

Parmentier, Yannick. editor.

(1)

Perciano, Talita. author.

(1)

Petre, Luigia. editor.

(1)

Peña, Ricardo. editor.

(1)

Pfenning, Frank. editor.

(1)

Piterman, Nir. editor.

(1)

Ploedereder, Erhard. editor.

(1)

Plödereder, Erhard. editor.

(1)

Potapov, Igor. editor.

(1)

Păsăreanu, Corina S. editor.

(1)

Qadeer, Shaz. editor.

(1)

Rajopadhye, Sanjay. editor.

(1)

Ramakrishnan, C. R. editor.

(1)

Rendell, Alistair P. editor.

(1)

Ritter, Tom. editor.

(1)

Rose, Louis M. editor.

(1)

Rubin, Julia. editor.

(1)

Ruhe, Günther. editor.

(1)

Rungta, Neha. editor.

(1)

Sagonas, Kostis. editor.

(1)

Salaün, Gwen. editor.

(1)

Saraiva, João. editor.

(1)

Schulte, Christian. editor.

(1)

Schätz, Bernhard. editor.

(1)

Scutari, Marco. author.

(1)

Seidl, Helmut. author.

(1)

Shan, Chung-chieh. editor.

(1)

Shang, Delong. editor.

(1)

Shaw, Mary. editor.

(1)

Sinderen, Marten. editor.

(1)

Smolka, Scott A. editor.

(1)

Son, Tran Cao. editor.

(1)

Spivakovsky, Aleksander. editor.

(1)

Sun, Jing. editor.

(1)

Taft, S. Tucker. editor.

(1)

Tan, Wang-Chiew. editor.

(1)

Tannen, Val. editor.

(1)

Tanter, Éric. editor.

(1)

Tasiran, Serdar. editor.

(1)

Tillmann, Nikolai. author.

(1)

Toeroe, Maria. editor.

(1)

Torre, Leon. editor.

(1)

Torroni, Paolo. editor.

(1)

Trinder, Phil. editor.

(1)

Ulrich, Andreas. editor.

(1)

Vallecillo, Antonio. editor.

(1)

Varma, Jayant. author.

(1)

Varró, Dániel. editor.

(1)

Veanes, Margus. editor.

(1)

Venet, Arnaud. editor.

(1)

Viganò, Luca. editor.

(1)

Virvou, Maria. editor.

(1)

Visser, Joost. editor.

(1)

Voronkov, Andrei. editor.

(1)

Vos, Tanja. editor.

(1)

Wallingford, Eugene. editor.

(1)

Wilhelm, Reinhard. author.

(1)

Wolf, Felix. editor.

(1)

Wolff, Burkhart. editor.

(1)

Woltran, Stefan. editor.

(1)

Language

(92)

Publication Date

-

(92)

Subject

Computer science.

(92)

Software engineering.

(67)

(49)

Logics and Meanings of Programs.

(48)

Programming Techniques.

(37)

Mathematical Logic and Formal Languages.

(30)

Computer Communication Networks.

(19)

Information Systems.

(16)

Management of Computing and Information Systems.

(16)

Artificial Intelligence (incl. Robotics).

(13)

Artificial intelligence.

(13)

Algorithm Analysis and Problem Complexity.

(11)

Computer software.

(11)

Operating Systems.

(11)

Operating systems (Computers).

(11)

Information Systems Applications (incl. Internet).

(10)

Computer Science, general.

(8)

Computer simulation.

(8)

Simulation and Modeling.

(8)

Computation by Abstract Devices.

(7)

Software Engineering/Programming and Operating Systems.

(7)

Computer system performance.

(5)

Special Purpose and Application-Based Systems.

(5)

System Performance and Evaluation.

(5)

Electronic data processing.

(4)

Data Structures.

(3)

Data structures (Computer science).

(3)

Database management.

(3)

Computer Appl. in Administrative Data Processing.

(2)

Computer vision.

(2)

Computing Methodologies.

(2)

History of Computing.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Information systems.

(2)

Logic, Symbolic and mathematical.

(2)

Mathematical Logic and Foundations.

(2)

Mathematical statistics.

(2)

Models and Principles.

(2)

Numeric Computing.

(2)

Statistics and Computing/Statistics Programs.

(2)

(2)

Algebra -- Data processing.

(1)

(1)

Arithmetic and Logic Structures.

(1)

Business Information Systems.

(1)

Communications Engineering, Networks.

(1)

Computational complexity.

(1)

Computer Applications.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer network architectures.

(1)

Data Mining and Knowledge Discovery.

(1)

(1)

Discrete Mathematics in Computer Science.

(1)

(1)

History of Science.

(1)

Image Processing and Computer Vision.

(1)

Information theory.

(1)

Management information systems.

(1)

Multimedia Information Systems.

(1)

Multimedia systems.

(1)

Optical pattern recognition.

(1)

Pattern Recognition.

(1)

Personal Computing.

(1)

Probability and Statistics in Computer Science.

(1)

Processor Architectures.

(1)

Quantum Physics.

(1)

Quantum theory.

(1)

Register-Transfer-Level Implementation.

(1)

Robotics and Automation.

(1)

Science -- History.

(1)

Statistical Theory and Methods.

(1)

Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.

(1)

Symbolic and Algebraic Manipulation.

(1)

Telecommunication.

(1)

Theory of Computation.

(1)

User Interfaces and Human Computer Interaction.

(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

92 Results Found

Subscribe to search results

1 2 3 4 5 .. 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.

1.

Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Author

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334038.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35722-0

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Introduction to Image Processing Using R Learning by Examples

Introduction to Image Processing Using R Learning by Examples

Introduction to Image Processing Using R Learning by Examples

Author

Frery, Alejandro C. author. Perciano, Talita. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331107.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4950-7

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Author

Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332962.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03077-7

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

Author

Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333246.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 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

Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334278.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36742-7

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

Author

Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334282.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

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:

8.

Cover image for Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 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

Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334348.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Compiler Construction 22nd International Conference, CC 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

Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334353.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Fundamental Approaches to Software Engineering 16th International Conference, FASE 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

Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334354.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

Author

Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334469.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37658-0

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

Author

Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334631.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 8

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11