Search Results for

English
Türkçe

Remember to clear the cache and close the browser window.

Smiley

Search Limit

Rooms Restriction Values

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

Konu: Compilers (Computer programs).

Yazar

SpringerLink (Online service)

(1051)

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)

Dil

(951)

(100)

Yayın Yılı

(133)

(109)

(108)

(106)

(104)

(101)

(101)

(100)

(96)

(93)

Konu

Compilers and Interpreters.

(1051)

Software engineering.

(775)

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)

IT Operations.

(112)

Application software.

(96)

Computer and Information Systems Applications.

(96)

Algorithms.

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

Data mining.

(30)

Artificial intelligence-Data processing.

(28)

Data Science.

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

Computers.

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

Cryptography.

(8)

Cryptology.

(8)

Data encryption (Computer science).

(8)

Electronics and Microelectronics, Instrumentation.

(8)

Electronics.

(8)

Information technology-Management.

(8)

Mathematics of Computing.

(8)

Natural Language Processing (NLP).

(8)

Natural language processing (Computer science).

(8)

Apple and iOS.

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

Logic design.

(6)

Mathematical Logic and Foundations.

(6)

Mathematical logic.

(6)

Telecommunication.

(6)

Coding and Information Theory.

(5)

Coding theory.

(5)

Computational intelligence.

(5)

Computer Hardware.

(5)

Language and languages-Style.

(5)

Mathematical Applications in Computer Science.

(5)

Mathematics.

(5)

Microsoft .NET Framework.

(5)

Microsoft software.

(5)

Microsoft.

(5)

Stylistics.

(5)

Automated Pattern Recognition.

(4)

Computational Science and Engineering.

(4)

Engineering.

(4)

Multimedia systems.

(4)

Pattern recognition systems.

(4)

Statistics .

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

Dynamics.

(3)

History of Computing.

(3)

Immunospecificity.

(3)

Mechanical engineering.

(3)

Microprogramming .

(3)

Multimedia Information Systems.

(3)

(3)

(2)

(2)

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

Humanities.

(2)

Information retrieval.

(2)

Internet programming.

(2)

Life sciences.

(2)

Linguistics.

(2)

Mathematical statistics.

(2)

Mobile computing.

(2)

Probability and Statistics in Computer Science.

(2)

Python (Computer program language).

(2)

Python.

(2)

Robotics.

(2)

Social sciences.

(2)

The Computer Industry.

(2)

Web Development.

(2)

Algebra.

(1)

Biometric identification.

(1)

Biometrics.

(1)

Biometry.

(1)

Biostatistics.

(1)

Business and Management.

(1)

Business.

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

(1)

(1)

(1)

(1)

(1)

(1)

General Algebraic Systems.

(1)

Group Theory and Generalizations.

(1)

Group theory.

(1)

History of Science.

(1)

Immunology.

(1)

Industrial Management.

(1)

Innovation and Technology Management.

(1)

Interactive multimedia.

(1)

(1)

(1)

(1)

(1)

Mathematical optimization.

(1)

Mathematical physics.

(1)

Media Design.

(1)

Memory management (Computer science).

(1)

Microcomputers.

(1)

Operations Management.

(1)

Operations Research and Decision Theory.

(1)

Operations research.

(1)

Optimization.

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

(1)

(1)

Materyal Türü

Shelf Location

Springer E-Kitap Koleksiyonu

Kütüphane

Ferit Melen Kütüphanesi

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1051 sonuç bulundu

1 2 3 4 5 .. 88

000000000000DEFAULT

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

Quintao Pereira, Fernando Magno. editor.

https://doi.org/10.1007/978-3-319-11863-5

Format:

SD_ILS:170331

Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Remke, Anne. editor.

https://doi.org/10.1007/978-3-662-45489-3

Format:

SD_ILS:170903

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

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

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

Format:

SD_ILS:170838

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

Bonakdarpour, Borzoo. editor.

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

Format:

SD_ILS:171110

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

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

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

Format:

SD_ILS:170759

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

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

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

Format:

SD_ILS:171513

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

Liu, Shaoying. editor.

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

Format:

SD_ILS:171260

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

Bernardo, Marco. editor.

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

Format:

SD_ILS:171168

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

Garrigue, Jacques. editor.

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

Format:

SD_ILS:171924

10.

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

Codish, Michael. editor.

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

Format:

SD_ILS:172028

11.

Transactions on Aspect-Oriented Software Development XI

Chiba, Shigeru. editor.

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

Format:

SD_ILS:171933

12.

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

Jones, Richard. editor.

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

Format:

SD_ILS:172774

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 88