Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(49)
Lemos, Rogério. editor.
(4)
Brueckner, Sven A. editor.
(3)
Giese, Holger. editor.
(3)
O'Regan, Gerard. author.
(3)
Dil
Yayın Yılı
-
Konu
Computer science.
(27)
Computer Communication Networks.
(21)
Artificial intelligence.
(20)
Computer networks .
(10)
Information storage and retrieval systems.
(10)
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ç
51 sonuç bulundu Arama sonuçlarına abone ol
000000000000000000000000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Self-Aware Computing Systems için kapak resmi
Self-Aware Computing Systems
Yazar 
Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47474-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Trustworthy Open Self-Organising Systems için kapak resmi
Trustworthy Open Self-Organising Systems
Yazar 
Reif, Wolfgang. editor. Anders, Gerrit. editor. Seebach, Hella. editor. Steghöfer, Jan-Philipp. editor. André, Elisabeth. editor. (orcid)0000-0002-2367-162X
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29201-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Software Engineering for Self-Adaptive Systems için kapak resmi
Software Engineering for Self-Adaptive Systems
Yazar 
Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02161-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Engineering Self-Organising Systems Methodologies and Applications için kapak resmi
Engineering Self-Organising Systems Methodologies and Applications
Yazar 
Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Karageorgos, Anthony. editor. Nagpal, Radhika. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b136984
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
An introduction to self-adaptive systems : a contemporary software engineering perspective için kapak resmi
An introduction to self-adaptive systems : a contemporary software engineering perspective
Yazar 
Weyns, Danny.
Yer Numarası 
QA76.76 .S375
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119574910
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers için kapak resmi
Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
Yazar 
de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-74183-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Coordination of Complex Sociotechnical Systems Self-organisation of Knowledge in MoK için kapak resmi
Coordination of Complex Sociotechnical Systems Self-organisation of Knowledge in MoK
Yazar 
Mariani, Stefano. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47109-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Self-Organizing Systems 7th IFIP TC6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013, Revised Selected Papers için kapak resmi
Self-Organizing Systems 7th IFIP TC6 International Workshop, IWSOS 2013, Palma de Mallorca, Spain, May 9-10, 2013, Revised Selected Papers
Yazar 
Elmenreich, Wilfried. editor. Dressler, Falko. editor. Loreto, Vittorio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54140-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Assurances for Self-Adaptive Systems Principles, Models, and Techniques için kapak resmi
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Yazar 
Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334156.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36249-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers için kapak resmi
Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers
Yazar 
Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334055.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35813-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Self-Organizing Systems 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012. Proceedings için kapak resmi
Self-Organizing Systems 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012. Proceedings
Yazar 
Kuipers, Fernando A. editor. Heegaard, Poul E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28583-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Self-Organizing Systems 5th International Workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24. 2011. Proceedings için kapak resmi
Self-Organizing Systems 5th International Workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24. 2011. Proceedings
Yazar 
Bettstetter, Christian. editor. Gershenson, Carlos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19167-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
Self-Organizing Architectures First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers için kapak resmi
Self-Organizing Architectures First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers
Yazar 
Weyns, Danny. editor. Malek, Sam. editor. Lemos, Rogério. editor. Andersson, Jesper. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14412-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Self-Organizing Systems 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009. Proceedings için kapak resmi
Self-Organizing Systems 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009. Proceedings
Yazar 
Spyropoulos, Thrasyvoulos. editor. Hummel, Karin Anna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-10865-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings için kapak resmi
Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings
Yazar 
Príncipe, José C. editor. Miikkulainen, Risto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02397-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers için kapak resmi
Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers
Yazar 
Hirschfeld, Robert. editor. Rose, Kim. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-89275-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Self-Organizing Systems Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings için kapak resmi
Self-Organizing Systems Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings
Yazar 
Hummel, Karin Anna. editor. Sterbenz, James P. G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-92157-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Autonomous Systems – Self-Organization, Management, and Control Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008 için kapak resmi
Autonomous Systems – Self-Organization, Management, and Control Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008
Yazar 
Mahr, Bernd. editor. Huanye, Sheng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8889-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Self-Organizing Systems Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007. Proceedings için kapak resmi
Self-Organizing Systems Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007. Proceedings
Yazar 
Hutchison, David. editor. Katz, Randy H. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74917-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers için kapak resmi
Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Yazar 
Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69868-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Self-Organizing Systems First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 Proceedings için kapak resmi
Self-Organizing Systems First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 Proceedings
Yazar 
Meer, Hermann. editor. Sterbenz, James P. G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11822035
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers için kapak resmi
Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
Yazar 
Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Hales, David. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11734697
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Self-Managed Networks, Systems, and Services Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006. Proceedings için kapak resmi
Self-Managed Networks, Systems, and Services Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006. Proceedings
Yazar 
Keller, Alexander. editor. Martin-Flatin, Jean-Philippe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11767886
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
IEEE Computer Society real-world software engineering problems a self-study guide for today's software professional için kapak resmi
IEEE Computer Society real-world software engineering problems a self-study guide for today's software professional
Yazar 
Naveda, J. Fernando. Seidman, Stephen B.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989366
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989366
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
25. 
Self-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings için kapak resmi
Self-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings
Yazar 
Tixeuil, Sébastien. editor. Herman, Ted. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11577327
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Self-star Properties in Complex Information Systems Conceptual and Practical Foundations için kapak resmi
Self-star Properties in Complex Information Systems Conceptual and Practical Foundations
Yazar 
Babaoglu, Ozalp. editor. Jelasity, Márk. editor. Montresor, Alberto. editor. Fetzer, Christof. editor. Leonardi, Stefano. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b136551
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Guide to Software Project Management için kapak resmi
Guide to Software Project Management
Yazar 
O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-80578-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday için kapak resmi
Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Yazar 
Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-92196-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
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:
30. 
Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings için kapak resmi
Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
Yazar 
Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71379-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering için kapak resmi
Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering
Yazar 
O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-52664-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude için kapak resmi
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Yazar 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Programming in HTML and PHP Coding for Scientists and Engineers için kapak resmi
Programming in HTML and PHP Coding for Scientists and Engineers
Yazar 
Brooks, David R. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56973-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Pervasive Computing Engineering Smart Systems için kapak resmi
Pervasive Computing Engineering Smart Systems
Yazar 
Silvis-Cividjian, Natalia. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51655-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers için kapak resmi
Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers
Yazar 
Cranefield, Stephen. editor. Mahmoud, Samhar. editor. Padget, Julian. editor. Rocha, Ana Paula. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66595-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings için kapak resmi
Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings
Yazar 
Patitz, Matthew J. editor. Stannett, Mike. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-58187-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
37. 
Mastering Software Variability with FeatureIDE için kapak resmi
Mastering Software Variability with FeatureIDE
Yazar 
Meinicke, Jens. author. Thüm, Thomas. author. Schröter, Reimar. author. Benduhn, Fabian. author. Leich, Thomas. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61443-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings için kapak resmi
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings
Yazar 
Nakajima, Shin. editor. Talpin, Jean-Pierre. editor. Toyoshima, Masumi. editor. Yu, Huafeng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-4436-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Concise Guide to Software Engineering From Fundamentals to Application Methods için kapak resmi
Concise Guide to Software Engineering From Fundamentals to Application Methods
Yazar 
O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57750-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Web Service Implementation and Composition Techniques için kapak resmi
Web Service Implementation and Composition Techniques
Yazar 
Paik, Hye-young. author. Lemos, Angel Lagares. author. Barukh, Moshe Chai. author. Benatallah, Boualem. author. Natarajan, Aarthi. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-55542-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Organic Computing - Technical Systems for Survival in the Real World için kapak resmi
Organic Computing - Technical Systems for Survival in the Real World
Yazar 
Müller-Schloer, Christian. author. Tomforde, Sven. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68477-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
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:
43. 
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:
44. 
Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings için kapak resmi
Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
Yazar 
Bonakdarpour, Borzoo. editor. Petit, Franck. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49259-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Architectural Design Conception and Specification of Interactive Systems için kapak resmi
Architectural Design Conception and Specification of Interactive Systems
Yazar 
Vissers, Chris A. author. Pires, Luís Ferreira. author. Quartel, Dick A.C. author. van Sinderen, Marten. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-43298-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Process Mining Data Science in Action için kapak resmi
Process Mining Data Science in Action
Yazar 
van der Aalst, Wil M. P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49851-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control için kapak resmi
Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control
Yazar 
Goldbach, Tobias. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-14893-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
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:
49. 
Programming with Python için kapak resmi
Programming with Python
Yazar 
Padmanabhan, T R. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-3277-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Autonomic Road Transport Support Systems için kapak resmi
Autonomic Road Transport Support Systems
Yazar 
McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-25808-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
The Definitive Guide to SUSE Linux Enterprise Server 12 için kapak resmi
The Definitive Guide to SUSE Linux Enterprise Server 12
Yazar 
van Vugt, Sander. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4302-6820-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: