Arama Sonuçları Software engineering. - Daraltılmış: 2013

Handbook of software engineering & knowledge engineering

2024-12-24T13:53:45Z

Yazar Chang, Shi Kuo, 1944- ed.
Yer Numarası QA 76.758 H36 2001- V.2
Format: Kitap
Durum Beytepe Kütüphanesi~1

Software Engineering: A Hands-On Approach

2024-12-24T13:53:45Z

Yazar Lee, Roger Y. author. SpringerLink (Online service)
Yer Numarası ONLINE(336486.1)
Elektronik Erişim http://dx.doi.org/10.2991/978-94-6239-006-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Projektorganisation und Management im Software Engineering

2024-12-24T13:53:45Z

Yazar Broy, Manfred. author. Kuhrmann, Marco. author. SpringerLink (Online service)
Yer Numarası ONLINE(336947.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29290-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Perspectives on the Future of Software Engineering Essays in Honor of Dieter Rombach

2024-12-24T13:53:45Z

Yazar Münch, Jürgen. editor. Schmid, Klaus. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334419.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37395-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334236.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36563-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Baumeister, Hubert. editor. Weber, Barbara. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334579.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38314-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334859.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39866-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334870.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39955-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334844.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39742-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335024.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40894-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335217.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45422-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335227.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-54092-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten

2024-12-24T13:53:45Z

Yazar Kleuker, Stephan. author. SpringerLink (Online service)
Yer Numarası ONLINE(337559.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-658-00642-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automotive Software Engineering Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen

2024-12-24T13:53:45Z

Yazar Schäuffele, Jörg. author. Zurawka, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE(338377.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-2470-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Doerr, Joerg. editor. Opdahl, Andreas L. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334426.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37422-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334911.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40213-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

2024-12-24T13:53:45Z

Yazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334841.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39721-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

2024-12-24T13:53:45Z

Yazar Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335072.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41202-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334354.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37057-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering and Management for Software Development Projects

2024-12-24T13:53:45Z

Yazar Chemuturi, Murali. author. SpringerLink (Online service)
Yer Numarası ONLINE(331756.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5377-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332934.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333558.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32341-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2012

2024-12-24T13:53:45Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333535.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32172-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology

2024-12-24T13:53:45Z

Yazar Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333860.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34528-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Software Engineering & Digital Media Technology

2024-12-24T13:53:45Z

Yazar Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333861.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34531-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2024-12-24T13:53:45Z

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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334968.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40561-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Frameworks for the Cloud Computing Paradigm

2024-12-24T13:53:45Z

Yazar Mahmood, Zaigham. editor. Saeed, Saqib. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331122.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5031-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2024-12-24T13:53:45Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332795.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-00738-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Information Technology & Computing Intelligence

2024-12-24T13:53:45Z

Yazar Lu, Wei. editor. Cai, Guoqiang. editor. Liu, Weibin. editor. Xing, Weiwei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333859.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34522-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

2024-12-24T13:53:45Z

Yazar Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334096.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35992-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures

2024-12-24T13:53:45Z

Yazar Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334109.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36054-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development

2024-12-24T13:53:45Z

Yazar Trendowicz, Adam. author. SpringerLink (Online service)
Yer Numarası ONLINE(333358.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30764-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Policies and Research in Identity Management Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Fischer-Hübner, Simone. editor. Leeuw, Elisabeth. editor. Mitchell, Chris. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334399.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37282-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334425.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37419-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems and Software Variability Management Concepts, Tools and Experiences

2024-12-24T13:53:45Z

Yazar Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334240.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36583-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334438.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37478-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Feature-Oriented Software Product Lines Concepts and Implementation

2024-12-24T13:53:45Z

Yazar Apel, Sven. author. Batory, Don. author. Kästner, Christian. author. Saake, Gunter. author. SpringerLink (Online service)
Yer Numarası ONLINE(334447.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37521-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Architecture Patterns Practical Solutions for Recurring IT-Architecture Problems

2024-12-24T13:53:45Z

Yazar Perroud, Thierry. author. Inversini, Reto. author. SpringerLink (Online service)
Yer Numarası ONLINE(334453.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37561-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Infocomm Technology 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers

2024-12-24T13:53:45Z

Yazar Guyot, Vincent. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334561.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38227-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334562.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38230-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334580.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38317-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334662.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38750-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Improvement and Capability Determination 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Woronowicz, Tanja. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334677.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38833-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334683.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38856-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334686.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38865-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

2024-12-24T13:53:45Z

Yazar Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334688.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38874-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334691.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38883-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334697.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38911-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334698.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38916-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Open Source Software: Quality Verification 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Petrinja, Etiel. editor. Succi, Giancarlo. editor. Ioini, Nabil. editor. Sillitti, Alberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334700.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38928-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334610.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38493-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Cavallaro, Lorenzo. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334616.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38530-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Product Quality Control

2024-12-24T13:53:45Z

Yazar Wagner, Stefan. author. SpringerLink (Online service)
Yer Numarası ONLINE(334625.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38571-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Bonacina, Maria Paola. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334626.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38574-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334630.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38592-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334631.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38601-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334634.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38613-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334727.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39088-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

E-Voting and Identify 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Heather, James. editor. Schneider, Steve. editor. Teague, Vanessa. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334746.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39185-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Engineering 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Daniel, Florian. editor. Dolog, Peter. editor. Li, Qing. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334750.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39200-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Neto, Pedro. editor. Moreira, António Paulo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334756.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39223-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Malyshkin, Victor. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334871.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39958-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Personal Web A Research Agenda

2024-12-24T13:53:45Z

Yazar Chignell, Mark. editor. Cordy, James R. editor. Kealey, Ryan. editor. Ng, Joanna. editor. Yesha, Yelena. editor.
Yer Numarası ONLINE(334876.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39995-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334882.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40047-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2024-12-24T13:53:45Z

Yazar Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334905.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40184-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

2024-12-24T13:53:45Z

Yazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334837.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39698-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Wang, Mingzheng. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334849.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39787-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part II

2024-12-24T13:53:45Z

Yazar Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335018.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40849-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I

2024-12-24T13:53:45Z

Yazar Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335019.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40852-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems: Development, Learning, Security 6th SIGSAND/PLAIS EuroSymposium 2013, Gdańsk, Poland, September 26, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Wrycza, Stanisław. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335020.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40855-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335023.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40885-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335028.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40922-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Saeed, Khalid. editor. Chaki, Rituparna. editor. Cortesi, Agostino. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335029.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40925-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Global Sourcing. Models, Governance, and Relationships 7th Global Sourcing Workshop 2013, Val d’Isère, France, March 11-14, 2013, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Oshri, Ilan. editor. Kotlarsky, Julia. editor. Willcocks, Leslie P. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335033.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40951-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335040.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41010-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335043.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41019-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enabling Things to Talk Designing IoT solutions with the IoT Architectural Reference Model

2024-12-24T13:53:45Z

Yazar Bassi, Alessandro. editor. Bauer, Martin. editor. Fiedler, Martin. editor. Kramp, Thorsten. editor. Kranenburg, Rob. editor.
Yer Numarası ONLINE(334941.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40403-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

2024-12-24T13:53:45Z

Yazar Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335046.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41036-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency VIII

2024-12-24T13:53:45Z

Yazar Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334949.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40465-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III

2024-12-24T13:53:45Z

Yazar Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Yer Numarası ONLINE(334950.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40477-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II

2024-12-24T13:53:45Z

Yazar Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Yer Numarası ONLINE(334951.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40480-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I

2024-12-24T13:53:45Z

Yazar Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Yer Numarası ONLINE(334952.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40483-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV

2024-12-24T13:53:45Z

Yazar Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Yer Numarası ONLINE(334955.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40498-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PRIMA 2013: Principles and Practice of Multi-Agent Systems 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Boella, Guido. editor. Elkind, Edith. editor. Savarimuthu, Bastin Tony Roy. editor. Dignum, Frank. editor. Purvis, Martin K. editor.
Yer Numarası ONLINE(335169.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-44927-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Lean Enterprise Software and Systems 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings

2024-12-24T13:53:45Z

Yazar Fitzgerald, Brian. editor. Conboy, Kieran. editor. Power, Ken. editor. Valerdi, Ricardo. editor. Morgan, Lorraine. editor.
Yer Numarası ONLINE(335170.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-44930-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings

2024-12-24T13:53:45Z

Yazar Basu, Samik. editor. Pautasso, Cesare. editor. Zhang, Liang. editor. Fu, Xiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335177.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45005-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Payment

2024-12-24T13:53:45Z

Yazar Lerner, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE(335291.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-658-03251-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335206.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45293-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335210.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45343-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Canal, Carlos. editor. Villari, Massimo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335212.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45364-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

User-Level Workflow Design A Bioinformatics Perspective

2024-12-24T13:53:45Z

Yazar Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335213.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45389-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335215.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45404-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

2024-12-24T13:53:45Z

Yazar Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Yer Numarası ONLINE(335216.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45419-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project

2024-12-24T13:53:45Z

Yazar Cotroneo, Domenico. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335577.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-88-470-2772-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011

2024-12-24T13:53:45Z

Yazar Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335821.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-4786-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Land Subsidence Analysis in Urban Areas The Bangkok Metropolitan Area Case Study

2024-12-24T13:53:45Z

Yazar Zeitoun, David G. author. Wakshal, Eliyahu. author. SpringerLink (Online service)
Yer Numarası ONLINE(335992.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5506-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mechanism Design for Sustainability Techniques and Cases

2024-12-24T13:53:45Z

Yazar Luo, Zongwei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336131.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5995-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

2024-12-24T13:53:45Z

Yazar Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334327.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36946-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Yer Numarası ONLINE(334328.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36949-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development X

2024-12-24T13:53:45Z

Yazar Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334333.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36964-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Zu, Qiaohong. editor. Hu, Bo. editor. Elçi, Atilla. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334342.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37015-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Java kompakt Eine Einführung in die Software-Entwicklung mit Java

2024-12-24T13:53:45Z

Yazar Hölzl, Matthias. author. Raed, Allaithy. author. Wirsing, Martin. author. SpringerLink (Online service)
Yer Numarası ONLINE(336934.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28504-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering und Projektmanagement

2024-12-24T13:53:45Z

Yazar Valentini, Uwe. author. Weißbach, Rüdiger. author. Fahney, Ralf. author. Gartung, Thomas. author. Glunde, Jörg. author.
Yer Numarası ONLINE(336955.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29432-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Kommunikation unter Echtzeitbedingungen Echtzeit 2012

2024-12-24T13:53:45Z

Yazar Halang, Wolfgang A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(337075.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33707-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agentensysteme in der Automatisierungstechnik

2024-12-24T13:53:45Z

Yazar Göhner, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(337038.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31768-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Keine Angst vor Linux/Unix Ein Lehrbuch für Linux- und Unix-Anwender

2024-12-24T13:53:45Z

Yazar Wolfinger, Christine. author. SpringerLink (Online service)
Yer Numarası ONLINE(337045.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32079-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

2024-12-24T13:53:45Z

Yazar Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)
Yer Numarası ONLINE(337114.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34718-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Usability Engineering kompakt Benutzbare Produkte gezielt entwickeln

2024-12-24T13:53:45Z

Yazar Richter, Michael. author. Flückiger, Markus D. author. SpringerLink (Online service)
Yer Numarası ONLINE(337140.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34832-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systemanalyse kompakt

2024-12-24T13:53:45Z

Yazar SOPHIST GmbH. author. Rupp, Chris. author. SpringerLink (Online service)
Yer Numarası ONLINE(337184.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35446-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software-Qualität

2024-12-24T13:53:45Z

Yazar Hoffmann, Dirk W. author. SpringerLink (Online service)
Yer Numarası ONLINE(337190.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35700-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Touch Interaktion durch Berührung

2024-12-24T13:53:45Z

Yazar Schlegel, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(337203.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36113-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Industrie 4.0 Beherrschung der industriellen Komplexität mit SysLM

2024-12-24T13:53:45Z

Yazar Sendler, Ulrich. editor. SpringerLink (Online service)
Yer Numarası ONLINE(337230.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36917-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sicherheitsgerichtete Echtzeitsysteme

2024-12-24T13:53:45Z

Yazar Halang, Wolfgang A. author. Konakovsky, Rudolf M. author. SpringerLink (Online service)
Yer Numarası ONLINE(337256.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37298-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Moderne C-Programmierung Kompendium und Referenz

2024-12-24T13:53:45Z

Yazar Schellong, Helmut. author. SpringerLink (Online service)
Yer Numarası ONLINE(337371.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40058-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Risikomanagement kompakt Risiken und Unsicherheiten bewerten und beherrschen

2024-12-24T13:53:45Z

Yazar Ebert, Christof. author. SpringerLink (Online service)
Yer Numarası ONLINE(337388.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41048-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Funktionale Sicherheit Echtzeit 2013

2024-12-24T13:53:45Z

Yazar Halang, Wolfgang A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(337391.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41309-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Anwendungsentwicklung mit Datenbanken

2024-12-24T13:53:45Z

Yazar Unterstein, Michael. author. Matthiessen, Günter. author. SpringerLink (Online service)
Yer Numarası ONLINE(337341.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39003-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grundkurs Datenbankentwicklung Von der Anforderungsanalyse zur komplexen Datenbankanfrage

2024-12-24T13:53:45Z

Yazar Kleuker, Stephan. author. SpringerLink (Online service)
Yer Numarası ONLINE(337828.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-658-01588-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Entwicklung fuzzybasierter Leitkomponenten für das Klimamanagement in der präventiven Konservierung

2024-12-24T13:53:45Z

Yazar Arnold, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE(338149.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-658-03155-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Raspberry Pi – Das Handbuch Konfiguration, Hardware, Applikationserstellung

2024-12-24T13:53:45Z

Yazar Dembowski, Klaus. author. SpringerLink (Online service)
Yer Numarası ONLINE(338155.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-658-03167-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architektur- und Entwurfsmuster der Softwaretechnik Mit lauffähigen Beispielen in Java

2024-12-24T13:53:45Z

Yazar Goll, Joachim. author. Dausmann, Manfred. author. SpringerLink (Online service)
Yer Numarası ONLINE(338371.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-2432-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grundkurs JAVA Von den Grundlagen bis zu Datenbank- und Netzanwendungen

2024-12-24T13:53:45Z

Yazar Abts, Dietmar. author. SpringerLink (Online service)
Yer Numarası ONLINE(338386.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-2535-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pro Team Foundation Service

2024-12-24T13:53:45Z

Yazar Olausson, Mathias. author. Rossberg, Joachim. author. Ehn, Jakob. author. Sköld, Mattias. author. SpringerLink (Online service)
Yer Numarası ONLINE(330735.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-5996-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Physical Layer Multi-Core Prototyping A Dataflow-Based Approach for LTE eNodeB

2024-12-24T13:53:45Z

Yazar Pelcat, Maxime. author. Aridhi, Slaheddine. author. Piat, Jonathan. author. Nezan, Jean-François. author. SpringerLink (Online service)
Yer Numarası ONLINE(330930.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4210-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Computing Methods and Practical Approaches

2024-12-24T13:53:45Z

Yazar Mahmood, Zaigham. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331146.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5107-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Network Programming with Java Java 7 Compatible

2024-12-24T13:53:45Z

Yazar Graba, Jan. author. SpringerLink (Online service)
Yer Numarası ONLINE(331180.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5254-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using Event-B for Critical Device Software Systems

2024-12-24T13:53:45Z

Yazar Singh, Neeraj Kumar. author. SpringerLink (Online service)
Yer Numarası ONLINE(331181.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Programming – Principles and Techniques Network Application Programming with Java

2024-12-24T13:53:45Z

Yazar Ciubotaru, Bogdan. author. Muntean, Gabriel-Miro. author. SpringerLink (Online service)
Yer Numarası ONLINE(331186.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5292-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic Models for Adaptive Interactive Systems

2024-12-24T13:53:45Z

Yazar Hussein, Tim. editor. Paulheim, Heiko. editor. Lukosch, Stephan. editor. Ziegler, Jürgen. editor. Calvary, Gaëlle. editor.
Yer Numarası ONLINE(331188.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5301-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Middleware Solutions for the Internet of Things

2024-12-24T13:53:45Z

Yazar Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)
Yer Numarası ONLINE(331206.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5481-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Databases A Practical Introduction

2024-12-24T13:53:45Z

Yazar Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Yer Numarası ONLINE(331224.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5601-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Neuroevolution Through Erlang

2024-12-24T13:53:45Z

Yazar Sher, Gene I. author. SpringerLink (Online service)
Yer Numarası ONLINE(331512.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4463-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Programming Theory and Practice

2024-12-24T13:53:45Z

Yazar Shankar, A. Udaya. author. SpringerLink (Online service)
Yer Numarası ONLINE(331611.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4881-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2024-12-24T13:53:45Z

Yazar Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Yer Numarası ONLINE(332964.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03089-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

2024-12-24T13:53:45Z

Yazar Urzaiz, Gabriel. editor. Ochoa, Sergio F. editor. Bravo, José. editor. Chen, Liming Luke. editor. Oliveira, Jonice. editor.
Yer Numarası ONLINE(332969.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03176-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Shan, Chung-chieh. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332981.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03542-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Domain Engineering Product Lines, Languages, and Conceptual Models

2024-12-24T13:53:45Z

Yazar Reinhartz-Berger, Iris. editor. Sturm, Arnon. editor. Clark, Tony. editor. Cohen, Sholom. editor. Bettin, Jorn. editor.
Yer Numarası ONLINE(334257.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36654-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Demeester, Piet. editor. Moerman, Ingrid. editor. Terzis, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334263.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36672-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334274.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36727-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334278.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36742-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.
Yer Numarası ONLINE(334280.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36751-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

S-BPM ONE - Running Processes 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Fischer, Herbert. editor. Schneeberger, Josef. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334281.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36754-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334282.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36757-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

TV-Anytime Paving the Way for Personalized TV

2024-12-24T13:53:45Z

Yazar Gil Solla, Alberto. author. Sotelo Bovino, Rafael G. author. SpringerLink (Online service)
Yer Numarası ONLINE(334285.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36766-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334290.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36781-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334469.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37658-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems and Technologies 8th International Conference, WEBIST 2012, Porto, Portugal, April 18-21, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Cordeiro, José. editor. Krempels, Karl-Heinz. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334245.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36608-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334533.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38088-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Brocke, Jan. editor. Hekkala, Riitta. editor. Ram, Sudha. editor. Rossi, Matti. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334675.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38827-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency VII

2024-12-24T13:53:45Z

Yazar Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.
Yer Numarası ONLINE(334545.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38143-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

2024-12-24T13:53:45Z

Yazar Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334547.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38164-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Albert, Elvira. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334552.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38197-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

2024-12-24T13:53:45Z

Yazar Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334556.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38209-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise, Business-Process and Information Systems Modeling 14th International Conference, BPMDS 2013, 18th International Conference, EMMSAD 2013, Held at CAiSE 2013, Valencia, Spain, June 17-18, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Nurcan, Selmin. editor. Proper, Henderik A. editor. Soffer, Pnina. editor. Krogstie, John. editor. Schmidt, Rainer. editor.
Yer Numarası ONLINE(334607.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38484-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering Workshops CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Franch, Xavier. editor. Soffer, Pnina. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334609.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38490-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

2024-12-24T13:53:45Z

Yazar Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334706.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38977-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334708.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38986-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Doyen, Guillaume. editor. Waldburger, Martin. editor. Čeleda, Pavel. editor. Sperotto, Anna. editor. Stiller, Burkhard. editor.
Yer Numarası ONLINE(334710.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38998-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334711.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39013-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Drira, Khalil. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334714.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39031-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Castagna, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334715.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39038-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Process Models. Change Management

2024-12-24T13:53:45Z

Yazar Gerth, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE(334632.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38604-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Aspect-Oriented Requirements Engineering

2024-12-24T13:53:45Z

Yazar Moreira, Ana. editor. Chitchyan, Ruzanna. editor. Araújo, João. editor. Rashid, Awais. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334641.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38640-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334743.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39176-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Benchmarking Peer-to-Peer Systems Understanding Quality of Service in Large-Scale Distributed Systems

2024-12-24T13:53:45Z

Yazar Effelsberg, Wolfgang. editor. Steinmetz, Ralf. editor. Strufe, Thorsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334646.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38673-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Pattern Languages of Programming III

2024-12-24T13:53:45Z

Yazar Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334647.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38676-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334651.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38697-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334652.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38700-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

End-User Development 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Dittrich, Yvonne. editor. Burnett, Margaret. editor. Mørch, Anders. editor. Redmiles, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334654.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38706-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Salinesi, Camille. editor. Norrie, Moira C. editor. Pastor, Óscar. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334655.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38709-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Heidrich, Jens. editor. Oivo, Markku. editor. Jedlitschka, Andreas. editor. Baldassarre, Maria Teresa. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334768.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39259-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Liu, Shaoying. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334772.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39277-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Business. From Physical Products to Software Services and Solutions 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Herzwurm, Georg. editor. Margaria, Tiziana. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334783.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39336-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334797.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39408-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Big Data 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Gottlob, Georg. editor. Grasso, Giovanni. editor. Olteanu, Dan. editor. Schallhart, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334803.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39467-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Biswas, Jit. editor. Kobayashi, Hisato. editor. Wong, Lawrence. editor. Abdulrazak, Bessam. editor. Mokhtari, Mounir. editor.
Yer Numarası ONLINE(334804.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39470-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Dependability Assessment of Software Systems

2024-12-24T13:53:45Z

Yazar Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)
Yer Numarası ONLINE(334812.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39512-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings

2024-12-24T13:53:45Z

Yazar Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334814.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39521-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

2024-12-24T13:53:45Z

Yazar Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334973.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40579-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

2024-12-24T13:53:45Z

Yazar Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334978.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40615-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Yer Numarası ONLINE(334979.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40624-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented and Cloud Computing Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Lau, Kung-Kiu. editor. Lamersdorf, Winfried. editor. Pimentel, Ernesto. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334983.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40651-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334987.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40672-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334840.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39718-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334992.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40708-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334995.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40725-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Bitsch, Friedemann. editor. Guiochet, Jérémie. editor. Kaâniche, Mohamed. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335005.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40793-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On the Move to Meaningful Internet Systems: OTM 2013 Conferences Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Eder, Johann. editor. Bellahsene, Zohra. editor.
Yer Numarası ONLINE(335044.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41030-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Botía, Juan A. editor. Álvarez-García, Juan Antonio. editor. Fujinami, Kaori. editor. Barsocchi, Paolo. editor. Riedel, Till. editor.
Yer Numarası ONLINE(335047.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41043-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Shaikh, Faisal Karim. editor. Chowdhry, Bhawani Shankar. editor. Ammari, Habib M. editor. Uqaili, Muhammad Aslam. editor. Shah, Assadullah. editor.
Yer Numarası ONLINE(335048.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41054-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Accorsi, Rafael. editor. Ranise, Silvio. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335057.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41098-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Time and Petri Nets

2024-12-24T13:53:45Z

Yazar Popova-Zeugmann, Louchka. author. SpringerLink (Online service)
Yer Numarası ONLINE(335059.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41115-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335064.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41151-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part II

2024-12-24T13:53:45Z

Yazar Lin, Xuemin. editor. Manolopoulos, Yannis. editor. Srivastava, Divesh. editor. Huang, Guangyan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335065.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41154-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Palamidessi, Catuscia. editor. Ryan, Mark D. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335066.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41157-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I

2024-12-24T13:53:45Z

Yazar Lin, Xuemin. editor. Manolopoulos, Yannis. editor. Srivastava, Divesh. editor. Huang, Guangyan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335078.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41230-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Sounds to Music and Emotions 9th International Symposium, CMMR 2012, London, UK, June 19-22, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Aramaki, Mitsuko. editor. Barthet, Mathieu. editor. Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335080.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41248-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Measurement Methodology and Tools First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papers

2024-12-24T13:53:45Z

Yazar Fàbrega, Lluís. editor. Vilà, Pere. editor. Careglio, Davide. editor. Papadimitriou, Dimitri. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335086.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41296-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Cuzzocrea, Alfredo. editor. Maabout, Sofian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335097.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41366-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings

2024-12-24T13:53:45Z

Yazar Pathan, Mukaddim. editor. Wei, Guiyi. editor. Fortino, Giancarlo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335105.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41428-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335198.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45260-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Resource Discovery 5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Greece, May 27, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Lacroix, Zoé. editor. Ruckhaus, Edna. editor. Vidal, Maria-Esther. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335199.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45263-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Yer Numarası ONLINE(335120.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41533-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolution of Telecommunication Services The Convergence of Telecom and Internet: Technologies and Ecosystems

2024-12-24T13:53:45Z

Yazar Bertin, Emmanuel. editor. Crespi, Noel. editor. Magedanz, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335123.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41569-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335125.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41578-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Hinze, Ralf. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335126.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41582-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II

2024-12-24T13:53:45Z

Yazar Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335148.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41908-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335150.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41924-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Software Technologies 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335153.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41947-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Seminal Contributions to Information Systems Engineering 25 Years of CAiSE

2024-12-24T13:53:45Z

Yazar Bubenko, Janis. editor. Krogstie, John. editor. Pastor, Oscar. editor. Pernici, Barbara. editor. Rolland, Colette. editor.
Yer Numarası ONLINE(334324.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36926-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers

2024-12-24T13:53:45Z

Yazar Piazolo, Felix. editor. Felderer, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334344.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37021-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334348.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37036-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334353.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37051-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantitatives Entwicklungsmanagement Modellbasierte Analyse von Produktentwicklungsprozessen

2024-12-24T13:53:45Z

Yazar Hahn, Axel. author. Häusler, Stefan. author. große Austing, Stephan. author. SpringerLink (Online service)
Yer Numarası ONLINE(337101.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34510-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile IT-Projekte erfolgreich gestalten Risikomanagement als Ergänzung zu Scrum

2024-12-24T13:53:45Z

Yazar Brandstäter, Jonathan. author. SpringerLink (Online service)
Yer Numarası ONLINE(338238.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-658-04430-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

2024-12-24T13:53:45Z

Yazar Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335141.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41707-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Early Software Reliability Prediction A Fuzzy Logic Approach

2024-12-24T13:53:45Z

Yazar Pandey, Ajeet Kumar. author. Goyal, Neeraj Kumar. author. SpringerLink (Online service)
Yer Numarası ONLINE(335512.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-81-322-1176-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungen

2024-12-24T13:53:45Z

Yazar Breckenfelder, Christof. author. SpringerLink (Online service)
Yer Numarası ONLINE(337705.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-658-01128-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programmieren spielend gelernt mit dem Java-Hamster-Modell

2024-12-24T13:53:45Z

Yazar Boles, Dietrich. author. SpringerLink (Online service)
Yer Numarası ONLINE(338304.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-2039-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Qualitätssicherung durch Softwaretests Vorgehensweisen und Werkzeuge zum Test von Java-Programmen

2024-12-24T13:53:45Z

Yazar Kleuker, Stephan. author. SpringerLink (Online service)
Yer Numarası ONLINE(338309.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-2068-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation

2024-12-24T13:53:45Z

Yazar Mandl, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE(338350.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-2301-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sustainable Web Ecosystem Design

2024-12-24T13:53:45Z

Yazar O'Toole, Greg. author. SpringerLink (Online service)
Yer Numarası ONLINE(332331.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-7714-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scala Design Patterns Patterns for Practical Reuse and Design

2024-12-24T13:53:45Z

Yazar Hunt, John. author. SpringerLink (Online service)
Yer Numarası ONLINE(332904.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02192-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332921.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02444-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

2024-12-24T13:53:45Z

Yazar Nugent, Christopher. editor. Coronato, Antonio. editor. Bravo, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332965.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03092-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Discovery, Knowledge Engineering and Knowledge Management Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Fred, Ana. editor. Dietz, Jan L. G. editor. Liu, Kecheng. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333266.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29764-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Architecture at Work Modelling, Communication and Analysis

2024-12-24T13:53:45Z

Yazar Lankhorst, Marc. author. SpringerLink (Online service)
Yer Numarası ONLINE(333251.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29651-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontology-Driven Software Development

2024-12-24T13:53:45Z

Yazar Pan, Jeff Z. editor. Staab, Steffen. editor. Aßmann, Uwe. editor. Ebert, Jürgen. editor. Zhao, Yuting. editor.
Yer Numarası ONLINE(333408.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31226-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Business Process Management

2024-12-24T13:53:45Z

Yazar Dumas, Marlon. author. La Rosa, Marcello. author. Mendling, Jan. author. Reijers, Hajo A. author. SpringerLink (Online service)
Yer Numarası ONLINE(333671.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33143-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Industrial Deployment of System Engineering Methods

2024-12-24T13:53:45Z

Yazar Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333675.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33170-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Cryptography with Maple

2024-12-24T13:53:45Z

Yazar Gómez Pardo, José Luis. author. SpringerLink (Online service)
Yer Numarası ONLINE(333533.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32166-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Surface- and Groundwater Quality Changes in Periods of Water Scarcity

2024-12-24T13:53:45Z

Yazar Gregor, Miloš. author. SpringerLink (Online service)
Yer Numarası ONLINE(333547.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32244-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

QoS Management of Web Services

2024-12-24T13:53:45Z

Yazar Zheng, Zibin. author. Lyu, Michael R. author. SpringerLink (Online service)
Yer Numarası ONLINE(333814.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34207-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomous Sensor Networks Collective Sensing Strategies for Analytical Purposes

2024-12-24T13:53:45Z

Yazar Filippini, Daniel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333878.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34648-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Yer Numarası ONLINE(334064.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35843-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334033.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35702-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334034.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35705-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Communication and Power Engineering Second International Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Das, Vinu V. editor. Chaba, Yogesh. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334070.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35864-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334071.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35867-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334073.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35873-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing

2024-12-24T13:53:45Z

Yazar Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334079.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35893-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Yuan, Yuyu. editor. Wu, Xu. editor. Lu, Yueming. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334049.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35795-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

2024-12-24T13:53:45Z

Yazar Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334174.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36315-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Exploring Services Science 4th International Conference, IESS 2013, Porto, Portugal, February 7-8, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Falcão e Cunha, João. editor. Snene, Mehdi. editor. Nóvoa, Henriqueta. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334183.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36356-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SmartShadow: Models and Methods for Pervasive Computing

2024-12-24T13:53:45Z

Yazar Wu, Zhaohui. author. Pan, Gang. author. SpringerLink (Online service)
Yer Numarası ONLINE(334190.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36382-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic Mashups Intelligent Reuse of Web Resources

2024-12-24T13:53:45Z

Yazar Endres-Niggemeyer, Brigitte. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334195.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36403-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334200.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36424-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Pfenning, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334358.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37075-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Garcia-Alfaro, Joaquin. editor. Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. Miri, Ali. editor. Tawbi, Nadia. editor.
Yer Numarası ONLINE(334365.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37119-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Card Research and Advanced Applications 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Mangard, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334401.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37288-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing - ICSOC 2012 Workshops ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Ghose, Aditya. editor. Zhu, Huibiao. editor. Yu, Qi. editor. Delis, Alex. editor. Sheng, Quang Z. editor.
Yer Numarası ONLINE(334485.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37804-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334494.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37890-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Networks and Management 4th International Conference, MONAMI 2012, Hamburg, Germany, September 24-26, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Timm-Giel, Andreas. editor. Strassner, John. editor. Agüero, Ramón. editor. Sargento, Susana. editor. Pentikousis, Kostas. editor.
Yer Numarası ONLINE(334503.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37935-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.
Yer Numarası ONLINE(334508.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37974-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Dynpro ABAP for Practitioners

2024-12-24T13:53:45Z

Yazar Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Yer Numarası ONLINE(334566.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38247-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.
Yer Numarası ONLINE(334682.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38853-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems: Methods, Models, and Applications 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Mayr, Heinrich C. editor. Kop, Christian. editor. Liddle, Stephen. editor. Ginige, Athula. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334589.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38370-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Detection of Intrusions and Malware, and Vulnerability Assessment 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Rieck, Konrad. editor. Stewin, Patrick. editor. Seifert, Jean-Pierre. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334760.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39235-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ad-hoc, Mobile, and Wireless Network 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Cichoń, Jacek. editor. Gȩbala, Maciej. editor. Klonowski, Marek. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334764.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39247-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

RoboCup 2012: Robot Soccer World Cup XVI

2024-12-24T13:53:45Z

Yazar Chen, Xiaoping. editor. Stone, Peter. editor. Sucar, Luis Enrique. editor. Zant, Tijn. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334765.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39250-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Daniel, Florian. editor. Wang, Jianmin. editor. Weber, Barbara. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334904.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40176-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334969.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334820.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334821.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39614-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Yer Numarası ONLINE(334822.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39617-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334825.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39634-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I

2024-12-24T13:53:45Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334826.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39637-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V

2024-12-24T13:53:45Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334827.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39640-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II

2024-12-24T13:53:45Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334828.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39643-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III

2024-12-24T13:53:45Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334829.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39646-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV

2024-12-24T13:53:45Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334830.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39649-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334832.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39666-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334910.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40206-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334985.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40663-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334913.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40229-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile and Ubiquitous Systems: Computing, Networking, and Services 9th International Conference, MobiQuitous 2012, Beijing, China, December 12-14, 2012. Revised Selected Papers

2024-12-24T13:53:45Z

Yazar Zheng, Kan. editor. Li, Mo. editor. Jiang, Hongbo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334916.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40238-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Web Information Systems 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Daniel, Florian. editor. Papadopoulos, George A. editor. Thiran, Philippe. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334922.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40276-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335003.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40787-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334851.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39799-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

2024-12-24T13:53:45Z

Yazar Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335178.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45008-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I

2024-12-24T13:53:45Z

Yazar Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335179.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45025-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Middleware 2013 ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings

2024-12-24T13:53:45Z

Yazar Eyers, David. editor. Schwan, Karsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335186.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45065-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product Lifecycle Management for Society 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings

2024-12-24T13:53:45Z

Yazar Bernard, Alain. editor. Rivest, Louis. editor. Dutta, Debasish. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335114.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41501-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ada 2012 Rationale The Language, The Standard Libraries

2024-12-24T13:53:45Z

Yazar Barnes, John. author. SpringerLink (Online service)
Yer Numarası ONLINE(335195.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45210-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335196.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

2024-12-24T13:53:45Z

Yazar Sagonas, Kostis. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335204.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45284-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robust Data Mining

2024-12-24T13:53:45Z

Yazar Xanthopoulos, Petros. author. Pardalos, Panos M. author. Trafalis, Theodore B. author. SpringerLink (Online service)
Yer Numarası ONLINE(330861.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9878-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Music and Human-Computer Interaction

2024-12-24T13:53:45Z

Yazar Holland, Simon. editor. Wilkie, Katie. editor. Mulholland, Paul. editor. Seago, Allan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330896.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2990-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Creativity and Rationale Enhancing Human Experience by Design

2024-12-24T13:53:45Z

Yazar Carroll, John M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330908.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4111-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques

2024-12-24T13:53:45Z

Yazar Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)
Yer Numarası ONLINE(330912.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4126-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Connecting Families The Impact of New Communication Technologies on Domestic Life

2024-12-24T13:53:45Z

Yazar Neustaedter, Carman. editor. Harrison, Steve. editor. Sellen, Abigail. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330927.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4192-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Manufacturing Distributed Computing Technologies for Global and Sustainable Manufacturing

2024-12-24T13:53:45Z

Yazar Li, Weidong. editor. Mehnen, Jörn. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331102.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4935-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomic Computing Principles, Design and Implementation

2024-12-24T13:53:45Z

Yazar Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Yer Numarası ONLINE(331115.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems Development Reflections, Challenges and New Directions

2024-12-24T13:53:45Z

Yazar Pooley, Rob. editor. Coady, Jennifer. editor. Schneider, Christoph. editor. Linger, Henry. editor. Barry, Chris. editor.
Yer Numarası ONLINE(331631.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4951-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Finding Source Code on the Web for Remix and Reuse

2024-12-24T13:53:45Z

Yazar Sim, Susan Elliott. editor. Gallardo-Valencia, Rosalva E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332071.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6596-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

2024-12-24T13:53:45Z

Yazar Paule, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332822.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-00966-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1