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: Software engineering.
Author
Include
Exclude
SpringerLink (Online service)
(193)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(10)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(9)
Legay, Axel. editor.
(6)
Schmidt, Renate A. editor.
(4)
Liu, Shaoying. editor.
(3)
Albert, Elvira. editor.
(2)
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093
(2)
Bernardo, Marco. editor.
(2)
Blazy, Sandrine. editor.
(2)
Bouajjani, Ahmed. editor.
(2)
Chaudhuri, Swarat. editor.
(2)
De Nicola, Rocco. editor.
(2)
Debruyne, Christophe. editor.
(2)
Farzan, Azadeh. editor.
(2)
Fränzle, Martin. editor.
(2)
Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421
(2)
Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801
(2)
Hinchey, Mike. editor.
(2)
Huisman, Marieke. editor. (orcid)0000-0003-4467-072X
(2)
Hähnle, Reiner. editor.
(2)
Johnsen, Einar Broch. editor.
(2)
Kapur, Deepak. editor.
(2)
Lecomte, Thierry. editor.
(2)
Lämmel, Ralf. editor.
(2)
Mayr, Heinrich C. editor.
(2)
Nikitchenko, Mykola. editor.
(2)
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259
(2)
Ong, Luke. editor.
(2)
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
(2)
Potapov, Igor. editor.
(2)
Proença, José. editor.
(2)
Roman, Dumitru. editor.
(2)
Romanovsky, Alexander. editor.
(2)
Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X
(2)
Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340
(2)
Saraiva, João. editor.
(2)
Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X
(2)
Son, Tran Cao. editor.
(2)
Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126
(2)
Voronkov, Andrei. editor.
(2)
Zholtkevych, Grygoriy. editor.
(2)
de Moura, Leonardo. editor.
(2)
Ábrahám, Erika. 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.
(1)
Abelló, Alberto. editor.
(1)
Aceto, Luca. editor.
(1)
Ahrendt, Wolfgang. editor.
(1)
Aichernig, Bernhard K. editor.
(1)
Aiswarya, C. editor. (orcid)0000-0002-4878-7581
(1)
Aldini, Alessandro. editor.
(1)
Alferes, Jose Julio. editor.
(1)
Alkhalaf, Muath. author.
(1)
Antonucci, Alessandro. editor.
(1)
Arbel, Eli. editor.
(1)
Ardagna, Claudio Agostino. editor. (orcid)0000-0001-7426-4795
(1)
Artho, Cyrille. editor.
(1)
Ayala-Rincón, Mauricio. editor.
(1)
Aydin, Abdulbaki. author.
(1)
Bacci, Giorgio. editor.
(1)
Bacci, Giovanni. editor.
(1)
Baier, Christel. editor.
(1)
Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408
(1)
Balduccini, Marcello. editor.
(1)
Barbosa, Haniel. editor.
(1)
Barrett, Clark. editor.
(1)
Batsakis, Sotiris. editor.
(1)
Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291
(1)
Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066
(1)
Bensalem, Saddek. editor.
(1)
Berdine, Josh. editor.
(1)
Bertacco, Valeria. editor.
(1)
Bertogna, Marko. editor.
(1)
Bertossi, Leopoldo. editor.
(1)
Best, Eike. editor.
(1)
Beyer, Dirk. editor.
(1)
Biere, Armin. editor.
(1)
Binder, Walter. editor.
(1)
Biro, Miklos. editor.
(1)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(1)
Blanchette, Jasmin Christian. editor.
(1)
Bloem, Roderick. editor.
(1)
Blömer, Johannes. editor.
(1)
Bodden, Eric. editor.
(1)
Boer, Frank S. editor.
(1)
Bogomolov, Sergiy. editor.
(1)
Boldo, Sylvie. editor.
(1)
Bollen, Peter. editor.
(1)
Bollig, Benedikt. author.
(1)
Bonacina, Maria Paola. editor.
(1)
Bonsangue, Marcello M. editor.
(1)
Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618
(1)
Boreale, Michele. editor.
(1)
Bouraoui, Zied. editor.
(1)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(1)
Bowen, Judy. editor.
(1)
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X
(1)
Bošnački, Dragan. editor.
(1)
Braga, Christiano. editor.
(1)
Bravetti, Mario. editor.
(1)
Broering, Arne. editor.
(1)
Bubel, Richard. editor.
(1)
Bultan, Tevfik. author.
(1)
Butler, Michael. editor.
(1)
Cabalar, Pedro. editor.
(1)
Carayol, Arnaud. editor.
(1)
Carmona, Josep. editor.
(1)
Carrascosa, Carlos. editor.
(1)
Castagna, Giuseppe. editor.
(1)
Castor, Fernando. editor.
(1)
Cavalcanti, Ana. editor.
(1)
Cellier, Peggy. editor.
(1)
Chechik, Marsha. editor.
(1)
Chechik, Marsha. editor. (orcid)0000-0002-6301-3517
(1)
Cholvy, Laurence. editor.
(1)
Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X
(1)
Ciuciu, Ioana. editor.
(1)
Coecke, Bob. editor.
(1)
Cornélio, Márcio. editor.
(1)
Costantini, Stefania. editor.
(1)
Criado Pacheco, Natalia. editor.
(1)
Crnkovic, Ivica. editor.
(1)
Cunha, Jácome. editor.
(1)
Czarnecki, Krzysztof. editor.
(1)
Cámara, Javier. editor.
(1)
Câmpeanu, Cezar. editor.
(1)
Davies, Misty. editor.
(1)
Dierkes, Michael. editor.
(1)
Distel, Felix. editor.
(1)
Dix, Alan. editor.
(1)
Dixon, Clare. editor.
(1)
Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571
(1)
Duan, Zhenhua. editor.
(1)
Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433
(1)
Duchier, Denys. editor.
(1)
Echahed, Rachid. editor.
(1)
Eder, Johann. editor.
(1)
Engels, Gregor. editor.
(1)
England, Matthew. editor.
(1)
Ermolayev, Vadim. editor.
(1)
Ernst, Gidon. editor. (orcid)0000-0002-3289-5764
(1)
Erwig, Martin. editor.
(1)
Esparza, Javier. editor. (orcid)0000-0001-9862-4919
(1)
Feliachi, Abderrahmane. editor.
(1)
Fensel, Anna. editor.
(1)
Fernandes, João P. editor.
(1)
Finger, Marcelo. editor.
(1)
Fitzgerald, John. editor.
(1)
Fleuriot, Jacques. editor.
(1)
Fodor, Paul. editor.
(1)
Fontaine, Pascal. editor.
(1)
Foster, Simon. editor. (orcid)0000-0002-9889-9514
(1)
Franconi, Enrico. editor.
(1)
Frank, Anette. editor. (orcid)0000-0003-4706-9817
(1)
Frank, Ulrich. editor.
(1)
Furia, Carlo A. editor.
(1)
Fähndrich, Manuel. editor.
(1)
Gaaloul, Walid. editor.
(1)
Galmiche, Didier. editor.
(1)
Ganter, Bernhard. editor.
(1)
Gaudel, Marie-Claude. editor.
(1)
Geeraerts, Gilles. editor.
(1)
Geuvers, Herman. editor.
(1)
Ghosh, Sujata. editor.
(1)
Giachino, Elena. editor.
(1)
Giacobazzi, Roberto. editor.
(1)
Gibson-Robinson, Thomas. editor.
(1)
Gorrieri, Roberto. author.
(1)
Governatori, Guido. editor.
(1)
Graf, Susanne. editor. (orcid)0000-0003-4354-6807
(1)
Groves, Lindsay. editor.
(1)
Guiochet, Jérémie. editor.
(1)
Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X
(1)
Gurfinkel, Arie. editor.
(1)
Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023
(1)
Hage, Jurriaan. editor.
(1)
Hague, Matthew. editor.
(1)
Hankin, Chris. editor.
(1)
Hansen, René Rydhof. editor.
(1)
Hasan, Osman. editor.
(1)
Hedin, Görel. editor.
(1)
Heitmeyer, Constance. editor.
(1)
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
(1)
Hierons, Robert M. editor.
(1)
Hillston, Jane. editor. (orcid)0000-0003-4914-9255
(1)
Hinze, Ralf. editor.
(1)
Hopcroft, Philippa. editor.
(1)
Hung, Dang Van. editor.
(1)
Höfner, Peter. editor.
(1)
Ida, Tetsuo. editor.
(1)
Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764
(1)
Ingólfsdóttir, Anna. editor.
(1)
Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384
(1)
Jacobs, Bart. editor.
(1)
James, Phillip. editor.
(1)
Janhunen, Tomi. editor.
(1)
Jimenez-Ruiz, Ernesto. editor.
(1)
More
View All
Fewer
Collapse All
Language
Include
Exclude
English
(193)
Publication Date
Include
Exclude
-
2016
(60)
2017
(60)
2013
(43)
2025
(15)
2024
(13)
2006
(1)
2010
(1)
More
View All
Fewer
Collapse All
Subject
Include
Exclude
Computer science.
(164)
Formal Languages and Automata Theory.
(135)
Machine theory.
(135)
Computer Science Logic and Foundations of Programming.
(110)
Artificial intelligence.
(73)
Compilers (Computer programs).
(72)
Compilers and Interpreters.
(72)
Programming Techniques.
(46)
Mathematical Logic and Formal Languages.
(43)
Logic design.
(34)
Logics and Meanings of Programs.
(34)
Computer Communication Networks.
(30)
Computer networks .
(29)
Computer programming.
(29)
Algorithms.
(28)
Theory of Computation.
(27)
Programming Languages, Compilers, Interpreters.
(25)
Application software.
(23)
Computer and Information Systems Applications.
(23)
Computer simulation.
(22)
Computer science -- Mathematics.
(20)
Artificial Intelligence (incl. Robotics).
(19)
Computer Modelling.
(18)
Special Purpose and Application-Based Systems.
(15)
Computers, Special purpose.
(14)
Discrete Mathematics in Computer Science.
(13)
Computer software.
(11)
Algorithm Analysis and Problem Complexity.
(10)
Computation by Abstract Devices.
(8)
Computer System Implementation.
(8)
Computer systems.
(8)
Discrete mathematics.
(8)
Mathematics of Computing.
(8)
Information Storage and Retrieval.
(7)
Information storage and retrieval systems.
(7)
Computer Engineering and Networks.
(6)
Computer engineering.
(6)
Control Structures and Microprogramming.
(6)
Logic in AI.
(6)
Logic programming.
(6)
Microprogramming .
(6)
Computational complexity.
(5)
Data Mining and Knowledge Discovery.
(5)
Data mining.
(5)
Data protection.
(5)
Electronic data processing -- Management.
(5)
IT Operations.
(5)
Natural Language Processing (NLP).
(5)
Natural language processing (Computer science).
(5)
Data and Information Security.
(4)
Database management.
(4)
Information theory.
(4)
Mathematical Logic and Foundations.
(4)
Mathematical logic.
(4)
Simulation and Modeling.
(4)
Symbolic and Algebraic Manipulation.
(4)
Computers.
(3)
Electronic digital computers -- Evaluation.
(3)
Information Systems Applications (incl. Internet).
(3)
Information Systems.
(3)
Management of Computing and Information Systems.
(3)
Mathematical statistics.
(3)
Models of Computation.
(3)
Probability and Statistics in Computer Science.
(3)
Programming Language.
(3)
Programming languages (Electronic computers).
(3)
System Performance and Evaluation.
(3)
Algebra -- Data processing.
(2)
Artificial intelligence -- Data processing.
(2)
Computer Application in Administrative Data Processing.
(2)
Data Science.
(2)
Data Structures and Information Theory.
(2)
Data structures (Computer science).
(2)
Information systems.
(2)
Information technology -- Management.
(2)
Software Engineering/Programming and Operating Systems.
(2)
Algebra.
(1)
Automated Pattern Recognition.
(1)
Business information services.
(1)
Computer Science, general.
(1)
Computer graphics.
(1)
Computer programs -- Testing.
(1)
Computers and Education.
(1)
Computers and Society.
(1)
Computers and civilization.
(1)
Computing Milieux.
(1)
Control and Systems Theory.
(1)
Control engineering.
(1)
Design and Analysis of Algorithms.
(1)
Education -- Data processing.
(1)
Hardware Performance and Reliability.
(1)
Health Informatics.
(1)
Human-computer interaction.
(1)
IT in Business.
(1)
Industrial and Production Engineering.
(1)
Industrial engineering.
(1)
Languages.
(1)
Mathematical Applications in Computer Science.
(1)
Medical records -- Data processing.
(1)
Monoclonal antibodies.
(1)
Operating Systems.
(1)
Operating systems (Computers).
(1)
Optical pattern recognition.
(1)
Order, Lattices, Ordered Algebraic Structures.
(1)
Pattern Recognition.
(1)
Pattern recognition systems.
(1)
Philology.
(1)
Professions.
(1)
Robotic Engineering.
(1)
Robotics.
(1)
Software Testing.
(1)
Systems and Data Security.
(1)
The Computing Profession.
(1)
User Interfaces and Human Computer Interaction.
(1)
User interfaces (Computer systems).
(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
193 Results Found
1
..
13
14
15
16
17
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.
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Author
Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE(334634.1)
Electronic Access
http://dx.doi.org/10.1007/978-3-642-38613-8
Format:
Availability
Online Library~1
Available:
Copies:
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
1
..
13
14
15
16
17
