Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(12308)
Kim, Tai-hoon. editor.
(61)
Filipe, Joaquim. editor.
(41)
Gervasi, Osvaldo. editor.
(39)
Nguyen, Ngoc Thanh. editor.
(38)
Dil
Yayın Yılı
-
2013
(1522)
2011
(1414)
2012
(1330)
2010
(1264)
2009
(1196)
Konu
Artificial intelligence.
(3609)
Software engineering.
(3279)
Computer Communication Networks.
(2860)
Information systems.
(2469)
Computer software.
(2011)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
12380 sonuç bulundu Arama sonuçlarına abone ol
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Voice over IP Security A Comprehensive Survey of Vulnerabilities and Academic Research için kapak resmi
Voice over IP Security A Comprehensive Survey of Vulnerabilities and Academic Research
Yazar 
Keromytis, Angelos D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-9866-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Glazed Panel Construction with Human-Robot Cooperation için kapak resmi
Glazed Panel Construction with Human-Robot Cooperation
Yazar 
Lee, Seungyeol. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-1418-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Bootstrapping Trust in Modern Computers için kapak resmi
Bootstrapping Trust in Modern Computers
Yazar 
Parno, Bryan. author. McCune, Jonathan M. author. Perrig, Adrian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-1460-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Markov Decision Processes and the Belief-Desire-Intention Model Bridging the Gap for Autonomous Agents için kapak resmi
Markov Decision Processes and the Belief-Desire-Intention Model Bridging the Gap for Autonomous Agents
Yazar 
Simari, Gerardo I. author. Parsons, Simon D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-1472-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Intermittently Connected Mobile Ad Hoc Networks from Routing to Content Distribution için kapak resmi
Intermittently Connected Mobile Ad Hoc Networks from Routing to Content Distribution
Yazar 
Jamalipour, Abbas. author. Ma, Yaozhou. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-1572-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Repairing and Querying Databases under Aggregate Constraints için kapak resmi
Repairing and Querying Databases under Aggregate Constraints
Yazar 
Flesca, Sergio. author. Furfaro, Filippo. author. Parisi, Francesco. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-1641-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Quantitative Security Risk Assessment of Enterprise Networks için kapak resmi
Quantitative Security Risk Assessment of Enterprise Networks
Yazar 
Ou, Xinming. author. Singhal, Anoop. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-1860-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Understanding Concurrent Systems için kapak resmi
Understanding Concurrent Systems
Yazar 
Roscoe, A.W. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-258-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Guide to Intelligent Data Analysis How to Intelligently Make Sense of Real Data için kapak resmi
Guide to Intelligent Data Analysis How to Intelligently Make Sense of Real Data
Yazar 
Berthold, Michael R. author. Borgelt, Christian. author. Höppner, Frank. author. Klawonn, Frank. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-260-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Ethical and Social Issues in the Information Age için kapak resmi
Ethical and Social Issues in the Information Age
Yazar 
Kizza, Joseph Migga. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84996-038-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Introduction to Databases From Biological to Spatio-Temporal için kapak resmi
Introduction to Databases From Biological to Spatio-Temporal
Yazar 
Revesz, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84996-095-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Fundamentals of Predictive Text Mining için kapak resmi
Fundamentals of Predictive Text Mining
Yazar 
Weiss, Sholom M. author. Indurkhya, Nitin. author. Zhang, Tong. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84996-226-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
Numerical Geometry of Non-Rigid Shapes için kapak resmi
Numerical Geometry of Non-Rigid Shapes
Yazar 
Bronstein, Alexander M. author. Bronstein, Michael M. author. Kimmel, Ron. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-73301-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Image Processing for Computer Graphics and Vision için kapak resmi
Image Processing for Computer Graphics and Vision
Yazar 
Velho, Luiz. author. Frery, Alejandro. author. Gomes, Jonas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-193-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Formal Languages and Compilation için kapak resmi
Formal Languages and Compilation
Yazar 
Crespi Reghizzi, Stefano. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-050-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Practical Introduction to Computer Architecture için kapak resmi
Practical Introduction to Computer Architecture
Yazar 
Page, Daniel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-256-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Elements of Computation Theory için kapak resmi
Elements of Computation Theory
Yazar 
Singh, Arindama. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-497-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Verification of Sequential and Concurrent Programs için kapak resmi
Verification of Sequential and Concurrent Programs
Yazar 
Apt, Krzysztof R. author. Boer, Frank S. author. Olderog, Ernst-Rüdiger. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-745-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Digital Image Processing An Algorithmic Introduction using Java için kapak resmi
Digital Image Processing An Algorithmic Introduction using Java
Yazar 
Burger, Wilhelm. author. Burge, Mark James. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-968-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
An Introduction to Kolmogorov Complexity and Its Applications için kapak resmi
An Introduction to Kolmogorov Complexity and Its Applications
Yazar 
Li, Ming. author. Vitányi, Paul. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-49820-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Fundamentals of the New Artificial Intelligence Neural, Evolutionary, Fuzzy and More için kapak resmi
Fundamentals of the New Artificial Intelligence Neural, Evolutionary, Fuzzy and More
Yazar 
Munakata, Toshinori. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-839-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Ethical and Social Issues in the Information Age için kapak resmi
Ethical and Social Issues in the Information Age
Yazar 
Kizza, Joseph Migga. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-659-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Software Configuration Management Using Vesta için kapak resmi
Software Configuration Management Using Vesta
Yazar 
Heydon, Allan. author. Mann, Timothy. author. Levin, Roy. author. Yu, Yuan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-30852-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Theory of Computation için kapak resmi
Theory of Computation
Yazar 
Kozen, Dexter C. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-84628-477-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
25. 
Super-Recursive Algorithms için kapak resmi
Super-Recursive Algorithms
Yazar 
Burgin, Mark. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138114
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Abstraction, Refinement and Proof for Probabilistic Systems için kapak resmi
Abstraction, Refinement and Proof for Probabilistic Systems
Yazar 
McIver, Annabelle. author. Morgan, Carroll. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138392
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Nearest Neighbor Search A Database Perspective için kapak resmi
Nearest Neighbor Search A Database Perspective
Yazar 
Papadopoulos, Apostolos N. author. Manolopoulos, Yannis. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-27544-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Reverse Engineering of Object Oriented Code için kapak resmi
Reverse Engineering of Object Oriented Code
Yazar 
Tonella, Paolo. author. Potrich, Alessandra. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b102522
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
An Integrated Approach to Software Engineering için kapak resmi
An Integrated Approach to Software Engineering
Yazar 
Jalote, Pankaj. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-28132-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Soft Real-Time Systems Predictability vs. Efficiency için kapak resmi
Soft Real-Time Systems Predictability vs. Efficiency
Yazar 
Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-28147-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Adapting Proofs-as-Programs The Curry-Howard Protocol için kapak resmi
Adapting Proofs-as-Programs The Curry-Howard Protocol
Yazar 
Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-28183-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Evolutionary Synthesis of Pattern Recognition Systems için kapak resmi
Evolutionary Synthesis of Pattern Recognition Systems
Yazar 
Bhanu, Bir. author. Lin, Yingqiang. author. Krawiec, Krzysztof. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b105515
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Introduction to Assembly Language Programming For Pentium and RISC Processors için kapak resmi
Introduction to Assembly Language Programming For Pentium and RISC Processors
Yazar 
Dandamudi, Sivarama P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138691
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Geometric Fundamentals of Robotics için kapak resmi
Geometric Fundamentals of Robotics
Yazar 
Selig, J. M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138859
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach için kapak resmi
Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach
Yazar 
Li, Youqi. author. (orcid)0000-0003-3867-5997 Li, Fan. author. (orcid)0000-0002-2348-4488 Yang, Song. author. Zhang, Chuan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-6921-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Disease için kapak resmi
Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Disease
Yazar 
Channa, Asma. author. Popescu, Nirvana. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-45003-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
37. 
Applied Scientific Computing With Python için kapak resmi
Applied Scientific Computing With Python
Yazar 
Turner, Peter R. author. Arildsen, Thomas. author. (orcid)0000-0003-3254-3790 Kavanagh, Kathleen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-89575-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Interrupt Handling Schemes in Operating Systems için kapak resmi
Interrupt Handling Schemes in Operating Systems
Yazar 
Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94493-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Composing Fisher Kernels from Deep Neural Models A Practitioner's Approach için kapak resmi
Composing Fisher Kernels from Deep Neural Models A Practitioner's Approach
Yazar 
Azim, Tayyaba. author. Ahmed, Sarah. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-98524-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics için kapak resmi
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
Yazar 
Majkić, Zoran. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-04156-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Service Systems Concepts, Modeling, and Programming için kapak resmi
Service Systems Concepts, Modeling, and Programming
Yazar 
Cardoso, Jorge. author. Lopes, Ricardo. author. Poels, Geert. author. (orcid)0000-0001-9247-6150 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10813-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Agile Risk Management için kapak resmi
Agile Risk Management
Yazar 
Moran, Alan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-05008-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Energy-aware Scheduling on Multiprocessor Platforms için kapak resmi
Energy-aware Scheduling on Multiprocessor Platforms
Yazar 
Li, Dawei. author. Wu, Jie. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331714.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5224-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Fast Compact Algorithms and Software for Spline Smoothing için kapak resmi
Fast Compact Algorithms and Software for Spline Smoothing
Yazar 
Weinert, Howard L. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331788.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5496-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings için kapak resmi
Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings
Yazar 
Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-77019-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Maths For Computing A Beginner's Guide için kapak resmi
Maths For Computing A Beginner's Guide
Yazar 
Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-69234-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Category Theory Using Haskell An Introduction with Moggi and Yoneda için kapak resmi
Category Theory Using Haskell An Introduction with Moggi and Yoneda
Yazar 
Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-68538-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III için kapak resmi
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III
Yazar 
Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-1195-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
49. 
Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings için kapak resmi
Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings
Yazar 
He, Zhongjun. editor. Chen, Yidong. editor. (orcid)0000-0002-0243-7228 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-2292-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions için kapak resmi
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-67695-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II için kapak resmi
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Yazar 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75775-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I için kapak resmi
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Yazar 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Cultural Perspectives of Human-Centered and Technological Innovations First International Workshop, CPHCATI 2024, Tokyo, Japan, January 27-28, 2024, Proceedings için kapak resmi
Cultural Perspectives of Human-Centered and Technological Innovations First International Workshop, CPHCATI 2024, Tokyo, Japan, January 27-28, 2024, Proceedings
Yazar 
Taratukhin, Victor. editor. (orcid)0000-0002-7619-9269 Levchenko, Artem. editor. (orcid)0000-0003-3871-2620 Kim, Sohyeong. editor. (orcid)0000-0003-3333-1079 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-77012-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings için kapak resmi
Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
Yazar 
Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74776-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II için kapak resmi
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Yazar 
Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-82703-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I için kapak resmi
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
Yazar 
Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-82700-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II için kapak resmi
Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II
Yazar 
Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-4448-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Machine Learning, Deep Learning, and Blockchain Fourth International Research Conference, IRCICD 2023, Chennai, India, April 28-29, 2023, Proceedings için kapak resmi
Machine Learning, Deep Learning, and Blockchain Fourth International Research Conference, IRCICD 2023, Chennai, India, April 28-29, 2023, Proceedings
Yazar 
Suriyan, Kannadhasan. editor. (orcid)0000-0001-6443-9993 Sivakumar, Prasanna Devi. editor. Anand, Paavai Gopalan. editor. Palani, Durgadevi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-88237-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Yazar 
Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90897-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Modelling and Mining Networks 20th International Workshop, WAW 2025, Vilnius, Lithuania, June 30 - July 3, 2025, Proceedings için kapak resmi
Modelling and Mining Networks 20th International Workshop, WAW 2025, Vilnius, Lithuania, June 30 - July 3, 2025, Proceedings
Yazar 
Bloznelis, Mindaugas. editor. Drungilas, Paulius. editor. Kamiński, Bogumił. editor. Prałat, Paweł. editor. Šileikis, Matas. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-92898-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
61. 
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I için kapak resmi
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I
Yazar 
Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-95973-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part II için kapak resmi
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part II
Yazar 
Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-95976-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
63. 
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday için kapak resmi
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
Yazar 
Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97492-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
64. 
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I için kapak resmi
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
Yazar 
Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97626-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings için kapak resmi
Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings
Yazar 
Malcher, Andreas. editor. (orcid)0000-0002-9589-5833 Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97100-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI için kapak resmi
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI
Yazar 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97573-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
67. 
Bioinformatics and Computational Biology 17th International Conference, BICOB 2025, San Francisco, CA, USA, March 17, 2025, Proceedings için kapak resmi
Bioinformatics and Computational Biology 17th International Conference, BICOB 2025, San Francisco, CA, USA, March 17, 2025, Proceedings
Yazar 
Aldwairi, Tamer. editor. Al-Mubaid, Hisham. editor. Eulenstein, Oliver. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-94039-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
68. 
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Yazar 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90653-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
69. 
Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I için kapak resmi
Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I
Yazar 
Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. (orcid)0000-0002-7846-0969 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-4445-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
70. 
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Yazar 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90643-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
71. 
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Yazar 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90660-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
72. 
Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings için kapak resmi
Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings
Yazar 
Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Schwank, Inge. editor. (orcid)0000-0003-1546-3369 Staub, Jacqueline. editor. (orcid)0009-0004-7864-5711 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-73257-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
73. 
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers için kapak resmi
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
Yazar 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-73741-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
74. 
Multi-valued Logic for Decision-Making Under Uncertainty için kapak resmi
Multi-valued Logic for Decision-Making Under Uncertainty
Yazar 
Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74762-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
75. 
Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings için kapak resmi
Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings
Yazar 
Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-4207-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
76. 
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers için kapak resmi
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
Yazar 
Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-86695-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
77. 
Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers
Yazar 
Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-88930-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
78. 
Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part II için kapak resmi
Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part II
Yazar 
Huang, Letian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-6403-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
79. 
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III için kapak resmi
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Yazar 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75778-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
80. 
Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papers için kapak resmi
Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papers
Yazar 
Doka, Katerina. editor. Tsiropoulou, Eirini Eleni. editor. (orcid)0000-0003-1322-1876 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-94677-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
81. 
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings için kapak resmi
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Yazar 
Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-95908-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
82. 
Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career için kapak resmi
Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career
Yazar 
Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97274-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
83. 
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV için kapak resmi
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
Yazar 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97567-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
84. 
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V için kapak resmi
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V
Yazar 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97570-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
85. 
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II için kapak resmi
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
Yazar 
Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97629-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
86. 
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III için kapak resmi
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
Yazar 
Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97632-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
87. 
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV için kapak resmi
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
Yazar 
Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97635-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
88. 
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I için kapak resmi
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
Yazar 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97554-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
89. 
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II için kapak resmi
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
Yazar 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97557-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
90. 
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III için kapak resmi
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
Yazar 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97564-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
91. 
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II için kapak resmi
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II
Yazar 
Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-1093-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
92. 
WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings için kapak resmi
WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings
Yazar 
Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-2845-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
93. 
Graphs in Biomedical Image Analysis 6th International Workshop, GRAIL 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings için kapak resmi
Graphs in Biomedical Image Analysis 6th International Workshop, GRAIL 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings
Yazar 
Ahmadi, Seyed-Ahmad. editor. (orcid)0000-0002-7082-0739 Kazi, Anees. editor. (orcid)0000-0003-4528-1670 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-83243-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
94. 
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I için kapak resmi
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I
Yazar 
Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-1090-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
95. 
Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings için kapak resmi
Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings
Yazar 
Krejca, Martin S. editor. (orcid)0000-0002-1765-1219 Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-86849-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
96. 
Artificial Intelligence in Music, Sound, Art and Design 14th International Conference, EvoMUSART 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings için kapak resmi
Artificial Intelligence in Music, Sound, Art and Design 14th International Conference, EvoMUSART 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings
Yazar 
Machado, Penousal. editor. (orcid)0000-0002-6308-6484 Johnson, Colin. editor. (orcid)0000-0002-9236-6581 Santos, Iria. editor. (orcid)0000-0002-4910-3890 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90167-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
97. 
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas için kapak resmi
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Yazar 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
98. 
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I için kapak resmi
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I
Yazar 
García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90062-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
99. 
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II için kapak resmi
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II
Yazar 
García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90065-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
100. 
Advances in Explainability, Agents, and Large Language Models First International Workshop on Causality, Agents and Large Models, CALM 2024, Kyoto, Japan, November 18-19, 2024, Proceedings için kapak resmi
Advances in Explainability, Agents, and Large Language Models First International Workshop on Causality, Agents and Large Models, CALM 2024, Kyoto, Japan, November 18-19, 2024, Proceedings
Yazar 
Mualla, Yazan. editor. (orcid)0000-0002-6772-6135 Yu, Liuwen. editor. (orcid)0000-0002-7200-6001 Liga, Davide. editor. (orcid)0000-0003-1124-0299 Tchappi, Igor. editor. (orcid)0000-0001-5437-1817 Markovich, Réka. editor. (orcid)0000-0002-2488-2293
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-89103-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
101. 
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings için kapak resmi
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
Yazar 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-46002-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
102. 
Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers için kapak resmi
Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers
Yazar 
Chatzigiannakis, Ioannis. editor. Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-49361-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
103. 
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II için kapak resmi
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
Yazar 
Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-50521-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
104. 
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I için kapak resmi
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
Yazar 
Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-50524-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
105. 
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II için kapak resmi
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II
Yazar 
Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56855-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
106. 
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Yazar 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57246-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
107. 
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I için kapak resmi
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Yazar 
Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57228-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
108. 
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Yazar 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57249-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
109. 
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
Yazar 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57256-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
110. 
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II için kapak resmi
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Yazar 
Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57231-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
111. 
Evolutionary Computation in Combinatorial Optimization 24th European Conference, EvoCOP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings için kapak resmi
Evolutionary Computation in Combinatorial Optimization 24th European Conference, EvoCOP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings
Yazar 
Stützle, Thomas. editor. Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57712-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
112. 
Modelling and Mining Networks 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings için kapak resmi
Modelling and Mining Networks 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings
Yazar 
Dewar, Megan. editor. Kamiński, Bogumił. editor. (orcid)0000-0002-0678-282X Kaszyński, Daniel. editor. Kraiński, Łukasz. editor. Prałat, Paweł. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-59205-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
113. 
Research in Computational Molecular Biology 28th Annual International Conference, RECOMB 2024, Cambridge, MA, USA, April 29-May 2, 2024, Proceedings için kapak resmi
Research in Computational Molecular Biology 28th Annual International Conference, RECOMB 2024, Cambridge, MA, USA, April 29-May 2, 2024, Proceedings
Yazar 
Ma, Jian. editor. (orcid)0000-0002-4202-5834 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-0716-3989-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
114. 
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday için kapak resmi
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Yazar 
Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-61716-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
115. 
Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers için kapak resmi
Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers
Yazar 
Lirkov, Ivan. editor. (orcid)0000-0002-5870-2588 Margenov, Svetozar. editor. (orcid)0000-0001-8858-831X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56208-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
116. 
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II için kapak resmi
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II
Yazar 
Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-60599-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
117. 
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I için kapak resmi
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I
Yazar 
Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-60597-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
118. 
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II için kapak resmi
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II
Yazar 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63751-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
119. 
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV için kapak resmi
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV
Yazar 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63772-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
120. 
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V için kapak resmi
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V
Yazar 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63775-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
121. 
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I için kapak resmi
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I
Yazar 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63749-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
122. 
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers için kapak resmi
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
Yazar 
Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66064-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
123. 
Cellular Automata 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9-11, 2024, Proceedings için kapak resmi
Cellular Automata 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9-11, 2024, Proceedings
Yazar 
Bagnoli, Franco. editor. (orcid)0000-0002-6293-0305 Baetens, Jan. editor. (orcid)0000-0003-4084-9992 Bandini, Stefania. editor. (orcid)0000-0002-7056-0543 Matteuzzi, Tommaso. editor. (orcid)0000-0002-1915-9148 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71552-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
124. 
Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings için kapak resmi
Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings
Yazar 
Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71112-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
125. 
Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part IV için kapak resmi
Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part IV
Yazar 
De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Arpaia, Pasquale. editor. (orcid)0000-0002-5192-5922 Sacco, Marco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71713-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
126. 
Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part I için kapak resmi
Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part I
Yazar 
De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Arpaia, Pasquale. editor. (orcid)0000-0002-5192-5922 Sacco, Marco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71707-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
127. 
Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings için kapak resmi
Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
Yazar 
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-0617-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
128. 
Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers için kapak resmi
Advances in Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers
Yazar 
Olenev, Nicholas. editor. (orcid)0000-0002-1032-2455 Evtushenko, Yuri. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-48751-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
129. 
Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I için kapak resmi
Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I
Yazar 
Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-49190-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
130. 
Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II için kapak resmi
Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II
Yazar 
Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-49193-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
131. 
Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I için kapak resmi
Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I
Yazar 
Wu, Weili. editor. Guo, Jianxiong. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-49611-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
132. 
Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II için kapak resmi
Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II
Yazar 
Wu, Weili. editor. (orcid)0000-0001-8747-6340 Guo, Jianxiong. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-49614-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
133. 
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers için kapak resmi
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
Yazar 
Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-51777-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
134. 
Advanced Computational Applications of Geometric Algebra First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings için kapak resmi
Advanced Computational Applications of Geometric Algebra First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings
Yazar 
Silva, David W. editor. (orcid)0000-0003-4498-0525 Hitzer, Eckhard. editor. Hildenbrand, Dietmar. editor. (orcid)0000-0002-6384-4345 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34031-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
135. 
WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings için kapak resmi
WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings
Yazar 
Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 Yamanaka, Katsuhisa. editor. Yen, Hsu-Chun. editor. (orcid)0000-0002-1764-1950 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-0566-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
136. 
Advances in Computer Games 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers için kapak resmi
Advances in Computer Games 18th International Conference, ACG 2023, Virtual Event, November 28-30, 2023, Revised Selected Papers
Yazar 
Hartisch, Michael. editor. (orcid)0000-0001-6304-4973 Hsueh, Chu-Hsuan. editor. (orcid)0000-0001-8888-3116 Schaeffer, Jonathan. editor. (orcid)0009-0007-3735-5947 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-54968-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
137. 
Graphs in Biomedical Image Analysis, and Overlapped Cell on Tissue Dataset for Histopathology 5th MICCAI Workshop, GRAIL 2023 and 1st MICCAI Challenge, OCELOT 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, September 23, and October 4, 2023, Proceedings için kapak resmi
Graphs in Biomedical Image Analysis, and Overlapped Cell on Tissue Dataset for Histopathology 5th MICCAI Workshop, GRAIL 2023 and 1st MICCAI Challenge, OCELOT 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, September 23, and October 4, 2023, Proceedings
Yazar 
Ahmadi, Seyed-Ahmad. editor. Pereira, Sérgio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55088-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
138. 
LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I için kapak resmi
LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I
Yazar 
Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55598-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
139. 
LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II için kapak resmi
LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II
Yazar 
Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55601-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
140. 
Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday için kapak resmi
Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Yazar 
Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56222-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
141. 
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I için kapak resmi
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I
Yazar 
Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56852-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
142. 
Artificial Intelligence in Music, Sound, Art and Design 13th International Conference, EvoMUSART 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings için kapak resmi
Artificial Intelligence in Music, Sound, Art and Design 13th International Conference, EvoMUSART 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings
Yazar 
Johnson, Colin. editor. Rebelo, Sérgio M. editor. Santos, Iria. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56992-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
143. 
Bioinspired Systems for Translational Applications: From Robotics to Social Engineering 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part II için kapak resmi
Bioinspired Systems for Translational Applications: From Robotics to Social Engineering 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part II
Yazar 
Ferrández Vicente, José Manuel. editor. Val Calvo, Mikel. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-61137-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
144. 
Artificial Intelligence for Neuroscience and Emotional Systems 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part I için kapak resmi
Artificial Intelligence for Neuroscience and Emotional Systems 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, Olhâo, Portugal, June 4-7, 2024, Proceedings, Part I
Yazar 
Ferrández Vicente, José Manuel. editor. Val Calvo, Mikel. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-61140-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
145. 
Asynchronous Many-Task Systems and Applications Second International Workshop, WAMTA 2024, Knoxville, TN, USA, February 14-16, 2024, Proceedings için kapak resmi
Asynchronous Many-Task Systems and Applications Second International Workshop, WAMTA 2024, Knoxville, TN, USA, February 14-16, 2024, Proceedings
Yazar 
Diehl, Patrick. editor. (orcid)0000-0003-3922-8419 Schuchart, Joseph. editor. Valero-Lara, Pedro. editor. Bosilca, George. editor. (orcid)0000-0003-2411-8495 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-61763-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
146. 
Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers için kapak resmi
Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers
Yazar 
Bekki, Daisuke. editor. (orcid)0000-0002-9988-1260 Mineshima, Koji. editor. (orcid)0000-0002-2801-9171 McCready, Elin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-60878-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
147. 
Metaheuristics 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part I için kapak resmi
Metaheuristics 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part I
Yazar 
Sevaux, Marc. editor. Olteanu, Alexandru-Liviu. editor. Pardo, Eduardo G. editor. (orcid)0000-0002-6247-5269 Sifaleras, Angelo. editor. (orcid)0000-0002-5696-7021 Makboul, Salma. editor. (orcid)0000-0002-6423-2367
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-62912-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
148. 
Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings için kapak resmi
Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings
Yazar 
Cho, Da-Jung. editor. (orcid)0000-0002-5265-8520 Kim, Jongmin. editor. (orcid)0000-0002-2713-1006 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63742-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
149. 
Metaheuristics 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part II için kapak resmi
Metaheuristics 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part II
Yazar 
Sevaux, Marc. editor. Olteanu, Alexandru-Liviu. editor. Pardo, Eduardo G. editor. (orcid)0000-0002-6247-5269 Sifaleras, Angelo. editor. (orcid)0000-0002-5696-7021 Makboul, Salma. editor. (orcid)0000-0002-6423-2367
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-62922-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
150. 
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III için kapak resmi
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III
Yazar 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63759-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
151. 
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII için kapak resmi
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII
Yazar 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63783-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
152. 
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI için kapak resmi
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI
Yazar 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63778-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
153. 
Cellular Automata and Discrete Complex Systems 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024, Proceedings için kapak resmi
Cellular Automata and Discrete Complex Systems 30th IFIP WG 1.5 International Workshop, AUTOMATA 2024, Durham, UK, July 22-24, 2024, Proceedings
Yazar 
Gadouleau, Maximilien. editor. (orcid)0000-0003-4701-738X Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-65887-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
154. 
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications için kapak resmi
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
Yazar 
Downey, Rod. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-53744-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
155. 
Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part I için kapak resmi
Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part I
Yazar 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-7181-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
156. 
Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II için kapak resmi
Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II
Yazar 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-7184-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
157. 
Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings için kapak resmi
Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
Yazar 
Bowles, Juliana. editor. (orcid)0000-0002-5918-9114 Søndergaard, Harald. editor. (orcid)0000-0002-2352-1883 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71294-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
158. 
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings için kapak resmi
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
Yazar 
Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-68416-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
159. 
Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part III için kapak resmi
Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part III
Yazar 
De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Arpaia, Pasquale. editor. (orcid)0000-0002-5192-5922 Sacco, Marco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71710-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
160. 
Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings için kapak resmi
Rules and Reasoning 8th International Joint Conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024, Proceedings
Yazar 
Kirrane, Sabrina. editor. (orcid)0000-0002-6955-7718 Šimkus, Mantas. editor. (orcid)0000-0003-0632-0294 Soylu, Ahmet. editor. (orcid)0000-0001-6034-4137 Roman, Dumitru. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-72407-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
161. 
Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part II için kapak resmi
Extended Reality International Conference, XR Salento 2024, Lecce, Italy, September 4-7, 2024, Proceedings, Part II
Yazar 
De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Arpaia, Pasquale. editor. (orcid)0000-0002-5192-5922 Sacco, Marco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71704-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
162. 
Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I için kapak resmi
Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part I
Yazar 
Ghosh, Smita. editor. (orcid)0000-0002-7026-1826 Zhang, Zhao. editor. (orcid)0000-0003-4191-7598 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-7798-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
163. 
Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II için kapak resmi
Algorithmic Aspects in Information and Management 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II
Yazar 
Ghosh, Smita. editor. (orcid)0000-0002-7026-1826 Zhang, Zhao. editor. (orcid)0000-0003-4191-7598 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-7801-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
164. 
Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings için kapak resmi
Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings
Yazar 
England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-26831-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
165. 
New Trends in Computer Technologies and Applications 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20–22, 2018, Revised Selected Papers için kapak resmi
New Trends in Computer Technologies and Applications 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20–22, 2018, Revised Selected Papers
Yazar 
Chang, Chuan-Yu. editor. Lin, Chien-Chou. editor. Lin, Horng-Horng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-9190-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
166. 
Computing and Software Science State of the Art and Perspectives için kapak resmi
Computing and Software Science State of the Art and Perspectives
Yazar 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91908-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
167. 
Next Generation Computing Technologies on Computational Intelligence 4th International Conference, NGCT 2018, Dehradun, India, November 21–22, 2018, Revised Selected Papers için kapak resmi
Next Generation Computing Technologies on Computational Intelligence 4th International Conference, NGCT 2018, Dehradun, India, November 21–22, 2018, Revised Selected Papers
Yazar 
Prateek, Manish. editor. Sharma, Durgansh. editor. Tiwari, Rajeev. editor. Sharma, Rashmi. editor. Kumar, Kamal. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-15-1718-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
168. 
Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings için kapak resmi
Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings
Yazar 
Foret, Annie. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-57784-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
169. 
Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings için kapak resmi
Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings
Yazar 
Manea, Florin. editor. Miller, Russell G. editor. Nowotka, Dirk. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94418-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
170. 
Well-Being in the Information Society. Fighting Inequalities 7th International Conference, WIS 2018, Turku, Finland, August 27-29, 2018, Proceedings için kapak resmi
Well-Being in the Information Society. Fighting Inequalities 7th International Conference, WIS 2018, Turku, Finland, August 27-29, 2018, Proceedings
Yazar 
Li, Hongxiu. editor. Pálsdóttir, Ágústa. editor. Trill, Roland. editor. Suomi, Reima. editor. Amelina, Yevgeniya. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-97931-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
171. 
Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings için kapak resmi
Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings
Yazar 
Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829 Padovani, Luca. editor. (orcid)0000-0001-9097-1297 Torquati, Massimo. editor. (orcid)0000-0001-6323-3459 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-96983-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
172. 
DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings için kapak resmi
DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings
Yazar 
Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00030-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
173. 
Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers için kapak resmi
Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers
Yazar 
Mikulski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-97955-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
174. 
Smart and Innovative Trends in Next Generation Computing Technologies Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part II için kapak resmi
Smart and Innovative Trends in Next Generation Computing Technologies Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part II
Yazar 
Bhattacharyya, Pushpak. editor. Sastry, Hanumat G. editor. Marriboyina, Venkatadri. editor. Sharma, Rashmi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-8660-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
175. 
Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday için kapak resmi
Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
Yazar 
Graciani, Carmen. editor. Riscos-Núñez, Agustín. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00265-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
176. 
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings için kapak resmi
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Yazar 
Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-89884-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
177. 
Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers için kapak resmi
Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
Yazar 
Foret, Annie. editor. Muskens, Reinhard. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-56343-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
178. 
Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers için kapak resmi
Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers
Yazar 
Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-7844-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
179. 
New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers için kapak resmi
New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers
Yazar 
Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91632-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
180. 
Smart and Innovative Trends in Next Generation Computing Technologies Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part I için kapak resmi
Smart and Innovative Trends in Next Generation Computing Technologies Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part I
Yazar 
Bhattacharyya, Pushpak. editor. Sastry, Hanumat G. editor. Marriboyina, Venkatadri. editor. Sharma, Rashmi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-8657-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
181. 
Optimization Problems and Their Applications 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018, Revised Selected Papers için kapak resmi
Optimization Problems and Their Applications 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018, Revised Selected Papers
Yazar 
Eremeev, Anton. editor. (orcid)0000-0001-5289-7874 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Kochetov, Yury. editor. (orcid)0000-0001-7123-8647 Pardalos, Panos. editor. (orcid)0000-0001-9623-8053 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-93800-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
182. 
Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers için kapak resmi
Operations Research and Enterprise Systems 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers
Yazar 
Parlier, Greg H. editor. Liberatore, Federico. editor. Demange, Marc. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94767-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
183. 
Altmetrics for Research Outputs Measurement and Scholarly Information Management International Altmetrics Workshop, AROSIM 2018, Singapore, Singapore, January 26, 2018, Revised Selected Papers için kapak resmi
Altmetrics for Research Outputs Measurement and Scholarly Information Management International Altmetrics Workshop, AROSIM 2018, Singapore, Singapore, January 26, 2018, Revised Selected Papers
Yazar 
Erdt, Mojisola. editor. (orcid)0000-0003-2371-6768 Sesagiri Raamkumar, Aravind. editor. (orcid)0000-0001-7200-7787 Rasmussen, Edie. editor. Theng, Yin-Leng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-1053-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
184. 
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings için kapak resmi
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Yazar 
Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94821-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
185. 
HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II için kapak resmi
HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II
Yazar 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-92279-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
186. 
HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part III için kapak resmi
HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part III
Yazar 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-92285-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
187. 
Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings için kapak resmi
Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Yazar 
Rusu, Vlad. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99840-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
188. 
Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings için kapak resmi
Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings
Yazar 
Takahashi, Yutaka. editor. Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 Yue, Wuyi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-93736-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
189. 
High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers için kapak resmi
High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers
Yazar 
Kozubek, Tomáš. editor. Čermák, Martin. editor. (orcid)0000-0002-0171-625X Tichý, Petr. editor. (orcid)0000-0001-6008-4056 Blaheta, Radim. editor. Šístek, Jakub. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-97136-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
190. 
Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings için kapak resmi
Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
Yazar 
Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-2423-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
191. 
Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers için kapak resmi
Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers
Yazar 
Baum, Marcus. editor. Brenner, Gunther. editor. Grabowski, Jens. editor. Hanschke, Thomas. editor. Hartmann, Stefan. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-96271-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
192. 
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings için kapak resmi
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Yazar 
Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91271-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
193. 
HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I için kapak resmi
HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
Yazar 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-92270-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
194. 
Information Technologies and Mathematical Modelling. Queueing Theory and Applications 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers için kapak resmi
Information Technologies and Mathematical Modelling. Queueing Theory and Applications 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers
Yazar 
Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-97595-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
195. 
Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms için kapak resmi
Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms
Yazar 
Trobec, Roman. author. Slivnik, Boštjan. author. Bulić, Patricio. author. Robič, Borut. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-98833-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
196. 
Immersive Learning Research Network 4th International Conference, iLRN 2018, Missoula, MT, USA, June 24-29, 2018, Proceedings için kapak resmi
Immersive Learning Research Network 4th International Conference, iLRN 2018, Missoula, MT, USA, June 24-29, 2018, Proceedings
Yazar 
Beck, Dennis. editor. Allison, Colin. editor. Morgado, Leonel. editor. Pirker, Johanna. editor. Peña-Rios, Anasol. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-93596-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
197. 
Analysis for Computer Scientists Foundations, Methods, and Algorithms için kapak resmi
Analysis for Computer Scientists Foundations, Methods, and Algorithms
Yazar 
Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651 Ostermann, Alexander. author. (orcid)0000-0003-0194-2481 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91155-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
198. 
Distributed Computer and Communication Networks 21st International Conference, DCCN 2018, Moscow, Russia, September 17–21, 2018, Proceedings için kapak resmi
Distributed Computer and Communication Networks 21st International Conference, DCCN 2018, Moscow, Russia, September 17–21, 2018, Proceedings
Yazar 
Vishnevskiy, Vladimir M. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99447-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
199. 
Digital Research and Education in Architectural Heritage 5th Conference, DECH 2017, and First Workshop, UHDL 2017, Dresden, Germany, March 30-31, 2017, Revised Selected Papers için kapak resmi
Digital Research and Education in Architectural Heritage 5th Conference, DECH 2017, and First Workshop, UHDL 2017, Dresden, Germany, March 30-31, 2017, Revised Selected Papers
Yazar 
Münster, Sander. editor. (orcid)0000-0001-9344-912X Friedrichs, Kristina. editor. Niebling, Florian. editor. Seidel-Grzesińska, Agnieszka. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-76992-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
200. 
Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers için kapak resmi
Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers
Yazar 
Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243 Poli, Irene. editor. (orcid)0000-0001-7828-2480 Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Serra, Roberto. editor. (orcid)0000-0002-1417-5106 Slanzi, Debora. editor. (orcid)0000-0002-4204-1009
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-78658-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
201. 
Mathematics and Computing 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers için kapak resmi
Mathematics and Computing 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers
Yazar 
Ghosh, Debdas. editor. Giri, Debasis. editor. Mohapatra, Ram N. editor. Savas, Ekrem. editor. Sakurai, Kouichi. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-0023-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
202. 
Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers için kapak resmi
Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
Yazar 
Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-89719-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
203. 
Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings için kapak resmi
Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings
Yazar 
Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91641-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
204. 
Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings için kapak resmi
Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings
Yazar 
Baetens, Jan M. editor. Kutrib, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-92675-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
205. 
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings için kapak resmi
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Yazar 
Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-57669-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
206. 
Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers için kapak resmi
Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
Yazar 
Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73359-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
207. 
User Science and Engineering 5th International Conference, i-USEr 2018, Puchong, Malaysia, August 28–30, 2018, Proceedings için kapak resmi
User Science and Engineering 5th International Conference, i-USEr 2018, Puchong, Malaysia, August 28–30, 2018, Proceedings
Yazar 
Abdullah, Natrah. editor. Wan Adnan, Wan Adilah. editor. Foth, Marcus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-1628-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
208. 
Applied Informatics First International Conference, ICAI 2018, Bogotá, Colombia, November 1-3, 2018, Proceedings için kapak resmi
Applied Informatics First International Conference, ICAI 2018, Bogotá, Colombia, November 1-3, 2018, Proceedings
Yazar 
Florez, Hector. editor. (orcid)0000-0002-5339-4459 Diaz, Cesar. editor. (orcid)0000-0002-9132-2747 Chavarriaga, Jaime. editor. (orcid)0000-0002-8372-667X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01535-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
209. 
Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers için kapak resmi
Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers
Yazar 
Rossi, Federico. editor. Piotto, Stefano. editor. Concilio, Simona. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57711-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
210. 
Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
Yazar 
Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66263-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
211. 
Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers için kapak resmi
Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Yazar 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-52228-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
212. 
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers için kapak resmi
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Yazar 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-53946-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
213. 
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Yazar 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54577-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
214. 
Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings için kapak resmi
Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
Yazar 
Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60252-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
215. 
Human Mental Workload: Models and Applications First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers için kapak resmi
Human Mental Workload: Models and Applications First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers
Yazar 
Longo, Luca. editor. Leva, M. Chiara. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61061-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
216. 
Quantum Interaction 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers için kapak resmi
Quantum Interaction 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers
Yazar 
de Barros, Jose Acacio. editor. Coecke, Bob. editor. Pothos, Emmanuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-52289-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
217. 
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings için kapak resmi
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
Yazar 
Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67089-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
218. 
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
Yazar 
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63139-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
219. 
Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings için kapak resmi
Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
Yazar 
Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58741-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
220. 
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings için kapak resmi
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
Yazar 
van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57861-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
221. 
Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings için kapak resmi
Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
Yazar 
Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-53733-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
222. 
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity için kapak resmi
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Yazar 
Zeume, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54314-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
223. 
High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers için kapak resmi
High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
Yazar 
Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61982-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
224. 
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Yazar 
Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54458-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
225. 
Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings için kapak resmi
Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
Yazar 
Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-55751-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
226. 
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs için kapak resmi
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Yazar 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
227. 
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday için kapak resmi
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Yazar 
Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63121-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
228. 
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings için kapak resmi
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Yazar 
Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-62809-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
229. 
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
Yazar 
James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72044-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
230. 
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers için kapak resmi
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Yazar 
Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54292-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
231. 
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings için kapak resmi
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
Yazar 
Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60134-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
232. 
Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings için kapak resmi
Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Yazar 
Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66335-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
233. 
DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings için kapak resmi
DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings
Yazar 
Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66799-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
234. 
Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings için kapak resmi
Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
Yazar 
Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58631-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
235. 
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings için kapak resmi
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Yazar 
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63501-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
236. 
Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers için kapak resmi
Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers
Yazar 
Leporati, Alberto. editor. (orcid)0000-0002-8105-4371 Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54072-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
237. 
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Yazar 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54580-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
238. 
Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings için kapak resmi
Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings
Yazar 
Patitz, Matthew J. editor. Stannett, Mike. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58187-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
239. 
Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings için kapak resmi
Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings
Yazar 
Shi, Yuhui. editor. Tan, Kay Chen. editor. Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538 Tang, Ke. editor. Li, Xiaodong. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68759-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
240. 
Biomedical Applications Based on Natural and Artificial Computing International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II için kapak resmi
Biomedical Applications Based on Natural and Artificial Computing International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II
Yazar 
Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-59773-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
241. 
Natural and Artificial Computation for Biomedicine and Neuroscience International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I için kapak resmi
Natural and Artificial Computation for Biomedicine and Neuroscience International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I
Yazar 
Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-59740-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
242. 
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II için kapak resmi
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Yazar 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63390-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
243. 
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I için kapak resmi
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Yazar 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63387-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
244. 
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
Yazar 
Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-52234-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
245. 
Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings için kapak resmi
Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Yazar 
Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67729-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
246. 
Quantum Interaction 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers için kapak resmi
Quantum Interaction 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers
Yazar 
Atmanspacher, Harald. editor. Filk, Thomas. editor. Pothos, Emmanuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28675-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
247. 
Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings için kapak resmi
Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
Yazar 
Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39300-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
248. 
Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
Yazar 
Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44878-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
249. 
Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers için kapak resmi
Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers
Yazar 
Kotsireas, Ilias S. editor. (orcid)0000-0003-2126-8383 Rump, Siegfried M. editor. Yap, Chee K. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-32859-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
250. 
Swarm, Evolutionary, and Memetic Computing 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers için kapak resmi
Swarm, Evolutionary, and Memetic Computing 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers
Yazar 
Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Satapathy, Suresh Chandra. editor. (orcid)0000-0001-8236-4104 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48959-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
251. 
Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers için kapak resmi
Advances in Artificial Life, Evolutionary Computation and Systems Chemistry 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers
Yazar 
Rossi, Federico. editor. Mavelli, Fabio. editor. Stano, Pasquale. editor. Caivano, Danilo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-32695-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
252. 
Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings için kapak resmi
Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings
Yazar 
Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46750-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
253. 
Cellular Automata 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings için kapak resmi
Cellular Automata 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings
Yazar 
El Yacoubi, Samira. editor. Wąs, Jarosław. editor. Bandini, Stefania. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44365-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
254. 
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II için kapak resmi
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Yazar 
Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41540-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
255. 
Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings için kapak resmi
Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
Yazar 
Agha, Gul. editor. Van Houdt, Benny. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-43425-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
256. 
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I için kapak resmi
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Yazar 
Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41528-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
257. 
Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Yazar 
Creignou, Nadia. editor. Le Berre, Daniel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40970-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
258. 
Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers için kapak resmi
Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Yazar 
Lucanu, Dorel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44802-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
259. 
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers için kapak resmi
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Yazar 
Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41579-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
260. 
Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings için kapak resmi
Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
Yazar 
Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-53132-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
261. 
Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings için kapak resmi
Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
Yazar 
Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40189-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
262. 
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays için kapak resmi
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Yazar 
Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-27810-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
263. 
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers için kapak resmi
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Yazar 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29510-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
264. 
Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings için kapak resmi
Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings
Yazar 
Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Gortsev, Alexander. editor. Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Yakupov, Rafael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44615-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
265. 
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday için kapak resmi
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Yazar 
Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30734-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
266. 
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Yazar 
Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49674-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
267. 
Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers için kapak resmi
Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers
Yazar 
Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29919-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
268. 
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Yazar 
Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49630-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
269. 
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Yazar 
Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49122-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
270. 
Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings için kapak resmi
Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
Yazar 
Han, Yo-Sub. editor. Salomaa, Kai. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40946-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
271. 
A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday için kapak resmi
A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Yazar 
Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30936-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
272. 
DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings için kapak resmi
DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings
Yazar 
Rondelez, Yannick. editor. Woods, Damien. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-43994-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
273. 
Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings için kapak resmi
Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Yazar 
Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45994-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
274. 
Machine Translation 12th China Workshop, CWMT 2016, Urumqi, China, August 25-26, 2016, Revised Selected Papers için kapak resmi
Machine Translation 12th China Workshop, CWMT 2016, Urumqi, China, August 25-26, 2016, Revised Selected Papers
Yazar 
Yang, Muyun. editor. Liu, Shujie. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-3635-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
275. 
Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings için kapak resmi
Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
Yazar 
Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40530-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
276. 
Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers için kapak resmi
Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Yazar 
Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-31220-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
277. 
Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings için kapak resmi
Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
Yazar 
Amos, Martyn. editor. Condon, Anne. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41312-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
278. 
Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings için kapak resmi
Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings
Yazar 
Bac, Alexandra. editor. Mari, Jean-Luc. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39441-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
279. 
Computer Vision, Imaging and Computer Graphics: Theory and Applications International Joint Conference, VISIGRAPP 2013, Barcelona, Spain, February 21-24, 2013, Revised Selected Papers için kapak resmi
Computer Vision, Imaging and Computer Graphics: Theory and Applications International Joint Conference, VISIGRAPP 2013, Barcelona, Spain, February 21-24, 2013, Revised Selected Papers
Yazar 
Battiato, Sebastiano. editor. (orcid)0000-0001-6127-2470 Coquillart, Sabine. editor. Laramee, Robert S. editor. Kerren, Andreas. editor. (orcid)0000-0002-0519-2537 Braz, José. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44911-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
280. 
Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings için kapak resmi
Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings
Yazar 
Schmidt, Kai-Uwe. editor. Winterhof, Arne. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-12325-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
281. 
Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II için kapak resmi
Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II
Yazar 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-55195-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
282. 
Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers için kapak resmi
Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers
Yazar 
Cygan, Marek. editor. Heggernes, Pinar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13524-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
283. 
Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers için kapak resmi
Adaptive Resource Management and Scheduling for Cloud Computing First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers
Yazar 
Pop, Florin. editor. Potop-Butucaru, Maria. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13464-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
284. 
Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers için kapak resmi
Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers
Yazar 
Pizzuti, Clara. editor. (orcid)0000-0001-7297-7126 Spezzano, Giandomenico. editor. (orcid)0000-0002-2518-5510 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-12745-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
285. 
Communications and Networking An Introduction için kapak resmi
Communications and Networking An Introduction
Yazar 
Cowley, John. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330960.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4357-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
286. 
Principles of Digital Image Processing Advanced Methods için kapak resmi
Principles of Digital Image Processing Advanced Methods
Yazar 
Burger, Wilhelm. author. Burge, Mark J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332579.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-919-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
287. 
Economics of Grids, Clouds, Systems, and Services 10th International Conference, GECON 2013, Zaragoza, Spain, September 18-20, 2013. Proceedings için kapak resmi
Economics of Grids, Clouds, Systems, and Services 10th International Conference, GECON 2013, Zaragoza, Spain, September 18-20, 2013. Proceedings
Yazar 
Altmann, Jörn. editor. Vanmechelen, Kurt. editor. Rana, Omer F. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332919.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02414-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
288. 
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings için kapak resmi
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Yazar 
Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332921.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02444-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
289. 
Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings için kapak resmi
Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings
Yazar 
Bloem, Roderick. editor. Lipp, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332976.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03491-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
290. 
Progress in Cryptology – INDOCRYPT 2013 14th International Conference on Cryptology in India, Mumbai, India, December 7-10, 2013. Proceedings için kapak resmi
Progress in Cryptology – INDOCRYPT 2013 14th International Conference on Cryptology in India, Mumbai, India, December 7-10, 2013. Proceedings
Yazar 
Paul, Goutam. editor. Vaudenay, Serge. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332978.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03515-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
291. 
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings için kapak resmi
Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Yazar 
Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332934.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02654-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
292. 
Algorithms and Models for the Web Graph 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings için kapak resmi
Algorithms and Models for the Web Graph 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings
Yazar 
Bonato, Anthony. editor. Mitzenmacher, Michael. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332980.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03536-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
293. 
Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings için kapak resmi
Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
Yazar 
Shan, Chung-chieh. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332981.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03542-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
294. 
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings için kapak resmi
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Yazar 
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332982.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03545-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
295. 
Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers için kapak resmi
Structural Information and Communication Complexity 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers
Yazar 
Moscibroda, Thomas. editor. Rescigno, Adele A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332983.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03578-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
296. 
Cyberspace Safety and Security 5th International Symposium, CSS 2013, Zhangjiajie, China, November 13-15, 2013, Proceedings için kapak resmi
Cyberspace Safety and Security 5th International Symposium, CSS 2013, Zhangjiajie, China, November 13-15, 2013, Proceedings
Yazar 
Wang, Guojun. editor. Ray, Indrakshi. editor. Feng, Dengguo. editor. Rajarajan, Muttukrishnan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332984.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03584-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
297. 
Digital Libraries: Social Media and Community Networks 15th International Conference on Asia-Pacific Digital Libraries, ICADL 2013, Bangalore, India, December 9-11, 2013. Proceedings için kapak resmi
Digital Libraries: Social Media and Community Networks 15th International Conference on Asia-Pacific Digital Libraries, ICADL 2013, Bangalore, India, December 9-11, 2013. Proceedings
Yazar 
Urs, Shalini R. editor. Na, Jin-Cheon. editor. Buchanan, George. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332985.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03599-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
298. 
Ambient Intelligence 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3-5, 2013. Proceedings için kapak resmi
Ambient Intelligence 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3-5, 2013. Proceedings
Yazar 
Augusto, Juan Carlos. editor. Wichert, Reiner. editor. Collier, Rem. editor. Keyson, David. editor. Salah, Albert Ali. editor.
Yer Numarası 
ONLINE(332986.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03647-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
299. 
AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings için kapak resmi
AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
Yazar 
Cranefield, Stephen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332987.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03680-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
300. 
Big Data Analytics Second International Conference, BDA 2013, Mysore, India, December 16-18, 2013, Proceedings için kapak resmi
Big Data Analytics Second International Conference, BDA 2013, Mysore, India, December 16-18, 2013, Proceedings
Yazar 
Bhatnagar, Vasudha. editor. Srinivasa, Srinath. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332988.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03689-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç