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ış:
+
Subject: Computer science.
Yazar
Dahil
Hariç
SpringerLink (Online service)
(301)
Voronkov, Andrei. editor.
(10)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(9)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(9)
Fages, François. editor.
(5)
Rossi, Francesca. editor.
(5)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(4)
Artho, Cyrille. editor.
(3)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Junges, Sebastian. editor. (orcid)0000-0003-0978-8466
(3)
Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324
(3)
Kobayashi, Naoki. editor.
(3)
Legay, Axel. editor.
(3)
Lisi, Francesca A. editor.
(3)
Matheja, Christoph. editor. (orcid)0000-0001-9151-0441
(3)
Noll, Thomas. editor. (orcid)0000-0002-1865-1798
(3)
Quatmann, Tim. editor. (orcid)0000-0002-2843-5511
(3)
Schmidt, Renate A. editor.
(3)
Schoitsch, Erwin. editor.
(3)
Seipel, Dietmar. editor.
(3)
Son, Tran Cao. editor.
(3)
Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165
(3)
Tamaddoni-Nezhad, Alireza. editor.
(3)
Volk, Matthias. editor. (orcid)0000-0002-3810-4185
(3)
Ölveczky, Peter Csaba. editor.
(3)
Balduccini, Marcello. editor.
(2)
Baral, Chitta. editor.
(2)
Baratgin, Jean. editor. (orcid)0000-0001-9566-486X
(2)
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093
(2)
Bouajjani, Ahmed. editor.
(2)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(2)
Bramer, Max. author.
(2)
Chaudhuri, Swarat. editor.
(2)
Câmpeanu, Cezar. editor.
(2)
De Nicola, Rocco. editor.
(2)
Dimitrova, Rayna. editor.
(2)
Farzan, Azadeh. editor.
(2)
Frasconi, Paolo. editor.
(2)
Fränzle, Martin. editor.
(2)
Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421
(2)
Guiochet, Jérémie. editor.
(2)
Hanus, Michael. editor.
(2)
Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801
(2)
Huisman, Marieke. editor. (orcid)0000-0003-4467-072X
(2)
Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789
(2)
Johnsen, Einar Broch. editor.
(2)
Kapur, Deepak. editor.
(2)
Kleijn, Jetty. editor.
(2)
Koutny, Maciej. editor. (orcid)0000-0003-4563-1378
(2)
Kunčak, Viktor. editor.
(2)
Lahav, Ori. editor. (orcid)0000-0003-4305-6998
(2)
Lanese, Ivan. editor. (orcid)0000-0003-2527-9995
(2)
Larsen, Kim Guldstrand. editor.
(2)
Lecomte, Thierry. editor.
(2)
Liu, Shaoying. editor.
(2)
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071
(2)
Majumdar, Rupak. editor.
(2)
Mousavi, Mohammad Reza. editor.
(2)
Muggleton, Stephen. editor.
(2)
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259
(2)
Perini, Anna. editor. (orcid)0000-0001-8818-6476
(2)
Pogodalla, Sylvain. editor.
(2)
Pontelli, Enrico. editor.
(2)
Potapov, Igor. editor.
(2)
Pradella, Matteo. editor. (orcid)0000-0003-3039-1084
(2)
Proença, José. editor.
(2)
Raedt, Luc. editor.
(2)
Roman, Dumitru. editor.
(2)
Rossi, Matteo. editor. (orcid)0000-0002-9193-9560
(2)
Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828
(2)
Rubin, Julia. editor.
(2)
Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340
(2)
Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X
(2)
Skavhaug, Amund. editor.
(2)
Thiemann, Peter. editor.
(2)
Tonetta, Stefano. editor.
(2)
Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126
(2)
Varró, Dániel. editor.
(2)
Wolf, Armin. editor.
(2)
Wolff, Sebastian. editor.
(2)
Worrell, James. editor.
(2)
Wąsowski, Andrzej. editor.
(2)
Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550
(2)
Zhang, Zili. editor.
(2)
de Moura, Leonardo. editor.
(2)
Ábrahám, Erika. editor.
(2)
Železný, Filip. editor.
(2)
Abate, Alessandro. editor.
(1)
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093
(1)
Abbas, Houssam. editor. (orcid)0000-0002-8096-2618
(1)
Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611
(1)
Abreu, Salvador. editor.
(1)
Agha, Gul. editor.
(1)
Ahrendt, Wolfgang. editor.
(1)
Aichernig, Bernhard K. editor.
(1)
Akama, Seiki. editor.
(1)
Albert, Elvira. editor.
(1)
Alferes, Jose Julio. editor.
(1)
Alkhalaf, Muath. author.
(1)
Amblard, Maxime. editor.
(1)
Amos, Martyn. editor.
(1)
An, Bo. editor.
(1)
Antonucci, Alessandro. editor.
(1)
Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X
(1)
Arbel, Eli. editor.
(1)
Ayala-Rincón, Mauricio. author.
(1)
Ayala-Rincón, Mauricio. editor.
(1)
Aydin, Abdulbaki. author.
(1)
Azevedo, Francisco. editor.
(1)
Baader, Franz. editor.
(1)
Bader, Markus. editor.
(1)
Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408
(1)
Baltag, Alexandru. editor.
(1)
Barahona, Pedro. editor.
(1)
Barbosa, Haniel. editor.
(1)
Barbosa, Simone D.J. editor. (orcid)0000-0002-0044-503X
(1)
Barnard, Pepita. editor. (orcid)0000-0003-4518-1207
(1)
Barrett, Clark. editor.
(1)
Bartenstein, Oskar. editor.
(1)
Basili, Roberto. editor. (orcid)0000-0001-5140-0694
(1)
Batsakis, Sotiris. editor.
(1)
Battiti, Roberto. editor. (orcid)0000-0002-0259-8603
(1)
Bautista, John Robert. editor. (orcid)0000-0002-4892-9543
(1)
Bazzan, Ana. editor.
(1)
Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291
(1)
Bekki, Daisuke. editor. (orcid)0000-0002-9988-1260
(1)
Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286
(1)
Bellodi, Elena. editor. (orcid)0000-0002-3717-3779
(1)
Berger, Christian. editor.
(1)
Bernardo, Marco. editor.
(1)
Bertogna, Marko. editor.
(1)
Bertossi, Leopoldo. editor.
(1)
Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394
(1)
Best, Eike. editor.
(1)
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
(1)
Biro, Miklos. editor.
(1)
Bjørner, Nikolaj. editor.
(1)
Blanchette, Jasmin Christian. editor.
(1)
Blazy, Sandrine. editor.
(1)
Blieberger, Johann. editor.
(1)
Blockeel, Hendrik. editor.
(1)
Bloem, Roderick. editor.
(1)
Blume, Matthias. editor.
(1)
Bogomolov, Sergiy. editor.
(1)
Boldo, Sylvie. editor.
(1)
Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618
(1)
Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618
(1)
Bortolussi, Luca. editor.
(1)
Bowen, Jonathan P. editor.
(1)
Bowles, Juliana. editor. (orcid)0000-0002-5918-9114
(1)
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X
(1)
Bošnački, Dragan. editor.
(1)
Braga, Christiano. editor.
(1)
Brewka, Gerhard. editor.
(1)
Brlek, Srečko. editor.
(1)
Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X
(1)
Bruni, Roberto. author.
(1)
Bubel, Richard. editor.
(1)
Bultan, Tevfik. author.
(1)
Butler, Michael. editor.
(1)
C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029
(1)
Cabalar, Pedro. editor.
(1)
Cabot, Jordi. editor.
(1)
Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706
(1)
Carayol, Arnaud. editor.
(1)
Carlsson, Mats. editor.
(1)
Carmona, Josep. editor.
(1)
Castor, Fernando. editor.
(1)
Cavalcanti, Ana. editor.
(1)
Cavalli, Ana Rosa. editor.
(1)
Cervesato, Iliano. editor.
(1)
Charatan, Quentin. author.
(1)
Charlier, Émilie. editor.
(1)
Chechik, Marsha. editor.
(1)
Chechik, Marsha. editor. (orcid)0000-0002-6301-3517
(1)
Chen, Yidong. editor. (orcid)0000-0002-0243-7228
(1)
Cho, Da-Jung. editor. (orcid)0000-0002-5265-8520
(1)
Cholvy, Laurence. editor.
(1)
Chopra, Amit K. editor.
(1)
Chowdhary, K.R. author.
(1)
Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X
(1)
Cinquemani, Eugenio. editor.
(1)
Clarke, Edmund M. editor.
(1)
Comyn-Wattiau, Isabelle. editor.
(1)
Condon, Anne. editor.
(1)
Console, Marco. editor. (orcid)0009-0004-5526-019X
(1)
Cornélio, Márcio. editor.
(1)
Crnkovic, Ivica. editor.
(1)
Csöndes, Tibor. editor.
(1)
Cunha, Jácome. editor.
(1)
Cuppens, Frédéric. editor.
(1)
Cuppens-Boulahia, Nora. editor.
(1)
Cussens, James. editor.
(1)
Dahl, Véronica. editor.
(1)
Dal Lago, Ugo. editor.
(1)
Daneva, Maya. editor.
(1)
Dash, Santanu. editor. (orcid)0000-0002-5674-8531
(1)
Dastani, Mehdi. editor.
(1)
Davies, Misty. editor.
(1)
Day, Adam. editor.
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Dil
Dahil
Hariç
English
(301)
Yayın Yılı
Dahil
Hariç
-
2016
(100)
2017
(84)
2025
(35)
2024
(26)
2005
(8)
2008
(7)
2011
(7)
2010
(6)
2007
(5)
2013
(5)
2006
(4)
2009
(4)
2012
(4)
2018
(3)
2014
(2)
2023
(1)
Daha fazla
Tümünü genişlet
Daha az
Hepsini Daralt
Konu
Dahil
Hariç
Computer Science Logic and Foundations of Programming.
(231)
Software engineering.
(196)
Formal Languages and Automata Theory.
(140)
Machine theory.
(140)
Artificial intelligence.
(123)
Compilers (Computer programs).
(98)
Compilers and Interpreters.
(98)
Theory of Computation.
(62)
Algorithms.
(57)
Computer science -- Mathematics.
(50)
Computer networks .
(48)
Programming Techniques.
(47)
Computer programming.
(42)
Logic design.
(39)
Computer simulation.
(33)
Application software.
(32)
Computer Modelling.
(32)
Computer and Information Systems Applications.
(32)
Computer Communication Networks.
(30)
Computers, Special purpose.
(28)
Special Purpose and Application-Based Systems.
(28)
Discrete Mathematics in Computer Science.
(23)
Discrete mathematics.
(23)
Computer Engineering and Networks.
(18)
Computer engineering.
(18)
Electronic data processing -- Management.
(18)
IT Operations.
(18)
Logic in AI.
(15)
Logic programming.
(15)
Mathematics of Computing.
(14)
Natural Language Processing (NLP).
(14)
Natural language processing (Computer science).
(14)
Computer System Implementation.
(12)
Computer software.
(12)
Computer systems.
(12)
Electronic digital computers -- Evaluation.
(12)
System Performance and Evaluation.
(12)
Information storage and retrieval systems.
(11)
Mathematical logic.
(11)
Mathematical Logic and Foundations.
(10)
Mathematical statistics.
(10)
Probability and Statistics in Computer Science.
(10)
Control Structures and Microprogramming.
(9)
Information Storage and Retrieval.
(9)
Microprogramming .
(9)
Computers.
(8)
Data and Information Security.
(7)
Data mining.
(7)
Data protection.
(7)
Database management.
(7)
Artificial intelligence -- Data processing.
(6)
Computer Application in Administrative Data Processing.
(6)
Data Science.
(6)
Information technology -- Management.
(6)
Information theory.
(6)
Programming languages (Electronic computers).
(6)
Electronic data processing.
(5)
Professions.
(5)
Symbolic and Algebraic Manipulation.
(5)
The Computing Profession.
(5)
Artificial Intelligence (incl. Robotics).
(4)
Computational complexity.
(4)
Mathematical Applications in Computer Science.
(4)
Programming Language.
(4)
Algebra -- Data processing.
(3)
Bioinformatics.
(3)
Data Mining and Knowledge Discovery.
(3)
Data Structures and Information Theory.
(3)
Data structures (Computer science).
(3)
Design and Analysis of Algorithms.
(3)
Human-computer interaction.
(3)
Logics and Meanings of Programs.
(3)
Mathematical Logic and Formal Languages.
(3)
Numerical analysis.
(3)
Operating Systems.
(3)
Operating systems (Computers).
(3)
User Interfaces and Human Computer Interaction.
(3)
User interfaces (Computer systems).
(3)
Arithmetic and Logic Structures.
(2)
Business information services.
(2)
Coding and Information Theory.
(2)
Coding theory.
(2)
Computational and Systems Biology.
(2)
Computational intelligence.
(2)
Computer Hardware.
(2)
Computer arithmetic and logic units.
(2)
Computer logic.
(2)
Expert systems (Computer science).
(2)
IT in Business.
(2)
Knowledge Based Systems.
(2)
Logic.
(2)
Mathematics.
(2)
Models of Computation.
(2)
Operations Research and Decision Theory.
(2)
Operations research.
(2)
Programming Languages, Compilers, Interpreters.
(2)
Quantum computers.
(2)
Algebra, Homological.
(1)
Algebraic logic.
(1)
Algebraic topology.
(1)
Applications of Mathematics.
(1)
Automated Pattern Recognition.
(1)
Category Theory, Homological Algebra.
(1)
Computation by Abstract Devices.
(1)
Computational Science and Engineering.
(1)
Computational linguistics.
(1)
Computer Application in Social and Behavioral Sciences.
(1)
Computer Science, general.
(1)
Computer architecture.
(1)
Computer industry.
(1)
Computer system performance.
(1)
Computer vision.
(1)
Computer-Aided Engineering (CAD, CAE) and Design.
(1)
Computer-aided engineering.
(1)
Computers -- History.
(1)
Computers and Education.
(1)
Computing Milieux.
(1)
Cryptography.
(1)
Cryptology.
(1)
Data Engineering.
(1)
Data encryption (Computer science).
(1)
Education -- Data processing.
(1)
Electronic Circuits and Systems.
(1)
Electronic circuits.
(1)
Engineering -- Data processing.
(1)
Formal Reasoning.
(1)
General Logic.
(1)
Graph theory.
(1)
History of Computing.
(1)
Information systems.
(1)
Management information systems.
(1)
Mathematics -- Data processing.
(1)
Mathematics in Popular Science.
(1)
Microprocessors.
(1)
Neurology.
(1)
Neurology .
(1)
Pattern recognition systems.
(1)
Processor Architectures.
(1)
Python (Computer program language).
(1)
Python.
(1)
Quantum Computing.
(1)
Quantum Information.
(1)
Quantum computing.
(1)
Quantum physics.
(1)
Reasoning.
(1)
Set theory.
(1)
Social sciences -- Data processing.
(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
Elektronik Kütüphane
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
301 sonuç bulundu
1
..
22
23
24
25
26
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.
301.
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Yazar
Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Yer Numarası
ONLINE
Elektronik Erişim
https://doi.org/10.1007/978-3-319-08789-4
Format:
Durum
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç
Ayırt
Listelerime ekle
Eposta
Yazdır
1
..
22
23
24
25
26
