Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(2008)
MacDonald, Matthew. author.
(14)
C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
(11)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(11)
Faginas Lago, Maria Noelia. editor. (orcid)0000-0002-4056-3364
(11)
Dil
Yayın Yılı
-
2013
(251)
2012
(233)
2011
(224)
2010
(215)
2009
(197)
Konu
Artificial intelligence.
(702)
Software engineering.
(565)
Computer Communication Networks.
(533)
Information systems.
(422)
Computer software.
(380)
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ç
2014 sonuç bulundu Arama sonuçlarına abone ol
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers için kapak resmi
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
Yazar 
Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66021-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Generalizing from Limited Resources in the Open World Second International Workshop, GLOW 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3, 2024, Proceedings için kapak resmi
Generalizing from Limited Resources in the Open World Second International Workshop, GLOW 2024, Held in Conjunction with IJCAI 2024, Jeju, South Korea, August 3, 2024, Proceedings
Yazar 
Guo, Jinyang. editor. (orcid)0000-0003-1956-3367 Ma, Yuqing. editor. Ding, Yifu. editor. Gong, Ruihao. editor. Zheng, Xingyu. editor. (orcid)0009-0009-6283-7635
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-6125-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Solving Ordinary Differential Equations in Python için kapak resmi
Solving Ordinary Differential Equations in Python
Yazar 
Sundnes, Joakim. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-46768-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Agents and Artificial Intelligence 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers için kapak resmi
Agents and Artificial Intelligence 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers
Yazar 
Rocha, Ana Paula. editor. Steels, Luc. editor. van den Herik, Jaap. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55326-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings için kapak resmi
Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings
Yazar 
Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55245-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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:
7. 
Deep Learning for Computational Problems in Hardware Security Modeling Attacks on Strong Physically Unclonable Function Circuits için kapak resmi
Deep Learning for Computational Problems in Hardware Security Modeling Attacks on Strong Physically Unclonable Function Circuits
Yazar 
Santikellur, Pranesh. author. Chakraborty, Rajat Subhra. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-4017-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence" için kapak resmi
Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
Yazar 
Polkowski, Lech T. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42034-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Admissible Consensus and Consensualization for Singular Multi-agent Systems için kapak resmi
Admissible Consensus and Consensualization for Singular Multi-agent Systems
Yazar 
Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-6990-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Resource Allocation in Network Function Virtualization Problems, Models and Algorithms için kapak resmi
Resource Allocation in Network Function Virtualization Problems, Models and Algorithms
Yazar 
Yang, Song. author. He, Nan. author. Li, Fan. author. Fu, Xiaoming. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-4815-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Intelligent Software Defect Prediction için kapak resmi
Intelligent Software Defect Prediction
Yazar 
Jing, Xiao-Yuan. author. Chen, Haowen. author. Xu, Baowen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-2842-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Informatics and machine learning : from Martingales to metaheuristics için kapak resmi
Informatics and machine learning : from Martingales to metaheuristics
Yazar 
Winters-Hilt, Stephen, author.
Yer Numarası 
Q325.5 .W558 2022
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
Bits on Chips için kapak resmi
Bits on Chips
Yazar 
Veendrick, Harry. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-76096-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM için kapak resmi
New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM
Yazar 
Mula, Josefa. editor. Barbastefano, Rafael. editor. Díaz-Madroñero, Manuel. editor. Poler, Raúl. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-93488-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
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:
16. 
Graph Data Management Fundamental Issues and Recent Developments için kapak resmi
Graph Data Management Fundamental Issues and Recent Developments
Yazar 
Fletcher, George. editor. Hidders, Jan. editor. Larriba-Pey, Josep Lluís. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-96193-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Semantic Technology 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26–28, 2018, Proceedings için kapak resmi
Semantic Technology 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26–28, 2018, Proceedings
Yazar 
Ichise, Ryutaro. editor. Lecue, Freddy. editor. Kawamura, Takahiro. editor. Zhao, Dongyan. editor. Muggleton, Stephen. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04284-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Yazar 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-03421-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias için kapak resmi
Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias
Yazar 
Saleh, Hani. author. Bayasi, Nourhan. author. Mohammad, Baker. author. Ismail, Mohammed. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63973-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Transactions on Computational Science XXXIII için kapak resmi
Transactions on Computational Science XXXIII
Yazar 
Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-58039-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
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:
22. 
New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings için kapak resmi
New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
Yazar 
Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-90421-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV için kapak resmi
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV
Yazar 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-05063-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Transactions on Computational Collective Intelligence XXXI için kapak resmi
Transactions on Computational Collective Intelligence XXXI
Yazar 
Nguyen, Ngoc Thanh. editor. Kowalczyk, Richard. editor. Mercik, Jacek. editor. Motylska-Kuźma, Anna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-58464-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
25. 
Interactive Storytelling 11th International Conference on Interactive Digital Storytelling, ICIDS 2018, Dublin, Ireland, December 5–8, 2018, Proceedings için kapak resmi
Interactive Storytelling 11th International Conference on Interactive Digital Storytelling, ICIDS 2018, Dublin, Ireland, December 5–8, 2018, Proceedings
Yazar 
Rouse, Rebecca. editor. Koenitz, Hartmut. editor. (orcid)0000-0002-3390-831X Haahr, Mads. editor. (orcid)0000-0002-9273-6458 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04028-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Time Domain Representation of Speech Sounds A Case Study in Bangla için kapak resmi
Time Domain Representation of Speech Sounds A Case Study in Bangla
Yazar 
Datta, Asoke Kumar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-2303-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings için kapak resmi
Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings
Yazar 
Krimmer, Robert. editor. (orcid)0000-0002-0873-539X Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043 Cortier, Véronique. editor. Goré, Rajeev. editor. Hapsara, Manik. editor. (orcid)0000-0002-8653-063X
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00419-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Advances in Affective and Pleasurable Design Proceedings of the AHFE 2017 International Conference on Affective and Pleasurable Design, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA için kapak resmi
Advances in Affective and Pleasurable Design Proceedings of the AHFE 2017 International Conference on Affective and Pleasurable Design, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Yazar 
Chung, WonJoon. editor. Shin, Cliff Sungsoo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60495-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Rhythm, Play and Interaction Design için kapak resmi
Rhythm, Play and Interaction Design
Yazar 
Costello, Brigid M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67850-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III için kapak resmi
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III
Yazar 
Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Perfilieva, Irina. editor. Bouchon-Meunier, Bernadette. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91479-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
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:
32. 
Risks and Security of Internet and Systems 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers için kapak resmi
Risks and Security of Internet and Systems 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
Yazar 
Cuppens, Nora. editor. Cuppens, Frédéric. editor. Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941 Legay, Axel. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-76687-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings için kapak resmi
Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Yazar 
Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-92612-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Fog Computing Concepts, Frameworks and Technologies için kapak resmi
Fog Computing Concepts, Frameworks and Technologies
Yazar 
Mahmood, Zaigham. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94890-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Ergonomics in Caring for People Proceedings of the International Conference on Humanizing Work and Work Environment 2015 için kapak resmi
Ergonomics in Caring for People Proceedings of the International Conference on Humanizing Work and Work Environment 2015
Yazar 
Ray, Gaur G. editor. Iqbal, Rauf. editor. Ganguli, Anindya K. editor. Khanzode, Vivek. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-4980-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Clinical Rehabilitation Experience Utilizing Serious Games Rehabilitation Technology and a Technical Concept for Health Data Collection için kapak resmi
Clinical Rehabilitation Experience Utilizing Serious Games Rehabilitation Technology and a Technical Concept for Health Data Collection
Yazar 
Lawo, Michael. editor. Knackfuß, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-21957-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
37. 
Advances in Robot Kinematics 2016 için kapak resmi
Advances in Robot Kinematics 2016
Yazar 
Lenarčič, Jadran. editor. Merlet, Jean-Pierre. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56802-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Image and Video Technology PSIVT 2017 International Workshops, Wuhan, China, November 20-24, 2017, Revised Selected Papers için kapak resmi
Image and Video Technology PSIVT 2017 International Workshops, Wuhan, China, November 20-24, 2017, Revised Selected Papers
Yazar 
Satoh, Shin'ichi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-92753-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Artificial Intelligence and Games için kapak resmi
Artificial Intelligence and Games
Yazar 
Yannakakis, Georgios N. author. (orcid)0000-0001-7793-1450 Togelius, Julian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63519-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers için kapak resmi
Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Yazar 
Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-74313-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Internet-of-Things (IoT) Systems Architectures, Algorithms, Methodologies için kapak resmi
Internet-of-Things (IoT) Systems Architectures, Algorithms, Methodologies
Yazar 
Serpanos, Dimitrios. author. Wolf, Marilyn. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-69715-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Intelligence Science II Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings için kapak resmi
Intelligence Science II Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings
Yazar 
Shi, Zhongzhi. editor. Pennartz, Cyriel. editor. Huang, Tiejun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01313-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors için kapak resmi
Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors
Yazar 
Melikyan, Vazgen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-71637-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Computational Data and Social Networks 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings için kapak resmi
Computational Data and Social Networks 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings
Yazar 
Chen, Xuemin. editor. (orcid)0000-0003-3820-9195 Sen, Arunabha. editor. Li, Wei Wayne. editor. Thai, My T. editor. (orcid)0000-0003-0503-2012 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04648-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation Third International Conference, ICC3 2017, Coimbatore, India, December 14-16, 2017, Proceedings için kapak resmi
Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation Third International Conference, ICC3 2017, Coimbatore, India, December 14-16, 2017, Proceedings
Yazar 
Ganapathi, Geetha. editor. Subramaniam, Arumugam. editor. Graña, Manuel. editor. Balusamy, Suresh. editor. Natarajan, Rajamanickam. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-0716-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Usability, Accessibility and Ambient Assisted Living için kapak resmi
Usability, Accessibility and Ambient Assisted Living
Yazar 
Queirós, Alexandra. editor. Rocha, Nelson Pacheco da. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91226-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I için kapak resmi
Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
Yazar 
Chen, Jessie Y.C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-91581-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings için kapak resmi
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Yazar 
Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01090-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
49. 
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
Yazar 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-03418-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Numerical Simulation of the Aerodynamics of High-Lift Configurations için kapak resmi
Numerical Simulation of the Aerodynamics of High-Lift Configurations
Yazar 
López Mejia, Omar Darío. editor. (orcid)0000-0001-6795-9396 Escobar Gomez, Jaime A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-62136-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII için kapak resmi
Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII
Yazar 
Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04239-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings için kapak resmi
Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings
Yazar 
Kim, Donghyun. editor. Uma, R. N. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04651-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings için kapak resmi
Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings
Yazar 
Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234 Stefanuk, Vadim L. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00617-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
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:
55. 
Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings için kapak resmi
Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
Yazar 
Rabe, Florian. editor. Farmer, William M. editor. Passmore, Grant O. editor. Youssef, Abdou. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-96812-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II için kapak resmi
Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II
Yazar 
Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249 Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765 Yan, Yamin. editor. (orcid)0000-0001-5838-2652 Chen, Shifeng. editor. (orcid)0000-0003-0677-7358 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-97589-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings için kapak resmi
Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
Yazar 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99639-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II için kapak resmi
Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II
Yazar 
Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99259-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings için kapak resmi
Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings
Yazar 
Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-2712-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Intersections in Simulation and Gaming 21st Annual Simulation Technology and Training Conference, SimTecT 2016, and 47th International Simulation and Gaming Association Conference, ISAGA 2016, Held as Part of the First Australasian Simulation Congress, ASC 2016, Melbourne, VIC, Australia, September 26-29, 2016, Revised Selected Papers için kapak resmi
Intersections in Simulation and Gaming 21st Annual Simulation Technology and Training Conference, SimTecT 2016, and 47th International Simulation and Gaming Association Conference, ISAGA 2016, Held as Part of the First Australasian Simulation Congress, ASC 2016, Melbourne, VIC, Australia, September 26-29, 2016, Revised Selected Papers
Yazar 
Naweed, Anjum. editor. (orcid)0000-0002-5534-4295 Wardaszko, Marcin. editor. (orcid)0000-0001-5411-7894 Leigh, Elyssebeth. editor. (orcid)0000-0001-6887-1388 Meijer, Sebastiaan. editor. (orcid)0000-0003-1126-3781 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-78795-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
61. 
On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II için kapak resmi
On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II
Yazar 
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02671-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings için kapak resmi
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Yazar 
Podelski, Andreas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99725-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
63. 
Invasive Computing for Mapping Parallel Programs to Many-Core Architectures için kapak resmi
Invasive Computing for Mapping Parallel Programs to Many-Core Architectures
Yazar 
Weichslgartner, Andreas. author. Wildermann, Stefan. author. Glaß, Michael. author. Teich, Jürgen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-7356-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
64. 
Advances in Computational Intelligence 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II için kapak resmi
Advances in Computational Intelligence 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II
Yazar 
Castro, Félix. editor. Miranda-Jiménez, Sabino. editor. González-Mendoza, Miguel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02840-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Advances in Soft Computing 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I için kapak resmi
Advances in Soft Computing 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I
Yazar 
Castro, Félix. editor. Miranda-Jiménez, Sabino. editor. González-Mendoza, Miguel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02837-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
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:
67. 
The Semantic Web 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedings için kapak resmi
The Semantic Web 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedings
Yazar 
Gangemi, Aldo. editor. (orcid)0000-0001-5568-2684 Navigli, Roberto. editor. (orcid)0000-0003-3831-9706 Vidal, Maria-Esther. editor. (orcid)0000-0003-1160-8727 Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Troncy, Raphaël. editor. (orcid)0000-0003-0457-1436
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-93417-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
68. 
Smart Technology First International Conference, MTYMEX 2017, Monterrey, Mexico, May 24-26, 2017, Proceedings için kapak resmi
Smart Technology First International Conference, MTYMEX 2017, Monterrey, Mexico, May 24-26, 2017, Proceedings
Yazar 
Torres Guerrero, Francisco. editor. Lozoya-Santos, Jorge. editor. Gonzalez Mendivil, Eduardo. editor. Neira-Tovar, Leticia. editor. Ramírez Flores, Pablo G. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73323-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
69. 
Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores için kapak resmi
Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
Yazar 
Pagani, Santiago. author. Chen, Jian-Jia. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-77479-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
70. 
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:
71. 
Smart Objects and Technologies for Social Good Third International Conference, GOODTECHS 2017, Pisa, Italy, November 29-30, 2017, Proceedings için kapak resmi
Smart Objects and Technologies for Social Good Third International Conference, GOODTECHS 2017, Pisa, Italy, November 29-30, 2017, Proceedings
Yazar 
Guidi, Barbara. editor. Ricci, Laura. editor. Calafate, Carlos. editor. Gaggi, Ombretta. editor. Marquez-Barja, Johann. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-76111-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
72. 
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:
73. 
Mobility Analytics for Spatio-Temporal and Social Data First International Workshop, MATES 2017, Munich, Germany, September 1, 2017, Revised Selected Papers için kapak resmi
Mobility Analytics for Spatio-Temporal and Social Data First International Workshop, MATES 2017, Munich, Germany, September 1, 2017, Revised Selected Papers
Yazar 
Doulkeridis, Christos. editor. (orcid)0000-0002-3219-0510 Vouros, George A. editor. (orcid)0000-0001-5451-622X Qu, Qiang. editor. (orcid)0000-0001-5814-8460 Wang, Shuhui. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73521-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
74. 
Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers için kapak resmi
Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers
Yazar 
Lutton, Evelyne. editor. Legrand, Pierrick. editor. Parrend, Pierre. editor. Monmarché, Nicolas. editor. Schoenauer, Marc. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-78133-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
75. 
Blockchain – ICBC 2018 First International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings için kapak resmi
Blockchain – ICBC 2018 First International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
Yazar 
Chen, Shiping. editor. (orcid)0000-0002-4603-0024 Wang, Harry. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94478-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
76. 
Direct and Large-Eddy Simulation X için kapak resmi
Direct and Large-Eddy Simulation X
Yazar 
Grigoriadis, Dimokratis G.E. editor. Geurts, Bernard J. editor. Kuerten, Hans. editor. Fröhlich, Jochen. editor. Armenio, Vincenzo. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63212-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
77. 
Forecast Error Correction using Dynamic Data Assimilation için kapak resmi
Forecast Error Correction using Dynamic Data Assimilation
Yazar 
Lakshmivarahan, Sivaramakrishnan. author. Lewis, John M. author. Jabrzemski, Rafal. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39997-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
78. 
Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings için kapak resmi
Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings
Yazar 
Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67471-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
79. 
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:
80. 
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings için kapak resmi
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Yazar 
Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54069-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
81. 
Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings için kapak resmi
Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
Yazar 
Dixon, Clare. editor. Finger, Marcelo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66167-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
82. 
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:
83. 
Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings için kapak resmi
Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
Yazar 
de Moura, Leonardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63046-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
84. 
String Analysis for Software Verification and Security için kapak resmi
String Analysis for Software Verification and Security
Yazar 
Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68670-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
85. 
Transactions on Computational Collective Intelligence XXVII için kapak resmi
Transactions on Computational Collective Intelligence XXVII
Yazar 
Mercik, Jacek. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70647-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
86. 
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings için kapak resmi
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Yazar 
Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70389-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
87. 
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings için kapak resmi
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
Yazar 
Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70848-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
88. 
Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers için kapak resmi
Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
Yazar 
Sukthankar, Gita. editor. Rodriguez-Aguilar, Juan A. editor. (orcid)0000-0002-2940-6886 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-71682-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
89. 
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:
90. 
Theory of Reversible Computing için kapak resmi
Theory of Reversible Computing
Yazar 
Morita, Kenichi. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-4-431-56606-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
91. 
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:
92. 
Modern Language Models and Computation Theory with Applications için kapak resmi
Modern Language Models and Computation Theory with Applications
Yazar 
Meduna, Alexander. author. Soukup, Ondřej. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63100-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
93. 
Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings için kapak resmi
Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Yazar 
Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66266-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
94. 
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings için kapak resmi
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Yazar 
Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61660-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
95. 
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:
96. 
Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings için kapak resmi
Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
Yazar 
Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-55911-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
97. 
The Semantic Web - ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I için kapak resmi
The Semantic Web - ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I
Yazar 
d'Amato, Claudia. editor. Fernandez, Miriam. editor. Tamma, Valentina. editor. Lecue, Freddy. editor. Cudré-Mauroux, Philippe. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68288-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
98. 
Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers için kapak resmi
Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Yazar 
Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51738-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
99. 
Rendezvous in Distributed Systems Theory, Algorithms and Applications için kapak resmi
Rendezvous in Distributed Systems Theory, Algorithms and Applications
Yazar 
Gu, Zhaoquan. author. Wang, Yuexuan. author. Hua, Qiang-Sheng. author. Lau, Francis C.M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-3680-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
100. 
Pervasive Computing Engineering Smart Systems için kapak resmi
Pervasive Computing Engineering Smart Systems
Yazar 
Silvis-Cividjian, Natalia. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51655-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
101. 
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:
102. 
TRIZ - The Theory of Inventive Problem Solving Current Research and Trends in French Academic Institutions için kapak resmi
TRIZ - The Theory of Inventive Problem Solving Current Research and Trends in French Academic Institutions
Yazar 
Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56593-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
103. 
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings için kapak resmi
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Yazar 
Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66845-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
104. 
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:
105. 
The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I için kapak resmi
The Semantic Web 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I
Yazar 
Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 Maynard, Diana. editor. Gangemi, Aldo. editor. Hoekstra, Rinke. editor. Hitzler, Pascal. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58068-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
106. 
Provably Correct Systems için kapak resmi
Provably Correct Systems
Yazar 
Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48628-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
107. 
The Semantic Web - ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II için kapak resmi
The Semantic Web - ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II
Yazar 
d'Amato, Claudia. editor. Fernandez, Miriam. editor. Tamma, Valentina. editor. Lecue, Freddy. editor. Cudré-Mauroux, Philippe. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68204-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
108. 
Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings için kapak resmi
Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
Yazar 
Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67549-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
109. 
The Semantic Web: ESWC 2017 Satellite Events ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 - June 1, 2017, Revised Selected Papers için kapak resmi
The Semantic Web: ESWC 2017 Satellite Events ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 - June 1, 2017, Revised Selected Papers
Yazar 
Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 Hose, Katja. editor. Paulheim, Heiko. editor. Ławrynowicz, Agnieszka. editor. Ciravegna, Fabio. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70407-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
110. 
Computational Intelligence Methods for Bioinformatics and Biostatistics 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers için kapak resmi
Computational Intelligence Methods for Bioinformatics and Biostatistics 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers
Yazar 
Bracciali, Andrea. editor. (orcid)0000-0003-1451-9260 Caravagna, Giulio. editor. Gilbert, David. editor. Tagliaferri, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67834-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
111. 
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings için kapak resmi
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Yazar 
Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68499-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
112. 
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:
113. 
Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings için kapak resmi
Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings
Yazar 
Cinquemani, Eugenio. editor. Donzé, Alexandre. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47151-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
114. 
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part III için kapak resmi
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part III
Yazar 
Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46675-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
115. 
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings için kapak resmi
Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Yazar 
Blanchette, Jasmin Christian. editor. Merz, Stephan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-43144-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
116. 
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part I için kapak resmi
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part I
Yazar 
Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46687-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
117. 
Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings için kapak resmi
Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
Yazar 
Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-35122-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
118. 
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings için kapak resmi
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Yazar 
Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46982-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
119. 
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:
120. 
Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings için kapak resmi
Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
Yazar 
Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42061-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
121. 
Finitely Supported Mathematics An Introduction için kapak resmi
Finitely Supported Mathematics An Introduction
Yazar 
Alexandru, Andrei. author. Ciobanu, Gabriel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42282-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
122. 
Topics in Grammatical Inference için kapak resmi
Topics in Grammatical Inference
Yazar 
Heinz, Jeffrey. editor. Sempere, José M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-48395-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
123. 
Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings için kapak resmi
Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Yazar 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45943-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
124. 
Process Mining Data Science in Action için kapak resmi
Process Mining Data Science in Action
Yazar 
van der Aalst, Wil M. P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49851-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
125. 
Computational History and Data-Driven Humanities Second IFIP WG 12.7 International Workshop, CHDDH 2016, Dublin, Ireland, May 25, 2016, Revised Selected Papers için kapak resmi
Computational History and Data-Driven Humanities Second IFIP WG 12.7 International Workshop, CHDDH 2016, Dublin, Ireland, May 25, 2016, Revised Selected Papers
Yazar 
Bozic, Bojan. editor. Mendel-Gleason, Gavin. editor. Debruyne, Christophe. editor. O'Sullivan, Declan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46224-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
126. 
Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings için kapak resmi
Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
Yazar 
Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41114-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
127. 
Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings için kapak resmi
Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Yazar 
Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-32582-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
128. 
Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings için kapak resmi
Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Yazar 
Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-34171-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
129. 
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings için kapak resmi
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
Yazar 
Amblard, Maxime. editor. de Groote, Philippe. editor. Pogodalla, Sylvain. editor. Retoré, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-53826-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
130. 
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part II için kapak resmi
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part II
Yazar 
Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46672-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
131. 
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:
132. 
Theory and Practice of Natural Computing 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings için kapak resmi
Theory and Practice of Natural Computing 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings
Yazar 
Martín-Vide, Carlos. editor. Mizuki, Takaaki. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49001-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
133. 
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IV için kapak resmi
Neural Information Processing 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016, Proceedings, Part IV
Yazar 
Hirose, Akira. editor. Ozawa, Seiichi. editor. Doya, Kenji. editor. Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Lee, Minho. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46681-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
134. 
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:
135. 
Computational Intelligence Methods for Bioinformatics and Biostatistics 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers için kapak resmi
Computational Intelligence Methods for Bioinformatics and Biostatistics 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers
Yazar 
Angelini, Claudia. editor. Rancoita, Paola MV. editor. Rovetta, Stefano. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44332-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
136. 
Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings için kapak resmi
Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings
Yazar 
Sarro, Federica. editor. Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47106-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
137. 
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:
138. 
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:
139. 
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings için kapak resmi
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Yazar 
Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45480-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
140. 
Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings için kapak resmi
Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Yazar 
Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41135-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
141. 
Encyclopedia of Algorithms için kapak resmi
Encyclopedia of Algorithms
Yazar 
Kao, Ming-Yang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4939-2864-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
142. 
Software Developers as Users Semiotic Investigations in Human-Centered Software Development için kapak resmi
Software Developers as Users Semiotic Investigations in Human-Centered Software Development
Yazar 
Sieckenius de Souza, Clarisse. author. Fontoura de Gusmão Cerqueira, Renato. author. Marques Afonso, Luiz. author. Rossi de Mello Brandão, Rafael. author. Soares Jansen Ferreira, Juliana. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42831-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
143. 
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:
144. 
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:
145. 
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings için kapak resmi
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Yazar 
Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42547-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
146. 
Web and Internet Economics 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings için kapak resmi
Web and Internet Economics 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings
Yazar 
Cai, Yang. editor. Vetta, Adrian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54110-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
147. 
Turing Computability Theory and Applications için kapak resmi
Turing Computability Theory and Applications
Yazar 
Soare, Robert I. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-31933-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
148. 
Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings için kapak resmi
Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
Yazar 
Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47443-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
149. 
Metadata Shaping Knowledge from Antiquity to the Semantic Web için kapak resmi
Metadata Shaping Knowledge from Antiquity to the Semantic Web
Yazar 
Gartner, Richard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40893-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
150. 
Transactions on Petri Nets and Other Models of Concurrency XI için kapak resmi
Transactions on Petri Nets and Other Models of Concurrency XI
Yazar 
Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Desel, Jörg. editor. Kleijn, Jetty. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-53401-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
151. 
Business Process Management 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings için kapak resmi
Business Process Management 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings
Yazar 
La Rosa, Marcello. editor. (orcid)0000-0001-9568-4035 Loos, Peter. editor. Pastor, Oscar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45348-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
152. 
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:
153. 
Frontiers in Algorithmics 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings için kapak resmi
Frontiers in Algorithmics 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings
Yazar 
Zhu, Daming. editor. Bereg, Sergey. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39817-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
154. 
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers için kapak resmi
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Yazar 
Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48869-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
155. 
Semantic Web Challenges Third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, Revised Selected Papers için kapak resmi
Semantic Web Challenges Third SemWebEval Challenge at ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, Revised Selected Papers
Yazar 
Sack, Harald. editor. Dietze, Stefan. editor. Tordai, Anna. editor. Lange, Christoph. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46565-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
156. 
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings için kapak resmi
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
Yazar 
Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40229-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
157. 
Nutrient Use Efficiency: from Basics to Advances için kapak resmi
Nutrient Use Efficiency: from Basics to Advances
Yazar 
Rakshit, Amitava. editor. Singh, Harikesh Bahadur. editor. Sen, Avijit. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-81-322-2169-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
158. 
Ad Hoc Networks 6th International ICST Conference, ADHOCNETS 2014, Rhodes, Greece, August 18-19, 2014, Revised Selected Papers için kapak resmi
Ad Hoc Networks 6th International ICST Conference, ADHOCNETS 2014, Rhodes, Greece, August 18-19, 2014, Revised Selected Papers
Yazar 
Mitton, Natalie. editor. Gallais, Antoine. editor. Kantarci, Melike Erol. editor. Papavassiliou, Symeon. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13329-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
159. 
Evolving Software Systems için kapak resmi
Evolving Software Systems
Yazar 
Mens, Tom. editor. Serebrenik, Alexander. editor. Cleve, Anthony. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-45398-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
160. 
Communications and Multimedia Security 15th IFIP TC 6/TC 11 International Conference, CMS 2014, Aveiro, Portugal, September 25-26, 2014, Proceedings için kapak resmi
Communications and Multimedia Security 15th IFIP TC 6/TC 11 International Conference, CMS 2014, Aveiro, Portugal, September 25-26, 2014, Proceedings
Yazar 
De Decker, Bart. editor. Zúquete, André. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44885-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
161. 
Post-Quantum Cryptography 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings için kapak resmi
Post-Quantum Cryptography 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings
Yazar 
Mosca, Michele. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11659-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
162. 
Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings için kapak resmi
Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings
Yazar 
Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-55128-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
163. 
Sociomaterial-Design Bounding Technologies in Practice için kapak resmi
Sociomaterial-Design Bounding Technologies in Practice
Yazar 
Bjørn, Pernille. author. Østerlund, Carsten. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-12607-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
164. 
IT Quality Management için kapak resmi
IT Quality Management
Yazar 
Osterhage, Wolfgang W. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-43767-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
165. 
Advanced Real-Time Manipulation of Video Streams için kapak resmi
Advanced Real-Time Manipulation of Video Streams
Yazar 
Herling, Jan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-05810-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
166. 
Internet of Vehicles -- Technologies and Services First International Conference, IOV 2014, Beijing, China, September 1-3, 2014, Proceedings için kapak resmi
Internet of Vehicles -- Technologies and Services First International Conference, IOV 2014, Beijing, China, September 1-3, 2014, Proceedings
Yazar 
Hsu, Robert C.-H. editor. Shangguang, Wang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11167-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
167. 
What Is Computer Science? An Information Security Perspective için kapak resmi
What Is Computer Science? An Information Security Perspective
Yazar 
Page, Daniel. author. Smart, Nigel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-04042-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
168. 
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings için kapak resmi
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Yazar 
Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08789-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
169. 
Knowledge Management and Acquisition for Smart Systems and Services 13th Pacific Rim Knowledge Acquisition Workshop, PKAW 2014, Gold Cost, QLD, Australia, December 1-2, 2014, Proceedings için kapak resmi
Knowledge Management and Acquisition for Smart Systems and Services 13th Pacific Rim Knowledge Acquisition Workshop, PKAW 2014, Gold Cost, QLD, Australia, December 1-2, 2014, Proceedings
Yazar 
Kim, Yang Sok. editor. Kang, Byeong Ho. editor. Richards, Deborah. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13332-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
170. 
Expert bytes : computer expertise in forensic documents : players, needs, resources, and pitfalls için kapak resmi
Expert bytes : computer expertise in forensic documents : players, needs, resources, and pitfalls
Yazar 
Atanasiu, Vlad, author.
Yer Numarası 
HV8074 .A83 2014
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
171. 
Beginning Sensor Networks with Arduino and Raspberry Pi için kapak resmi
Beginning Sensor Networks with Arduino and Raspberry Pi
Yazar 
Bell, Charles. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330714.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-5825-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
172. 
WordPress for Web Developers An Introduction for Web Professionals için kapak resmi
WordPress for Web Developers An Introduction for Web Professionals
Yazar 
Leary, Stephanie. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330720.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-5867-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
173. 
Pro iOS and Android Apps for Business with jQuery Mobile, Node.js, and MongoDB için kapak resmi
Pro iOS and Android Apps for Business with jQuery Mobile, Node.js, and MongoDB
Yazar 
Zammetti, Frank. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330747.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-6071-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
174. 
Real World Windows 8 App Development with JavaScript Create Great Windows Store Apps için kapak resmi
Real World Windows 8 App Development with JavaScript Create Great Windows Store Apps
Yazar 
Moemeka, Edward. author. Moemeka, Elizabeth. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330691.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-5081-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
175. 
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:
176. 
Social Media Retrieval için kapak resmi
Social Media Retrieval
Yazar 
Ramzan, Naeem. editor. Zwol, Roelof. editor. Lee, Jong-Seok. editor. Clüver, Kai. editor. Hua, Xian-Sheng. editor.
Yer Numarası 
ONLINE(331009.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4555-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
177. 
Modeling and Simulating Command and Control For Organizations Under Extreme Situations için kapak resmi
Modeling and Simulating Command and Control For Organizations Under Extreme Situations
Yazar 
Moon, Il-Chul. author. Carley, Kathleen M. author. Kim, Tag Gon. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331124.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5037-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
178. 
A Multimodal End-2-End Approach to Accessible Computing için kapak resmi
A Multimodal End-2-End Approach to Accessible Computing
Yazar 
Biswas, Pradipta. editor. Duarte, Carlos. editor. Langdon, Patrick. editor. Almeida, Luis. editor. Jung, Christoph. editor.
Yer Numarası 
ONLINE(331138.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5082-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
179. 
Mathematical Methodologies in Pattern Recognition and Machine Learning Contributions from the International Conference on Pattern Recognition Applications and Methods, 2012 için kapak resmi
Mathematical Methodologies in Pattern Recognition and Machine Learning Contributions from the International Conference on Pattern Recognition Applications and Methods, 2012
Yazar 
Latorre Carmona, Pedro. editor. Sánchez, J. Salvador. editor. Fred, Ana L.N. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(331669.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5076-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
180. 
Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis için kapak resmi
Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis
Yazar 
Kjærulff, Uffe B. author. Madsen, Anders L. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331677.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5104-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
181. 
Dynamic Cloud Collaboration Platform A Market-Oriented Approach için kapak resmi
Dynamic Cloud Collaboration Platform A Market-Oriented Approach
Yazar 
Hassan, Mohammad Mehedi. author. Huh, Eui-Nam. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331690.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5146-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
182. 
Digital Functions and Data Reconstruction Digital-Discrete Methods için kapak resmi
Digital Functions and Data Reconstruction Digital-Discrete Methods
Yazar 
Chen, Li M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331826.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5638-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
183. 
Bayesian Networks in R with Applications in Systems Biology için kapak resmi
Bayesian Networks in R with Applications in Systems Biology
Yazar 
Nagarajan, Radhakrishnan. author. Scutari, Marco. author. Lèbre, Sophie. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332033.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6446-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
184. 
Distributed Medium Access Control in Wireless Networks için kapak resmi
Distributed Medium Access Control in Wireless Networks
Yazar 
Wang, Ping. author. Zhuang, Weihua. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332073.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6602-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
185. 
Seamless R and C++ Integration with Rcpp için kapak resmi
Seamless R and C++ Integration with Rcpp
Yazar 
Eddelbuettel, Dirk. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332142.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6868-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
186. 
Handbook of Human Computation için kapak resmi
Handbook of Human Computation
Yazar 
Michelucci, Pietro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332449.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-8806-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
187. 
Modelling Computing Systems Mathematics for Computer Science için kapak resmi
Modelling Computing Systems Mathematics for Computer Science
Yazar 
Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332574.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-322-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
188. 
Advances in Bioinformatics and Computational Biology 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings için kapak resmi
Advances in Bioinformatics and Computational Biology 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings
Yazar 
Setubal, João C. editor. Almeida, Nalvo F. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332932.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02624-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
189. 
Scientific Computing and Cultural Heritage Contributions in Computational Humanities için kapak resmi
Scientific Computing and Cultural Heritage Contributions in Computational Humanities
Yazar 
Bock, Hans Georg. editor. Jäger, Willi. editor. Winckler, Michael J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333171.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28021-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
190. 
Recent Progress in Data Engineering and Internet Technology Volume 1 için kapak resmi
Recent Progress in Data Engineering and Internet Technology Volume 1
Yazar 
Gaol, Ford Lumban. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333206.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28807-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
191. 
Modern Probabilistic Methods for Analysis of Telecommunication Networks Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedings için kapak resmi
Modern Probabilistic Methods for Analysis of Telecommunication Networks Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedings
Yazar 
Dudin, Alexander. editor. Klimenok, Valentina. editor. Tsarenkov, Gennadiy. editor. Dudin, Sergey. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334093.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35980-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
192. 
Advances in Computing, Communication, and Control Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings için kapak resmi
Advances in Computing, Communication, and Control Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings
Yazar 
Unnikrishnan, Srija. editor. Surve, Sunil. editor. Bhoir, Deepak. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334176.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36321-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
193. 
Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings için kapak resmi
Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings
Yazar 
Roughan, Matthew. editor. Chang, Rocky. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334223.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36516-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
194. 
Mobile Wireless Middleware, Operating Systems, and Applications 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012, Revised Selected Papers için kapak resmi
Mobile Wireless Middleware, Operating Systems, and Applications 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012, Revised Selected Papers
Yazar 
Borcea, Cristian. editor. Bellavista, Paolo. editor. Giannelli, Carlo. editor. Magedanz, Thomas. editor. Schreiner, Florian. editor.
Yer Numarası 
ONLINE(334259.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36660-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
195. 
Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers için kapak resmi
Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers
Yazar 
Piazolo, Felix. editor. Felderer, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334344.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37021-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
196. 
Financial Modeling A Backward Stochastic Differential Equations Perspective için kapak resmi
Financial Modeling A Backward Stochastic Differential Equations Perspective
Yazar 
Crépey, Stéphane. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334364.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37113-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
197. 
Security and Trust Management 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers için kapak resmi
Security and Trust Management 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers
Yazar 
Jøsang, Audun. editor. Samarati, Pierangela. editor. Petrocchi, Marinella. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334514.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38004-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
198. 
Information Security Practice and Experience 9th International Conference, ISPEC 2013, Lanzhou, China, May 12-14, 2013. Proceedings için kapak resmi
Information Security Practice and Experience 9th International Conference, ISPEC 2013, Lanzhou, China, May 12-14, 2013. Proceedings
Yazar 
Deng, Robert H. editor. Feng, Tao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334519.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38033-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
199. 
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings için kapak resmi
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Yazar 
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334533.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38088-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
200. 
Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings için kapak resmi
Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings
Yazar 
Qin, Zengchang. editor. Huynh, Van-Nam. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334813.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39515-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
201. 
Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings için kapak resmi
Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Yazar 
Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334821.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39614-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
202. 
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II için kapak resmi
Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II
Yazar 
Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası 
ONLINE(334828.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39643-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
203. 
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings için kapak resmi
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Yazar 
Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334844.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39742-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
204. 
Advances in Computational Intelligence 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part I için kapak resmi
Advances in Computational Intelligence 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part I
Yazar 
Rojas, Ignacio. editor. Joya, Gonzalo. editor. Gabestany, Joan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334648.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38679-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
205. 
Security and Privacy Protection in Information Processing Systems 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings için kapak resmi
Security and Privacy Protection in Information Processing Systems 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings
Yazar 
Janczewski, Lech J. editor. Wolfe, Henry B. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334755.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39218-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
206. 
Ad-hoc, Mobile, and Wireless Network 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013. Proceedings için kapak resmi
Ad-hoc, Mobile, and Wireless Network 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013. Proceedings
Yazar 
Cichoń, Jacek. editor. Gȩbala, Maciej. editor. Klonowski, Marek. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334764.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39247-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
207. 
RoboCup 2012: Robot Soccer World Cup XVI için kapak resmi
RoboCup 2012: Robot Soccer World Cup XVI
Yazar 
Chen, Xiaoping. editor. Stone, Peter. editor. Sucar, Luis Enrique. editor. Zant, Tijn. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334765.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39250-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
208. 
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings için kapak resmi
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Yazar 
Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335023.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40885-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
209. 
Contemporary Evolution Strategies için kapak resmi
Contemporary Evolution Strategies
Yazar 
Bäck, Thomas. author. Foussette, Christophe. author. Krause, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334897.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40137-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
210. 
KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings için kapak resmi
KI 2013: Advances in Artificial Intelligence 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings
Yazar 
Timm, Ingo J. editor. Thimm, Matthias. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335031.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40942-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
211. 
Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers için kapak resmi
Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers
Yazar 
Pierson, Jean-Marc. editor. Da Costa, Georges. editor. Dittmann, Lars. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334960.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40517-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
212. 
Transactions on Computational Collective Intelligence XI için kapak resmi
Transactions on Computational Collective Intelligence XI
Yazar 
Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335144.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41776-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
213. 
The Semantic Web: ESWC 2013 Satellite Events ESWC 2013 Satellite Events, Montpellier, France, May 26-30, 2013, Revised Selected Papers için kapak resmi
The Semantic Web: ESWC 2013 Satellite Events ESWC 2013 Satellite Events, Montpellier, France, May 26-30, 2013, Revised Selected Papers
Yazar 
Cimiano, Philipp. editor. Fernández, Miriam. editor. Lopez, Vanessa. editor. Schlobach, Stefan. editor. Völker, Johanna. editor.
Yer Numarası 
ONLINE(335079.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41242-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
214. 
Research in Attacks, Intrusions, and Defenses 16th International Symposium, RAID 2013, Rodney Bay, St. Lucia, October 23-25, 2013. Proceedings için kapak resmi
Research in Attacks, Intrusions, and Defenses 16th International Symposium, RAID 2013, Rodney Bay, St. Lucia, October 23-25, 2013. Proceedings
Yazar 
Stolfo, Salvatore J. editor. Stavrou, Angelos. editor. Wright, Charles V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335085.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41284-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
215. 
Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers için kapak resmi
Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers
Yazar 
Nicosia, Giuseppe. editor. Pardalos, Panos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335176.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-44973-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
216. 
Critical Infrastructure Protection VII 7th IFIP WG 11.10 International Conference, ICCIP 2013, Washington, DC, USA, March 18-20, 2013, Revised Selected Papers için kapak resmi
Critical Infrastructure Protection VII 7th IFIP WG 11.10 International Conference, ICCIP 2013, Washington, DC, USA, March 18-20, 2013, Revised Selected Papers
Yazar 
Butts, Jonathan. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335209.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45330-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
217. 
Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers için kapak resmi
Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers
Yazar 
Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335210.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45343-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
218. 
IT Enabled Services için kapak resmi
IT Enabled Services
Yazar 
Uesugi, Shiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335326.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-7091-1425-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
219. 
Agent-Based Approaches in Economic and Social Complex Systems VII Post-Proceedings of The AESCS International Workshop 2012 için kapak resmi
Agent-Based Approaches in Economic and Social Complex Systems VII Post-Proceedings of The AESCS International Workshop 2012
Yazar 
Murata, Tadahiko. editor. Terano, Takao. editor. Takahashi, Shingo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335409.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-4-431-54279-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
220. 
Natural Computing and Beyond Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings için kapak resmi
Natural Computing and Beyond Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings
Yazar 
Suzuki, Yasuhiro. editor. Nakagaki, Toshiyuki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335430.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-4-431-54394-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
221. 
Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings için kapak resmi
Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings
Yazar 
Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335433.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-4-431-54436-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
222. 
Graph Theory with Algorithms and its Applications In Applied Science and Technology için kapak resmi
Graph Theory with Algorithms and its Applications In Applied Science and Technology
Yazar 
Saha Ray, Santanu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335456.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-81-322-0750-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
223. 
The Argument of Mathematics için kapak resmi
The Argument of Mathematics
Yazar 
Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(336263.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-6534-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
224. 
A Finite Element Method for Netting Application to fish cages and fishing gear için kapak resmi
A Finite Element Method for Netting Application to fish cages and fishing gear
Yazar 
Priour, Daniel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(336330.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-6844-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
225. 
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics için kapak resmi
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
Yazar 
Mogavero, Fabio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(336496.1)
Elektronik Erişim 
http://dx.doi.org/10.2991/978-94-91216-95-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
226. 
Menschen, Tiere und Max Natürliche Kommunikation und künstliche Intelligenz için kapak resmi
Menschen, Tiere und Max Natürliche Kommunikation und künstliche Intelligenz
Yazar 
Wachsmuth, Ipke. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(338287.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8274-3014-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
227. 
Java EE 7 Recipes A Problem-Solution Approach için kapak resmi
Java EE 7 Recipes A Problem-Solution Approach
Yazar 
Juneau, Josh. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330605.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-4426-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
228. 
Beginning Fedora Desktop için kapak resmi
Beginning Fedora Desktop
Yazar 
Petersen, Richard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330791.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-6563-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
229. 
Coordinative Practices in the Building Process An Ethnographic Perspective için kapak resmi
Coordinative Practices in the Building Process An Ethnographic Perspective
Yazar 
Christensen, Lars Rune. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330910.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4117-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
230. 
Real-Time Detection of Lines and Grids By PClines and Other Approaches için kapak resmi
Real-Time Detection of Lines and Grids By PClines and Other Approaches
Yazar 
Herout, Adam. author. Dubská, Markéta. author. Havel, Jiří. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330974.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4414-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
231. 
Cloud Computing Methods and Practical Approaches için kapak resmi
Cloud Computing Methods and Practical Approaches
Yazar 
Mahmood, Zaigham. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(331146.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5107-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
232. 
Similarity-Based Pattern Analysis and Recognition için kapak resmi
Similarity-Based Pattern Analysis and Recognition
Yazar 
Pelillo, Marcello. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(331228.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5628-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
233. 
Dynamic Reconfiguration in Real-Time Systems Energy, Performance, and Thermal Perspectives için kapak resmi
Dynamic Reconfiguration in Real-Time Systems Energy, Performance, and Thermal Perspectives
Yazar 
Wang, Weixun. author. Mishra, Prabhat. author. Ranka, Sanjay. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331237.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-0278-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
234. 
An ASIC Low Power Primer Analysis, Techniques and Specification için kapak resmi
An ASIC Low Power Primer Analysis, Techniques and Specification
Yazar 
Chadha, Rakesh. author. Bhasker, J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331464.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4271-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
235. 
Iris Biometrics From Segmentation to Template Security için kapak resmi
Iris Biometrics From Segmentation to Template Security
Yazar 
Rathgeb, Christian. author. Uhl, Andreas. author. Wild, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331810.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5571-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
236. 
Inverse Problems and Large-Scale Computations için kapak resmi
Inverse Problems and Large-Scale Computations
Yazar 
Beilina, Larisa. editor. Shestopalov, Yury V. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332788.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00660-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
237. 
Evolving Ambient Intelligence AmI 2013 Workshops, Dublin, Ireland, December 3-5, 2013. Revised Selected Papers için kapak resmi
Evolving Ambient Intelligence AmI 2013 Workshops, Dublin, Ireland, December 3-5, 2013. Revised Selected Papers
Yazar 
O’Grady, Michael J. editor. Vahdat-Nejad, Hamed. editor. Wolf, Klaus-Hendrik. editor. Dragone, Mauro. editor. Ye, Juan. editor.
Yer Numarası 
ONLINE(333022.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-04406-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
238. 
Analyzing Evolutionary Algorithms The Computer Science Perspective için kapak resmi
Analyzing Evolutionary Algorithms The Computer Science Perspective
Yazar 
Jansen, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333075.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17339-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
239. 
Compiler Design Syntactic and Semantic Analysis için kapak resmi
Compiler Design Syntactic and Semantic Analysis
Yazar 
Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333076.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17540-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
240. 
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:
241. 
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:
242. 
Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers için kapak resmi
Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers
Yazar 
Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332997.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03841-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
243. 
Model Based Parameter Estimation Theory and Applications için kapak resmi
Model Based Parameter Estimation Theory and Applications
Yazar 
Bock, Hans Georg. editor. Carraro, Thomas. editor. Jäger, Willi. editor. Körkel, Stefan. editor. Rannacher, Rolf. editor.
Yer Numarası 
ONLINE(333324.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30367-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
244. 
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies için kapak resmi
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies
Yazar 
Reisig, Wolfgang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333688.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-33278-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
245. 
On Fuzziness A Homage to Lotfi A. Zadeh – Volume 1 için kapak resmi
On Fuzziness A Homage to Lotfi A. Zadeh – Volume 1
Yazar 
Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334017.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35641-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
246. 
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers için kapak resmi
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
Yazar 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası 
ONLINE(334041.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35737-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
247. 
Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings için kapak resmi
Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings
Yazar 
Dawson, Ed. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334122.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36095-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
248. 
Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers için kapak resmi
Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers
Yazar 
Yuan, Yuyu. editor. Wu, Xu. editor. Lu, Yueming. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334049.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35795-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
249. 
Business Intelligence Second European Summer School, eBISS 2012, Brussels, Belgium, July 15-21, 2012, Tutorial Lectures için kapak resmi
Business Intelligence Second European Summer School, eBISS 2012, Brussels, Belgium, July 15-21, 2012, Tutorial Lectures
Yazar 
Aufaure, Marie-Aude. editor. Zimányi, Esteban. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334175.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36318-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
250. 
Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers için kapak resmi
Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers
Yazar 
Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334099.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36008-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
251. 
Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers için kapak resmi
Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers
Yazar 
Abdalla, Michel. editor. Lange, Tanja. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334179.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36334-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
252. 
New Frontiers in Mining Complex Patterns First International Workshop, NFMCP 2012, Held in Conjunction with ECML/PKDD 2012, Bristol, UK, September 24, 2012, Rivesed Selected Papers için kapak resmi
New Frontiers in Mining Complex Patterns First International Workshop, NFMCP 2012, Held in Conjunction with ECML/PKDD 2012, Bristol, UK, September 24, 2012, Rivesed Selected Papers
Yazar 
Appice, Annalisa. editor. Ceci, Michelangelo. editor. Loglisci, Corrado. editor. Manco, Giuseppe. editor. Masciari, Elio. editor.
Yer Numarası 
ONLINE(334417.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37382-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
253. 
Perspectives on the Future of Software Engineering Essays in Honor of Dieter Rombach için kapak resmi
Perspectives on the Future of Software Engineering Essays in Honor of Dieter Rombach
Yazar 
Münch, Jürgen. editor. Schmid, Klaus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334419.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37395-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
254. 
Computer Vision - ACCV 2012 Workshops ACCV 2012 International Workshops, Daejeon, Korea, November 5-6, 2012, Revised Selected Papers, Part I için kapak resmi
Computer Vision - ACCV 2012 Workshops ACCV 2012 International Workshops, Daejeon, Korea, November 5-6, 2012, Revised Selected Papers, Part I
Yazar 
Park, Jong-Il. editor. Kim, Junmo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334424.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37410-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
255. 
Open Learning Cultures A Guide to Quality, Evaluation, and Assessment for Future Learning için kapak resmi
Open Learning Cultures A Guide to Quality, Evaluation, and Assessment for Future Learning
Yazar 
Ehlers, Ulf-Daniel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334550.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38174-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
256. 
Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective için kapak resmi
Belief-based Stability in Coalition Formation with Uncertainty An Intelligent Agents’ Perspective
Yazar 
Chan, Chi-kong. author. Leung, Ho-fung. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(334558.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38215-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
257. 
Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings için kapak resmi
Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings
Yazar 
Baumeister, Hubert. editor. Weber, Barbara. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334579.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38314-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
258. 
Die Macht der Daten Wie Information unser Leben bestimmt için kapak resmi
Die Macht der Daten Wie Information unser Leben bestimmt
Yazar 
Saint-Mont, Uwe. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(337167.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35117-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
259. 
Oracle Certified Professional Java SE 7 Programmer Exams 1Z0-804 and 1Z0-805 A Comprehensive OCPJP 7 Certification Guide için kapak resmi
Oracle Certified Professional Java SE 7 Programmer Exams 1Z0-804 and 1Z0-805 A Comprehensive OCPJP 7 Certification Guide
Yazar 
Ganesh, S G. author. Sharma, Tushar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330636.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-4765-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
260. 
Pro Spring Security için kapak resmi
Pro Spring Security
Yazar 
Scarioni, Carlo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330643.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-4819-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
261. 
Learn Raspberry Pi with Linux için kapak resmi
Learn Raspberry Pi with Linux
Yazar 
Membrey, Peter. author. Hows, David. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330644.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-4822-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
262. 
Practical SharePoint 2013 Enterprise Content Management için kapak resmi
Practical SharePoint 2013 Enterprise Content Management
Yazar 
Goodyear, Steve. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330759.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-6170-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
263. 
TypeScript Revealed için kapak resmi
TypeScript Revealed
Yazar 
Maharry, Dan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330697.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-5726-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
264. 
DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings için kapak resmi
DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
Yazar 
Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332892.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-01928-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
265. 
Speech and Computer 15th International Conference, SPECOM 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings için kapak resmi
Speech and Computer 15th International Conference, SPECOM 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings
Yazar 
Železný, Miloš. editor. Habernal, Ivan. editor. Ronzhin, Andrey. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332893.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-01931-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
266. 
Community Structure of Complex Networks için kapak resmi
Community Structure of Complex Networks
Yazar 
Shen, Hua-Wei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333494.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31821-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
267. 
Cognitive Aspects of Computational Language Acquisition için kapak resmi
Cognitive Aspects of Computational Language Acquisition
Yazar 
Villavicencio, Aline. editor. Poibeau, Thierry. editor. Korhonen, Anna. editor. Alishahi, Afra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333499.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31863-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
268. 
Topological Derivatives in Shape Optimization için kapak resmi
Topological Derivatives in Shape Optimization
Yazar 
Novotny, Antonio André. author. Sokołowski, Jan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333955.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35245-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
269. 
Auditing and GRC Automation in SAP için kapak resmi
Auditing and GRC Automation in SAP
Yazar 
Chuprunov, Maxim. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333960.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35302-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
270. 
Pattern Recognition 5th Mexican Conference, MCPR 2013, Querétaro, Mexico, June 26-29, 2013. Proceedings için kapak resmi
Pattern Recognition 5th Mexican Conference, MCPR 2013, Querétaro, Mexico, June 26-29, 2013. Proceedings
Yazar 
Carrasco-Ochoa, Jesús Ariel. editor. Martínez-Trinidad, José Francisco. editor. Rodríguez, Joaquín Salas. editor. Baja, Gabriella Sanniti. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334709.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38989-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
271. 
Distributed Applications and Interoperable Systems 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings için kapak resmi
Distributed Applications and Interoperable Systems 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Yazar 
Dowling, Jim. editor. Taïani, François. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334618.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38541-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
272. 
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday için kapak resmi
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Yazar 
Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334837.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39698-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
273. 
Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I için kapak resmi
Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I
Yazar 
Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334640.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38637-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
274. 
Aspect-Oriented Requirements Engineering için kapak resmi
Aspect-Oriented Requirements Engineering
Yazar 
Moreira, Ana. editor. Chitchyan, Ruzanna. editor. Araújo, João. editor. Rashid, Awais. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334641.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38640-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
275. 
The Personal Web A Research Agenda için kapak resmi
The Personal Web A Research Agenda
Yazar 
Chignell, Mark. editor. Cordy, James R. editor. Kealey, Ryan. editor. Ng, Joanna. editor. Yesha, Yelena. editor.
Yer Numarası 
ONLINE(334876.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39995-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
276. 
Public Key Infrastructures, Services and Applications 9th European Workshop, EuroPKI 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers için kapak resmi
Public Key Infrastructures, Services and Applications 9th European Workshop, EuroPKI 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers
Yazar 
Capitani di Vimercati, Sabrina. editor. Mitchell, Chris. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334878.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40012-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
277. 
Information Search, Integration and Personalization International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised Selected Papers için kapak resmi
Information Search, Integration and Personalization International Workshop, ISIP 2012, Sapporo, Japan, October 11-13, 2012. Revised Selected Papers
Yazar 
Tanaka, Yuzuru. editor. Spyratos, Nicolas. editor. Yoshida, Tetsuya. editor. Meghini, Carlo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334898.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40140-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
278. 
Combinatorial Search: From Algorithms to Systems için kapak resmi
Combinatorial Search: From Algorithms to Systems
Yazar 
Hamadi, Youssef. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335109.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41482-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
279. 
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers için kapak resmi
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Yazar 
Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335125.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41578-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
280. 
Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers için kapak resmi
Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers
Yazar 
Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.
Yer Numarası 
ONLINE(335131.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41635-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
281. 
Security Engineering and Intelligence Informatics CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings için kapak resmi
Security Engineering and Intelligence Informatics CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings
Yazar 
Cuzzocrea, Alfredo. editor. Kittl, Christian. editor. Simos, Dimitris E. editor. Weippl, Edgar. editor. Xu, Lida. editor.
Yer Numarası 
ONLINE(334975.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40588-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
282. 
Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings için kapak resmi
Artificial Neural Networks and Machine Learning – ICANN 2013 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings
Yazar 
Mladenov, Valeri. editor. Koprinkova-Hristova, Petia. editor. Palm, Günther. editor. Villa, Alessandro E. P. editor. Appollini, Bruno. editor.
Yer Numarası 
ONLINE(334996.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40728-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
283. 
The Semantic Web – ISWC 2013 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II için kapak resmi
The Semantic Web – ISWC 2013 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II
Yazar 
Alani, Harith. editor. Kagal, Lalana. editor. Fokoue, Achille. editor. Groth, Paul. editor. Biemann, Chris. editor.
Yer Numarası 
ONLINE(335092.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41338-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
284. 
Advances in Information and Computer Security 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings için kapak resmi
Advances in Information and Computer Security 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings
Yazar 
Sakiyama, Kazuo. editor. Terada, Masayuki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335098.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41383-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
285. 
Web and Internet Economics 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings için kapak resmi
Web and Internet Economics 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings
Yazar 
Chen, Yiling. editor. Immorlica, Nicole. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335183.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45046-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
286. 
Pattern Recognition and Machine Intelligence 5th International Conference, PReMI 2013, Kolkata, India, December 10-14, 2013. Proceedings için kapak resmi
Pattern Recognition and Machine Intelligence 5th International Conference, PReMI 2013, Kolkata, India, December 10-14, 2013. Proceedings
Yazar 
Maji, Pradipta. editor. Ghosh, Ashish. editor. Murty, M. Narasimha. editor. Ghosh, Kuntal. editor. Pal, Sankar K. editor.
Yer Numarası 
ONLINE(335185.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45062-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
287. 
Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers için kapak resmi
Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers
Yazar 
Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335198.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45260-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
288. 
Techniques and Tools for Designing an Online Social Network Platform için kapak resmi
Techniques and Tools for Designing an Online Social Network Platform
Yazar 
Karampelas, Panagiotis. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335297.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-7091-0787-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
289. 
Matematica Numerica Esercizi, Laboratori e Progetti için kapak resmi
Matematica Numerica Esercizi, Laboratori e Progetti
Yazar 
Quarteroni, Alfio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335646.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-5541-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
290. 
Resistance, Liberation Technology and Human Rights in the Digital Age için kapak resmi
Resistance, Liberation Technology and Human Rights in the Digital Age
Yazar 
Ziccardi, Giovanni. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(335936.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-5276-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
291. 
Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung için kapak resmi
Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung
Yazar 
Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(337114.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34718-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
292. 
Funktionale Sicherheit Echtzeit 2013 için kapak resmi
Funktionale Sicherheit Echtzeit 2013
Yazar 
Halang, Wolfgang A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(337391.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41309-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
293. 
Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungen için kapak resmi
Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungen
Yazar 
Breckenfelder, Christof. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(337705.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-658-01128-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
294. 
Elektrotechnik für Ingenieure 3 Ausgleichsvorgänge, Fourieranalyse, Vierpoltheorie. Ein Lehr- und Arbeitsbuch für das Grundstudium için kapak resmi
Elektrotechnik für Ingenieure 3 Ausgleichsvorgänge, Fourieranalyse, Vierpoltheorie. Ein Lehr- und Arbeitsbuch für das Grundstudium
Yazar 
Weißgerber, Wilfried. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(338315.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-2088-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
295. 
Farbempfindung, Farbbeschreibung und Farbmessung Eine Formel für die Farbsättigung için kapak resmi
Farbempfindung, Farbbeschreibung und Farbmessung Eine Formel für die Farbsättigung
Yazar 
Lübbe, Eva. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(338340.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-2228-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
296. 
Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation için kapak resmi
Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation
Yazar 
Mandl, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(338350.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-2301-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
297. 
IT-Projektmanagement als kybernetisches System Intelligente Entscheidungsfindung in der Projektführung durch Feedback için kapak resmi
IT-Projektmanagement als kybernetisches System Intelligente Entscheidungsfindung in der Projektführung durch Feedback
Yazar 
Lent, Bogdan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(338383.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-2512-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
298. 
Image Analysis and Recognition 10th International Conference, ICIAR 2013, Póvoa do Varzim, Portugal, June 26-28, 2013. Proceedings için kapak resmi
Image Analysis and Recognition 10th International Conference, ICIAR 2013, Póvoa do Varzim, Portugal, June 26-28, 2013. Proceedings
Yazar 
Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334729.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39094-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
299. 
Advances in Computational Intelligence 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part II için kapak resmi
Advances in Computational Intelligence 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part II
Yazar 
Rojas, Ignacio. editor. Joya, Gonzalo. editor. Cabestany, Joan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334649.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38682-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
300. 
Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings için kapak resmi
Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings
Yazar 
Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334848.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39784-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç