Giriş
|
Kütüphane Hesabım
|
Listelerim
|
|
Remember to clear the cache and close the browser window.
Search Limit
Tümü
E-Kitap
Dergiler
Beytepe Kütüphanesi
Sağlık Bilimleri Kütüphanesi
Konservatuvar Kütüphanesi
Hukuk Kütüphanesi
Sosyal Bilimler Meslek Yüksek Okulu
DVD Koleksiyonu
Prof.Dr. Onur Bilge Kula Koleksiyonu
Rooms Restriction Values
Tüm Alanlar
Başlık
Yazar
Konu
ISBN
ISSN
8
Search Field
Tüm Alanlar
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
Dahil
Hariç
SpringerLink (Online service)
(109)
Legay, Axel. editor.
(4)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(4)
Artho, Cyrille. editor.
(3)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(3)
Ölveczky, Peter Csaba. editor.
(3)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(2)
De Nicola, Rocco. editor.
(2)
Huisman, Marieke. editor. (orcid)0000-0003-4467-072X
(2)
Liu, Shaoying. editor.
(2)
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071
(2)
Proença, José. editor.
(2)
Schoitsch, Erwin. editor.
(2)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(2)
Tonetta, Stefano. editor.
(2)
Wąsowski, Andrzej. editor.
(2)
Zhang, Zili. editor.
(2)
Ábrahám, Erika. editor.
(2)
Abate, Alessandro. editor.
(1)
Abbas, Houssam. editor. (orcid)0000-0002-8096-2618
(1)
Aceto, Luca. editor.
(1)
Ahrendt, Wolfgang. editor.
(1)
Aichernig, Bernhard K. editor.
(1)
Alkhalaf, Muath. author.
(1)
An, Bo. editor.
(1)
Arbel, Eli. editor.
(1)
Ayala-Rincón, Mauricio. editor.
(1)
Aydin, Abdulbaki. author.
(1)
Bacci, Giorgio. editor.
(1)
Bacci, Giovanni. editor.
(1)
Bader, Markus. editor.
(1)
Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408
(1)
Barrett, Clark. editor.
(1)
Basili, Roberto. editor. (orcid)0000-0001-5140-0694
(1)
Batsakis, Sotiris. editor.
(1)
Bazzan, Ana. editor.
(1)
Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291
(1)
Bernardo, Marco. editor.
(1)
Bertogna, Marko. editor.
(1)
Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973
(1)
Biro, Miklos. editor.
(1)
Blazy, Sandrine. editor.
(1)
Blieberger, Johann. editor.
(1)
Bloem, Roderick. editor.
(1)
Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551
(1)
Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618
(1)
Bouajjani, Ahmed. editor.
(1)
Bošnački, Dragan. editor.
(1)
Braga, Christiano. editor.
(1)
Bubel, Richard. editor.
(1)
Bultan, Tevfik. author.
(1)
Burns, Richard. editor. (orcid)0000-0002-3961-438X
(1)
Butler, Michael. editor.
(1)
Castor, Fernando. editor.
(1)
Cavalcanti, Ana. editor.
(1)
Cavalli, Ana Rosa. editor.
(1)
Chapman, Barbara M. editor.
(1)
Chechik, Marsha. editor.
(1)
Chechik, Marsha. editor. (orcid)0000-0002-6301-3517
(1)
Chopra, Amit K. editor.
(1)
Chu, Zhufei. author. (orcid)0000-0001-5718-4822
(1)
Cornélio, Márcio. editor.
(1)
Crnkovic, Ivica. editor.
(1)
Csöndes, Tibor. editor.
(1)
Cunha, Jácome. editor.
(1)
Dastani, Mehdi. editor.
(1)
Davies, Misty. editor.
(1)
Devitt, Simon. editor.
(1)
Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286
(1)
Doder, Dragan. editor. (orcid)0000-0003-0067-3654
(1)
Duan, Zhenhua. editor.
(1)
Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433
(1)
England, Matthew. editor.
(1)
Esparza, Javier. editor. (orcid)0000-0001-9862-4919
(1)
Esposito, Floriana. editor.
(1)
Falcone, Yliès. editor.
(1)
Ferilli, Stefano. editor.
(1)
Fernandes, João P. editor.
(1)
Furia, Carlo A. editor.
(1)
Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131
(1)
Gavanelli, Marco. editor.
(1)
Geeraerts, Gilles. editor.
(1)
Geuvers, Herman. editor.
(1)
Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960
(1)
Gibson-Robinson, Thomas. editor.
(1)
Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421
(1)
Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080
(1)
Grabowski, Jens. editor.
(1)
Guerra, Esther. editor.
(1)
Guiochet, Jérémie. editor.
(1)
Gupta, Gopal. editor. (orcid)0000-0001-9727-0362
(1)
Gurfinkel, Arie. editor.
(1)
Hage, Jurriaan. editor.
(1)
Hankin, Chris. editor.
(1)
Hansen, René Rydhof. editor.
(1)
Hasan, Osman. editor.
(1)
Herbold, Steffen. editor.
(1)
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
(1)
Hillston, Jane. editor. (orcid)0000-0003-4914-9255
(1)
Hirayama, Katsutoshi. editor.
(1)
Hopcroft, Philippa. editor.
(1)
Hung, Dang Van. editor.
(1)
Hähnle, Reiner. editor.
(1)
Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764
(1)
Ingólfsdóttir, Anna. editor.
(1)
Jacobs, Bart. editor.
(1)
Jalote, Pankaj. author.
(1)
James, Phillip. editor.
(1)
Jobstmann, Barbara. editor.
(1)
Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678
(1)
Johansson, Moa. editor.
(1)
Johnsen, Einar Broch. editor.
(1)
Josipović, Lana. author.
(1)
Kahsai, Temesghen. editor.
(1)
Kapitsaki, Georgia M. editor.
(1)
Kapur, Deepak. editor.
(1)
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
(1)
King, Andy. editor.
(1)
Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186
(1)
Knapp, Alexander. editor.
(1)
Kohlhase, Michael. editor.
(1)
Kovács, Gábor. editor.
(1)
Kunkel, Julian M. editor.
(1)
Kunčak, Viktor. editor.
(1)
Kushik, Natalia. editor.
(1)
Kühn, Eva. editor.
(1)
Lanese, Ivan. editor. (orcid)0000-0003-2527-9995
(1)
Langerak, Rom. editor.
(1)
Lawford, Mark. editor.
(1)
Lazić, Ranko. editor.
(1)
Lecomte, Thierry. editor.
(1)
Lee, Kent D. author.
(1)
Leino, K. Rustan M. editor.
(1)
Leite, João. editor.
(1)
Lemanski, Jens. editor. (orcid)0000-0003-3661-4752
(1)
Leuschel, Michael. editor. (orcid)0000-0002-4595-1518
(1)
Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X
(1)
Lindley, Sam. editor.
(1)
Lisi, Francesca A. editor.
(1)
Liu, Yu David. editor.
(1)
Lluch Lafuente, Alberto. editor.
(1)
Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071
(1)
Lucanu, Dorel. editor.
(1)
Lumpe, Markus. editor.
(1)
Lämmel, Ralf. editor.
(1)
Löding, Christof. editor.
(1)
Lönn, Henrik. editor.
(1)
Majumdar, Rupak. editor.
(1)
Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021
(1)
Mardare, Radu. editor.
(1)
Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735
(1)
Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953
(1)
Mayr, Heinrich C. editor.
(1)
Mazzara, Manuel. editor.
(1)
McBride, Conor. editor.
(1)
Menzies, Tim. editor.
(1)
Miller, Bruce. editor.
(1)
Monniaux, David. editor.
(1)
Mousavi, Mohammad Reza. editor.
(1)
Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104
(1)
Murawski, Andrzej S. editor.
(1)
Muñoz, César A. editor.
(1)
Müller, Matthias S. editor.
(1)
Nalon, Cláudia. editor.
(1)
Nica, Mihai. editor.
(1)
Nikitchenko, Mykola. editor.
(1)
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259
(1)
Olivetti, Nicola. editor.
(1)
Olivier, Stephen L. editor.
(1)
Ong, Luke. editor.
(1)
Peled, Doron. editor.
(1)
Petke, Justyna. editor.
(1)
Petrucci, Laure. editor. (orcid)0000-0003-3154-5268
(1)
Pinho, Luís Miguel. editor.
(1)
Probst, Christian W. editor.
(1)
Quiñones, Eduardo. editor.
(1)
Rabe, Florian. editor.
(1)
Ranzato, Francesco. editor.
(1)
Raskin, Jean-François. editor.
(1)
Rayadurgam, Sanjai. editor.
(1)
Rensink, Arend. editor.
(1)
Reppy, John. editor.
(1)
Ribeiro, Leila. editor.
(1)
Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026
(1)
Rival, Xavier. editor.
(1)
Roggenbach, Markus. editor.
(1)
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
(1)
Roscoe, Bill. editor.
(1)
Rubin, Julia. editor.
(1)
Réthy, György. editor.
(1)
Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X
(1)
Sannella, Don. editor. (orcid)0000-0003-4520-8924
(1)
Santana de Almeida, Eduardo. editor.
(1)
Saraiva, João. editor.
(1)
Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624
(1)
Schewe, Klaus-Dieter. editor.
(1)
Schmidt, Renate A. editor.
(1)
Schmitt, Peter H. editor.
(1)
Seceleanu, Cristina. editor.
(1)
Serrano, Manuel. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Dil
Dahil
Hariç
English
(109)
Yayın Yılı
Dahil
Hariç
-
2016
(54)
2017
(46)
2025
(5)
2024
(4)
Konu
Dahil
Hariç
Compilers and Interpreters.
(109)
Computer science.
(101)
Computer Science Logic and Foundations of Programming.
(98)
Software engineering.
(93)
Formal Languages and Automata Theory.
(74)
Machine theory.
(74)
Computer programming.
(38)
Programming Techniques.
(38)
Artificial intelligence.
(31)
Computer networks .
(21)
Algorithms.
(20)
Theory of Computation.
(19)
Computer Modelling.
(13)
Computer simulation.
(13)
Computer Communication Networks.
(12)
Application software.
(11)
Computer and Information Systems Applications.
(11)
Electronic data processing -- Management.
(11)
IT Operations.
(11)
Computers, Special purpose.
(10)
Special Purpose and Application-Based Systems.
(10)
Computer Engineering and Networks.
(9)
Computer engineering.
(9)
Logic design.
(6)
Operating Systems.
(5)
Operating systems (Computers).
(5)
Computer science -- Mathematics.
(4)
Computers.
(4)
Data and Information Security.
(4)
Data protection.
(4)
Electronic digital computers -- Evaluation.
(4)
System Performance and Evaluation.
(4)
Computer System Implementation.
(3)
Computer systems.
(3)
Professions.
(3)
The Computing Profession.
(3)
Computer Application in Administrative Data Processing.
(2)
Information technology -- Management.
(2)
Information theory.
(2)
Natural Language Processing (NLP).
(2)
Natural language processing (Computer science).
(2)
C++ (Computer program language).
(1)
C++.
(1)
Coding and Information Theory.
(1)
Coding theory.
(1)
Computer Memory Structure.
(1)
Computer architecture.
(1)
Computer hardware description languages.
(1)
Computer input-output equipment.
(1)
Computer storage devices.
(1)
Computer-Aided Engineering (CAD, CAE) and Design.
(1)
Computer-aided engineering.
(1)
Computers and Education.
(1)
Computing Milieux.
(1)
Control Structures and Microprogramming.
(1)
Data Structures and Information Theory.
(1)
Data structures (Computer science).
(1)
Design and Analysis of Algorithms.
(1)
Discrete Mathematics in Computer Science.
(1)
Discrete mathematics.
(1)
Education -- Data processing.
(1)
Electronic Circuits and Systems.
(1)
Electronic circuits.
(1)
Engineering -- Data processing.
(1)
Engineering mathematics.
(1)
Human-computer interaction.
(1)
Information Storage and Retrieval.
(1)
Information storage and retrieval systems.
(1)
Input/Output and Data Communications.
(1)
Logic in AI.
(1)
Logic programming.
(1)
Mathematical Logic and Foundations.
(1)
Mathematical and Computational Engineering Applications.
(1)
Mathematical logic.
(1)
Mathematical statistics.
(1)
Mathematics of Computing.
(1)
Memory management (Computer science).
(1)
Microprocessors.
(1)
Microprogramming .
(1)
Models of Computation.
(1)
Open Source.
(1)
Open source software.
(1)
Probability and Statistics in Computer Science.
(1)
Processor Architectures.
(1)
Quantum Computing.
(1)
Quantum computers.
(1)
Register-Transfer-Level Implementation.
(1)
Symbolic and Algebraic Manipulation.
(1)
Theory and Algorithms for Application Domains.
(1)
User Interfaces and Human Computer Interaction.
(1)
User interfaces (Computer systems).
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Materyal Türü
Dahil
Hariç
E-Kitap
Shelf Location
Dahil
Hariç
1:SPRINGER
Kütüphane
Dahil
Hariç
Çevrimiçi Kütüphane
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
109 sonuç bulundu
1
..
6
7
8
9
10
Sıralama:
İlgiye Göre (Varsayılan)
Yıla Gore (Artan)
Yıla Gore (Azalan)
Başlık
Yazar
0
DEFAULT_TR
Liste seç
Geçici Liste
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.
109.
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
Yazar
Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
https://doi.org/10.1007/978-3-662-49630-5
Format:
Durum
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
1
..
6
7
8
9
10
