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

Handbook of software engineering & knowledge engineering

2024-11-25T13:14:33Z

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

Systems and software engineering with applications

2024-11-25T13:14:33Z

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

Software Engineering for Self-Adaptive Systems

2024-11-25T13:14:33Z

Yazar Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02161-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Experience and Knowledge Management in Software Engineering

2024-11-25T13:14:33Z

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

Software Engineering Research, Management and Applications 2009

2024-11-25T13:14:33Z

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

Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00199-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering: Foundation for Software Quality 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings

2024-11-25T13:14:33Z

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

Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Gotel, Olly. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02987-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

2024-11-25T13:14:33Z

Yazar Bove, Ana. editor. Barbosa, Luís Soares. editor. Pardo, Alberto. editor. Pinto, Jorge Sousa. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03153-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. Jiang, Tao. editor. Verner, June. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10619-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures

2024-11-25T13:14:33Z

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

Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers

2024-11-25T13:14:33Z

Yazar Luck, Michael. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01338-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

2024-11-25T13:14:33Z

Yazar Lewis, Grace A. editor. Poernomo, Iman. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02414-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings

2024-11-25T13:14:33Z

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

Requirements engineering : from system goals to UML models to software specifications

2024-11-25T13:14:33Z

Yazar Lamsweerde, A. van (Axel)
Yer Numarası QA76.758 L28 2009
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2024-11-25T13:14:33Z

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

Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

2024-11-25T13:14:33Z

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

Agile Processes in Software Engineering and Extreme Programming 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Maurer, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01853-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers

2024-11-25T13:14:33Z

Yazar Berkling, Kay. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01856-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering

2024-11-25T13:14:33Z

Yazar Katz, Shmuel. editor. Ossher, Harold. editor. France, Robert. editor. Jézéquel, Jean-Marc. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03764-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering

2024-11-25T13:14:33Z

Yazar Seffah, Ahmed. editor. Metzker, Eduard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-019-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI

2024-11-25T13:14:33Z

Yazar Seffah, Ahmed. editor. Vanderdonckt, Jean. editor. Desmarais, Michel C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-907-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2024-11-25T13:14:33Z

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

Advances in Software Engineering International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

2024-11-25T13:14:33Z

Yazar Kim, Tai-hoon. editor. Fang, Wai-Chi. editor. Lee, Changhoon. editor. Arnett, Kirk P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10242-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

2024-11-25T13:14:33Z

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

Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers

2024-11-25T13:14:33Z

Yazar Gašević, Dragan. editor. Lämmel, Ralf. editor. Wyk, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00434-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-25T13:14:33Z

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

Software performance and scalability a quantitative approach

2024-11-25T13:14:33Z

Yazar Liu, Henry H. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim Books24x7 http://www.books24x7.com/marc.asp?bookid=33731 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=448916 John Wiley http://dx.doi.org/10.1002/9780470465394 Safari Books Online http://proquest.safaribooksonline.com/?fpi=9780470462539 MyiLibrary, Table of contents http://www.myilibrary.com?id=223744&ref=toc
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise-scale agile software development

2024-11-25T13:14:33Z

Yazar Schiel, James.
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

Electronics System Design Techniques for Safety Critical Applications

2024-11-25T13:14:33Z

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

Unleash the System On Chip using FPGAs and Handel C

2024-11-25T13:14:33Z

Yazar Kamat, Rajanish K. author. Shinde, Santhosh A. author. Shelake, Vinod G. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9362-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design and Use of Serious Games

2024-11-25T13:14:33Z

Yazar Kankaanranta, Marja. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9496-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Definitive Guide to Pylons

2024-11-25T13:14:33Z

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

Beginning GIMP From Novice to Professional

2024-11-25T13:14:33Z

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

Pro Android

2024-11-25T13:14:33Z

Yazar Hashimi, Sayed Y. author. Komatineni, Satya. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-1597-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Definitive Guide to Django Web Development Done Right

2024-11-25T13:14:33Z

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

Foundation Blender Compositing

2024-11-25T13:14:33Z

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

Computer and Computing Technologies in Agriculture II, Volume 1 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China

2024-11-25T13:14:33Z

Yazar Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0209-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer and Computing Technologies in Agriculture II, Volume 2 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China

2024-11-25T13:14:33Z

Yazar Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0211-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer and Computing Technologies in Agriculture II, Volume 3 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China

2024-11-25T13:14:33Z

Yazar Zhao, Chunjiang. editor. Li, Daoliang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0213-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pervasive Healthcare Computing EMR/EHR, Wireless and Health Monitoring

2024-11-25T13:14:33Z

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

Maple and Mathematica A Problem Solving Approach for Mathematics

2024-11-25T13:14:33Z

Yazar Shingareva, Inna K. author. Lizárraga-Celaya, Carlos. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-211-99432-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems Development Challenges in Practice, Theory, and Education Volume 1

2024-11-25T13:14:33Z

Yazar Wojtkowski, Wita. editor. Wojtkowski, Gregory. editor. Lang, Michael. editor. Conboy, Kieran. editor. Barry, Chris. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-68772-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic Web Services Challenge Results from the First Year

2024-11-25T13:14:33Z

Yazar Petrie, Charles. editor. Margaria, Tiziana. editor. Lausen, Holger. editor. Zaremba, Michal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-72496-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The China Information Technology Handbook

2024-11-25T13:14:33Z

Yazar Ordóñez de Pablos, Patricia. editor. Lytras, Miltiadis D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-77743-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security and Dependability for Ambient Intelligence

2024-11-25T13:14:33Z

Yazar Kokolakis, Spyros. editor. Gómez, Antonio Maña. editor. Spanoudakis, George. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-88775-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language-driven Exploration and Implementation of Partially Re-configurable ASIPs

2024-11-25T13:14:33Z

Yazar Chattopadhyay, Anupam. author. Leupers, Rainer. author. Meyr, Heinrich. author. Ascheid, Gerd. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9297-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Expert F# 2.0

2024-11-25T13:14:33Z

Yazar Syme, Don. author. Granicz, Adam. author. Cisternino, Antonio. author. Andres, Clay. editor. Anglin, Steve. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-2432-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Extreme NXT: Extending the LEGO MINDSTORMS NXT to the Next Level

2024-11-25T13:14:33Z

Yazar Gasperi, Michael. author. Hurbain, Philippe “Philo”. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-2454-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Web Startup Success Guide

2024-11-25T13:14:33Z

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

Practical Computing on the Cell Broadband Engine

2024-11-25T13:14:33Z

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

Embedded System Design Modeling, Synthesis and Verification

2024-11-25T13:14:33Z

Yazar Gajski, Daniel D. author. Abdi, Samar. author. Gerstlauer, Andreas. author. Schirner, Gunar. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0504-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Software Development with C

2024-11-25T13:14:33Z

Yazar Qian, Kai. author. Den Haring, David. author. Cao, Li. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-0606-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OPC Unified Architecture

2024-11-25T13:14:33Z

Yazar Damm, Matthias. author. Leitner, Stefan-Helmut. author. Mahnke, Wolfgang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68899-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Funktionale und Applikative Programmierung Grundlagen, Sprachen, Implementierungstechniken

2024-11-25T13:14:33Z

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

Wireless Sensor Networks 6th European Conference, EWSN 2009, Cork, Ireland, February 11-13, 2009. Proceedings

2024-11-25T13:14:33Z

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

Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings

2024-11-25T13:14:33Z

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

SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen

2024-11-25T13:14:33Z

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

Model Driven Engineering and Ontology Development

2024-11-25T13:14:33Z

Yazar Deved¿ic, Vladan. author. Djuric, Dragan. author. Ga¿evic, Dragan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00282-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coloured Petri Nets Modelling and Validation of Concurrent Systems

2024-11-25T13:14:33Z

Yazar Jensen, Kurt. author. Kristensen, Lars M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b95112
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security Applications 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers

2024-11-25T13:14:33Z

Yazar Chung, Kyo-Il. editor. Sohn, Kiwook. editor. Yung, Moti. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00306-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Process Management Workshops BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers

2024-11-25T13:14:33Z

Yazar Ardagna, Danilo. editor. Mecella, Massimo. editor. Yang, Jian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00328-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network Control and Optimization Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers

2024-11-25T13:14:33Z

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

Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I

2024-11-25T13:14:33Z

Yazar Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01970-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II

2024-11-25T13:14:33Z

Yazar Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01973-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings

2024-11-25T13:14:33Z

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

Open Source Ecosystems: Diverse Communities Interacting 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skövde, Sweden, June 3-6, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Boldyreff, Cornelia. editor. Crowston, Kevin. editor. Lundell, Björn. editor. Wasserman, Anthony I. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02032-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports

2024-11-25T13:14:33Z

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

Coordination Models and Languages 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Liszt, Franz, 1811-1886 editor. Vasconcelos, Vasco T. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02053-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development V

2024-11-25T13:14:33Z

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

Networks for Grid Applications Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers

2024-11-25T13:14:33Z

Yazar Vicat-Blanc Primet, Pascale. editor. Kudoh, Tomohiro. editor. Mambretti, Joe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02080-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing in Sensor Systems 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Krishnamachari, Bhaskar. editor. Suri, Subhash. editor. Heinzelman, Wendi. editor. Mitra, Urbashi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02085-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wired/Wireless Internet Communications 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Berg, Hans. editor. Heijenk, Geert. editor. Osipov, Evgeny. editor. Staehle, Dirk. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02118-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web: Research and Applications 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31–June 4, 2009 Proceedings

2024-11-25T13:14:33Z

Yazar Aroyo, Lora. editor. Traverso, Paolo. editor. Ciravegna, Fabio. editor. Cimiano, Philipp. editor. Heath, Tom. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02121-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hagenberg Research

2024-11-25T13:14:33Z

Yazar Buchberger, Bruno. editor. Affenzeller, Michael. editor. Ferscha, Alois. editor. Haller, Michael. editor. Jebelean, Tudor. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02127-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Lee, David. editor. Lopes, Antónia. editor. Poetzsch-Heffter, Arnd. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02138-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings

2024-11-25T13:14:33Z

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

Data and Applications Security XXIII 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009. Proceedings

2024-11-25T13:14:33Z

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

ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings

2024-11-25T13:14:33Z

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

Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings

2024-11-25T13:14:33Z

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

Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II

2024-11-25T13:14:33Z

Yazar Köppen, Mario. editor. Kasabov, Nikola. editor. Coghill, George. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03040-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings

2024-11-25T13:14:33Z

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

Haptic and Audio Interaction Design 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings

2024-11-25T13:14:33Z

Yazar Altinsoy, M. Ercan. editor. Jekosch, Ute. editor. Brewster, Stephen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04076-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Interoperability Second IFIP WG 5.8 International Workshop, IWEI 2009, Valencia, Spain, October 13-14, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Poler, Raúl. editor. Sinderen, Marten. editor. Sanchis, Raquel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04750-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software-intensive verteilte Echtzeitsysteme Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 19. und 20. November 2009

2024-11-25T13:14:33Z

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

Signal Processing, Image Processing and Pattern Recognition International Conference, SIP 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Ślęzak, Dominik. editor. Pal, Sankar K. editor. Kang, Byeong-Ho. editor. Gu, Junzhong. editor. Kuroda, Hideo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10546-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grid and Distributed Computing International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Yau, Stephen S. editor. Gervasi, Osvaldo. editor. Kang, Byeong-Ho. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10549-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web and Wireless Geographical Information Systems 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Carswell, James D. editor. Fotheringham, A. Stewart. editor. McArdle, Gavin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10601-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constructing Ambient Intelligence AmI 2008 Workshops, Nuremberg, Germany 19-22, 2008. Revised Papers

2024-11-25T13:14:33Z

Yazar Gerhäuser, Heinz. editor. Hupp, Jürgen. editor. Efstratiou, Christos. editor. Heppner, Janina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10607-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quality of Service in Heterogeneous Networks 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, November 23-25, 2009 Proceedings

2024-11-25T13:14:33Z

Yazar Bartolini, Novella. editor. Nikoletseas, Sotiris. editor. Sinha, Prasun. editor. Cardellini, Valeria. editor. Mahanti, Anirban. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10625-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Jaatun, Martin Gilje. editor. Zhao, Gansen. editor. Rong, Chunming. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10665-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings

2024-11-25T13:14:33Z

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

Open Source Systems Security Certification

2024-11-25T13:14:33Z

Yazar Damiani, Ernesto. author. Ardagna, Claudio Agostino. author. El Ioini, Nabil. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-77324-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems Development Challenges in Practice, Theory, and Education Volume 2

2024-11-25T13:14:33Z

Yazar Barry, Chris. editor. Lang, Michael. editor. Wojtkowski, Wita. editor. Conboy, Kieran. editor. Wojtkowski, Gregory. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-78578-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web 2.0 The Business Model

2024-11-25T13:14:33Z

Yazar Lytras, Miltiadis D. editor. Damiani, Ernesto. editor. Ordóñez de Pablos, Patricia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-85895-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Assurance Services Computing

2024-11-25T13:14:33Z

Yazar Zhang, Liang-Jie. editor. Paul, Raymond. editor. Dong, Jing. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-87658-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA

2024-11-25T13:14:33Z

Yazar Hasler, Paul. editor. Mooney, Vincent. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-89558-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware-dependent Software Principles and Practice

2024-11-25T13:14:33Z

Yazar Ecker, Wolfgang. editor. Müller, Wolfgang. editor. Dömer, Rainer. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9436-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware Software Co-Design of a Multimedia SOC Platform

2024-11-25T13:14:33Z

Yazar Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9623-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

2024-11-25T13:14:33Z

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

Beginning Joomla!

2024-11-25T13:14:33Z

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

Developing with Google App Engine

2024-11-25T13:14:33Z

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

Pro Git

2024-11-25T13:14:33Z

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

Practical Django Projects

2024-11-25T13:14:33Z

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

Developing with Ext GWT Enterprise RIA Development

2024-11-25T13:14:33Z

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

Pro BizTalk 2009

2024-11-25T13:14:33Z

Yazar Dunphy, George. author. Moukhnitski, Sergei. author. Kaufman, Stephen. author. Kelcey, Peter. author. Campos, Harold. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-1982-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Definitive Guide to Catalyst Writing Extensible, Scalable, and Maintainable Perl-Based Web Applications

2024-11-25T13:14:33Z

Yazar Diment, Kieren. author. Trout, Matt S. author. Cardim, Eden. author. Kuri, Jay. author. Robinson, Jess. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-2366-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Programming Languages

2024-11-25T13:14:33Z

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

Software Verification and Analysis An Integrated, Hands-On Approach

2024-11-25T13:14:33Z

Yazar Stanley, William. author. Laski, Janusz. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-240-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach

2024-11-25T13:14:33Z

Yazar Li, ZhiWu. author. Zhou, MengChu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-244-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Introduction to Computer Architecture

2024-11-25T13:14:33Z

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

Artificial Life Models in Software

2024-11-25T13:14:33Z

Yazar Komosinski, Maciej. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-285-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Life Models in Hardware

2024-11-25T13:14:33Z

Yazar Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-530-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ada for Software Engineers (Second Edition with Ada 2005)

2024-11-25T13:14:33Z

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

Geometric Algebra: An Algebraic System for Computer Games and Animation

2024-11-25T13:14:33Z

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

Software and Data Technologies Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers

2024-11-25T13:14:33Z

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

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

2024-11-25T13:14:33Z

Yazar Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88479-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Jones, Neil D. editor. Müller-Olm, Markus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-93900-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

2024-11-25T13:14:33Z

Yazar Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-93920-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2024-11-25T13:14:33Z

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

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2024-11-25T13:14:33Z

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

Methods, Models and Tools for Fault Tolerance

2024-11-25T13:14:33Z

Yazar Butler, Michael. editor. Jones, Cliff. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00867-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pervasive Computing 7th International Conference, Pervasive 2009, Nara, Japan, May 11-14, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Tokuda, Hideyuki. editor. Beigl, Michael. editor. Friday, Adrian. editor. Brush, A. J. Bernheim. editor. Tobe, Yoshito. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01516-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Active and Programmable Networks IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers

2024-11-25T13:14:33Z

Yazar Hutchison, David. editor. Denazis, Spyros. editor. Lefevre, Laurent. editor. Minden, Gary J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00972-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science IV Special Issue on Security in Computing

2024-11-25T13:14:33Z

Yazar Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Moreno, Edward David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01004-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing – ICSOC 2008 Workshops ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers

2024-11-25T13:14:33Z

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

Enterprise Architecture at Work Modelling, Communication and Analysis

2024-11-25T13:14:33Z

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

Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

2024-11-25T13:14:33Z

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

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings

2024-11-25T13:14:33Z

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

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I

2024-11-25T13:14:33Z

Yazar Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02454-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II

2024-11-25T13:14:33Z

Yazar Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02457-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling: Foundations and Applications Essays in Honor of John Mylopoulos

2024-11-25T13:14:33Z

Yazar Borgida, Alexander T. editor. Chaudhri, Vinay K. editor. Giorgini, Paolo. editor. Yu, Eric S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02463-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Future Multimedia Networking Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Mauthe, Andreas. editor. Zeadally, Sherali. editor. Cerqueira, Eduardo. editor. Curado, Marília. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02472-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Primer on Scientific Programming with Python

2024-11-25T13:14:33Z

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

Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part I

2024-11-25T13:14:33Z

Yazar Köppen, Mario. editor. Kasabov, Nikola. editor. Coghill, George. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02490-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers

2024-11-25T13:14:33Z

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

Human Interface and the Management of Information. Designing Information Environments Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Procceedings, Part I

2024-11-25T13:14:33Z

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

Human Interface and the Management of Information. Information and Interaction Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II

2024-11-25T13:14:33Z

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

Engineering Societies in the Agents World IX 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers

2024-11-25T13:14:33Z

Yazar Artikis, Alexander. editor. Picard, Gauthier. editor. Vercouter, Laurent. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02562-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Objects, Components, Models and Patterns 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings

2024-11-25T13:14:33Z

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

Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

2024-11-25T13:14:33Z

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

Multi-Agent Systems for Society 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers

2024-11-25T13:14:33Z

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

Wireless Algorithms, Systems, and Applications 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Liu, Benyuan. editor. Bestavros, Azer. editor. Du, Ding-Zhu. editor. Wang, Jie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03417-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday

2024-11-25T13:14:33Z

Yazar Albers, Susanne. editor. Alt, Helmut. editor. Näher, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03456-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

2024-11-25T13:14:33Z

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

Database and XML Technologies 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Bellahsène, Zohra. editor. Hunt, Ela. editor. Rys, Michael. editor. Unland, Rainer. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03555-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Wireless Middleware, Operating Systems, and Applications - Workshops Mobilware 2009 Workshops, Berlin, Germany, April 2009, Revised Selected Papers

2024-11-25T13:14:33Z

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

Model Driven Engineering Languages and Systems 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings

2024-11-25T13:14:33Z

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

Algorithmic Decision Theory First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings

2024-11-25T13:14:33Z

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

Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems First International Conference, ICCCI 2009, Wrocław, Poland, October 5-7, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Chen, Shyi-Ming. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04441-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Buth, Bettina. editor. Rabe, Gerd. editor. Seyfarth, Till. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04468-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Sensing and Context 4th European Conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Barnaghi, Payam. editor. Moessner, Klaus. editor. Presser, Mirko. editor. Meissner, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04471-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Samarati, Pierangela. editor. Yung, Moti. editor. Martinelli, Fabio. editor. Ardagna, Claudio A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04474-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Pattern Languages of Programming I

2024-11-25T13:14:33Z

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

Self-Organizing Systems 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009. Proceedings

2024-11-25T13:14:33Z

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

Ambient Intelligence European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Tscheligi, Manfred. editor. Ruyter, Boris. editor. Markopoulus, Panos. editor. Wichert, Reiner. editor. Mirlacher, Thomas. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-05408-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Abran, Alain. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Cuadrado-Gallego, Juan J. editor. Brunekreef, Jacob. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-05415-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software-Qualität Testen, Analysieren und Verifizieren von Software

2024-11-25T13:14:33Z

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

Agility kompakt Tipps für erfolgreiche Systementwicklung

2024-11-25T13:14:33Z

Yazar Hruschka, Peter. author. Rupp, Chris. author. Starke, Gernot. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8274-2204-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software-Architektur kompakt – angemessen und zielorientiert

2024-11-25T13:14:33Z

Yazar Starke, Gernot. author. Hruschka, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8274-2205-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Lehrbuch der Softwaretechnik: Basiskonzepte und Requirements Engineering

2024-11-25T13:14:33Z

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

Software-Architektur Grundlagen — Konzepte — Praxis

2024-11-25T13:14:33Z

Yazar Vogel, Oliver. author. Arnold, Ingo. author. Chughtai, Arif. author. Ihler, Edmund. author. Kehrer, Timo. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8274-2267-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architekturen für Web-Anwendungen Eine praxisbezogene Konstruktions-Systematik

2024-11-25T13:14:33Z

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

Algorithmen kompakt und verständlich Lösungsstrategien am Computer

2024-11-25T13:14:33Z

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

Grundkurs Computergrafik mit Java Die Grundlagen verstehen und einfach umsetzen mit Java 3D

2024-11-25T13:14:33Z

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

Software project management

2024-11-25T13:14:33Z

Yazar Hughes, Bob. Cotterell, Mike.
Yer Numarası QA76.76 H84 2009
Format: Kitap
Durum Beytepe Kütüphanesi~1

Data flow analysis theory and practice

2024-11-25T13:14:33Z

Yazar Khedker, Uday. Sanyal, Amitabha. Karkare, Bageshri.
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

Architecting software intensive systems a practitioner's guide

2024-11-25T13:14:33Z

Yazar Lattanze, Anthony J.
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

Marine navigation and safety of sea transportation

2024-11-25T13:14:33Z

Yazar International Navigational Symposium on Marine Navigation and Safety of Sea Transportation (8th : 2009 : Gdynia, Poland) Weintrit, Adam.
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 Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers

2024-11-25T13:14:33Z

Yazar Ghose, Aditya. editor. Governatori, Guido. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01639-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Grid and Pervasive Computing 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings

2024-11-25T13:14:33Z

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

Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings

2024-11-25T13:14:33Z

Yazar Wang, Qing. editor. Garousi, Vahid. editor. Madachy, Raymond. editor. Pfahl, Dietmar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01680-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

2024-11-25T13:14:33Z

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

MobileWireless Middleware, Operating Systems, and Applications Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings

2024-11-25T13:14:33Z

Yazar Bonnin, Jean-Marie. editor. Giannelli, Carlo. editor. Magedanz, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01802-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

2024-11-25T13:14:33Z

Yazar Ferré, Sébastien. editor. Rudolph, Sebastian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01815-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Enterprise Engineering II First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 11, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Proper, Erik. editor. Harmsen, Frank. editor. Dietz, Jan L. G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01859-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise, Business-Process and Information Systems Modeling 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Halpin, Terry. editor. Krogstie, John. editor. Nurcan, Selmin. editor. Proper, Erik. editor. Schmidt, Rainer. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01862-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modular Ontologies Concepts, Theories and Techniques for Knowledge Modularization

2024-11-25T13:14:33Z

Yazar Stuckenschmidt, Heiner. editor. Parent, Christine. editor. Spaccapietra, Stefano. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01907-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Enterprise Engineering III 5th International Workshop, CIAO! 2009, and 5th International Workshop, EOMAS 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Albani, Antonia. editor. Barjis, Joseph. editor. Dietz, Jan L. G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01915-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

2024-11-25T13:14:33Z

Yazar Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01918-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

2024-11-25T13:14:33Z

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

RoboCup 2008: Robot Soccer World Cup XII

2024-11-25T13:14:33Z

Yazar Iocchi, Luca. editor. Matsubara, Hitoshi. editor. Weitzenfeld, Alfredo. editor. Zhou, Changjiu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02921-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings

2024-11-25T13:14:33Z

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

Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I

2024-11-25T13:14:33Z

Yazar Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02927-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

2024-11-25T13:14:33Z

Yazar Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02930-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

2024-11-25T13:14:33Z

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

Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings

2024-11-25T13:14:33Z

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

Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers

2024-11-25T13:14:33Z

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

Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Tan, Runhua. editor. Cao, Guozhong. editor. León, Noel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03346-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04238-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

2024-11-25T13:14:33Z

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

Personal Satellite Services International Conference, PSATS 2009, Rome, Italy, March 18-19, 2009, Revised Selected Papers

2024-11-25T13:14:33Z

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

Cooperative Design, Visualization, and Engineering 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings

2024-11-25T13:14:33Z

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

Knowledge Management for Health Care Procedures ECAI 2008 Workshop, K4HelP 2008, Patras, Greece, July 21, 2008, Revised Selected Papers

2024-11-25T13:14:33Z

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

Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Rettberg, Achim. editor. Zanella, Mauro C. editor. Amann, Michael. editor. Keckeisen, Michael. editor. Rammig, Franz J. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04284-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings

2024-11-25T13:14:33Z

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

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04368-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ad-Hoc, Mobile and Wireless Networks 8th International Conference, ADHOC-NOW 2009, Murcia, Spain, September 22-25, 2009 Proceedings

2024-11-25T13:14:33Z

Yazar Ruiz, Pedro M. editor. Garcia-Luna-Aceves, Jose Joaquin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04383-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Entity Localization and Tracking in GPS-less Environnments Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009. Proceedings

2024-11-25T13:14:33Z

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

Data Management in Grid and Peer-to-Peer Systems Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings

2024-11-25T13:14:33Z

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

Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers

2024-11-25T13:14:33Z

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

Euro-Par 2009 Parallel Processing 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Sips, Henk. editor. Epema, Dick. editor. Lin, Hai-Xiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03869-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings

2024-11-25T13:14:33Z

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

Conceptual Modeling - ER 2009 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Laender, Alberto H. F. editor. Castano, Silvana. editor. Dayal, Umeshwar. editor. Casati, Fabio. editor. Oliveira, José Palazzo M. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04840-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nano-Net 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Schmid, Alexandre. editor. Goel, Sanjay. editor. Wang, Wei. editor. Beiu, Valeriu. editor. Carrara, Sandro. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04850-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency III

2024-11-25T13:14:33Z

Yazar Jensen, Kurt. editor. Billington, Jonathan. editor. Koutny, Maciej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04856-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Gibbons, Jeremy. editor. Oliveira, José Nuno. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04912-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive and Natural Computing Algorithms 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers

2024-11-25T13:14:33Z

Yazar Kolehmainen, Mikko. editor. Toivanen, Pekka. editor. Beliczynski, Bartlomiej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04921-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Next Generation Information Technologies and Systems 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papers

2024-11-25T13:14:33Z

Yazar Feldman, Yishai A. editor. Kraft, Donald. editor. Kuflik, Tsvi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04941-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling - Challenging Perspectives ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Heuser, Carlos Alberto. editor. Pernul, Günther. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04947-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rule Interchange and Applications International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Governatori, Guido. editor. Hall, John. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04985-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Autonomic Communications Environments Fourth IEEE International Workshop, MACE 2009, Venice, Italy, October 26-27, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Strassner, John C. editor. Ghamri-Doudane, Yacine M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-05006-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-05031-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Reasoning and Rule Systems Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings

2024-11-25T13:14:33Z

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

Semantic Methods for Execution-level Business Process Modeling Modeling Support Through Process Verification and Service Composition

2024-11-25T13:14:33Z

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

FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

2024-11-25T13:14:33Z

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

Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings

2024-11-25T13:14:33Z

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

Principles of Practice in Multi-Agent Systems 12th International Conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Yang, Jung-Jin. editor. Yokoo, Makoto. editor. Ito, Takayuki. editor. Jin, Zhi. editor. Scerri, Paul. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11161-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning and Intelligent Optimization Third International Conference, LION 3, Trento, Italy, January 14-18, 2009. Selected Papers

2024-11-25T13:14:33Z

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

Communications Infrastructure. Systems and Applications in Europe First International ICST Conference, EuropeComm 2009, London, UK, August 11-13, 2009, Revised Selected Papers

2024-11-25T13:14:33Z

Yazar Mehmood, Rashid. editor. Cerqueira, Eduardo. editor. Piesiewicz, Radoslaw. editor. Chlamtac, Imrich. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11284-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grundkurs Smalltalk — Objektorientierung von Anfang an Eine Einführung in die Programmierung

2024-11-25T13:14:33Z

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

The New PL/I … for PC, Workstation and Mainframe

2024-11-25T13:14:33Z

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

Grundkurs Relationale Datenbanken Einführung in die Praxis der Datenbankentwicklung für Ausbildung, Studium und IT-Beruf

2024-11-25T13:14:33Z

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

Formale Modelle der Softwareentwicklung Model-Checking, Verifikation, Analyse und Simulation

2024-11-25T13:14:33Z

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

Grundkurs Programmieren mit Visual Basic Die Grundlagen der Programmierung – Einfach, verständlich und mit leicht nachvollziehbaren Beispielen

2024-11-25T13:14:33Z

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

Managing and leading software projects

2024-11-25T13:14:33Z

Yazar Fairley, R. E. (Richard E.), 1937- IEEE Computer Society.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore An electronic book accessible through the World Wide Web; click for information
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Graphics Software Tools

2024-11-25T13:14:33Z

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

Models of Computation An Introduction to Computability Theory

2024-11-25T13:14:33Z

Yazar Fernández, Maribel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-434-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Concise and Practical Introduction to Programming Algorithms in Java

2024-11-25T13:14:33Z

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

Safety-Critical Systems: Problems, Process and Practice Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009

2024-11-25T13:14:33Z

Yazar Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-349-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Trends on Human–Computer Interaction Research, Development, New Tools and Methods

2024-11-25T13:14:33Z

Yazar Macías, José A. editor. Granollers Saltiveri, Antoni. editor. Latorre, Pedro M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-352-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Les virus informatiques: théorie, pratique et applications

2024-11-25T13:14:33Z

Yazar Filiol, Éric. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-2-287-98240-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Abnahme komplexer Software-Systeme Das Praxishandbuch

2024-11-25T13:14:33Z

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

Große Netze der Logistik Die Ergebnisse des Sonderforschungsbereichs 559

2024-11-25T13:14:33Z

Yazar Buchholz, Peter. editor. Clausen, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71048-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Product Management and Pricing Key Success Factors for Software Organizations

2024-11-25T13:14:33Z

Yazar Kittlaus, Hans-Bernd. author. Clough, Peter N. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76987-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOA und WebServices

2024-11-25T13:14:33Z

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

Embedded Linux Das Praxisbuch

2024-11-25T13:14:33Z

Yazar Dillmann, Rüdiger. author. Gockel, Tilo. author. Schröder, Joachim. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78620-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metrics for Process Models Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness

2024-11-25T13:14:33Z

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

Konzepte objektorientierter Programmierung Mit einer Einführung in Java

2024-11-25T13:14:33Z

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

Theory and Practice of Uncertain Programming

2024-11-25T13:14:33Z

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

Middleware for Network Eccentric and Mobile Applications

2024-11-25T13:14:33Z

Yazar Garbinato, Benoît. editor. Miranda, Hugo. editor. Rodrigues, Luís. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89707-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing and Internet Technology 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings

2024-11-25T13:14:33Z

Yazar Parashar, Manish. editor. Aggarwal, Sanjeev K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89737-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Requirements Engineering: A Ten-Year Perspective Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers

2024-11-25T13:14:33Z

Yazar Lyytinen, Kalle. editor. Loucopoulos, Pericles. editor. Mylopoulos, John. editor. Robinson, Bill. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92966-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

QVT - Relations Language Modellierung mit der Query Views Transformation

2024-11-25T13:14:33Z

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

Engineering Web Applications

2024-11-25T13:14:33Z

Yazar Casteleyn, Sven. author. Daniel, Florian. author. Dolog, Peter. author. Matera, Maristella. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92201-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2008 Funchal, Madeira, Portugal, January 28-31, 2008 Revised Selected Papers

2024-11-25T13:14:33Z

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

Distributed Computing and Networking 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Garg, Vijay. editor. Wattenhofer, Roger. editor. Kothapalli, Kishore. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92295-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

2024-11-25T13:14:33Z

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

Trusted Computing Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings.

2024-11-25T13:14:33Z

Yazar Chen, Liqun. editor. Mitchell, Chris J. editor. Martin, Andrew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00587-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2024-11-25T13:14:33Z

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

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2024-11-25T13:14:33Z

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

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

2024-11-25T13:14:33Z

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

Cutting-Edge Research Topics on Multiple Criteria Decision Making 20th International Conference, MCDM 2009, Chengdu/Jiuzhaigou, China, June 21-26, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Shi, Yong. editor. Wang, Shouyang. editor. Peng, Yi. editor. Li, Jianping. editor. Zeng, Yong. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02298-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

2024-11-25T13:14:33Z

Yazar Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02351-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architecture Knowledge Management Theory and Practice

2024-11-25T13:14:33Z

Yazar Ali Babar, Muhammad. editor. Dingsøyr, Torgeir. editor. Lago, Patricia. editor. van Vliet, Hans. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02374-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Organized Adaption in Multi-Agent Systems First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers

2024-11-25T13:14:33Z

Yazar Vouros, George. editor. Artikis, Alexander. editor. Stathis, Kostas. editor. Pitt, Jeremy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02377-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems – Creativity and Innovation in Small and Medium-Sized Enterprises IFIP WG 8.2 International Conference, CreativeSME 2009, Guimarães, Portugal, June 21-24, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Dhillon, Gurpreet. editor. Stahl, Bernd Carsten. editor. Baskerville, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02388-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Príncipe, José C. editor. Miikkulainen, Risto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02397-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

2024-11-25T13:14:33Z

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

Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02652-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

2024-11-25T13:14:33Z

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

Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

2024-11-25T13:14:33Z

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

Computer Networks 16th Conference, CN 2009, Wisła, Poland, June 16-20, 2009. Proceedings

2024-11-25T13:14:33Z

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

Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Paige, Richard F. editor. Hartman, Alan. editor. Rensink, Arend. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02674-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomic and Trusted Computing 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings

2024-11-25T13:14:33Z

Yazar González Nieto, Juan. editor. Reif, Wolfgang. editor. Wang, Guojun. editor. Indulska, Jadwiga. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02704-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Universal Access in Human-Computer Interaction. Addressing Diversity 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I

2024-11-25T13:14:33Z

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

Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II

2024-11-25T13:14:33Z

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

Universal Access in Human-Computer Interaction. Applications and Services 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III

2024-11-25T13:14:33Z

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

Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings

2024-11-25T13:14:33Z

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

Virtual and Mixed Reality Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings

2024-11-25T13:14:33Z

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

Web Engineering 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26, 2009 Proceedings

2024-11-25T13:14:33Z

Yazar Gaedke, Martin. editor. Grossniklaus, Michael. editor. Díaz, Oscar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02818-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ambient Assistive Health and Wellness Management in the Heart of the City 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Mokhtari, Mounir. editor. Khalil, Ismail. editor. Bauchet, Jérémy. editor. Zhang, Daqing. editor. Nugent, Chris. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02868-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

GeoSensor Networks Third International Conference, GSN 2009, Oxford, UK, July 13-14, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Trigoni, Niki. editor. Markham, Andrew. editor. Nawaz, Sarfraz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02903-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

2024-11-25T13:14:33Z

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

Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers

2024-11-25T13:14:33Z

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

Software Services for e-Business and e-Society 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Godart, Claude. editor. Gronau, Norbert. editor. Sharma, Sushil. editor. Canals, Gérôme. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04280-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scalable Uncertainty Management Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Godo, Lluís. editor. Pugliese, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04388-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings

2024-11-25T13:14:33Z

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

Grid Economics and Business Models 6th International Workshop, GECON 2009, Delft, The Netherlands, August 24, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Altmann, Jörn. editor. Buyya, Rajkumar. editor. Rana, Omer F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03864-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures

2024-11-25T13:14:33Z

Yazar Koopman, Pieter. editor. Plasmeijer, Rinus. editor. Swierstra, Doaitse. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04652-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

2024-11-25T13:14:33Z

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

Software Process Improvement 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar O’Connor, Rory V. editor. Baddoo, Nathan. editor. Cuadrago Gallego, Juan. editor. Rejas Muslera, Ricardo. editor. Smolander, Kari. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04133-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

E-Voting and Identity Second International Conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Ryan, Peter Y. A. editor. Schoenmakers, Berry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04135-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Braubach, Lars. editor. Hoek, Wiebe. editor. Petta, Paolo. editor. Pokahr, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04143-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

2024-11-25T13:14:33Z

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

Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

2024-11-25T13:14:33Z

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

Scalable Information Systems 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers

2024-11-25T13:14:33Z

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

Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems

2024-11-25T13:14:33Z

Yazar Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-05465-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Societies in the Agents World X 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Aldewereld, Huib. editor. Dignum, Virginia. editor. Picard, Gauthier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10203-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Communication and Networking Second International Conference on Future Generation Communication and Networking, FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

2024-11-25T13:14:33Z

Yazar Kim, Tai-hoon. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Chang, Alan Chin-Chen. editor. Vasilakos, Thanos. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10236-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computational Science and Engineering Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

2024-11-25T13:14:33Z

Yazar Kim, Tai-hoon. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Chang, Alan Chin-Chen. editor. Vasilakos, Thanos. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10238-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Security Technology International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

2024-11-25T13:14:33Z

Yazar Kim, Haeng-kon. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10240-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecting Dependable Systems VI

2024-11-25T13:14:33Z

Yazar Lemos, Rogério. editor. Fabre, Jean-Charles. editor. Gacek, Cristina. editor. Gadducci, Fabio. editor. Beek, Maurice. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10248-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings

2024-11-25T13:14:33Z

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

Service-Oriented Computing 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Baresi, Luciano. editor. Chi, Chi-Hung. editor. Suzuki, Jun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10383-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Papasratorn, Borworn. editor. Chutimaskul, Wichian. editor. Porkaew, Kriengkrai. editor. Vanijja, Vajirasak. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10392-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Performance Evaluation and Benchmarking First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers

2024-11-25T13:14:33Z

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

GeoSpatial Semantics Third International Conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Janowicz, Krzysztof. editor. Raubal, Martin. editor. Levashkin, Sergei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10436-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Middleware 2009 ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 – December 4, 2009. Proceedings

2024-11-25T13:14:33Z

Yazar Bacon, Jean M. editor. Cooper, Brian F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10445-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

2024-11-25T13:14:33Z

Yazar Oliveira, Marcel Vinícius Medeiros. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10452-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1