Search Results for Compilers and Interpreters.

Skip to:Search Results

|

|

|

|

|

|

|

Select Language

|

|

Remember to clear the cache and close the browser window.

Smiley

Search Limit

Rooms Restriction Values

15

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Author

SpringerLink (Online service)

(1052)

Lopez, Cesar. author.

(11)

Bernardo, Marco. editor.

(9)

Bonsangue, Marcello M. editor.

(9)

Barthe, Gilles. editor.

(8)

Voronkov, Andrei. editor.

(8)

Steffen, Bernhard. editor.

(7)

Dastani, Mehdi. editor. (orcid)0000-0002-4641-4087

(6)

de Boer, Frank S. editor.

(6)

Bordini, Rafael H. editor.

(5)

Butler, Michael. editor.

(5)

Cordeiro, José. editor.

(5)

Dongarra, Jack. editor.

(5)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(5)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(5)

Kordon, Fabrice. editor.

(5)

Liu, Zhiming. editor.

(5)

Peled, Doron A. editor.

(5)

Peña, Ricardo. editor.

(5)

Potapov, Igor. editor. (orcid)0000-0002-7192-7853

(5)

Rossi, Francesca. editor.

(5)

Seidl, Helmut. author.

(5)

Shishkov, Boris. editor.

(5)

Vardanega, Tullio. editor.

(5)

Wilhelm, Reinhard. author.

(5)

Aksit, Mehmet. editor.

(4)

Aldini, Alessandro. editor.

(4)

Baldoni, Matteo. editor.

(4)

Cavalcanti, Ana. editor.

(4)

Crnkovic, Ivica. editor.

(4)

Damiani, Ferruccio. editor.

(4)

Filipe, Joaquim. editor.

(4)

Goll, Joachim. author.

(4)

Gorrieri, Roberto. editor.

(4)

Graf, Susanne. editor.

(4)

Hanus, Michael. editor. (orcid)0000-0002-4953-8202

(4)

Jones, Cliff B. editor.

(4)

Lee, Kent D. author.

(4)

Lämmel, Ralf. editor. (orcid)0000-0001-9946-4363

(4)

Maciaszek, Leszek A. editor.

(4)

Margaria, Tiziana. editor.

(4)

Müller, Matthias S. editor.

(4)

Noble, James. editor.

(4)

Pepper, Peter. author.

(4)

Rashid, Awais. editor.

(4)

Reussner, Ralf H. editor.

(4)

Rosu, Grigore. editor.

(4)

Stafford, Judith A. editor.

(4)

Szyperski, Clemens. editor.

(4)

Torroni, Paolo. editor.

(4)

Winikoff, Michael. editor.

(4)

Wirsing, Martin. editor.

(4)

Woodcock, Jim. editor.

(4)

de Lemos, Rogério. editor.

(4)

de Roever, Willem-Paul. editor.

(4)

Barbosa, Luis Soares. editor.

(3)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(3)

Bensalem, Saddek. editor.

(3)

Bjørner, Dines. author.

(3)

Block, Marco. author.

(3)

Boles, Dietrich. author.

(3)

Bowen, Jonathan P. editor.

(3)

Bramer, Max. author.

(3)

Brooks, David R. author.

(3)

Butterfield, Andrew. editor.

(3)

Chiba, Shigeru. editor.

(3)

Cook, Byron. editor.

(3)

Dingel, Juergen. editor.

(3)

El Fallah Seghrouchni, Amal. editor.

(3)

Fages, François. editor.

(3)

Giannakopoulou, Dimitra. editor.

(3)

Giese, Holger. editor.

(3)

Gorton, Ian. editor.

(3)

Gschwind, Thomas. editor.

(3)

Hack, Sebastian. author.

(3)

Haugen, Oystein. editor.

(3)

Hermenegildo, Manuel. editor.

(3)

Hoffmann, Frank. editor.

(3)

Horton, Ivor. author.

(3)

Hüllermeier, Eyke. editor.

(3)

Jhala, Ranjit. editor.

(3)

Kim, Tai-hoon. editor.

(3)

Kiumi, Akingbehin. editor.

(3)

Klawonn, Frank. author.

(3)

Kobayashi, Naoki. editor.

(3)

Kruse, Rudolf. editor.

(3)

Kühne, Thomas. editor.

(3)

Leavens, Gary T. editor.

(3)

Legay, Axel. editor.

(3)

Leucker, Martin. editor.

(3)

Liu, Shaoying. editor.

(3)

Logofatu, Doina. author.

(3)

Lopes, Antonia. editor.

(3)

Löwe, Benedikt. editor.

(3)

Martin-Vide, Carlos. editor. (orcid)0000-0003-1670-6000

(3)

Matthäus, Wolf-Gert. author.

(3)

Merayo, Mercedes G. editor.

(3)

Mertens, Peter. author.

(3)

Meseguer, José. editor.

(3)

Omicini, Andrea. editor.

(3)

Ong, Luke. editor.

(3)

Paige, Richard F. editor.

(3)

Palsberg, Jens. editor.

(3)

Plasil, Frantisek. editor.

(3)

Reed, Rick. editor.

(3)

Romanovsky, Alexander. editor.

(3)

Salaün, Gwen. editor.

(3)

Sardina, Sebastian. editor.

(3)

Schätz, Bernhard. editor.

(3)

Seidl, Helmut. editor.

(3)

Seipel, Dietmar. editor.

(3)

Shao, Zhong. editor.

(3)

Simao, Adenilso. editor. (orcid)0000-0002-1454-2607

(3)

Son, Tran Cao. editor.

(3)

Stenström, Per. editor. (orcid)0000-0002-7441-8245

(3)

Tanter, Éric. editor.

(3)

Ungerer, Theo. editor.

(3)

Vasconcelos, Wamberto. editor.

(3)

Virbitskaite, Irina. editor.

(3)

Visser, Joost. editor.

(3)

Vitek, Jan. editor.

(3)

Wieczorrek, Hans W. author.

(3)

Wolff, Burkhart. editor.

(3)

Zavattaro, Gianluigi. editor.

(3)

Zdun, Uwe. editor. (orcid)0000-0002-6233-2591

(3)

Abdulla, Parosh Aziz. editor.

(2)

Abrahao, Silvia. editor.

(2)

Abts, Dietmar. author.

(2)

Agha, Gul. editor.

(2)

Alpuente, María. editor.

(2)

Anthony, Greg. author.

(2)

Araki, Keijiro. editor.

(2)

Arbab, Farhad. editor.

(2)

Avgeriou, Paris. editor.

(2)

Barnes, John. author.

(2)

Bartenstein, Oskar. editor.

(2)

Bin, Eyal. editor.

(2)

Boca, Paul. editor.

(2)

Boissier, Olivier. editor.

(2)

Boldyreff, Cornelia. editor.

(2)

Book, Matthias. editor.

(2)

Brainerd, Walter S. author.

(2)

Brands, Gilbert. author.

(2)

Broy, Manfred. editor.

(2)

Bruel, Jean-Michel. editor.

(2)

Brukardt, Randall L. editor.

(2)

Bruni, Roberto. editor.

(2)

Bröckl, Ulrich. author.

(2)

Börger, Egon. editor.

(2)

Cabot, Jordi. editor.

(2)

Cassez, Franck. editor.

(2)

Castagna, Giuseppe. editor.

(2)

Chapman, Barbara M. editor.

(2)

Chaudron, Michel R. V. editor.

(2)

Chitil, Olaf. editor.

(2)

Chivers, Ian. author.

(2)

Cohen, Albert. editor.

(2)

Cortellessa, Vittorio. editor.

(2)

Cousot, Radhia. editor.

(2)

Craig, Iain D. author.

(2)

Czarnecki, Krzysztof. editor.

(2)

Dams, Dennis. editor.

(2)

Dandamudi, Sivarama P. author.

(2)

Danvy, Olivier. editor.

(2)

Dausmann, Manfred. author.

(2)

Davies, Jim. editor.

(2)

De Nicola, Rocco. editor.

(2)

Deck, Klaus-Georg. author.

(2)

Dix, Jürgen. editor. (orcid)0000-0002-8528-1440

(2)

Drossopoulou, Sophia. editor.

(2)

Duff, Robert A. editor.

(2)

Ekendahl, Robert. author.

(2)

Endriss, Ulle. editor.

(2)

Engels, Gregor. editor.

(2)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(2)

Fages, Francois. editor.

(2)

Fernau, Henning. editor.

(2)

Ferrucci, Filomena. editor.

(2)

France, Robert B. editor.

(2)

Fraser, Gordon. editor.

(2)

Gardner, Philippa. editor.

(2)

Garrigue, Jacques. editor.

(2)

Gelbukh, Alexander. editor.

(2)

Geske, Ulrich. editor.

(2)

Gleizes, Marie-Pierre. editor.

(2)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(2)

Gogolla, Martin. editor.

(2)

Goos, Gerhard. author.

(2)

Gotzhein, Reinhard. editor.

(2)

Governatori, Guido. editor.

(2)

Gray, Jeff. editor.

(2)

Grelck, Clemens. editor.

(2)

Grieskamp, Wolfgang. editor.

(2)

Grude, Ulrich. author.

(2)

Gruhn, Volker. editor.

(2)

Grune, Dick. author.

(2)

Gupta, Rajiv. editor.

(2)

Hage, Jurriaan. editor.

(2)

Hamilton, Patrick. author.

(2)

Harel, David. editor.

(2)

Language

(952)

(100)

Publication Date

-

(133)

(109)

(108)

(106)

(104)

(101)

(101)

(100)

(97)

(93)

Subject

Compilers (Computer programs).

(1051)

Compilers and Interpreters.

(1051)

Software engineering.

(776)

Computer science.

(625)

Computer programming.

(535)

Programming Techniques.

(535)

Computer Science Logic and Foundations of Programming.

(532)

Formal Languages and Automata Theory.

(315)

Machine theory.

(315)

Computer networks .

(234)

Computer Communication Networks.

(218)

Artificial intelligence.

(184)

Theory of Computation.

(149)

Electronic data processing-Management.

(112)

(112)

Application software.

(96)

Computer and Information Systems Applications.

(96)

(84)

Operating Systems.

(68)

Operating systems (Computers).

(68)

Computer Modelling.

(51)

Computer simulation.

(51)

Computers, Special purpose.

(47)

Special Purpose and Application-Based Systems.

(47)

Computer science-Mathematics.

(46)

Database management.

(35)

Models of Computation.

(35)

Data Mining and Knowledge Discovery.

(30)

(30)

Artificial intelligence-Data processing.

(28)

(28)

Electronic digital computers-Evaluation.

(28)

System Performance and Evaluation.

(28)

Computer System Implementation.

(26)

Computer systems.

(26)

Symbolic and Algebraic Manipulation.

(22)

Numerical analysis.

(21)

Computer Engineering and Networks.

(20)

Computer engineering.

(20)

Engineering mathematics.

(19)

Engineering-Data processing.

(19)

Mathematical and Computational Engineering Applications.

(19)

Business information services.

(18)

Computer architecture.

(18)

IT in Business.

(18)

Computer software.

(17)

Electronic Circuits and Systems.

(17)

Electronic circuits.

(17)

Information Storage and Retrieval.

(17)

Information storage and retrieval systems.

(17)

Mathematical Software.

(17)

Microprocessors.

(16)

Processor Architectures.

(16)

Information theory.

(15)

(14)

Data and Information Security.

(14)

Data protection.

(14)

Arithmetic and Logic Structures.

(13)

Computer arithmetic and logic units.

(13)

Discrete Mathematics in Computer Science.

(13)

Discrete mathematics.

(13)

Human-computer interaction.

(13)

User Interfaces and Human Computer Interaction.

(13)

User interfaces (Computer systems).

(13)

Computer vision.

(11)

Mathematics-Data processing.

(11)

Computers and Society.

(10)

Computers and civilization.

(10)

Data Structures and Information Theory.

(10)

Data structures (Computer science).

(10)

Computational Mathematics and Numerical Analysis.

(9)

Computer Application in Administrative Data Processing.

(8)

(8)

(8)

Data encryption (Computer science).

(8)

Electronics and Microelectronics, Instrumentation.

(8)

(8)

Information technology-Management.

(8)

Mathematics of Computing.

(8)

Natural Language Processing (NLP).

(8)

Natural language processing (Computer science).

(8)

(7)

Apple computer.

(7)

Hardware Performance and Reliability.

(7)

Mathematical statistics-Data processing.

(7)

Statistics and Computing.

(7)

Communications Engineering, Networks.

(6)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(6)

Computer input-output equipment.

(6)

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

(6)

Computer-aided engineering.

(6)

Electrical and Electronic Engineering.

(6)

Electrical engineering.

(6)

Image processing-Digital techniques.

(6)

Input/Output and Data Communications.

(6)

(6)

Mathematical Logic and Foundations.

(6)

Mathematical logic.

(6)

Telecommunication.

(6)

Coding and Information Theory.

(5)

(5)

Computational intelligence.

(5)

Computer Hardware.

(5)

Language and languages-Style.

(5)

Mathematical Applications in Computer Science.

(5)

(5)

Microsoft .NET Framework.

(5)

Microsoft software.

(5)

(5)

(5)

Automated Pattern Recognition.

(4)

Computational Science and Engineering.

(4)

(4)

Multimedia systems.

(4)

Pattern recognition systems.

(4)

(4)

Technology and Engineering.

(4)

Adaptive Immunity.

(3)

Applications of Mathematics.

(3)

Applied Dynamical Systems.

(3)

Computational linguistics.

(3)

Computer graphics.

(3)

Computers-History.

(3)

Control Structures and Microprogramming.

(3)

Control engineering.

(3)

(3)

History of Computing.

(3)

Immunospecificity.

(3)

Mechanical engineering.

(3)

Microprogramming .

(3)

Multimedia Information Systems.

(3)

Nonlinear theories.

(3)

(2)

Bioinformatics.

(2)

Computer industry.

(2)

Computers and Education.

(2)

Computing Milieux.

(2)

Control, Robotics, Automation.

(2)

Data Storage Representation.

(2)

Education-Data processing.

(2)

Humanities and Social Sciences.

(2)

(2)

Information retrieval.

(2)

Internet programming.

(2)

(2)

(2)

Mathematical statistics.

(2)

Mobile computing.

(2)

Probability and Statistics in Computer Science.

(2)

Python (Computer program language).

(2)

(2)

(2)

Social sciences.

(2)

The Computer Industry.

(2)

Web Development.

(2)

(1)

Biometric identification.

(1)

(1)

(1)

(1)

Business and Management.

(1)

(1)

Chemistry-Data processing.

(1)

Computational Chemistry.

(1)

Computational and Systems Biology.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Memory Structure.

(1)

Computer games-Programming.

(1)

Computer hardware description languages.

(1)

Computer storage devices.

(1)

Control and Systems Theory.

(1)

Control theory.

(1)

Digital humanities.

(1)

(1)

Electronic commerce.

(1)

Engineering design.

(1)

Game Development.

(1)

General Algebraic Systems.

(1)

Group Theory and Generalizations.

(1)

(1)

History of Science.

(1)

(1)

Industrial Management.

(1)

Innovation and Technology Management.

(1)

Interactive multimedia.

(1)

(1)

(1)

(1)

Management science.

(1)

Mathematical optimization.

(1)

Mathematical physics.

(1)

(1)

Memory management (Computer science).

(1)

Microcomputers.

(1)

Operations Management.

(1)

Operations Research and Decision Theory.

(1)

Operations research.

(1)

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

Personal Computing.

(1)

Material Type

Shelf Location

Springer E-Book Collection

Library

Ferit Melen Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

1052 Results Found

Subscribe to search results

1 2 3 4 5 .. 88

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 Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

by

Bonakdarpour, Borzoo. editor.

https://doi.org/10.1007/978-3-319-11164-3

Format:

Excerpt:

Compilers and Interpreters.

SD_ILS:171110

2.

Cover image for ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

by

Jones, Richard. editor.

https://doi.org/10.1007/978-3-662-44202-9

Format:

Excerpt:

Compilers and Interpreters.

SD_ILS:172774

3.

Cover image for Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

by

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

https://doi.org/10.1007/978-3-642-54804-8

Format:

Excerpt:

Compilers and Interpreters.

SD_ILS:170838

4.

Cover image for Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

by

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

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

Format:

Excerpt:

Compilers and Interpreters.

SD_ILS:170759

5.

Cover image for Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

by

Bernardo, Marco. editor.

https://doi.org/10.1007/978-3-319-07317-0

Format:

Excerpt:

Compilers and Interpreters.

SD_ILS:171168

6.

Cover image for OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

by

Poole, Stephen. editor. (orcid)0000-0002-4531-7453

https://doi.org/10.1007/978-3-319-05215-1

Format:

Excerpt:

Compilers and Interpreters.

SD_ILS:171513

7.

Cover image for Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

by

Liu, Shaoying. editor.

https://doi.org/10.1007/978-3-319-04915-1

Format:

Excerpt:

Compilers and Interpreters.

SD_ILS:171260

8.

Cover image for Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings

Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings

Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings

by

Silva, Fernando. editor.

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

Format:

Excerpt:

Compilers and Interpreters.

SD_ILS:172085

9.

Cover image for Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

by

Garrigue, Jacques. editor.

https://doi.org/10.1007/978-3-319-12736-1

Format:

Excerpt:

Compilers and Interpreters.

SD_ILS:171924

10.

Cover image for Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

by

Codish, Michael. editor.

https://doi.org/10.1007/978-3-319-07151-0

Format:

Excerpt:

Compilers and Interpreters.

SD_ILS:172028

11.

Cover image for Transactions on Aspect-Oriented Software Development XI

Transactions on Aspect-Oriented Software Development XI

Transactions on Aspect-Oriented Software Development XI

by

Chiba, Shigeru. editor.

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

Format:

Excerpt:

Compilers and Interpreters.

SD_ILS:171933

12.

Cover image for Numerical Methods using MATLAB

Numerical Methods using MATLAB

Numerical Methods using MATLAB

by

Gupta, Abhishek. author.

https://doi.org/10.1007/978-1-4842-0154-1

Format:

Excerpt:

Compilers and Interpreters.

SD_ILS:173098

1 2 3 4 5 .. 88

Go to:Search Results

|

|

Copyright 2016 SirsiDynix - Portfolio Version 4.5 (36068)