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 Communication Networks.
Author
Include
Exclude
SpringerLink (Online service)
(73)
Chen, Xilin. editor.
(13)
Ji, Rongrong. editor. (orcid)0000-0003-4739-8936
(13)
Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
(13)
Ma, Zhanyu. editor.
(13)
Wang, Hanzi. editor.
(13)
Wang, Liang. editor. (orcid)0000-0001-5224-8647
(13)
Zha, Hongbin. editor. (orcid)0000-0001-5860-4673
(13)
Zheng, Weishi. editor. (orcid)0000-0001-8327-0003
(13)
Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X
(10)
Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758
(10)
Tetko, Igor V. editor. (orcid)0000-0002-6855-0012
(10)
Wand, Michael. editor. (orcid)0000-0003-0966-7824
(10)
Ali, Moonis. editor.
(2)
Benferhat, Salem. editor. (orcid)0000-0002-4853-3637
(2)
Bouajjani, Ahmed. editor.
(2)
Bubba, Tatiana A. editor. (orcid)0000-0003-0020-9210
(2)
Cintrano, Christian. editor.
(2)
Correia, João. editor.
(2)
Gaburro, Romina. editor. (orcid)0000-0002-6186-0712
(2)
García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894
(2)
Gazzola, Silvia. editor. (orcid)0000-0001-9588-0896
(2)
Hart, Emma. editor.
(2)
Královič, Rastislav. editor. (orcid)0000-0003-1121-1009
(2)
Kůrková, Věra. editor. (orcid)0000-0002-8181-2128
(2)
Papafitsoros, Kostas. editor. (orcid)0000-0001-9691-4576
(2)
Pereyra, Marcelo. editor. (orcid)0000-0001-6438-6772
(2)
Schönlieb, Carola-Bibiane. editor. (orcid)0000-0003-0099-6306
(2)
Smith, Stephen. editor.
(2)
Tabia, Karim. editor.
(2)
Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817
(2)
Albert, Elvira. editor.
(1)
Amos, Martyn. editor.
(1)
Andreev, Sergey. editor.
(1)
Antonucci, Alessandro. editor.
(1)
Arbel, Eli. editor.
(1)
Balandin, Sergey. editor.
(1)
Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408
(1)
Bao, Zhifeng. editor.
(1)
Basu, Amitabh. editor. (orcid)0000-0002-1070-2626
(1)
Bloem, Roderick. editor.
(1)
Bogomolov, Sergiy. editor.
(1)
Bollen, Peter. editor.
(1)
Borovica-Gajic, Renata. editor. (orcid)0000-0003-3503-4123
(1)
Brlek, Srečko. editor.
(1)
Broering, Arne. editor.
(1)
Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109
(1)
Cai, Zhiping. editor. (orcid)0000-0001-5726-833X
(1)
Castañeda, Armando. editor. (orcid)0000-0002-8017-8639
(1)
Chau, Vincent. editor. (orcid)0000-0002-3362-2063
(1)
Chen, Mingzhe. author.
(1)
Chen, Yubo. editor. (orcid)0000-0002-5485-9916
(1)
Cholvy, Laurence. editor.
(1)
Choudhury, Farhana. editor.
(1)
Ciuciu, Ioana. editor.
(1)
Condon, Anne. editor.
(1)
Cook, Matthew. editor.
(1)
Crnkovic, Ivica. editor.
(1)
Cui, Shuguang. author.
(1)
Debruyne, Christophe. editor.
(1)
Dennunzio, Alberto. editor.
(1)
Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953
(1)
Dinh, Thang N. editor.
(1)
Dolce, Francesco. editor.
(1)
Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571
(1)
Duan, Zhenhua. editor.
(1)
Duffy, Vincent G. editor.
(1)
Dürr, Christoph. editor. (orcid)0000-0001-8103-5333
(1)
Eick, Bettina. editor. (orcid)0000-0003-2884-6545
(1)
Enea, Constantin. editor.
(1)
Feng, Jiali. editor.
(1)
Fensel, Anna. editor.
(1)
Formenti, Enrico. editor.
(1)
Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159
(1)
Galinina, Olga. editor.
(1)
Gamard, Guilhem. editor.
(1)
Gibson-Robinson, Thomas. editor.
(1)
Goertzel, Ben. editor.
(1)
Gupta, Nirupam. editor.
(1)
Han, Xianpei. editor. (orcid)0000-0002-1304-6302
(1)
He, Yulan. editor.
(1)
Hopcroft, Philippa. editor.
(1)
Jimenez-Ruiz, Ernesto. editor.
(1)
Jobstmann, Barbara. editor.
(1)
Kern-Isberner, Gabriele. editor.
(1)
Kordon, Fabrice. editor.
(1)
Koucheryavy, Yevgeni. editor.
(1)
Lanese, Ivan. editor. (orcid)0000-0003-2527-9995
(1)
Lawford, Mark. editor.
(1)
Lazić, Ranko. editor.
(1)
Lecomte, Thierry. editor.
(1)
Leino, K. Rustan M. editor.
(1)
Leroy, Julien. editor.
(1)
Leykin, Anton. editor. (orcid)0000-0002-9216-3514
(1)
Li, Minming. editor. (orcid)0000-0002-7370-6237
(1)
Liang, Jiye. editor. (orcid)0000-0001-5887-9327
(1)
Lim, Resmana. editor.
(1)
Liu, Shaoying. editor.
(1)
Liu, Zhiyuan. editor. (orcid)0000-0002-7709-2543
(1)
Lu, Pinyan. editor. (orcid)0009-0005-0569-4122
(1)
Mahjoub, Ali Ridha. editor. (orcid)0000-0002-1079-1892
(1)
Manzoni, Luca. editor.
(1)
Martel, Matthieu. editor.
(1)
Martín-Vide, Carlos. editor.
(1)
Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424
(1)
Mizuki, Takaaki. editor.
(1)
Moldt, Daniel. editor.
(1)
Monniaux, David. editor.
(1)
Müller, Jörg P. editor.
(1)
Neary, Turlough. editor.
(1)
Nunes, Ingrid. editor.
(1)
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259
(1)
Ong, Luke. editor.
(1)
Pah, Nemuel Daniel. editor.
(1)
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
(1)
Papini, Odile. editor.
(1)
Pasila, Felix. editor.
(1)
Pinger, Ralf. editor.
(1)
Podnar Žarko, Ivana. editor.
(1)
Porreca, Antonio E. editor.
(1)
Poveda-Villalón, María. editor.
(1)
Prabhakar, Pavithra. editor.
(1)
Qiu, Ruihong. editor.
(1)
Rao, Gaoqi. editor.
(1)
Ren, Yue. editor. (orcid)0000-0002-6005-7119
(1)
Reutenauer, Christophe. editor.
(1)
Romanovsky, Alexander. editor.
(1)
Salazar González, Juan José. editor. (orcid)0000-0001-5683-0271
(1)
Santoso, Murtiyanto. editor.
(1)
Serrano, Martin. editor.
(1)
Shi, Zhongzhi. editor.
(1)
Silva, Alexandra. editor.
(1)
Soursos, Sergios. editor.
(1)
Strichman, Ofer. editor.
(1)
Sun, Maosong. editor.
(1)
Tanoto, Yusak. editor.
(1)
Thai, My T. editor.
(1)
Tian, Zhiliang. editor.
(1)
Troubitsyna, Elena. editor.
(1)
Tzoref-Brill, Rachel. editor.
(1)
Vandomme, Élise. editor.
(1)
Varró, Dániel. editor.
(1)
Vega-Rodríguez, Miguel A. editor.
(1)
Vidal, Maria-Esther. editor.
(1)
Weichhart, Georg. editor.
(1)
Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098
(1)
Xiao, Mingyu. editor.
(1)
Yang, Zhengyi. editor. (orcid)0000-0003-1772-6863
(1)
Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794
(1)
Zhang, Jialin. editor. (orcid)0000-0002-6245-1013
(1)
Ölveczky, Peter Csaba. author.
(1)
More
View All
Fewer
Collapse All
Language
Include
Exclude
English
(73)
Publication Date
Include
Exclude
-
2024
(31)
2017
(18)
2016
(14)
2025
(10)
Subject
Include
Exclude
Computer networks .
(73)
Artificial intelligence.
(45)
Application software.
(33)
Computer and Information Systems Applications.
(33)
Formal Languages and Automata Theory.
(27)
Machine theory.
(27)
Computer science.
(26)
Software engineering.
(22)
Computer System Implementation.
(19)
Computer systems.
(19)
Computer science -- Mathematics.
(18)
Computer vision.
(16)
Machine learning.
(16)
Computer Imaging, Vision, Pattern Recognition and Graphics.
(15)
Computer Science Logic and Foundations of Programming.
(15)
Image processing -- Digital techniques.
(15)
Theory of Computation.
(15)
Computers.
(14)
Computing Milieux.
(14)
Algorithms.
(12)
Mathematics of Computing.
(10)
Compilers (Computer programs).
(8)
Compilers and Interpreters.
(8)
Discrete Mathematics in Computer Science.
(7)
Discrete mathematics.
(7)
Computers, Special purpose.
(5)
Special Purpose and Application-Based Systems.
(5)
Computer programming.
(4)
Natural Language Processing (NLP).
(4)
Natural language processing (Computer science).
(4)
Programming Techniques.
(4)
Computer Modelling.
(3)
Computer simulation.
(3)
Data Mining and Knowledge Discovery.
(3)
Data Structures and Information Theory.
(3)
Data mining.
(3)
Data structures (Computer science).
(3)
Information Storage and Retrieval.
(3)
Information storage and retrieval systems.
(3)
Information theory.
(3)
Numerical analysis.
(3)
Computer Engineering and Networks.
(2)
Computer engineering.
(2)
Data and Information Security.
(2)
Data protection.
(2)
Database management.
(2)
Design and Analysis of Algorithms.
(2)
Image processing.
(2)
Mathematical Applications in Computer Science.
(2)
Mathematical statistics.
(2)
Probability and Statistics in Computer Science.
(2)
Symbolic and Algebraic Manipulation.
(2)
Automation.
(1)
Communications Engineering, Networks.
(1)
Computer Application in Administrative Data Processing.
(1)
Computer Application in Social and Behavioral Sciences.
(1)
Computer graphics.
(1)
Computers and Society.
(1)
Computers and civilization.
(1)
Control engineering.
(1)
Control, Robotics, Automation.
(1)
Database Management System.
(1)
Electric power production.
(1)
Electrical Power Engineering.
(1)
Electrical and Electronic Engineering.
(1)
Electrical engineering.
(1)
Electronic commerce.
(1)
Electronic data processing -- Management.
(1)
Electronic digital computers -- Evaluation.
(1)
Human-computer interaction.
(1)
IT Operations.
(1)
Information technology -- Management.
(1)
Mechanical Power Engineering.
(1)
Mobile communication systems.
(1)
Robotics.
(1)
Social sciences -- Data processing.
(1)
System Performance and Evaluation.
(1)
Telecommunication.
(1)
Theory and Algorithms for Application Domains.
(1)
User Interfaces and Human Computer Interaction.
(1)
User interfaces (Computer systems).
(1)
Wireless and Mobile Communication.
(1)
Wireless communication systems.
(1)
e-Commerce and e-Business.
(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
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.
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Author
Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number
ONLINE
Electronic Access
https://doi.org/10.1007/978-3-662-49122-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
