Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(864)
Campilho, Aurélio. editor.
(14)
Kamel, Mohamed. editor.
(12)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(9)
Quarteroni, Alfio. author.
(9)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(287)
Computer software.
(283)
Software engineering.
(239)
Algorithm Analysis and Problem Complexity.
(208)
Computer Communication Networks.
(163)
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ç
873 sonuç bulundu Arama sonuçlarına abone ol
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers için kapak resmi
Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
Yazar 
Paech, Barbara. editor. Martell, Craig. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89778-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Analysis and Design of Information Systems Third Edition için kapak resmi
Analysis and Design of Information Systems Third Edition
Yazar 
Langer, Arthur M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-655-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Image Analysis and Recognition 5th International Conference, ICIAR 2008, Póvoa de Varzim, Portugal, June 25-27, 2008. Proceedings için kapak resmi
Image Analysis and Recognition 5th International Conference, ICIAR 2008, Póvoa de Varzim, Portugal, June 25-27, 2008. Proceedings
Yazar 
Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69812-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems için kapak resmi
The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems
Yazar 
Pezzulo, Giovanni. editor. Butz, Martin V. editor. Castelfranchi, Cristiano. editor. Falcone, Rino. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-87702-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems için kapak resmi
Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
Yazar 
Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6782-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Advances in Mass Data Analysis of Images and Signals in Medicine, Biotechnology, Chemistry and Food Industry Third International Conference, MDA 2008 Leipzig, Germany, July 14, 2008 Proceedings için kapak resmi
Advances in Mass Data Analysis of Images and Signals in Medicine, Biotechnology, Chemistry and Food Industry Third International Conference, MDA 2008 Leipzig, Germany, July 14, 2008 Proceedings
Yazar 
Perner, Petra. editor. Salvetti, Ovidio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70715-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-74101-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Network Performance Analysis Using the J Programming Language için kapak resmi
Network Performance Analysis Using the J Programming Language
Yazar 
Holt, Alan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-823-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Protein-protein Interactions and Networks Identification, Computer Analysis, and Prediction için kapak resmi
Protein-protein Interactions and Networks Identification, Computer Analysis, and Prediction
Yazar 
Panchenko, Anna. editor. Przytycka, Teresa. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-125-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings için kapak resmi
Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
Yazar 
Medina, Raoul. editor. Obiedkov, Sergei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78137-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Combinatorial Image Analysis 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings için kapak resmi
Combinatorial Image Analysis 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings
Yazar 
Brimkov, Valentin E. editor. Barneva, Reneta P. editor. Hauptman, Herbert A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78275-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Yazar 
Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78800-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
Yazar 
Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85778-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Progress in Pattern Recognition, Image Analysis and Applications 13th Iberoamerican Congress on Pattern Recognition, CIARP 2008, Havana, Cuba, September 9-12, 2008. Proceedings için kapak resmi
Progress in Pattern Recognition, Image Analysis and Applications 13th Iberoamerican Congress on Pattern Recognition, CIARP 2008, Havana, Cuba, September 9-12, 2008. Proceedings
Yazar 
Ruiz-Shulcloper, José. editor. Kropatsch, Walter G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-85920-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings için kapak resmi
Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
Yazar 
Cha, Sungdeok (Steve). editor. Choi, Jin-Young. editor. Kim, Moonzoo. editor. Lee, Insup. editor. Viswanathan, Mahesh. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-88387-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Power Analysis Attacks Revealing the Secrets of Smart Cards için kapak resmi
Power Analysis Attacks Revealing the Secrets of Smart Cards
Yazar 
Mangard, Stefan. author. Oswald, Elisabeth. author. Popp, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-38162-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Mathematik für Informatiker Band 2: Analysis und Statistik için kapak resmi
Mathematik für Informatiker Band 2: Analysis und Statistik
Yazar 
Teschl, Gerald. author. Teschl, Susanne. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72452-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Pattern Recognition and Image Analysis Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part I için kapak resmi
Pattern Recognition and Image Analysis Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part I
Yazar 
Martí, Joan. editor. Benedí, José Miguel. editor. Mendonça, Ana Maria. editor. Serrat, Joan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72847-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Pattern Recognition and Image Analysis Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part II için kapak resmi
Pattern Recognition and Image Analysis Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part II
Yazar 
Martí, Joan. editor. Benedí, José Miguel. editor. Mendonça, Ana Maria. editor. Serrat, Joan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72849-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Image Analysis 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007 için kapak resmi
Image Analysis 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007
Yazar 
Ersbøll, Bjarne Kjær. editor. Pedersen, Kim Steenstrup. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73040-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Statistical Network Analysis: Models, Issues, and New Directions ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers için kapak resmi
Statistical Network Analysis: Models, Issues, and New Directions ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers
Yazar 
Airoldi, Edoardo. editor. Blei, David M. editor. Fienberg, Stephen E. editor. Goldenberg, Anna. editor. Xing, Eric P. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73133-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Multimedia Content Analysis and Mining International Workshop, MCAM 2007, Weihai, China, June 30-July 1, 2007. Proceedings için kapak resmi
Multimedia Content Analysis and Mining International Workshop, MCAM 2007, Weihai, China, June 30-July 1, 2007. Proceedings
Yazar 
Sebe, Nicu. editor. Liu, Yuncai. editor. Zhuang, Yueting. editor. Huang, Thomas S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73417-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Image Analysis and Recognition 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007. Proceedings için kapak resmi
Image Analysis and Recognition 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007. Proceedings
Yazar 
Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74260-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Computer Analysis of Images and Patterns 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007. Proceedings için kapak resmi
Computer Analysis of Images and Patterns 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007. Proceedings
Yazar 
Kropatsch, Walter G. editor. Kampel, Martin. editor. Hanbury, Allan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74272-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
25. 
Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings için kapak resmi
Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings
Yazar 
Nielson, Hanne Riis. editor. Filé, Gilberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74061-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Independent Component Analysis and Signal Separation 7th International Conference, ICA 2007, London, UK, September 9-12, 2007. Proceedings için kapak resmi
Independent Component Analysis and Signal Separation 7th International Conference, ICA 2007, London, UK, September 9-12, 2007. Proceedings
Yazar 
Davies, Mike E. editor. James, Christopher J. editor. Abdallah, Samer A. editor. Plumbley, Mark D. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74494-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures için kapak resmi
Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures
Yazar 
Aldini, Alessandro. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74810-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Advances in Intelligent Data Analysis VII 7th International Symposium on Intelligent Data Analysis, IDA 2007, Ljubljana, Slovenia, September 6-8, 2007. Proceedings için kapak resmi
Advances in Intelligent Data Analysis VII 7th International Symposium on Intelligent Data Analysis, IDA 2007, Ljubljana, Slovenia, September 6-8, 2007. Proceedings
Yazar 
R. Berthold, Michael. editor. Shawe-Taylor, John. editor. Lavrač, Nada. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74825-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings
Yazar 
Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75454-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings için kapak resmi
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
Yazar 
Namjoshi, Kedar S. editor. Yoneda, Tomohiro. editor. Higashino, Teruo. editor. Okamura, Yoshio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75596-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Analysis and Modeling of Faces and Gestures Third International Workshop, AMFG 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings için kapak resmi
Analysis and Modeling of Faces and Gestures Third International Workshop, AMFG 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings
Yazar 
Zhou, S. Kevin. editor. Zhao, Wenyi. editor. Tang, Xiaoou. editor. Gong, Shaogang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-75690-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
EC2ND 2006 Proceedings of the Second European Conference on Computer Network Defence, in conjunction with the First Workshop on Digital Forensics and Incident Analysis Faculty of Advanced Technology, University of Glamorgan, Wales, UK için kapak resmi
EC2ND 2006 Proceedings of the Second European Conference on Computer Network Defence, in conjunction with the First Workshop on Digital Forensics and Incident Analysis Faculty of Advanced Technology, University of Glamorgan, Wales, UK
Yazar 
Blyth, Andrew. author. Sutherland, Iain. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-750-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings için kapak resmi
Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings
Yazar 
Kuznetsov, Sergei O. editor. Schmidt, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-70901-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Stability and Optimization of Structures Generalized Sensitivity Analysis için kapak resmi
Stability and Optimization of Structures Generalized Sensitivity Analysis
Yazar 
Ohsaki, Makoto. editor. Ikeda, Kiyohiro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-68184-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Max-Plus Linear Stochastic Systems and Perturbation Analysis için kapak resmi
Max-Plus Linear Stochastic Systems and Perturbation Analysis
Yazar 
Heidergott, Bernd. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-38995-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Real-Time Applications with Stochastic Task Execution Times Analysis and Optimisation için kapak resmi
Real-Time Applications with Stochastic Task Execution Times Analysis and Optimisation
Yazar 
Manolache, Sorin. author. Eles, Petru. author. Peng, Zebo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-5509-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
37. 
Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Yazar 
Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71209-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday için kapak resmi
Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
Yazar 
Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71322-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers için kapak resmi
Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers
Yazar 
Branco, António. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71412-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Advances in Mass Data Analysis of Signals and Images in Medicine, Biotechnology and Chemistry International Conferences MDA 2006/2007, Leipzig, Germany, July 18, 2007. Selected Papers için kapak resmi
Advances in Mass Data Analysis of Signals and Images in Medicine, Biotechnology and Chemistry International Conferences MDA 2006/2007, Leipzig, Germany, July 18, 2007. Selected Papers
Yazar 
Perner, Petra. editor. Salvetti, Ovidio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76300-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Progress in Pattern Recognition, Image Analysis and Applications 12th Iberoamericann Congress on Pattern Recognition, CIARP 2007, Valparaiso, Chile, November 13-16, 2007. Proceedings için kapak resmi
Progress in Pattern Recognition, Image Analysis and Applications 12th Iberoamericann Congress on Pattern Recognition, CIARP 2007, Valparaiso, Chile, November 13-16, 2007. Proceedings
Yazar 
Rueda, Luis. editor. Mery, Domingo. editor. Kittler, Josef. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-76725-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Advances in Web Mining and Web Usage Analysis 8th International Workshop on Knowledge Discovery on the Web, WebKDD 2006 Philadelphia, USA, August 20, 2006 Revised Papers için kapak resmi
Advances in Web Mining and Web Usage Analysis 8th International Workshop on Knowledge Discovery on the Web, WebKDD 2006 Philadelphia, USA, August 20, 2006 Revised Papers
Yazar 
Nasraoui, Olfa. editor. Spiliopoulou, Myra. editor. Srivastava, Jaideep. editor. Mobasher, Bamshad. editor. Masand, Brij. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-77485-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Beginning Excel What-If Data Analysis Tools Getting Started with Goal Seek, Data Tables, Scenarios, and Solver için kapak resmi
Beginning Excel What-If Data Analysis Tools Getting Started with Goal Seek, Data Tables, Scenarios, and Solver
Yazar 
Cornell, Paul. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4302-0098-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings için kapak resmi
Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
Yazar 
Yi, Kwangkeun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11823230
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Image Analysis and Recognition Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part I için kapak resmi
Image Analysis and Recognition Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part I
Yazar 
Campilho, Aurélio. editor. Kamel, Mohamed S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11867586
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Image Analysis and Recognition Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part II için kapak resmi
Image Analysis and Recognition Third International Conference, ICIAR 2006, Póvoa de Varzim, Portugal, September 18-20, 2006, Proceedings, Part II
Yazar 
Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11867661
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings
Yazar 
Asarin, Eugene. editor. Bouyer, Patricia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11867340
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Variations on Constants Flow Analysis of Sequential and Parallel Programs için kapak resmi
Variations on Constants Flow Analysis of Sequential and Parallel Programs
Yazar 
Müller-Olm, Markus. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11871743
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
49. 
Computer Vision Approaches to Medical Image Analysis Second International ECCV Workshop, CVAMIA 2006 Graz, Austria, May 12, 2006 Revised Papers için kapak resmi
Computer Vision Approaches to Medical Image Analysis Second International ECCV Workshop, CVAMIA 2006 Graz, Austria, May 12, 2006 Revised Papers
Yazar 
Beichel, Reinhard R. editor. Sonka, Milan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11889762
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Advances in Web Mining and Web Usage Analysis 7th International Workshop on Knowledge Discovery on the Web, WebKDD 2005, Chicago, IL, USA, August 21, 2005. Revised Papers için kapak resmi
Advances in Web Mining and Web Usage Analysis 7th International Workshop on Knowledge Discovery on the Web, WebKDD 2005, Chicago, IL, USA, August 21, 2005. Revised Papers
Yazar 
Nasraoui, Olfa. editor. Zaïane, Osmar. editor. Spiliopoulou, Myra. editor. Mobasher, Bamshad. editor. Masand, Brij. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11891321
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Progress in Pattern Recognition, Image Analysis and Applications 11th Iberoamerican Congress in Pattern Recognition, CIARP 2006 Cancun, Mexico, November 14-17, 2006 Proceedings için kapak resmi
Progress in Pattern Recognition, Image Analysis and Applications 11th Iberoamerican Congress in Pattern Recognition, CIARP 2006 Cancun, Mexico, November 14-17, 2006 Proceedings
Yazar 
Martínez-Trinidad, José Francisco. editor. Carrasco Ochoa, Jesús Ariel. editor. Kittler, Josef. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11892755
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Advances in Web Mining and Web Usage Analysis 6th International Workshop on Knowledge Discovery on the Web, WebKDD 2004, Seattle, WA, USA, August 22-25, 2004, Revised Selected Papers için kapak resmi
Advances in Web Mining and Web Usage Analysis 6th International Workshop on Knowledge Discovery on the Web, WebKDD 2004, Seattle, WA, USA, August 22-25, 2004, Revised Selected Papers
Yazar 
Mobasher, Bamshad. editor. Nasraoui, Olfa. editor. Liu, Bing. editor. Masand, Brij. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11899402
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings için kapak resmi
Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings
Yazar 
Graf, Susanne. editor. Zhang, Wenhui. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11901914
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Biological and Medical Data Analysis 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006. Proceedings için kapak resmi
Biological and Medical Data Analysis 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006. Proceedings
Yazar 
Maglaveras, Nicos. editor. Chouvarda, Ioanna. editor. Koutkias, Vassilis. editor. Brause, Rüdiger. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11946465
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers için kapak resmi
System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
Yazar 
Gotzhein, Reinhard. editor. Reed, Rick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11951148
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Exploratory Analysis of Spatial and Temporal Data A Systematic Approach için kapak resmi
Exploratory Analysis of Spatial and Temporal Data A Systematic Approach
Yazar 
Andrienko, Natalia. author. Andrienko, Gennady. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-31190-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Combinatorial Image Analysis 11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006. Proceedings için kapak resmi
Combinatorial Image Analysis 11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006. Proceedings
Yazar 
Reulke, Ralf. editor. Eckardt, Ulrich. editor. Flach, Boris. editor. Knauer, Uwe. editor. Polthier, Konrad. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11774938
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Advances in Machine Vision, Image Processing, and Pattern Analysis International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006 Xi’an, China, August 26-27, 2006 Proceedings için kapak resmi
Advances in Machine Vision, Image Processing, and Pattern Analysis International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006 Xi’an, China, August 26-27, 2006 Proceedings
Yazar 
Zheng, Nanning. editor. Jiang, Xiaoyi. editor. Lan, Xuguang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11821045
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Document Analysis Systems VII 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006. Proceedings için kapak resmi
Document Analysis Systems VII 7th International Workshop, DAS 2006, Nelson, New Zealand, February 13-15, 2006. Proceedings
Yazar 
Bunke, Horst. editor. Spitz, A. Lawrence. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11669487
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings için kapak resmi
Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings
Yazar 
Missaoui, Rokia. editor. Schmidt, Jürg. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11671404
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
61. 
Spatial Coherence for Visual Motion Analysis First International Workshop, SCVMA 2004, Prague, Czech Republic, May 15, 2004. Revised Papers için kapak resmi
Spatial Coherence for Visual Motion Analysis First International Workshop, SCVMA 2004, Prague, Czech Republic, May 15, 2004. Revised Papers
Yazar 
MacLean, W. James. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11676959
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings için kapak resmi
Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings
Yazar 
Rosca, Justinian. editor. Erdogmus, Deniz. editor. Príncipe, José C. editor. Haykin, Simon. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11679363
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
63. 
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers için kapak resmi
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
Yazar 
Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11741060
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
64. 
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
Yazar 
Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11691372
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Form-Oriented Analysis A New Methodology to Model Form-Based Applications için kapak resmi
Form-Oriented Analysis A New Methodology to Model Form-Based Applications
Yazar 
Draheim, Dirk. author. Weber, Gerald. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138252
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
Enterprise Architecture at Work Modelling, Communication, and Analysis için kapak resmi
Enterprise Architecture at Work Modelling, Communication, and Analysis
Yazar 
Lankhorst, Marc. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-27505-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
67. 
Image Analysis 14th Scandinavian Conference, SCIA 2005, Joensuu, Finland, June 19-22, 2005. Proceedings için kapak resmi
Image Analysis 14th Scandinavian Conference, SCIA 2005, Joensuu, Finland, June 19-22, 2005. Proceedings
Yazar 
Kalviainen, Heikki. editor. Parkkinen, Jussi. editor. Kaarna, Arto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137285
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
68. 
Biological and Medical Data Analysis 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005. Proceedings için kapak resmi
Biological and Medical Data Analysis 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005. Proceedings
Yazar 
Oliveira, José Luís. editor. Maojo, Víctor. editor. Martín-Sánchez, Fernando. editor. Pereira, António Sousa. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11573067
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
69. 
System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers için kapak resmi
System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers
Yazar 
Amyot, Daniel. editor. Williams, Alan W. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b105884
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
70. 
Numerical Analysis and Its Applications Third International Conference, NAA 2004, Rousse, Bulgaria, June 29-July 3, 2004, Revised Selected Papers için kapak resmi
Numerical Analysis and Its Applications Third International Conference, NAA 2004, Rousse, Bulgaria, June 29-July 3, 2004, Revised Selected Papers
Yazar 
Li, Zhilin. editor. Vulkov, Lubin. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106395
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
71. 
Image Analysis and Processing – ICIAP 2005 13th International Conference, Cagliari, Italy, September 6-8, 2005. Proceedings için kapak resmi
Image Analysis and Processing – ICIAP 2005 13th International Conference, Cagliari, Italy, September 6-8, 2005. Proceedings
Yazar 
Roli, Fabio. editor. Vitulano, Sergio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11553595
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
72. 
Pattern Recognition and Image Analysis Third International Conference on Advances in Pattern Recognition, ICAPR 2005, Bath, UK, August 22-25, 2005, Proceedings, Part II için kapak resmi
Pattern Recognition and Image Analysis Third International Conference on Advances in Pattern Recognition, ICAPR 2005, Bath, UK, August 22-25, 2005, Proceedings, Part II
Yazar 
Singh, Sameer. editor. Singh, Maneesha. editor. Apte, Chid. editor. Perner, Petra. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11552499
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
73. 
Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures için kapak resmi
Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures
Yazar 
Aldini, Alessandro. editor. Gorrieri, Roberto. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11554578
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
74. 
Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Yazar 
Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b107194
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
75. 
Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings için kapak resmi
Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings
Yazar 
Ganter, Bernhard. editor. Godin, Robert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b105806
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
76. 
Economic Analysis of Information System Investment in Banking Industry için kapak resmi
Economic Analysis of Information System Investment in Banking Industry
Yazar 
Ukai, Yasuharu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138968
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
77. 
Design and Analysis of Randomized Algorithms Introduction to Design Paradigms için kapak resmi
Design and Analysis of Randomized Algorithms Introduction to Design Paradigms
Yazar 
HromkoviČ, Juraj. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-27903-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
78. 
Combinatorial Image Analysis 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004. Proceedings için kapak resmi
Combinatorial Image Analysis 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004. Proceedings
Yazar 
Klette, Reinhard. editor. Žunić, Joviša. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b103936
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
79. 
Advances in Intelligent Data Analysis VI 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005. Proceedings için kapak resmi
Advances in Intelligent Data Analysis VI 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005. Proceedings
Yazar 
Famili, A. Fazel. editor. Kok, Joost N. editor. Peña, José M. editor. Siebes, Arno. editor. Feelders, Ad. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11552253
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
80. 
Computer Analysis of Images and Patterns 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005. Proceedings için kapak resmi
Computer Analysis of Images and Patterns 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005. Proceedings
Yazar 
Gagalowicz, André. editor. Philips, Wilfried. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11556121
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
81. 
Image Analysis and Recognition Second International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005. Proceedings için kapak resmi
Image Analysis and Recognition Second International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005. Proceedings
Yazar 
Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11559573
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
82. 
Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings için kapak resmi
Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings
Yazar 
Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11562948
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
83. 
Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings için kapak resmi
Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
Yazar 
Hankin, Chris. editor. Siveroni, Igor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11547662
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
84. 
Analysis and Modelling of Faces and Gestures Second International Workshop, AMFG 2005, Beijing, China, October 16, 2005. Proceedings için kapak resmi
Analysis and Modelling of Faces and Gestures Second International Workshop, AMFG 2005, Beijing, China, October 16, 2005. Proceedings
Yazar 
Zhao, Wenyi. editor. Gong, Shaogang. editor. Tang, Xiaoou. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11564386
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
85. 
Pattern Recognition and Image Analysis Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part I için kapak resmi
Pattern Recognition and Image Analysis Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part I
Yazar 
Marques, Jorge S. editor. Pérez de la Blanca, Nicolás. editor. Pina, Pedro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b136825
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
86. 
Pattern Recognition and Image Analysis Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part II için kapak resmi
Pattern Recognition and Image Analysis Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part II
Yazar 
Marques, Jorge S. editor. Pérez de la Blanca, Nicolás. editor. Pina, Pedro. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b136831
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
87. 
Progress in Pattern Recognition, Image Analysis and Applications 10th Iberoamerican Congress on Pattern Recognition, CIARP 2005, Havana, Cuba, November 15-18, 2005. Proceedings için kapak resmi
Progress in Pattern Recognition, Image Analysis and Applications 10th Iberoamerican Congress on Pattern Recognition, CIARP 2005, Havana, Cuba, November 15-18, 2005. Proceedings
Yazar 
Sanfeliu, Alberto. editor. Cortés, Manuel Lazo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11578079
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
88. 
Statistical Modeling and Analysis for Complex Data Problems için kapak resmi
Statistical Modeling and Analysis for Complex Data Problems
Yazar 
Duchesne, Pierre. editor. RÉMillard, Bruno. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b105993
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
89. 
QCD and Numerical Analysis III Proceedings of the Third International Workshop on Numerical Analysis and Lattice QCD, Edinburgh June-July 2003 için kapak resmi
QCD and Numerical Analysis III Proceedings of the Third International Workshop on Numerical Analysis and Lattice QCD, Edinburgh June-July 2003
Yazar 
Bori~i, Artan. editor. Frommer, Andreas. editor. Joó, Bálint. editor. Kennedy, Anthony. editor. Pendleton, Brian. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-28504-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
90. 
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers için kapak resmi
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Yazar 
Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b105030
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
91. 
Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings
Yazar 
Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11603009
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
92. 
A Mathematical Introduction to Compressive Sensing için kapak resmi
A Mathematical Introduction to Compressive Sensing
Yazar 
Foucart, Simon. author. Rauhut, Holger. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330552.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-8176-4948-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
93. 
Realtime Data Mining Self-Learning Techniques for Recommendation Engines için kapak resmi
Realtime Data Mining Self-Learning Techniques for Recommendation Engines
Yazar 
Paprotny, Alexander. author. Thess, Michael. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332858.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-01321-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
94. 
Functions, Spaces, and Expansions Mathematical Tools in Physics and Engineering için kapak resmi
Functions, Spaces, and Expansions Mathematical Tools in Physics and Engineering
Yazar 
Christensen, Ole. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-8176-4980-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
95. 
A Software-Defined GPS and Galileo Receiver A Single-Frequency Approach için kapak resmi
A Software-Defined GPS and Galileo Receiver A Single-Frequency Approach
Yazar 
Borre, Kai. author. Akos, Dennis M. author. Bertelsen, Nicolaj. author. Rinder, Peter. author. Jensen, Søren Holdt. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-8176-4540-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
96. 
A gentle introduction to scientific computing için kapak resmi
A gentle introduction to scientific computing
Yazar 
Stanescu, Dan, 1982- author.
Yer Numarası 
QA297
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429262876
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
97. 
Introduction to data technologies için kapak resmi
Introduction to data technologies
Yazar 
Murrell, Paul., author.
Yer Numarası 
QA76 .M894 2009
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
98. 
Classification — the Ubiquitous Challenge Proceedings of the 28th Annual Conference of the Gesellschaft für Klassifikation e.V. University of Dortmund, March 9–11, 2004 için kapak resmi
Classification — the Ubiquitous Challenge Proceedings of the 28th Annual Conference of the Gesellschaft für Klassifikation e.V. University of Dortmund, March 9–11, 2004
Yazar 
Weihs, Claus. editor. Gaul, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-28084-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
99. 
Innovations in Classification, Data Science, and Information Systems Proceedings of the 27th Annual Conference of the Gesellschaft für Klassifikation e.V., Brandenburg University of Technology, Cottbus, March 12–14, 2003 için kapak resmi
Innovations in Classification, Data Science, and Information Systems Proceedings of the 27th Annual Conference of the Gesellschaft für Klassifikation e.V., Brandenburg University of Technology, Cottbus, March 12–14, 2003
Yazar 
Baier, Daniel. editor. Wernecke, Klaus-Dieter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138406
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
100. 
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-73709-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
101. 
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75387-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
102. 
A Concise Introduction to Software Engineering With Open Source and GenAI için kapak resmi
A Concise Introduction to Software Engineering With Open Source and GenAI
Yazar 
Jalote, Pankaj. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74318-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
103. 
Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part I için kapak resmi
Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part I
Yazar 
Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-81806-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
104. 
Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part II için kapak resmi
Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part II
Yazar 
Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-82021-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
105. 
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I için kapak resmi
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I
Yazar 
Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-1090-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
106. 
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I için kapak resmi
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I
Yazar 
García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90062-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
107. 
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II için kapak resmi
Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II
Yazar 
García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90065-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
108. 
From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers için kapak resmi
From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers
Yazar 
Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-87217-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
109. 
Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II için kapak resmi
Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II
Yazar 
Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-4448-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
110. 
Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I için kapak resmi
Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I
Yazar 
Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. (orcid)0000-0002-7846-0969 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-4445-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
111. 
Maximal Planar Graph Theory and the Four-Color Conjecture için kapak resmi
Maximal Planar Graph Theory and the Four-Color Conjecture
Yazar 
Xu, Jin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-4745-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
112. 
Applied Antifragility in Natural Systems From Principles to Applications için kapak resmi
Applied Antifragility in Natural Systems From Principles to Applications
Yazar 
Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90391-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
113. 
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI için kapak resmi
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI
Yazar 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97573-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
114. 
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV için kapak resmi
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
Yazar 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97567-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
115. 
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V için kapak resmi
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V
Yazar 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97570-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
116. 
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I için kapak resmi
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
Yazar 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97554-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
117. 
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II için kapak resmi
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
Yazar 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97557-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
118. 
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III için kapak resmi
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
Yazar 
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97564-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
119. 
Artificial Intelligence and Machine Learning in Sports Science için kapak resmi
Artificial Intelligence and Machine Learning in Sports Science
Yazar 
Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-70155-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
120. 
Informatics and Digitalization for Sustainable Development and Well-Being için kapak resmi
Informatics and Digitalization for Sustainable Development and Well-Being
Yazar 
Salman, Asma. editor. (orcid)0000-0002-5623-3087 Nawaz Tunio, Muhammad. editor. (orcid)0000-0003-1376-5371 Abdul Razzaq, Muthanna G. editor. (orcid)0009-0007-4831-1907 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-81739-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
121. 
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75107-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
122. 
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75390-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
123. 
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75380-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
124. 
Restarting Automata The Standard Type of Restarting Automaton and Its Variants için kapak resmi
Restarting Automata The Standard Type of Restarting Automaton and Its Variants
Yazar 
Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-70094-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
125. 
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions için kapak resmi
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-67695-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
126. 
Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part II için kapak resmi
Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part II
Yazar 
Huang, Letian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-6403-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
127. 
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings için kapak resmi
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Yazar 
Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-95908-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
128. 
Conceptual Knowledge Structures Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8-12, 2025, Proceedings için kapak resmi
Conceptual Knowledge Structures Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8-12, 2025, Proceedings
Yazar 
Cellier, Peggy. editor. (orcid)0000-0002-1495-2534 Ganter, Bernhard. editor. (orcid)0000-0003-0767-1379 Missaoui, Rokia. editor. (orcid)0000-0001-7410-4177 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-032-03364-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
129. 
Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings için kapak resmi
Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Yazar 
C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-78116-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
130. 
Principle of Petri Nets için kapak resmi
Principle of Petri Nets
Yazar 
Yuan, Chongyi. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-7336-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
131. 
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III için kapak resmi
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III
Yazar 
Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-1195-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
132. 
Multi-valued Logic for Decision-Making Under Uncertainty için kapak resmi
Multi-valued Logic for Decision-Making Under Uncertainty
Yazar 
Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74762-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
133. 
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II için kapak resmi
Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II
Yazar 
Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-1093-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
134. 
WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings için kapak resmi
WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings
Yazar 
Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-2845-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
135. 
Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part III için kapak resmi
Advances in Computer Graphics 41st Computer Graphics International Conference, CGI 2024, Geneva, Switzerland, July 1-5, 2024, Proceedings, Part III
Yazar 
Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Kim, Jinman. editor. (orcid)0000-0001-5960-1060 Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Deng, Zhigang. editor. (orcid)0000-0002-0452-8676 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-82024-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
136. 
An Introduction to Theory of Computation An Algorithmic Approach için kapak resmi
An Introduction to Theory of Computation An Algorithmic Approach
Yazar 
Ogihara, Mitsunori. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-84740-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
137. 
Research in Computer Science 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, Bejaïa, Algeria, November 24-26, 2024, Proceedings için kapak resmi
Research in Computer Science 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, Bejaïa, Algeria, November 24-26, 2024, Proceedings
Yazar 
Aissani, Djamil. editor. Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Roche, Mathieu. editor. (orcid)0000-0003-3272-8568 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-88226-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
138. 
Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Yazar 
Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90897-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
139. 
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings için kapak resmi
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
Yazar 
Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-7956-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
140. 
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications için kapak resmi
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
Yazar 
Downey, Rod. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-53744-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
141. 
Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers için kapak resmi
Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers
Yazar 
Lirkov, Ivan. editor. (orcid)0000-0002-5870-2588 Margenov, Svetozar. editor. (orcid)0000-0001-8858-831X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56208-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
142. 
Metaheuristics 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part I için kapak resmi
Metaheuristics 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part I
Yazar 
Sevaux, Marc. editor. Olteanu, Alexandru-Liviu. editor. Pardo, Eduardo G. editor. (orcid)0000-0002-6247-5269 Sifaleras, Angelo. editor. (orcid)0000-0002-5696-7021 Makboul, Salma. editor. (orcid)0000-0002-6423-2367
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-62912-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
143. 
Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings için kapak resmi
Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
Yazar 
Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63536-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
144. 
Intelligent Information and Database Systems 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part I için kapak resmi
Intelligent Information and Database Systems 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part I
Yazar 
Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. (orcid)0000-0001-7305-6492
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-4982-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
145. 
Intelligent Information and Database Systems 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part II için kapak resmi
Intelligent Information and Database Systems 16th Asian Conference, ACIIDS 2024, Ras Al Khaimah, UAE, April 15-18, 2024, Proceedings, Part II
Yazar 
Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. (orcid)0000-0001-7305-6492
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-4985-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
146. 
Advanced Spiking Neural P Systems Models and Applications için kapak resmi
Advanced Spiking Neural P Systems Models and Applications
Yazar 
Peng, Hong. author. (orcid)0000-0002-4736-0164 Wang, Jun. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-5280-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
147. 
Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings için kapak resmi
Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings
Yazar 
Watt, Stephen M. editor. (orcid)0000-0001-8303-4983 Ida, Tetsuo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-69042-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
148. 
Computational Thinking First Algorithms, Then Code için kapak resmi
Computational Thinking First Algorithms, Then Code
Yazar 
Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-59922-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
149. 
Creative approaches towards development of computing and multidisciplinary IT solutions for society için kapak resmi
Creative approaches towards development of computing and multidisciplinary IT solutions for society
Yazar 
Bijalwan, Anchit, editor.
Yer Numarası 
QA76 .C74 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
150. 
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV için kapak resmi
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV
Yazar 
Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-50078-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
151. 
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II için kapak resmi
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II
Yazar 
Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-50072-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
152. 
Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications için kapak resmi
Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications
Yazar 
Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43540-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
153. 
Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach için kapak resmi
Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach
Yazar 
Li, Youqi. author. (orcid)0000-0003-3867-5997 Li, Fan. author. (orcid)0000-0002-2348-4488 Yang, Song. author. Zhang, Chuan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-6921-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
154. 
Advanced Mathematical Science for Mobility Society için kapak resmi
Advanced Mathematical Science for Mobility Society
Yazar 
Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Kawamura, Yoshiumi. editor. Makino, Kazuhisa. editor. Tsujimoto, Satoshi. editor. (orcid)0000-0002-6726-7514 Yamashita, Nobuo. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-9772-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
155. 
Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday için kapak resmi
Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Yazar 
Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56222-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
156. 
Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings için kapak resmi
Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings
Yazar 
Ren, Jinchang. editor. Hussain, Amir. editor. (orcid)0000-0002-8080-082X Liao, Iman Yi. editor. Chen, Rongjun. editor. Huang, Kaizhu. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-1417-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
157. 
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I için kapak resmi
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I
Yazar 
Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56852-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
158. 
Conceptual Knowledge Structures First International Joint Conference, CONCEPTS 2024, Cádiz, Spain, September 9-13, 2024, Proceedings için kapak resmi
Conceptual Knowledge Structures First International Joint Conference, CONCEPTS 2024, Cádiz, Spain, September 9-13, 2024, Proceedings
Yazar 
Cabrera, Inma P. editor. (orcid)0000-0001-5129-0085 Ferré, Sébastien. editor. (orcid)0000-0002-6302-2333 Obiedkov, Sergei. editor. (orcid)0000-0003-1497-4001 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-67868-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
159. 
Anomaly Detection in Video Surveillance için kapak resmi
Anomaly Detection in Video Surveillance
Yazar 
Wang, Xiaochun. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-3023-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
160. 
Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part I için kapak resmi
Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part I
Yazar 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-7181-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
161. 
Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II için kapak resmi
Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II
Yazar 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-7184-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
162. 
Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings için kapak resmi
Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings
Yazar 
Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71291-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
163. 
Metaheuristics and Nature Inspired Computing 9th International Conference, META 2023, Marrakech, Morocco, November 1-4, 2023, Revised Selected Papers için kapak resmi
Metaheuristics and Nature Inspired Computing 9th International Conference, META 2023, Marrakech, Morocco, November 1-4, 2023, Revised Selected Papers
Yazar 
Dorronsoro, Bernabé. editor. (orcid)0000-0003-0481-790X Ellaia, Rachid. editor. (orcid)0000-0003-0372-1666 Talbi, El-Ghazali. editor. (orcid)0000-0003-4549-1010 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-69257-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
164. 
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings için kapak resmi
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
Yazar 
Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-72621-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
165. 
Foundations for Functional Modeling of Technical Artefacts için kapak resmi
Foundations for Functional Modeling of Technical Artefacts
Yazar 
Lind, Morten. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-45918-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
166. 
Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I için kapak resmi
Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I
Yazar 
Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-49190-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
167. 
Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II için kapak resmi
Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II
Yazar 
Wu, Weili. editor. Tong, Guangmo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-49193-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
168. 
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I için kapak resmi
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I
Yazar 
Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-50069-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
169. 
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III için kapak resmi
Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III
Yazar 
Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-50075-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
170. 
Digital Signal Processing Illustration Using Python için kapak resmi
Digital Signal Processing Illustration Using Python
Yazar 
Esakkirajan, S. author. Veerakumar, T. author. (orcid)0000-0001-9084-1847 N Subudhi, Badri. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-6752-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
171. 
Explainable Artificial Intelligence and Process Mining Applications for Healthcare Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings için kapak resmi
Explainable Artificial Intelligence and Process Mining Applications for Healthcare Third International Workshop, XAI-Healthcare 2023, and First International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023, Proceedings
Yazar 
Juarez, Jose M. editor. (orcid)0000-0003-1776-1992 Fernandez-Llatas, Carlos. editor. (orcid)0000-0002-2819-5597 Bielza, Concha. editor. (orcid)0000-0001-7109-2668 Johnson, Owen. editor. (orcid)0000-0003-3998-541X Kocbek, Primoz. editor. (orcid)0000-0002-9064-5085
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-54303-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
172. 
WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings için kapak resmi
WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings
Yazar 
Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 Yamanaka, Katsuhisa. editor. Yen, Hsu-Chun. editor. (orcid)0000-0002-1764-1950 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-0566-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
173. 
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II için kapak resmi
Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II
Yazar 
Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56855-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
174. 
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II için kapak resmi
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II
Yazar 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63751-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
175. 
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV için kapak resmi
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV
Yazar 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63772-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
176. 
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V için kapak resmi
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V
Yazar 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63775-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
177. 
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I için kapak resmi
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I
Yazar 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63749-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
178. 
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III için kapak resmi
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III
Yazar 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63759-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
179. 
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII için kapak resmi
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII
Yazar 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63783-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
180. 
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI için kapak resmi
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI
Yazar 
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63778-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
181. 
Metaheuristics 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part II için kapak resmi
Metaheuristics 15th International Conference, MIC 2024, Lorient, France, June 4-7, 2024, Proceedings, Part II
Yazar 
Sevaux, Marc. editor. Olteanu, Alexandru-Liviu. editor. Pardo, Eduardo G. editor. (orcid)0000-0002-6247-5269 Sifaleras, Angelo. editor. (orcid)0000-0002-5696-7021 Makboul, Salma. editor. (orcid)0000-0002-6423-2367
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-62922-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
182. 
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:
183. 
Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday için kapak resmi
Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday
Yazar 
Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28859-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
184. 
Fourier Optics and Computational Imaging için kapak resmi
Fourier Optics and Computational Imaging
Yazar 
Khare, Kedar. author. Butola, Mansi. author. Rajora, Sunaina. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-18353-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
185. 
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:
186. 
Electromagnetism for signal processing, spectroscopy and contemporary computing : fundamentals and applications için kapak resmi
Electromagnetism for signal processing, spectroscopy and contemporary computing : fundamentals and applications
Yazar 
Shah, Khurshed Ahmad. Kumbhani, Brijesh. Garcia-Sanchez, Raul F. Misra, Prabhakar, 1955-
Yer Numarası 
QC760
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003213468
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
187. 
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
Yazar 
James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72044-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
188. 
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings için kapak resmi
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Yazar 
Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-69483-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
189. 
Computational Intelligence for Network Structure Analytics için kapak resmi
Computational Intelligence for Network Structure Analytics
Yazar 
Gong, Maoguo. author. Cai, Qing. author. Ma, Lijia. author. Wang, Shanfeng. author. Lei, Yu. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-4558-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
190. 
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I için kapak resmi
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Yazar 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63387-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
191. 
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:
192. 
Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization için kapak resmi
Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization
Yazar 
Draheim, Dirk. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-69868-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
193. 
Creativity in Intelligent Technologies and Data Science Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings için kapak resmi
Creativity in Intelligent Technologies and Data Science Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings
Yazar 
Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Groumpos, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-65551-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
194. 
Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part II için kapak resmi
Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part II
Yazar 
Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092 Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63312-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
195. 
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II için kapak resmi
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Yazar 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63390-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
196. 
Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings için kapak resmi
Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
Yazar 
Petrucci, Laure. editor. (orcid)0000-0003-3154-5268 Seceleanu, Cristina. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67113-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
197. 
Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
Yazar 
Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66263-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
198. 
Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2017 Workshops, MLSDA, BDM, DM-BPM Jeju, South Korea, May 23, 2017, Revised Selected Papers için kapak resmi
Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2017 Workshops, MLSDA, BDM, DM-BPM Jeju, South Korea, May 23, 2017, Revised Selected Papers
Yazar 
Kang, U. editor. Lim, Ee-Peng. editor. Yu, Jeffrey Xu. editor. Moon, Yang-Sae. editor. (orcid)0000-0002-2396-0405 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67274-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
199. 
Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings için kapak resmi
Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Yazar 
Yang, Hongseok. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54434-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
200. 
Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings için kapak resmi
Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings
Yazar 
Bilò, Vittorio. editor. Flammini, Michele. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66700-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
201. 
Intelligent Data Engineering and Automated Learning - IDEAL 2017 18th International Conference, Guilin, China, October 30 - November 1, 2017, Proceedings için kapak resmi
Intelligent Data Engineering and Automated Learning - IDEAL 2017 18th International Conference, Guilin, China, October 30 - November 1, 2017, Proceedings
Yazar 
Yin, Hujun. editor. (orcid)0000-0002-9198-5401 Gao, Yang. editor. (orcid)0000-0002-2488-1813 Chen, Songcan. editor. Wen, Yimin. editor. Cai, Guoyong. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68935-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
202. 
Statistical Language and Speech Processing 5th International Conference, SLSP 2017, Le Mans, France, October 23-25, 2017, Proceedings için kapak resmi
Statistical Language and Speech Processing 5th International Conference, SLSP 2017, Le Mans, France, October 23-25, 2017, Proceedings
Yazar 
Camelin, Nathalie. editor. Estève, Yannick. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68456-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
203. 
Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers için kapak resmi
Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers
Yazar 
Cazenave, Tristan. editor. Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57969-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
204. 
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings için kapak resmi
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
Yazar 
Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60134-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
205. 
Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Yazar 
Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54494-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
206. 
DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings için kapak resmi
DNA Computing and Molecular Programming 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017, Proceedings
Yazar 
Brijder, Robert. editor. Qian, Lulu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66799-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
207. 
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:
208. 
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings için kapak resmi
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
Yazar 
Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67089-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
209. 
High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers için kapak resmi
High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
Yazar 
Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61982-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
210. 
Software Engineering: Specification, Implementation, Verification için kapak resmi
Software Engineering: Specification, Implementation, Verification
Yazar 
Alagić, Suad. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61518-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
211. 
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:
212. 
Progress in Cryptology - AFRICACRYPT 2017 9th International Conference on Cryptology in Africa, Dakar, Senegal, May 24-26, 2017, Proceedings için kapak resmi
Progress in Cryptology - AFRICACRYPT 2017 9th International Conference on Cryptology in Africa, Dakar, Senegal, May 24-26, 2017, Proceedings
Yazar 
Joye, Marc. editor. Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57339-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
213. 
Evolutionary Multi-Criterion Optimization 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings için kapak resmi
Evolutionary Multi-Criterion Optimization 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings
Yazar 
Trautmann, Heike. editor. Rudolph, Günter. editor. Klamroth, Kathrin. editor. Schütze, Oliver. editor. Wiecek, Margaret. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54157-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
214. 
Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III için kapak resmi
Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part III
Yazar 
Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70700-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
215. 
Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers için kapak resmi
Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers
Yazar 
Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Kvasov, Dmitri E. editor. Sergeyev, Yaroslav D. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-69404-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
216. 
Foundations of Intelligent Systems 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings için kapak resmi
Foundations of Intelligent Systems 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings
Yazar 
Kryszkiewicz, Marzena. editor. Appice, Annalisa. editor. Ślęzak, Dominik. editor. Rybinski, Henryk. editor. Skowron, Andrzej. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60438-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
217. 
Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I için kapak resmi
Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part I
Yazar 
Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70694-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
218. 
Social Media Processing 6th National Conference, SMP 2017, Beijing, China, September 14-17, 2017, Proceedings için kapak resmi
Social Media Processing 6th National Conference, SMP 2017, Beijing, China, September 14-17, 2017, Proceedings
Yazar 
Cheng, Xueqi. editor. Ma, Weiying. editor. Liu, Huan. editor. Shen, Huawei. editor. Feng, Shizheng. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-6805-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
219. 
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:
220. 
Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings için kapak resmi
Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
Yazar 
Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58741-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
221. 
Evolutionary Computation in Combinatorial Optimization 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings için kapak resmi
Evolutionary Computation in Combinatorial Optimization 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
Yazar 
Hu, Bin. editor. López-Ibáñez, Manuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-55453-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
222. 
Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures için kapak resmi
Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
Yazar 
Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60074-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
223. 
Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings için kapak resmi
Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Yazar 
Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66583-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
224. 
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday için kapak resmi
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Yazar 
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68270-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
225. 
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings için kapak resmi
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Yazar 
Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-62809-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
226. 
Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II için kapak resmi
Advances in Cryptology - ASIACRYPT 2017 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017, Proceedings, Part II
Yazar 
Takagi, Tsuyoshi. editor. Peyrin, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70697-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
227. 
Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers için kapak resmi
Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers
Yazar 
Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lanet, Jean-Louis. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54876-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
228. 
On Sets and Graphs Perspectives on Logic and Combinatorics için kapak resmi
On Sets and Graphs Perspectives on Logic and Combinatorics
Yazar 
Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54981-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
229. 
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
Yazar 
Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-52234-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
230. 
Biomedical Applications Based on Natural and Artificial Computing International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II için kapak resmi
Biomedical Applications Based on Natural and Artificial Computing International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II
Yazar 
Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-59773-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
231. 
Natural and Artificial Computation for Biomedicine and Neuroscience International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I için kapak resmi
Natural and Artificial Computation for Biomedicine and Neuroscience International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I
Yazar 
Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo Moreo, Javier. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-59740-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
232. 
Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part I için kapak resmi
Intelligent Computing Theories and Application 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part I
Yazar 
Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. (orcid)0000-0002-3088-0788 Premaratne, Prashan. editor. Gupta, Phalguni. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63309-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
233. 
DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings için kapak resmi
DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings
Yazar 
Rondelez, Yannick. editor. Woods, Damien. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-43994-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
234. 
Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers için kapak resmi
Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers
Yazar 
Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39402-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
235. 
Concise Guide to Computing Foundations Core Concepts and Select Scientific Applications için kapak resmi
Concise Guide to Computing Foundations Core Concepts and Select Scientific Applications
Yazar 
Brewer, Kevin. author. Bareiss, Cathy. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29954-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
236. 
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:
237. 
Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings için kapak resmi
Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Yazar 
Skavhaug, Amund. editor. Guiochet, Jérémie. 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-45477-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
238. 
Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I için kapak resmi
Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I
Yazar 
Huang, De-Shuang. editor. Bevilacqua, Vitoantonio. editor. Premaratne, Prashan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42291-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
239. 
Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings için kapak resmi
Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Yazar 
Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45994-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
240. 
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures için kapak resmi
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Yazar 
Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-34096-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
241. 
Hybrid Artificial Intelligent Systems 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings için kapak resmi
Hybrid Artificial Intelligent Systems 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings
Yazar 
Martínez-Álvarez, Francisco. editor. (orcid)0000-0002-6309-1785 Troncoso, Alicia. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-32034-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
242. 
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:
243. 
Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi
Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Yazar 
Thiemann, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49498-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
244. 
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:
245. 
Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation için kapak resmi
Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
Yazar 
Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-33786-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
246. 
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings için kapak resmi
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Yazar 
Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45892-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
247. 
Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II için kapak resmi
Intelligent Computing Theories and Application 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II
Yazar 
Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42294-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
248. 
Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings için kapak resmi
Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Yazar 
Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47958-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
249. 
Intelligent Data Engineering and Automated Learning - IDEAL 2016 17th International Conference, Yangzhou, China, October 12-14, 2016, Proceedings için kapak resmi
Intelligent Data Engineering and Automated Learning - IDEAL 2016 17th International Conference, Yangzhou, China, October 12-14, 2016, Proceedings
Yazar 
Yin, Hujun. editor. (orcid)0000-0002-9198-5401 Gao, Yang. editor. (orcid)0000-0002-2488-1813 Li, Bin. editor. Zhang, Daoqiang. editor. (orcid)0000-0002-5658-7643 Yang, Ming. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46257-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
250. 
Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings için kapak resmi
Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Yazar 
Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45177-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
251. 
Directed Algebraic Topology and Concurrency için kapak resmi
Directed Algebraic Topology and Concurrency
Yazar 
Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15398-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
252. 
Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings için kapak resmi
Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings
Yazar 
Blesa, Maria J. editor. Blum, Christian. editor. Cangelosi, Angelo. editor. Cutello, Vincenzo. editor. Di Nuovo, Alessandro. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39636-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
253. 
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:
254. 
Deductive Software Verification - The KeY Book From Theory to Practice için kapak resmi
Deductive Software Verification - The KeY Book From Theory to Practice
Yazar 
Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49812-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
255. 
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures için kapak resmi
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Yazar 
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29628-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
256. 
Advances in Cryptology - ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II için kapak resmi
Advances in Cryptology - ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II
Yazar 
Cheon, Jung Hee. editor. Takagi, Tsuyoshi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-53890-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
257. 
Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings için kapak resmi
Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
Yazar 
Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-53042-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
258. 
Algorithmic Game Theory 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, Proceedings için kapak resmi
Algorithmic Game Theory 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, Proceedings
Yazar 
Gairing, Martin. editor. Savani, Rahul. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-53354-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
259. 
Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II için kapak resmi
Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II
Yazar 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Li, Li. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41009-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
260. 
Artificial Evolution 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers için kapak resmi
Artificial Evolution 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers
Yazar 
Bonnevay, Stéphane. editor. Legrand, Pierrick. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor. Schoenauer, Marc. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-31471-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
261. 
Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings için kapak resmi
Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings
Yazar 
Král, Pavel. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45925-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
262. 
Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Yazar 
Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49665-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
263. 
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47166-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
264. 
Advances in Cryptology - ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I için kapak resmi
Advances in Cryptology - ASIACRYPT 2016 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I
Yazar 
Cheon, Jung Hee. editor. Takagi, Tsuyoshi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-53887-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
265. 
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:
266. 
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:
267. 
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers için kapak resmi
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Yazar 
Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41579-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
268. 
Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings için kapak resmi
Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
Yazar 
Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40189-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
269. 
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Yazar 
Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49630-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
270. 
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:
271. 
Computational Autism için kapak resmi
Computational Autism
Yazar 
Galitsky, Boris. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39972-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
272. 
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:
273. 
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:
274. 
Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings için kapak resmi
Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Yazar 
De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41591-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
275. 
Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers için kapak resmi
Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
Yazar 
Mauw, Sjouke. editor. Kordy, Barbara. editor. Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29968-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
276. 
LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings için kapak resmi
LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
Yazar 
Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49529-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
277. 
Evolutionary Computation in Combinatorial Optimization 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings için kapak resmi
Evolutionary Computation in Combinatorial Optimization 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings
Yazar 
Chicano, Francisco. editor. Hu, Bin. editor. García-Sánchez, Pablo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30698-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
278. 
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47169-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
279. 
Behavioural Models From Modelling Finite Automata to Analysing Business Processes için kapak resmi
Behavioural Models From Modelling Finite Automata to Analysing Business Processes
Yazar 
Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44960-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
280. 
A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains için kapak resmi
A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains
Yazar 
Göbel, Susanne. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-11765-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
281. 
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II için kapak resmi
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Yazar 
Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41540-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
282. 
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:
283. 
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:
284. 
Pattern Recognition 8th Mexican Conference, MCPR 2016, Guanajuato, Mexico, June 22-25, 2016. Proceedings için kapak resmi
Pattern Recognition 8th Mexican Conference, MCPR 2016, Guanajuato, Mexico, June 22-25, 2016. Proceedings
Yazar 
Martínez-Trinidad, José Francisco. editor. Carrasco-Ochoa, Jesús Ariel. editor. (orcid)0000-0002-9982-7758 Ayala Ramírez, Victor. editor. Olvera-López, José Arturo. editor. Jiang, Xiaoyi. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39393-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
285. 
Progress in Cryptology - AFRICACRYPT 2016 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings için kapak resmi
Progress in Cryptology - AFRICACRYPT 2016 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings
Yazar 
Pointcheval, David. editor. Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Rachidi, Tajjeeddine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-31517-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
286. 
Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings için kapak resmi
Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
Yazar 
Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46433-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
287. 
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:
288. 
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:
289. 
Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I için kapak resmi
Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I
Yazar 
Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41000-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
290. 
Parallel Problem Solving from Nature - PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings için kapak resmi
Parallel Problem Solving from Nature - PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings
Yazar 
Handl, Julia. editor. Hart, Emma. editor. Lewis, Peter R. editor. López-Ibáñez, Manuel. editor. Ochoa, Gabriela. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45823-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
291. 
Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2016 Workshops, BDM, MLSDA, PACC, WDMBF, Auckland, New Zealand, April 19, 2016, Revised Selected Papers için kapak resmi
Trends and Applications in Knowledge Discovery and Data Mining PAKDD 2016 Workshops, BDM, MLSDA, PACC, WDMBF, Auckland, New Zealand, April 19, 2016, Revised Selected Papers
Yazar 
Cao, Huiping. editor. Li, Jinyan. editor. Wang, Ruili. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42996-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
292. 
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:
293. 
Algorithm Engineering Selected Results and Surveys için kapak resmi
Algorithm Engineering Selected Results and Surveys
Yazar 
Kliemann, Lasse. editor. Sanders, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49487-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
294. 
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings için kapak resmi
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Yazar 
Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49122-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
295. 
Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings için kapak resmi
Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
Yazar 
Han, Yo-Sub. editor. Salomaa, Kai. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40946-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
296. 
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers için kapak resmi
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Yazar 
Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-50230-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
297. 
Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings için kapak resmi
Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Yazar 
Ribeiro, Leila. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49815-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
298. 
Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings için kapak resmi
Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
Yazar 
Dediu, Adrian-Horia. editor. Janoušek, Jan. 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-30000-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
299. 
Smart Collaborative Identifier Network A Promising Design for Future Internet için kapak resmi
Smart Collaborative Identifier Network A Promising Design for Future Internet
Yazar 
Zhang, Hongke. author. Su, Wei. author. Quan, Wei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49143-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
300. 
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays için kapak resmi
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Yazar 
Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-27810-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: