Log In
|
My Account
|
My Lists
|
|
Remember to clear the cache and close the browser window.
Search Limit
Everything
E-Book
Journals
Beytepe Library
Health Sciences Library
Conservatory Library
Law Library
Social Sciences Vocational High School
DVD Collection
Prof.Dr. Onur Bilge Kula Collection
Rooms Restriction Values
All Fields
Title
Author
Subject
ISBN
ISSN
8
Search Field
All Fields
Target Value
Limit Value
Restriction Value
Search For:
Advanced Search
Limit Search Results
Narrowed by:
+
Konu: Computer science.
Author
Include
Exclude
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)
More
View All
Fewer
Collapse All
Language
Include
Exclude
English
(301)
Publication Date
Include
Exclude
-
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)
More
View All
Fewer
Collapse All
Subject
Include
Exclude
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)
More
View All
Fewer
Collapse All
Material Type
Include
Exclude
E-Book
Shelf Location
Include
Exclude
1:SPRINGER
Electronic Library
Library
Include
Exclude
Online Library
false
{sortLabel}
{alphabetical}
{relevance}
{include}
{exclude}
{facetName}
{results}
{displayName}
{count}
{error}
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
301 Results Found
1
..
22
23
24
25
26
Sort By:
Relevance (Default)
Publication Date (Ascending)
Publication Date (Descending)
Title
Author
0
DEFAULT
Select a list
Temporary 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.
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
Author
Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
https://doi.org/10.1007/978-3-319-08789-4
Format:
Availability
Online Library~1
Available:
Copies:
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
1
..
22
23
24
25
26
