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:
+
Subject: Computer science.
Author
Include
Exclude
SpringerLink (Online service)
(49)
Harris, Don. editor. (orcid)0000-0002-2113-8848
(3)
Brooks, Eva. editor. (orcid)0000-0001-7338-1279
(2)
Cai, Zhiping. editor. (orcid)0000-0001-5726-833X
(2)
Edstrand, Emma. editor. (orcid)0000-0002-5325-435X
(2)
Hillston, Jane. editor. (orcid)0000-0003-4914-9255
(2)
Zhang, Jialin. editor. (orcid)0000-0002-6245-1013
(2)
Axenie, Cristian. author. (orcid)0000-0001-6184-0546
(1)
Bauer, Roman. author. (orcid)0000-0002-7268-9359
(1)
Berger, Christian. editor.
(1)
Bernardo, Marco. editor.
(1)
Best, Eike. editor.
(1)
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
(1)
Bilò, Vittorio. editor.
(1)
Bjørner, Thomas. editor. (orcid)0000-0001-9071-7168
(1)
Brijder, Robert. editor.
(1)
Caligiore, Daniele. author.
(1)
Carli, Samuele. author. (orcid)0000-0002-3250-2465
(1)
Castor, Fernando. editor.
(1)
Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976
(1)
Chu, Zhufei. author. (orcid)0000-0001-5718-4822
(1)
Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990
(1)
Crnkovic, Ivica. editor.
(1)
Csöndes, Tibor. editor.
(1)
De Nicola, Rocco. editor.
(1)
Donnellan, Brian. editor.
(1)
Dudin, Alexander. editor. (orcid)0000-0003-2881-0227
(1)
Flammini, Michele. editor.
(1)
Fontoura de Gusmão Cerqueira, Renato. author.
(1)
Gairing, Martin. editor.
(1)
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917
(1)
Gortsev, Alexander. editor.
(1)
Groumpos, Peter. editor.
(1)
Hartono, Natalia. editor. (orcid)0000-0003-2314-1394
(1)
Helfert, Markus. editor.
(1)
Hevner, Alan. editor. (orcid)0000-0003-4953-3900
(1)
Huang, Letian. editor.
(1)
Hurwitz, Evan. author.
(1)
Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764
(1)
Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X
(1)
Jenihhin, Maksim. author.
(1)
Johnson, Colin. editor.
(1)
Johnson, Colin. editor. (orcid)0000-0002-9236-6581
(1)
Josipović, Lana. author.
(1)
Jutman, Artur. author.
(1)
Kalsgaard Møller, Anders. editor. (orcid)0000-0003-4581-4094
(1)
Kenneally, Jim. editor.
(1)
Kovács, Gábor. editor.
(1)
Kravets, Alla. editor.
(1)
Kultsova, Marina. editor.
(1)
Li, Fan. author. (orcid)0000-0002-2348-4488
(1)
Li, Youqi. author. (orcid)0000-0003-3867-5997
(1)
Lind, Morten. author.
(1)
Liu, Yu David. editor.
(1)
López Corona, Oliver. author.
(1)
Machado, Penousal. editor. (orcid)0000-0002-6308-6484
(1)
Maedche, Alexander. editor.
(1)
Marques Afonso, Luiz. author.
(1)
Marwala, Tshilidzi. author.
(1)
Meyer, Bertrand. editor.
(1)
Miller, Dale. editor. (orcid)0000-0003-0274-4954
(1)
Morita, Kenichi. author.
(1)
Mousavi, Mohammad Reza. editor.
(1)
Møller, Anders Kalsgaard. editor. (orcid)0000-0003-4581-4094
(1)
Nagesh Kumar, Dasika. author. (orcid)0000-0002-5294-8501
(1)
Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629
(1)
Park, James J. editor.
(1)
Park, Ji Su. editor. (orcid)0000-0001-9003-1131
(1)
Parsons, Jeffrey. editor.
(1)
Pham, D. T. editor. (orcid)0000-0003-3148-2404
(1)
Qian, Lulu. editor.
(1)
Quan, Wei. author.
(1)
Raik, Jaan. author.
(1)
Rebelo, Sérgio M. editor.
(1)
Reynolds, Andrew. editor.
(1)
Rondelez, Yannick. editor.
(1)
Rossi de Mello Brandão, Rafael. author.
(1)
Réthy, György. editor.
(1)
Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X
(1)
Santos, Iria. editor.
(1)
Santos, Iria. editor. (orcid)0000-0002-4910-3890
(1)
Savani, Rahul. editor.
(1)
Shcherbakov, Maxim. editor.
(1)
Shen, Hong. editor.
(1)
Sieckenius de Souza, Clarisse. author.
(1)
Sirjani, Marjan. editor.
(1)
Soares Jansen Ferreira, Juliana. author.
(1)
Soudjani, Sadegh. editor.
(1)
Srinivasa Raju, Komaragiri. author. (orcid)0009-0006-9268-8229
(1)
Su, Wei. author.
(1)
Takizawa, Hiroyuki. editor. (orcid)0000-0003-2858-3140
(1)
Tang, Xifan. author.
(1)
Tasiran, Serdar. editor.
(1)
Thiemann, Peter. editor.
(1)
Troubitsyna, Elena. editor.
(1)
Tryfonas, Theo. editor.
(1)
Tu, Kaihui. author.
(1)
Tuunanen, Tuure. editor.
(1)
Ubar, Raimund. author.
(1)
Venable, John. editor.
(1)
Waga, Masaki. editor. (orcid)0000-0001-9360-7490
(1)
Wang, Farn. editor.
(1)
West, Jeffrey. author. (orcid)0000-0001-9579-4664
(1)
Wisniewski, Rafael. editor.
(1)
Woods, Damien. editor.
(1)
Xiao, Mingyu. editor.
(1)
Yakupov, Rafael. editor.
(1)
Yang, Song. author.
(1)
Yin, Yitong. editor. (orcid)0000-0001-9204-7794
(1)
Yu, Cunxi. author. (orcid)0000-0003-3481-307X
(1)
Yuan, Chongyi. author.
(1)
Zhang, Chuan. author.
(1)
Zhang, Hongke. author.
(1)
van der Aalst, Wil. editor.
(1)
vom Brocke, Jan. editor.
(1)
More
View All
Fewer
Collapse All
Language
Include
Exclude
English
(49)
Publication Date
Include
Exclude
-
2016
(14)
2024
(14)
2017
(12)
2025
(9)
Subject
Include
Exclude
Software engineering.
(19)
Theory of Computation.
(19)
Artificial intelligence.
(16)
Models of Computation.
(13)
Computer Science Logic and Foundations of Programming.
(12)
Computer networks .
(12)
Application software.
(10)
Computer and Information Systems Applications.
(10)
Compilers (Computer programs).
(9)
Compilers and Interpreters.
(9)
Computer science -- Mathematics.
(9)
Computer Communication Networks.
(8)
Formal Languages and Automata Theory.
(7)
Machine theory.
(7)
Computer Modelling.
(6)
Computer programming.
(6)
Computer simulation.
(6)
Human-computer interaction.
(6)
Machine learning.
(6)
Programming Techniques.
(6)
Theory and Algorithms for Application Domains.
(6)
User Interfaces and Human Computer Interaction.
(6)
User interfaces (Computer systems).
(6)
Algorithms.
(5)
Computer System Implementation.
(5)
Computer systems.
(5)
Computers and Society.
(5)
Computers and civilization.
(5)
Mathematical statistics.
(5)
Probability and Statistics in Computer Science.
(5)
Computer Engineering and Networks.
(4)
Computer engineering.
(4)
Bioinformatics.
(3)
Data Mining and Knowledge Discovery.
(3)
Data mining.
(3)
Database management.
(3)
Discrete Mathematics in Computer Science.
(3)
Discrete mathematics.
(3)
Electronic commerce.
(3)
Electronic data processing -- Management.
(3)
IT Operations.
(3)
Information Storage and Retrieval.
(3)
Information storage and retrieval systems.
(3)
e-Commerce and e-Business.
(3)
Artificial intelligence -- Data processing.
(2)
Computational and Systems Biology.
(2)
Computer Application in Administrative Data Processing.
(2)
Computer vision.
(2)
Computers and Education.
(2)
Data Science.
(2)
Data and Information Security.
(2)
Data protection.
(2)
Design and Analysis of Algorithms.
(2)
Education -- Data processing.
(2)
Electronic digital computers -- Evaluation.
(2)
Information technology -- Management.
(2)
Numerical analysis.
(2)
Programming Language.
(2)
Programming languages (Electronic computers).
(2)
Signal processing.
(2)
Signal, Speech and Image Processing.
(2)
System Performance and Evaluation.
(2)
Big data.
(1)
Business information services.
(1)
C++ (Computer program language).
(1)
C++.
(1)
Civil engineering.
(1)
Complex Systems.
(1)
Computational complexity.
(1)
Computer Hardware.
(1)
Computer architecture.
(1)
Computer hardware description languages.
(1)
Computer programs -- Testing.
(1)
Computer-Aided Engineering (CAD, CAE) and Design.
(1)
Computer-aided engineering.
(1)
Computers, Special purpose.
(1)
Computers.
(1)
Control Structures and Microprogramming.
(1)
Cooperating objects (Computer systems).
(1)
Cyber-Physical Systems.
(1)
Differential equations.
(1)
Econometrics.
(1)
Electric power production.
(1)
Electrical Power Engineering.
(1)
Electronic Circuits and Systems.
(1)
Electronic circuits.
(1)
Health Informatics.
(1)
IT in Business.
(1)
Industrial Management.
(1)
Industrial and Production Engineering.
(1)
Industrial design.
(1)
Industrial engineering.
(1)
Logic in AI.
(1)
Logic programming.
(1)
Mathematics of Computing.
(1)
Medical informatics.
(1)
Microprocessors.
(1)
Microprogramming .
(1)
Mobile computing.
(1)
Natural Language Processing (NLP).
(1)
Natural language processing (Computer science).
(1)
Neuroengineering.
(1)
Neurotechnology (Bioengineering).
(1)
Open Source.
(1)
Open source software.
(1)
Operating Systems.
(1)
Operating systems (Computers).
(1)
Operations Research and Decision Theory.
(1)
Operations research.
(1)
Philosophy of Technology.
(1)
Probabilities.
(1)
Probability Theory.
(1)
Processor Architectures.
(1)
Production engineering.
(1)
Quantitative Economics.
(1)
Register-Transfer-Level Implementation.
(1)
Software Testing.
(1)
Special Purpose and Application-Based Systems.
(1)
System theory.
(1)
Technology -- Philosophy.
(1)
Traffic engineering.
(1)
Transportation Technology and Traffic Engineering.
(1)
Transportation engineering.
(1)
More
View All
Fewer
Collapse All
Material Type
Include
Exclude
E-Book
Shelf Location
Include
Exclude
1:SPRINGER
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
49 Results Found
1
2
3
4
5
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.
49.
Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
Author
Castor, Fernando. editor. Liu, Yu David. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
https://doi.org/10.1007/978-3-319-45279-1
Format:
Availability
Online Library~1
Available:
Copies:
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
1
2
3
4
5
