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

Software-Qualität

2026-06-02T22:54:04Z

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

Software Product Quality Control

2026-06-02T22:54:04Z

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

Implementing Software Defined Radio

2026-06-02T22:54:04Z

Yazar Grayver, Eugene. author. SpringerLink (Online service)
Yer Numarası ONLINE(330849.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9332-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontology-Driven Software Development

2026-06-02T22:54:04Z

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

Handbook of software engineering & knowledge engineering

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

Optimierungssysteme Modelle, Verfahren, Software, Anwendungen

2026-06-02T22:54:04Z

Yazar Suhl, Leena. author. Mellouli, Taïeb. author. SpringerLink (Online service)
Yer Numarası ONLINE(337333.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38937-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Gröbner Bases Statistics and Software Systems

2026-06-02T22:54:04Z

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

Multi-criteria decision analysis : methods and software

2026-06-02T22:54:04Z

Yazar Ishizaka, Alessio. Nemery, Philippe.
Yer Numarası T57.95 I84 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

A Practical Introduction to Hardware/Software Codesign

2026-06-02T22:54:04Z

Yazar Schaumont, Patrick R. author. SpringerLink (Online service)
Yer Numarası ONLINE(331370.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-3737-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Software Industry Economic Principles, Strategies, Perspectives

2026-06-02T22:54:04Z

Yazar Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE(333443.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31510-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development X

2026-06-02T22:54:04Z

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

Model-Driven Dependability Assessment of Software Systems

2026-06-02T22:54:04Z

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

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

2026-06-02T22:54:04Z

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

Energieeffiziente Antriebstechnologien Hybridisierung – Downsizing – Software und IT

2026-06-02T22:54:04Z

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

Anpassung von Open-Source-Software in Anwenderunternehmen

2026-06-02T22:54:04Z

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

Data Analysis in Management with SPSS Software

2026-06-02T22:54:04Z

Yazar Verma, J.P. author. SpringerLink (Online service)
Yer Numarası ONLINE(335463.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-81-322-0786-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software-Entwicklung für dynamische Portfolioallokation und Risikomanagement

2026-06-02T22:54:04Z

Yazar Impekoven, Christoph. author. SpringerLink (Online service)
Yer Numarası ONLINE(337718.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-658-01182-6
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

2026-06-02T22:54:04Z

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

Directory of library automation software, systems, and services.

2026-06-02T22:54:04Z

Yazar Cibbarelli, Pamela R., ed. Information Today, Inc.
Yer Numarası Z678.9.A3 D6
Format: Kitap
Durum Beytepe Kütüphanesi~1

Student usability in educational software and games improving experiences

2026-06-02T22:54:04Z

Yazar Gonzalez, Carina. IGI Global.
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=481636
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-02T22:54:04Z

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

Multi-Agent Based Beam Search for Real-Time Production Scheduling and Control Method, Software and Industrial Application

2026-06-02T22:54:04Z

Yazar Kang, Shu Gang. author. Choi, Shiu Hong. author. SpringerLink (Online service)
Yer Numarası ONLINE(331015.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4576-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using Event-B for Critical Device Software Systems

2026-06-02T22:54:04Z

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

Fast Compact Algorithms and Software for Spline Smoothing

2026-06-02T22:54:04Z

Yazar Weinert, Howard L. author. SpringerLink (Online service)
Yer Numarası ONLINE(331788.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-5496-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Performance Evaluation Software Moving Object Detection and Tracking in Videos

2026-06-02T22:54:04Z

Yazar Karasulu, Bahadir. author. Korukoglu, Serdar. author. SpringerLink (Online service)
Yer Numarası ONLINE(332057.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6534-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The R Software Fundamentals of Programming and Statistical Analysis

2026-06-02T22:54:04Z

Yazar Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)
Yer Numarası ONLINE(332463.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-9020-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ambient Intelligence - Software and Applications 4th International Symposium on Ambient Intelligence (ISAmI 2013

2026-06-02T22:54:04Z

Yazar Berlo, Ad. editor. Hallenborg, Kasper. editor. Rodríguez, Juan M. Corchado. editor. Tapia, Dante I. editor. Novais, Paulo. editor.
Yer Numarası ONLINE(332771.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-00566-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

2026-06-02T22:54:04Z

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

Enterprise Resource Planning and Supply Chain Management Functions, Business Processes and Software for Manufacturing Companies

2026-06-02T22:54:04Z

Yazar Kurbel, Karl E. author. SpringerLink (Online service)
Yer Numarası ONLINE(333451.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31573-2
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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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 Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

Principles of Security and Trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Basin, David. editor. Mitchell, John C. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334305.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36830-1
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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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 for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

Planets, Stars and Stellar Systems Volume 2: Astronomical Techniques, Software, and Data

2026-06-02T22:54:04Z

Yazar Oswalt, Terry D. editor. Bond, Howard E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(336020.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5618-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition

2026-06-02T22:54:04Z

Yazar Ben Abdallah, Abderazek. author. SpringerLink (Online service)
Yer Numarası ONLINE(336495.1)
Elektronik Erişim http://dx.doi.org/10.2991/978-94-91216-92-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-02T22:54:04Z

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 and Management for Software Development Projects

2026-06-02T22:54:04Z

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 Engineering Frameworks for the Cloud Computing Paradigm

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers

2026-06-02T22:54:04Z

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

Complex Automated Negotiations: Theories, Models, and Software Competitions

2026-06-02T22:54:04Z

Yazar Ito, Takayuki. editor. Zhang, Minjie. editor. Robu, Valentin. editor. Matsuo, Tokuro. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333354.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30737-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-02T22:54:04Z

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 & Computing Intelligence

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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 International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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 and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

2026-06-02T22:54:04Z

Yazar Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334142.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36177-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

2026-06-02T22:54:04Z

Yazar Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334069.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35861-6
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

2026-06-02T22:54:04Z

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

Systems and Software Variability Management Concepts, Tools and Experiences

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

Systems, Software and Services Process Improvement 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar McCaffery, Fergal. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334744.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39179-8
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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

Early Software Reliability Prediction A Fuzzy Logic Approach

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

10 PRINT CHR$(205.5+RND(1));:GOTO 10

2026-06-02T22:54:04Z

Yazar Montfort, Nick.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451066
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Speaking code coding as aesthetic and political expression

2026-06-02T22:54:04Z

Yazar Cox, Geoff. McLean, Alex (Christopher Alex), 1975-
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451062
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pro Windows Phone App Development

2026-06-02T22:54:04Z

Yazar Software, Falafel. author. SpringerLink (Online service)
Yer Numarası ONLINE(330639.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-4783-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information security management handbook

2026-06-02T22:54:04Z

Yazar Tipton, Harold F. Krause, Micki.
Yer Numarası QA76.9 .A25 I54165 2003
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

PowerBuilder : PowerScript reference, version 6.

2026-06-02T22:54:04Z

Yer Numarası QA 76.76.A65 P871 1991-97 V.2
Format: Kitap
Durum Beytepe Kütüphanesi~1

Information security management handbook

2026-06-02T22:54:04Z

Yazar Tipton, Harold F. Nozaki, Micki Krause.
Yer Numarası QA76.9 .A25 I54165 2007
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Data Clustering : Algorithms and Applications

2026-06-02T22:54:04Z

Yazar Aggarwal, Charu C., editor. Reddy, Chandan K., editor. Taylor and Francis.
Yer Numarası QA278
Elektronik Erişim Click here to view.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantitative Finance : An Object-Oriented Approach in C++

2026-06-02T22:54:04Z

Yazar Schlogl, Erik, author. Taylor and Francis.
Yer Numarası HG106
Elektronik Erişim Click here to view.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Seven views of mind

2026-06-02T22:54:04Z

Yazar Wallach, Lise. Wallach, Michael A.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming with mobile applications : Android, iOS, and Windows Phone 7

2026-06-02T22:54:04Z

Yazar Duffy, Thomas J.
Yer Numarası QA76.76.A65 D84 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Resource-oriented architecture patterns for webs of data

2026-06-02T22:54:04Z

Yazar Sletten, Brian.
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=580090
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

iPhone 5 kickstart

2026-06-02T22:54:04Z

Yazar Cohen, Dennis R. Cohen, Michael.
Yer Numarası ONLINE
Elektronik Erişim Subscription required
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Android : how to program

2026-06-02T22:54:04Z

Yazar Deitel, Paul. Deitel, Harvey. Deitel, Abbey.
Yer Numarası QA76.76.A65 D45 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

The Android developer's cookbook : building applications with the Android SDK

2026-06-02T22:54:04Z

Yazar Schwarz, Ronan. Dutson, Phil, 1981- Steele, James, 1971- To, Nelson, 1976-
Yer Numarası QA76.76.A65 S743 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Oxford handbook of medical statistics

2026-06-02T22:54:04Z

Yazar Peacock, Janet (Janet L.) Peacock, Philip J.
Yer Numarası REF WA 39 P356 2013
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~1

Introducing geographic information systems with ArcGIS: a workbook approach to learning GIS

2026-06-02T22:54:04Z

Yazar Kennedy, Michael.
Yer Numarası G70.212 K47 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Programming with JavaScript : algorithms and applications for desktop and mobile browsers

2026-06-02T22:54:04Z

Yazar Dionisio, John David N. Toal, Ray.
Yer Numarası QA76.73.J38 D57 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

What is media archaeology?

2026-06-02T22:54:04Z

Yazar Parikka, Jussi, 1976-
Yer Numarası P90 P336 2013
Format: Kitap
Durum Beytepe Kütüphanesi~1

Flash programming for the social & behavioral sciences a simple guide to sophisticated online surveys and experiments

2026-06-02T22:54:04Z

Yazar Weinstein, Yana. DeSoto, K. Andrew.
Yer Numarası ONLINE(368331.1)
Elektronik Erişim SAGE knowledge http://sk.sagepub.com/books/flash-programming-for-the-social-and-behavioral-sciences
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in usability evaluation

2026-06-02T22:54:04Z

Yazar Rebelo, Francesco. Soares, Marcelo Marcio.
Yer Numarası TA167 .A375 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Distributed sensor networks

2026-06-02T22:54:04Z

Yazar Iyengar, S. S. (Sundararaja S.) Brooks, R. R. (Richard R.)
Yer Numarası TK7872 .D48 D5734 2013
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429165818 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Netcentric system of systems engineering with DEVS unified process

2026-06-02T22:54:04Z

Yazar Mittal, Saurabh., author. Cetinkaya, Deniz. Risco-Martin, Jose Luis, 1975- Seck, Mamadou D. Verbraeck, Alexander.
Yer Numarası TA168 .M58 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Service-oriented distributed knowledge discovery

2026-06-02T22:54:04Z

Yazar Talia, Domenico., author. Trunfio, Paolo.
Yer Numarası QA76.9 .D343 T3484 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

A guide to IT contracting : checklists, tools, and techniques

2026-06-02T22:54:04Z

Yazar Overly, Michael R., author. Karlyn, Matthew A.
Yer Numarası HD9999 .I492 O94 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Agent-based modeling and simulation with swarm

2026-06-02T22:54:04Z

Yazar Iba, Hitoshi., author.
Yer Numarası QA76.76 .I58 I23 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Computer-aided control systems design : practical applications using MATLAB and Simulink

2026-06-02T22:54:04Z

Yazar Chin, Cheng Siong., author.
Yer Numarası TJ217 .C478 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Science and technology for the conservation of cultural heritage : proceedings of the International Congress on Science and Technology for the Conservation of Cultural Heritage, Santiago de Compostela, Spain, 2-5 October 2012

2026-06-02T22:54:04Z

Yazar International Congress on Science and Technology for the Conservation of Cultural Heritage (2012 : Spain). Sponsor. Rogerio-Candelera, M. A., editor. Lazzari, M., editor. Cano, E., editor.
Yer Numarası CC135 .I58 2012
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

OpenGL insights

2026-06-02T22:54:04Z

Yazar Cozzi, Patrick. Riccio, Christophe.
Yer Numarası T385 .O625 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

The practical OPNET user guide for computer network simulation

2026-06-02T22:54:04Z

Yazar Sethi, Adarshpal S., author. Hnatyshin, Vasil Y.
Yer Numarası TK5105.5 .S4243 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Identification and management of distributed data : NGN, content-centric networks, and the web

2026-06-02T22:54:04Z

Yazar Bartolomeo, Giovanni, 1977, author.
Yer Numarası QA76.9 .D3 B3687 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Low power emerging wireless technologies

2026-06-02T22:54:04Z

Yazar Mahmoudi, Reza. Iniewski, Krzysztof, 1960-
Yer Numarası TK5103.2 .L69 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Computer system reliability : safety and usability

2026-06-02T22:54:04Z

Yazar Dhillon, B. S., author.
Yer Numarası QA76.76 .R44 D495 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Interval-censored time-to-event data : methods and applications

2026-06-02T22:54:04Z

Yazar Chen, Ding-Geng. Sun, Jianguo, 1961- Peace, Karl E., 1941-
Yer Numarası QA276 .I58 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Game ai pro : collected wisdom of game ai professionals

2026-06-02T22:54:04Z

Yazar Rabin, Steven, editor. Taylor and Francis.
Yer Numarası QA76.76 .C672
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Dynamic documents with R and KNITR

2026-06-02T22:54:04Z

Yazar Xie, Yihui., author. Taylor and Francis.
Yer Numarası QA276.4
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Noise mapping in the EU : models and procedures

2026-06-02T22:54:04Z

Yazar Licitra, Gaetano.
Yer Numarası TD893.5 .E85 N66 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Technology computer aided design : simulation for VLSI MOSFET

2026-06-02T22:54:04Z

Yazar Sarkar, Chandan Kumar, editor of compilation.
Yer Numarası TK7874.75 .T43 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Piezoelectric materials and devices : applications in engineering and medical sciences

2026-06-02T22:54:04Z

Yazar Vijaya, M. S., author.
Yer Numarası TK7872 .P54 V55 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Spatial mathematics : theory and practice through mapping

2026-06-02T22:54:04Z

Yazar Arlinghaus, Sandra L. (Sandra Lach), author. Kerski, Joseph J.
Yer Numarası G70.23 .A77 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Telehealthcare computing and engineering : principles and design

2026-06-02T22:54:04Z

Yazar Hu, Fei, 1972-
Yer Numarası R119.9 .T4455 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Official (ISC)2 guide to the CISSP CBK

2026-06-02T22:54:04Z

Yazar Tipton, Harold F., editor. of compilation. Hernandez, Steven, editor. of compilation.
Yer Numarası QA76.3 .T565 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Handbook on mobile and ubiquitous computing : status and perspective

2026-06-02T22:54:04Z

Yazar Yang, Laurence Tianruo. Syukur, Evi. Loke, Seng.
Yer Numarası QA76.59 .H364 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Agile user experience design a practitioner's guide to making it work

2026-06-02T22:54:04Z

Yazar Brown, Diana (Diana DeMarco)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780124159532
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile data warehousing project management business intelligence systems using Scrum and XP

2026-06-02T22:54:04Z

Yazar Hughes, Ralph, 1959-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780123964632
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Manufacturing Distributed Computing Technologies for Global and Sustainable Manufacturing

2026-06-02T22:54:04Z

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

Efficient Algorithms for Discrete Wavelet Transform With Applications to Denoising and Fuzzy Inference Systems

2026-06-02T22:54:04Z

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

Autonomic Computing Principles, Design and Implementation

2026-06-02T22:54:04Z

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

Simulation-Based Algorithms for Markov Decision Processes

2026-06-02T22:54:04Z

Yazar Chang, Hyeong Soo. author. Hu, Jiaqiao. author. Fu, Michael C. author. Marcus, Steven I. author. SpringerLink (Online service)
Yer Numarası ONLINE(331119.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5022-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Computing Methods and Practical Approaches

2026-06-02T22:54:04Z

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

Distributed Graph Algorithms for Computer Networks

2026-06-02T22:54:04Z

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

An Introduction to Network Programming with Java Java 7 Compatible

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

Guide to Programming and Algorithms Using R

2026-06-02T22:54:04Z

Yazar Ergül, Özgür. author. SpringerLink (Online service)
Yer Numarası ONLINE(331192.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5328-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Middleware Solutions for the Internet of Things

2026-06-02T22:54:04Z

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

Fundamentals of Parameterized Complexity

2026-06-02T22:54:04Z

Yazar Downey, Rodney G. author. Fellows, Michael R. author. SpringerLink (Online service)
Yer Numarası ONLINE(331218.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5559-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Databases A Practical Introduction

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

Structure of Solutions of Variational Problems

2026-06-02T22:54:04Z

Yazar Zaslavski, Alexander J. author. SpringerLink (Online service)
Yer Numarası ONLINE(332024.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6387-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Finding Source Code on the Web for Remix and Reuse

2026-06-02T22:54:04Z

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

Introduction to Global Optimization Exploiting Space-Filling Curves

2026-06-02T22:54:04Z

Yazar Sergeyev, Yaroslav D. author. Strongin, Roman G. author. Lera, Daniela. author. SpringerLink (Online service)
Yer Numarası ONLINE(332385.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-8042-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Human Computation

2026-06-02T22:54:04Z

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

The Tower of Hanoi – Myths and Maths

2026-06-02T22:54:04Z

Yazar Hinz, Andreas M. author. Klavžar, Sandi. author. Milutinović, Uroš. author. Petr, Ciril. author. SpringerLink (Online service)
Yer Numarası ONLINE(332606.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-0348-0237-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332892.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-01928-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332947.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02786-9
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

2026-06-02T22:54:04Z

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

AI 2013: Advances in Artificial Intelligence 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Cranefield, Stephen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332987.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03680-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Big Data Analytics Second International Conference, BDA 2013, Mysore, India, December 16-18, 2013, Proceedings

2026-06-02T22:54:04Z

Yazar Bhatnagar, Vasudha. editor. Srinivasa, Srinath. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332988.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03689-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Multimedia Information Processing – PCM 2013 14th Pacific-Rim Conference on Multimedia, Nanjing, China, December 13-16, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Huet, Benoit. editor. Ngo, Chong-Wah. editor. Tang, Jinhui. editor. Zhou, Zhi-Hua. editor. Hauptmann, Alexander G. editor.
Yer Numarası ONLINE(332991.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03731-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Mobile Web Information Systems MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-28, 2013, Revised Selected Papers

2026-06-02T22:54:04Z

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

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I

2026-06-02T22:54:04Z

Yazar Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332993.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03753-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II

2026-06-02T22:54:04Z

Yazar Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332994.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03756-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings

2026-06-02T22:54:04Z

Yazar Widmayer, Peter. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332995.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03780-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers

2026-06-02T22:54:04Z

Yazar Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332997.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03841-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332999.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03850-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I

2026-06-02T22:54:04Z

Yazar Kołodziej, Joanna. editor. Martino, Beniamino. editor. Talia, Domenico. editor. Xiong, Kaiqi. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333000.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03859-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiple Access Communcations 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Marina, Ninoslav. editor. Dimitrova, Desislava. editor.
Yer Numarası ONLINE(333001.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03871-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Visual Informatics Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Zaman, Halimah Badioze. editor. Robinson, Peter. editor. Olivier, Patrick. editor. Shih, Timothy K. editor. Velastin, Sergio. editor.
Yer Numarası ONLINE(332958.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02958-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers

2026-06-02T22:54:04Z

Yazar Gutin, Gregory. editor. Szeider, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333005.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03898-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers

2026-06-02T22:54:04Z

Yazar Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası ONLINE(333011.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03998-5
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

2026-06-02T22:54:04Z

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

Cloud Computing and Services Science Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers

2026-06-02T22:54:04Z

Yazar Ivanov, Ivan I. editor. Sinderen, Marten. editor. Leymann, Frank. editor. Shan, Tony. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333024.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-04519-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Architecture at Work Modelling, Communication and Analysis

2026-06-02T22:54:04Z

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

Towards Practical Brain-Computer Interfaces Bridging the Gap from Research to Real-World Applications

2026-06-02T22:54:04Z

Yazar Allison, Brendan Z. editor. Dunne, Stephen. editor. Leeb, Robert. editor. Del R. Millán, José. editor. Nijholt, Anton. editor.
Yer Numarası ONLINE(333262.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29746-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers

2026-06-02T22:54:04Z

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

Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011. Revised Selected Papers

2026-06-02T22:54:04Z

Yazar Csurka, Gabriela. editor. Kraus, Martin. editor. Mestetskiy, Leonid. editor. Richard, Paul. editor. Braz, José. editor.
Yer Numarası ONLINE(333559.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32350-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Business Process Management

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

2026-06-02T22:54:04Z

Yazar Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334077.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35887-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

2026-06-02T22:54:04Z

Yazar Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.
Yer Numarası ONLINE(334106.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36046-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

2026-06-02T22:54:04Z

Yazar Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334014.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35632-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

2026-06-02T22:54:04Z

Yazar Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334022.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35656-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.
Yer Numarası ONLINE(334025.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35668-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

2026-06-02T22:54:04Z

Yazar Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334156.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36249-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Wireless Sensor Networks 6th China Conference, CWSN 2012, Huangshan, China, October 25-27, 2012, Revised Selected Papers

2026-06-02T22:54:04Z

Yazar Wang, Ruchuan. editor. Xiao, Fu. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334157.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36252-1
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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers

2026-06-02T22:54:04Z

Yazar Didimo, Walter. editor. Patrignani, Maurizio. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334284.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36763-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

TV-Anytime Paving the Way for Personalized TV

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

Enterprise Interoperability 5th International IFIP Working Conference, IWEI 2013, Enschede, The Netherlands, March 27-28, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Sinderen, Marten. editor. Oude Luttighuis, Paul. editor. Folmer, Erwin. editor. Bosems, Steven. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334295.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36796-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers

2026-06-02T22:54:04Z

Yazar Manninen, Pekka. editor. Öster, Per. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334296.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36803-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Brisk, Philip. editor. Figueiredo Coutinho, José Gabriel. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334299.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36812-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory of Cryptography 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013. Proceedings

2026-06-02T22:54:04Z

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

Seminal Contributions to Information Systems Engineering 25 Years of CAiSE

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

Evolutionary and Biologically Inspired Music, Sound, Art and Design Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Machado, Penousal. editor. McDermott, James. editor. Carballal, Adrian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334330.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36955-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ad Hoc Networks 4th International ICST Conference, ADHOCNETS 2012, Paris, France, October 16-17, 2012, Revised Selected Papers

2026-06-02T22:54:04Z

Yazar Zheng, Jun. editor. Mitton, Nathalie. editor. Li, Jun. editor. Lorenz, Pascal. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334331.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36958-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Evolutionary Computation 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Esparcia-Alcázar, Anna I. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334381.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37192-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary Computation in Combinatorial Optimization 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2026-06-02T22:54:04Z

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

Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.
Yer Numarası ONLINE(334384.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37207-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive and Natural Computing Algorithms 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Tomassini, Marco. editor. Antonioni, Alberto. editor. Daolio, Fabio. editor. Buesser, Pierre. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334386.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37213-1
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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

Evolutionary Multi-Criterion Optimization 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Purshouse, Robin C. editor. Fleming, Peter J. editor. Fonseca, Carlos M. editor. Greco, Salvatore. editor. Shaw, Jane. editor.
Yer Numarası ONLINE(334370.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37140-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Architecture Patterns Practical Solutions for Recurring IT-Architecture Problems

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Kuijper, Arjan. editor. Bredies, Kristian. editor. Pock, Thomas. editor. Bischof, Horst. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334572.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38267-3
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

2026-06-02T22:54:04Z

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

Computational Intelligence Methods for Bioinformatics and Biostatistics 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers

2026-06-02T22:54:04Z

Yazar Peterson, Leif E. editor. Masulli, Francesco. editor. Russo, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334585.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38342-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Johansson, Thomas. editor. Nguyen, Phong Q. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334587.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38348-9
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

2026-06-02T22:54:04Z

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

Approximation and Online Algorithms 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012, Revised Selected Papers

2026-06-02T22:54:04Z

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

Bioinformatics Research and Applications 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Cai, Zhipeng. editor. Eulenstein, Oliver. editor. Janies, Daniel. editor. Schwartz, Daniel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334520.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38036-5
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

2026-06-02T22:54:04Z

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

Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Blesa, María J. editor. Blum, Christian. editor. Festa, Paola. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Yer Numarası ONLINE(334612.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38516-2
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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334617.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38536-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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

Business Process Models. Change Management

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

Post-Quantum Cryptography 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013. Proceedings

2026-06-02T22:54:04Z

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

Natural and Artificial Computation in Engineering and Medical Applications 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II

2026-06-02T22:54:04Z

Yazar Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334636.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38622-0
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

2026-06-02T22:54:04Z

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

Natural and Artificial Models in Computation and Biology 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I

2026-06-02T22:54:04Z

Yazar Ferrández Vicente, José Manuel. editor. Álvarez Sánchez, José Ramón. editor. Paz López, Félix. editor. Toledo Moreo, Fco. Javier. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334640.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38637-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Aspect-Oriented Requirements Engineering

2026-06-02T22:54:04Z

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

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334564.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38236-9
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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I

2026-06-02T22:54:04Z

Yazar Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334653.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38703-6
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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

Advances in Swarm Intelligence 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II

2026-06-02T22:54:04Z

Yazar Tan, Ying. editor. Shi, Yuhui. editor. Mo, Hongwei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334657.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38715-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

2026-06-02T22:54:04Z

Yazar Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334658.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38718-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-02T22:54:04Z

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

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334663.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38756-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334665.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38768-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Béal, Marie-Pierre. editor. Carton, Olivier. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334666.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38771-5
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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

Combinatorial Pattern Matching 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings

2026-06-02T22:54:04Z

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

Trust and Trustworthy Computing 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Huth, Michael. editor. Asokan, N. editor. Čapkun, Srdjan. editor. Flechais, Ivan. editor. Coles-Kemp, Lizzie. editor.
Yer Numarası ONLINE(334696.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38908-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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

Pattern Recognition 5th Mexican Conference, MCPR 2013, Querétaro, Mexico, June 26-29, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Carrasco-Ochoa, Jesús Ariel. editor. Martínez-Trinidad, José Francisco. editor. Rodríguez, Joaquín Salas. editor. Baja, Gabriella Sanniti. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334709.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38989-4
Format: 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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334718.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39053-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I

2026-06-02T22:54:04Z

Yazar Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334722.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39065-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Neural Networks – ISNN 2013 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II

2026-06-02T22:54:04Z

Yazar Guo, Chengan. editor. Hou, Zeng-Guang. editor. Zeng, Zhigang. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334723.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39068-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334724.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39071-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334725.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39074-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Privacy Enhancing Technologies 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Cristofaro, Emiliano. editor. Wright, Matthew. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334726.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39077-7
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

2026-06-02T22:54:04Z

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

Similarity-Based Pattern Recognition Second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013. Proceedings

2026-06-02T22:54:04Z

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

Pattern Recognition in Bioinformatics 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Ngom, Alioune. editor. Formenti, Enrico. editor. Hao, Jin-Kao. editor. Zhao, Xing-Ming. editor. Laarhoven, Twan. editor.
Yer Numarası ONLINE(334739.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39159-0
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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

Intelligent Computing Theories and Technology 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Zhou, Yong-Quan. editor. Han, Kyungsook. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334808.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39482-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Uncertainty in Knowledge Modelling and Decision Making International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Qin, Zengchang. editor. Huynh, Van-Nam. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334813.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39515-4
Format: 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

2026-06-02T22:54:04Z

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

Web-Age Information Management WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Gao, Yunjun. editor. Shim, Kyuseok. editor. Ding, Zhiming. editor. Jin, Peiquan. editor. Ren, Zujie. editor.
Yer Numarası ONLINE(334815.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39527-7
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

2026-06-02T22:54:04Z

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

Security and Privacy Protection in Information Processing Systems 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Janczewski, Lech J. editor. Wolfe, Henry B. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334755.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39218-4
Format: 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

2026-06-02T22:54:04Z

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

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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

2026-06-02T22:54:04Z

Yazar Konstantinidis, Stavros. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334771.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39274-0
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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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

2026-06-02T22:54:04Z

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