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 programming.
Author
Include
Exclude
SpringerLink (Online service)
(73)
Deelman, Ewa. editor. (orcid)0000-0001-5106-503X
(2)
Dongarra, Jack. editor.
(2)
Karczewski, Konrad. editor.
(2)
Kitowski, Jacek. editor.
(2)
Maciaszek, Leszek A. editor.
(2)
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259
(2)
Perner, Petra. editor.
(2)
Sirjani, Marjan. editor.
(2)
Wiatr, Kazimierz. editor.
(2)
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
(2)
Abelló, Alberto. editor.
(1)
Achilleos, Achilleas. editor. (orcid)0000-0001-7157-8991
(1)
Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369
(1)
Aichernig, Bernhard K. editor.
(1)
Alam, Mehwish. editor. (orcid)0000-0002-7867-6612
(1)
Ampatzoglou, Apostolos. editor.
(1)
Anjorin, Anthony. editor.
(1)
Balduccini, Marcello. editor.
(1)
Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448
(1)
Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066
(1)
Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973
(1)
Bhowmik, Tanmay. editor.
(1)
Blazy, Sandrine. editor.
(1)
Bojańczyk, Mikołaj. editor.
(1)
Botterweck, Goetz. editor.
(1)
Boucheneb, Hanifa. editor.
(1)
Bråthen, Svein. editor.
(1)
Burns, Richard. editor. (orcid)0000-0002-3961-438X
(1)
Cabaleiro, José C. editor.
(1)
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
(1)
Cao, Jian-nong. editor.
(1)
Cariani, Fabrizio. editor.
(1)
Carretero, Jesus. editor.
(1)
Chatterjee, Mainak. editor.
(1)
Chechik, Marsha. editor.
(1)
Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990
(1)
Corchado, Emilio. editor.
(1)
Costantini, Stefania. editor.
(1)
Criswell, John. editor.
(1)
Cussens, James. editor.
(1)
Dastani, Mehdi. editor.
(1)
De Nicola, Rocco. editor.
(1)
Di Napoli, Edoardo. editor.
(1)
Ding, Chen. editor.
(1)
Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286
(1)
Doder, Dragan. editor. (orcid)0000-0003-0067-3654
(1)
Domínguez Mayo, Francisco José. editor.
(1)
Drewes, Frank. editor.
(1)
Duan, Zhenhua. editor.
(1)
Dutot, Pierre-François. editor.
(1)
Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270
(1)
Espinoza, Huáscar. editor.
(1)
Falcone, Yliès. editor.
(1)
Ferreira, Joao C. editor.
(1)
Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341
(1)
Fischbach, Kai. editor.
(1)
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736
(1)
Franconi, Enrico. editor.
(1)
Fuentes, Lidia. editor. (orcid)0000-0002-5677-7156
(1)
Furia, Carlo A. editor.
(1)
Gabmeyer, Sebastian. editor.
(1)
Garcia-Blas, Javier. editor.
(1)
García Rodríguez de Guzmán, Ignacio. editor. (orcid)0000-0002-0038-0942
(1)
Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145
(1)
Giannakopoulou, Dimitra. editor.
(1)
Grossi, Davide. editor.
(1)
Guerra, Esther. editor. (orcid)0000-0002-2818-2278
(1)
Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X
(1)
Gupta, Gopal. editor. (orcid)0000-0001-9727-0362
(1)
Gurfinkel, Arie. editor.
(1)
Harmer, Russ. editor. (orcid)0000-0002-0817-1029
(1)
Helgheim, Berit Irene. editor.
(1)
Hermanns, Marc-André. editor.
(1)
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X
(1)
Hollink, Laura. editor. (orcid)0000-0002-6865-0021
(1)
Holmes, John H. editor.
(1)
Iliev, Hristo. editor.
(1)
Inoue, Katsumi. editor.
(1)
Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384
(1)
Jacquet, Jean-Marie. editor.
(1)
Janhunen, Tomi. editor.
(1)
Jarzębowicz, Aleksander. editor.
(1)
Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678
(1)
Johnsen, Einar Broch. editor.
(1)
Jones, Richard. editor.
(1)
Kaindl, Hermann. editor.
(1)
Kapitsaki, Georgia M. editor.
(1)
Knapp, Alexander. editor. (orcid)0000-0002-4050-3249
(1)
Ko, Ryan K.L. editor.
(1)
Kocian, Alexander. editor.
(1)
Kontchakov, Roman. editor.
(1)
Kosiol, Jens. editor. (orcid)0000-0003-4733-2777
(1)
Kothapalli, Kishore. editor.
(1)
Krieger, Udo R. editor.
(1)
Kunčak, Viktor. editor.
(1)
Kühn, Eva. editor.
(1)
Lahiri, Shuvendu. editor.
(1)
Lawford, Mark. editor.
(1)
Lemanski, Jens. editor. (orcid)0000-0003-3661-4752
(1)
Leone, Nicola. editor.
(1)
Lintermann, Andreas. editor.
(1)
Liu, Shaoying. editor.
(1)
Liu, Shaoying. editor. (orcid)0000-0002-6748-5052
(1)
Lluch Lafuente, Alberto. editor.
(1)
Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071
(1)
Luković, Ivan. editor. (orcid)0000-0003-1319-488X
(1)
Lönn, Henrik. editor.
(1)
Ma, Hui. editor.
(1)
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017
(1)
Majumdar, Rupak. editor.
(1)
Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021
(1)
Manna, Marco. editor. (orcid)0000-0003-3323-9328
(1)
Mannion, Mike. editor.
(1)
Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735
(1)
Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595
(1)
Martín-Vide, Carlos. editor.
(1)
Martínez de Pisón, Francisco Javier. editor.
(1)
Massink, Mieke. editor.
(1)
Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091
(1)
Meheus, Joke. editor.
(1)
Mery, Dominique. editor. (orcid)0000-0001-5231-6611
(1)
Merz, Stephan. editor.
(1)
Mili, Ali. editor.
(1)
Mousavi, Mohammad Reza. editor.
(1)
Mueller, Frank. editor.
(1)
Mueller, Peter. editor.
(1)
Nakano, Koji. editor.
(1)
Nalon, Cláudia. editor.
(1)
Ochodek, Mirosław. editor. (orcid)0000-0002-9103-717X
(1)
Ohwada, Hayato. editor.
(1)
Ong, Luke. editor.
(1)
Orejas, Fernando. editor.
(1)
Ouhammou, Yassine. editor.
(1)
Pang, Jun. editor.
(1)
Papadopoulos, George Angelos. editor. (orcid)0000-0001-9250-4916
(1)
Parent, Xavier. editor.
(1)
Pastor, Oscar. editor. (orcid)0000-0002-1320-8471
(1)
Pena, Tomás F. editor.
(1)
Peng, Xin. editor.
(1)
Peyser, Alexander. editor.
(1)
Piattini, Mario. editor. (orcid)0000-0002-7212-8279
(1)
Plump, Detlef. editor.
(1)
Popow, Christian. editor. (orcid)0000-0002-0496-1453
(1)
Proença, José. editor.
(1)
Przybyłek, Adam. editor.
(1)
Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184
(1)
Quintián, Héctor. editor.
(1)
Rajsbaum, Sergio. editor.
(1)
Reger, Giles. editor.
(1)
Rivera, Francisco F. editor.
(1)
Roman, Dumitru. editor.
(1)
Rospocher, Marco. editor. (orcid)0000-0001-9391-3201
(1)
Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248
(1)
Russo, Alessandra. editor.
(1)
Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825
(1)
Sadri, Fariba. editor.
(1)
Salaün, Gwen. editor.
(1)
Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709
(1)
Santana de Almeida, Eduardo. editor.
(1)
Schaefer, Ina. editor.
(1)
Schmidt, Renate A. editor.
(1)
Seidl, Martina. editor.
(1)
Seshia, Sanjit A. editor.
(1)
Sgall, Jiří. editor.
(1)
Shen, Xipeng. editor.
(1)
Sherratt, Edel. editor.
(1)
Simpson, Alex. editor.
(1)
Soeken, Mathias. editor. (orcid)0000-0002-0229-8766
(1)
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
(1)
Stamelos, Ioannis. editor.
(1)
Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864
(1)
Sun, Meng. editor.
(1)
Sánchez, César. editor.
(1)
Tahar, Sofiène. editor.
(1)
Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554
(1)
Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609
(1)
Tichy, Matthias. editor. (orcid)0000-0002-9067-3748
(1)
Tillmann, Nikolai. editor.
(1)
Tokkozhina, Ulpan. editor.
(1)
Truthe, Bianca. editor.
(1)
Trystram, Denis. editor.
(1)
Tuck, James. editor.
(1)
Urraca, Rubén. editor.
(1)
Van Woensel, William. editor.
(1)
Viana, Petrucio. editor. (orcid)0000-0002-3517-6706
(1)
Werner, Claudia. editor.
(1)
Wu, Peng. editor.
(1)
Wu, Yulei. editor. (orcid)0000-0003-0801-8443
(1)
Wąsowski, Andrzej. editor.
(1)
Xu, Min. editor.
(1)
Yamamoto, Akihiro. editor.
(1)
Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656
(1)
de Lara, Juan. editor.
(1)
ten Teije, Annette. editor.
(1)
van Erp, Marieke. editor. (orcid)0000-0001-9195-8203
(1)
van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353
(1)
Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028
(1)
Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036
(1)
More
View All
Fewer
Collapse All
Language
Include
Exclude
English
(73)
Publication Date
Include
Exclude
-
2017
(27)
2016
(16)
2024
(9)
2014
(8)
2019
(7)
2025
(6)
More
View All
Fewer
Collapse All
Subject
Include
Exclude
Programming Techniques.
(58)
Software engineering.
(51)
Compilers (Computer programs).
(39)
Compilers and Interpreters.
(39)
Artificial intelligence.
(27)
Computer science.
(27)
Algorithms.
(22)
Computer Science Logic and Foundations of Programming.
(21)
Formal Languages and Automata Theory.
(20)
Machine theory.
(20)
Application software.
(16)
Computer and Information Systems Applications.
(15)
Computer networks .
(13)
Programming languages (Electronic computers).
(12)
Computer Communication Networks.
(10)
Computer System Implementation.
(9)
Computer systems.
(9)
Electronic digital computers -- Evaluation.
(9)
System Performance and Evaluation.
(9)
Computer science -- Mathematics.
(7)
Computers.
(7)
Theory of Computation.
(7)
Computer logic.
(6)
Data Mining and Knowledge Discovery.
(6)
Data mining.
(6)
Computer communication systems.
(5)
Data structures (Computer science).
(5)
Discrete Mathematics in Computer Science.
(5)
Discrete mathematics.
(5)
Mathematical logic.
(5)
Computer simulation.
(4)
Computers, Special purpose.
(4)
Data Structures and Information Theory.
(4)
Database management.
(4)
Information theory.
(4)
Special Purpose and Application-Based Systems.
(4)
Computer Engineering and Networks.
(3)
Computer Modelling.
(3)
Computer engineering.
(3)
Computer science—Mathematics.
(3)
Design and Analysis of Algorithms.
(3)
Operating Systems.
(3)
Operating systems (Computers).
(3)
Control Structures and Microprogramming.
(2)
Mathematics of Computing.
(2)
Microprogramming .
(2)
Professions.
(2)
The Computing Profession.
(2)
Architecture, Computer.
(1)
Artificial intelligence -- Data processing.
(1)
Computer Application in Administrative Data Processing.
(1)
Computer Hardware.
(1)
Computer architecture.
(1)
Computer security.
(1)
Computer system failures.
(1)
Computer-Aided Engineering (CAD, CAE) and Design.
(1)
Computer-aided engineering.
(1)
Computing Milieux.
(1)
Data Science.
(1)
Data and Information Security.
(1)
Data protection.
(1)
Database Management System.
(1)
Electronic data processing -- Management.
(1)
Human-computer interaction.
(1)
IT Operations.
(1)
Information Storage and Retrieval.
(1)
Information storage and retrieval systems.
(1)
Information technology -- Management.
(1)
Logic design.
(1)
Logic in AI.
(1)
Logic programming.
(1)
Microprocessors.
(1)
Natural Language Processing (NLP).
(1)
Natural language processing (Computer science).
(1)
Numerical analysis.
(1)
Processor Architectures.
(1)
Programming Language.
(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
73 Results Found
1
..
3
4
5
6
7
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.
73.
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Author
Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
https://doi.org/10.1007/978-3-319-29613-5
Format:
Availability
Online Library~1
Available:
Copies:
Select an Action
Place Hold(s)
Add to My Lists
Email
Print
1
..
3
4
5
6
7
