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

Software-Qualität

2025-01-06T09:47:17Z

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

Implementing Software Defined Radio

2025-01-06T09:47:17Z

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

Software Product Quality Control

2025-01-06T09:47:17Z

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

Ontology-Driven Software Development

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

Gröbner Bases Statistics and Software Systems

2025-01-06T09:47:17Z

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

Projektorganisation und Management im Software Engineering

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

Software Engineering: A Hands-On Approach

2025-01-06T09:47:17Z

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

A Practical Introduction to Hardware/Software Codesign

2025-01-06T09:47:17Z

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

Transactions on Aspect-Oriented Software Development X

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

Data Analysis in Management with SPSS Software

2025-01-06T09:47:17Z

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

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

Software-Entwicklung für dynamische Portfolioallokation und Risikomanagement

2025-01-06T09:47:17Z

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

Anpassung von Open-Source-Software in Anwenderunternehmen

2025-01-06T09:47:17Z

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

The Software Industry Economic Principles, Strategies, Perspectives

2025-01-06T09:47:17Z

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

Multi-criteria decision analysis : methods and software

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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.

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Software Engineering Frameworks for the Cloud Computing Paradigm

2025-01-06T09:47:17Z

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

Using Event-B for Critical Device Software Systems

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Complex Automated Negotiations: Theories, Models, and Software Competitions

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

Early Software Reliability Prediction A Fuzzy Logic Approach

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Requirements Engineering and Management for Software Development Projects

2025-01-06T09:47:17Z

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

Fast Compact Algorithms and Software for Spline Smoothing

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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 Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

PowerBuilder : PowerScript reference, version 6.

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Resource-oriented architecture patterns for webs of data

2025-01-06T09:47:17Z

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

Distributed sensor networks

2025-01-06T09:47:17Z

Yazar Iyengar, S. S. (Sundararaja S.) Brooks, R. R. (Richard R.)
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed sensor networks

2025-01-06T09:47:17Z

A guide to IT contracting checklists, tools, and techniques

2025-01-06T09:47:17Z

Yazar Overly, Michael R. Karlyn, Matthew A.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business-driven IT-wide agile (Scrum) and/or Kanban (Lean) implementation an action guide for business and IT leaders

2025-01-06T09:47:17Z

Yazar Pham, Andrew Thu. Pham, David Khoi.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combating climate change an agricultural perspective

2025-01-06T09:47:17Z

Yazar Kang, Manjit S., editor of compilation. Banga, S. S. (Surinder S.), editor of compilation.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer system reliability safety and usability

2025-01-06T09:47:17Z

Yazar Dhillon, B. S.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-01-06T09:47:17Z

Yazar Chen, Ding-Geng. Sun, Jianguo, 1961- Peace, Karl E., 1941-
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook on mobile and ubiquitous computing status and perspective

2025-01-06T09:47:17Z

Yazar Yang, Laurence Tianruo. Syukur, Evi. Loke, Seng.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Netcentric system of systems engineering with DEVS unified process

2025-01-06T09:47:17Z

Yazar Mittal, Saurabh. Risco-Martn̕, Jos ̌Luis, 1975- Cetinkaya, Deniz. Verbraeck, Alexander. Seck, Mamadou D.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-based modeling and simulation with swarm

2025-01-06T09:47:17Z

Yazar Iba, Hitoshi.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The practical OPNET user guide for computer network simulation

2025-01-06T09:47:17Z

Yazar Sethi, Adarshpal S. Hnatyshin, Vasil Y.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-01-06T09:47:17Z

Yazar Bartolomeo, Giovanni, 1977-
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Safety and human error in engineering systems

2025-01-06T09:47:17Z

Yazar Dhillon, B. S. (Balbir S.), 1947-
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multihomed communication with SCTP (Stream Control Transmission Protocol)

2025-01-06T09:47:17Z

Yazar Leung, Victor Chung Ming, 1955-
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-01-06T09:47:17Z

Yazar Chin, Cheng Siong.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Technology computer aided design simulation for VLSI MOSFET

2025-01-06T09:47:17Z

Yazar Sarkar, Chandan Kumar, editor of compilation.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pro Team Foundation Service

2025-01-06T09:47:17Z

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

Quantum Attacks on Public-Key Cryptosystems

2025-01-06T09:47:17Z

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

Robust Data Mining

2025-01-06T09:47:17Z

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

Music and Human-Computer Interaction

2025-01-06T09:47:17Z

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

Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer

2025-01-06T09:47:17Z

Yazar Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Yer Numarası ONLINE(330901.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4069-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Creativity and Rationale Enhancing Human Experience by Design

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Connecting Families The Impact of New Communication Technologies on Domestic Life

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Cloud Manufacturing Distributed Computing Technologies for Global and Sustainable Manufacturing

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

Realtime Data Mining Self-Learning Techniques for Recommendation Engines

2025-01-06T09:47:17Z

Yazar Paprotny, Alexander. author. Thess, Michael. author. SpringerLink (Online service)
Yer Numarası ONLINE(332858.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-01321-3
Format: 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

2025-01-06T09:47:17Z

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

Multimodal Brain Image Analysis Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings

2025-01-06T09:47:17Z

Yazar Shen, Li. editor. Liu, Tianming. editor. Yap, Pew-Thian. editor. Huang, Heng. editor. Shen, Dinggang. editor.
Yer Numarası ONLINE(332901.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02126-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scala Design Patterns Patterns for Practical Reuse and Design

2025-01-06T09:47:17Z

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

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

2025-01-06T09:47:17Z

Yazar Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332910.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02297-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings

2025-01-06T09:47:17Z

Yazar Kurland, Oren. editor. Lewenstein, Moshe. editor. Porat, Ely. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332920.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02432-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-01-06T09:47:17Z

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

Advances in Bioinformatics and Computational Biology 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013, Proceedings

2025-01-06T09:47:17Z

Yazar Setubal, João C. editor. Almeida, Nalvo F. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332932.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02624-4
Format: 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

2025-01-06T09:47:17Z

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

Advanced Concepts for Intelligent Vision Systems 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013. Proceedings

2025-01-06T09:47:17Z

Yazar Blanc-Talon, Jacques. editor. Kasinski, Andrzej. editor. Philips, Wilfried. editor. Popescu, Dan. editor. Scheunders, Paul. editor.
Yer Numarası ONLINE(332953.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02895-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Architecture at Work Modelling, Communication and Analysis

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Agents and Artificial Intelligence Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers

2025-01-06T09:47:17Z

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

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

2025-01-06T09:47:17Z

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

Introduction to Cryptography with Maple

2025-01-06T09:47:17Z

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

Surface- and Groundwater Quality Changes in Periods of Water Scarcity

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

QoS Management of Web Services

2025-01-06T09:47:17Z

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

Autonomous Sensor Networks Collective Sensing Strategies for Analytical Purposes

2025-01-06T09:47:17Z

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

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

2025-01-06T09:47:17Z

Yazar Kormanyos, Christopher Michael. author. SpringerLink (Online service)
Yer Numarası ONLINE(333884.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34688-0
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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Selected Areas in Cryptography 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers

2025-01-06T09:47:17Z

Yazar Knudsen, Lars R. editor. Wu, Huapeng. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334097.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35999-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

2025-01-06T09:47:17Z

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

WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings

2025-01-06T09:47:17Z

Yazar Ghosh, Subir Kumar. editor. Tokuyama, Takeshi. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334112.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36065-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing and Internet Technology 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013. Proceedings

2025-01-06T09:47:17Z

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

Algorithms for Sensor Systems 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers

2025-01-06T09:47:17Z

Yazar Bar-Noy, Amotz. editor. Halldórsson, Magnús M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334121.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36092-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach

2025-01-06T09:47:17Z

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

Radio Frequency Identification. Security and Privacy Issues 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers

2025-01-06T09:47:17Z

Yazar Hoepman, Jaap-Henk. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334132.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36140-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Advances in Computing, Communication, and Control Third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013. Proceedings

2025-01-06T09:47:17Z

Yazar Unnikrishnan, Srija. editor. Surve, Sunil. editor. Bhoir, Deepak. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334176.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36321-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pairing-Based Cryptography – Pairing 2012 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Information Hiding 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers

2025-01-06T09:47:17Z

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

SmartShadow: Models and Methods for Pervasive Computing

2025-01-06T09:47:17Z

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

Semantic Mashups Intelligent Reuse of Web Resources

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Domain Engineering Product Lines, Languages, and Conceptual Models

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings

2025-01-06T09:47:17Z

Yazar Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334268.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36694-9
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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede

2025-01-06T09:47:17Z

Yazar Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334319.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36899-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Seminal Contributions to Information Systems Engineering 25 Years of CAiSE

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2025-01-06T09:47:17Z

Yazar Vanneschi, Leonardo. editor. Bush, William S. editor. Giacobini, Mario. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334380.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37189-9
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

2025-01-06T09:47:17Z

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

Research in Computational Molecular Biology 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings

2025-01-06T09:47:17Z

Yazar Deng, Minghua. editor. Jiang, Rui. editor. Sun, Fengzhu. editor. Zhang, Xuegong. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334382.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37195-0
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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

Enterprise Architecture Patterns Practical Solutions for Recurring IT-Architecture Problems

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Quality, Reliability, Security and Robustness in Heterogeneous Networks 9th International Conference, QShine 2013, Greader Noida, India, January 11-12, 2013, Revised Selected Papers

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings

2025-01-06T09:47:17Z

Yazar Park, James J. (Jong Hyuk). editor. Arabnia, Hamid R. editor. Kim, Cheonshik. editor. Shi, Weisong. editor. Gil, Joon-Min. editor.
Yer Numarası ONLINE(334517.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38027-3
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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Transactions on Petri Nets and Other Models of Concurrency VII

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

2025-01-06T09:47:17Z

Yazar Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334549.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38171-3
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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Algorithms and Complexity 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings

2025-01-06T09:47:17Z

Yazar Spirakis, Paul G. editor. Serna, Maria. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334563.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38233-8
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

2025-01-06T09:47:17Z

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

Web Dynpro ABAP for Practitioners

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings

2025-01-06T09:47:17Z

Yazar Bonifaci, Vincenzo. editor. Demetrescu, Camil. editor. Marchetti-Spaccamela, Alberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334615.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38527-8
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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Recent Trends in Applied Artificial Intelligence 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings

2025-01-06T09:47:17Z

Yazar Ali, Moonis. editor. Bosse, Tibor. editor. Hindriks, Koen V. editor. Hoogendoorn, Mark. editor. Jonker, Catholijn M. editor.
Yer Numarası ONLINE(334627.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38577-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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

Language Processing and Intelligent Information Systems 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings

2025-01-06T09:47:17Z

Yazar Kłopotek, Mieczysław A. editor. Koronacki, Jacek. editor. Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor. Wierzchoń, Sławomir T. editor.
Yer Numarası ONLINE(334639.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38634-3
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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

Transactions on Pattern Languages of Programming III

2025-01-06T09:47:17Z

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

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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

2025-01-06T09:47:17Z

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