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

Software engineering

2024-11-22T19:52:11Z

Yazar Sommerville, Ian, 1951-
Yer Numarası QA76.6 S66 2007
Format: Kitap
Durum Beytepe Kütüphanesi~1

Essentials of software engineering

2024-11-22T19:52:11Z

Yazar Tsui, Frank F. Karam, Orlando.
Yer Numarası QA76.758 .T785 2007
Format: Kitap
Durum Beytepe Kütüphanesi~1

Handbook of software engineering & knowledge engineering

2024-11-22T19:52:11Z

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

Software Engineering Techniques: Design for Quality

2024-11-22T19:52:11Z

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

Software Engineering for Experimental Robotics

2024-11-22T19:52:11Z

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

Managing Humans Biting and Humorous Tales of a Software Engineering Manager

2024-11-22T19:52:11Z

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

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

2024-11-22T19:52:11Z

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

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

2024-11-22T19:52:11Z

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

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Schmidt, Heinz W. editor. Crnkovic, Ivica. editor. Heineman, George T. editor. Stafford, Judith A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73551-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers

2024-11-22T19:52:11Z

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

Software Verification and Validation An Engineering and Scientific Approach

2024-11-22T19:52:11Z

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

Advances and Innovations in Systems, Computing Sciences and Software Engineering

2024-11-22T19:52:11Z

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

Modelling in Mechanical Engineering and Mechatronics Towards Autonomous Intelligent Software Models

2024-11-22T19:52:11Z

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

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Dwyer, Matthew B. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71289-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers

2024-11-22T19:52:11Z

Yazar Basili, Victor R. editor. Rombach, Dieter. editor. Schneider, Kurt. editor. Kitchenham, Barbara. editor. Pfahl, Dietmar. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71301-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Product Lines in Action The Best Industrial Practice in Product Line Engineering

2024-11-22T19:52:11Z

Yazar Linden, Frank. author. Schmid, Klaus. author. Rommes, Eelco. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71437-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers

2024-11-22T19:52:11Z

Yazar Guelfi, Nicolas. editor. Buchs, Didier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71876-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings

2024-11-22T19:52:11Z

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

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Concas, Giulio. editor. Damiani, Ernesto. editor. Scotto, Marco. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73101-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications

2024-11-22T19:52:11Z

Yazar Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73131-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings

2024-11-22T19:52:11Z

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

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Butler, Michael. editor. Hinchey, Michael G. editor. Larrondo-Petrie, María M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76650-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Designing with blends conceptual foundations of human-computer interaction and software engineering

2024-11-22T19:52:11Z

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

What every engineer should know about software engineering

2024-11-22T19:52:11Z

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

Software engineering Barry W. Boehm's lifetime contributions to software development, management, and research

2024-11-22T19:52:11Z

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

Modelling in mechanical engineering and mechatronics : towards autonomous intelligent software models

2024-11-22T19:52:11Z

Yazar Avgoustinov, Nikolay.
Yer Numarası TJ153 A88 2007
Format: Kitap
Durum Beytepe Kütüphanesi~1

Global software development handbook

2024-11-22T19:52:11Z

Yazar Sangwan, Raghvinder.
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

Semantic Web: Concepts, Technologies and Applications

2024-11-22T19:52:11Z

Yazar Breitman, Karin Koogan. author. Casanova, Marco Antonio. author. Truszkowski, Walter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-710-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automatic Quantum Computer Programming A Genetic Programming Approach

2024-11-22T19:52:11Z

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

Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11–14, 2007, Limerick, Ireland

2024-11-22T19:52:11Z

Yazar Feller, Joseph. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Sillitti, Alberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-72486-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design for Manufacturability and Yield for Nano-Scale CMOS

2024-11-22T19:52:11Z

Yazar Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5188-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer-Aided Design of User Interfaces V

2024-11-22T19:52:11Z

Yazar Calvary, Gaëlle. editor. Pribeanu, Costin. editor. Santucci, Giuseppe. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5820-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Designing Embedded Processors A Low Power Perspective

2024-11-22T19:52:11Z

Yazar Henkel, Jörg. editor. Parameswaran, Sri. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5869-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Memory Optimization Techniques for Low-Power Embedded Processors

2024-11-22T19:52:11Z

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

Real-Time Object Uniform Design Methodology with UML

2024-11-22T19:52:11Z

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

Beginning Ubuntu Linux

2024-11-22T19:52:11Z

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

SharePoint 2007 User’s Guide Learning Microsoft’s Collaboration and Productivity Platform

2024-11-22T19:52:11Z

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

Pro Access 2007

2024-11-22T19:52:11Z

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

Extreme NXT Extending the LEGO MINDSTORMS NXT to the Next Level

2024-11-22T19:52:11Z

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

Smart and Gets Things Done Joel Spolsky’s Concise Guide to Finding the Best Technical Talent

2024-11-22T19:52:11Z

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

Pro BizTalk 2006

2024-11-22T19:52:11Z

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

The Definitive Guide to SOA: BEA AquaLogic® Service Bus

2024-11-22T19:52:11Z

Yazar Davies, Jeff. author. Krishna, Ashish. author. Schorow, David. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0263-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Word 2007 Beyond the Manual

2024-11-22T19:52:11Z

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

Pro Active Record Databases with Ruby and Rails

2024-11-22T19:52:11Z

Yazar Marshall, Kevin. author. Pytel, Chad. author. Yurek, Jon. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0269-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Beginning Joomla! From Novice to Professional

2024-11-22T19:52:11Z

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

LEGO® MINDSTORMS® NXT-G Programming Guide

2024-11-22T19:52:11Z

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

The Definitive Guide to the Microsoft Enterprise Library

2024-11-22T19:52:11Z

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

Clear Blogging How People Blogging Are Changing the World and How You Can Join Them

2024-11-22T19:52:11Z

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

Founders at Work Stories of Startups’ Early Days

2024-11-22T19:52:11Z

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

Expert SQL Server 2005 Development

2024-11-22T19:52:11Z

Yazar Machanic, Adam. author. Kornelis, Hugo. author. Rubbelke, Lara. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0333-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Windows Vista Beyond the Manual

2024-11-22T19:52:11Z

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

Use Case Driven Object Modeling with UML Theory and Practice

2024-11-22T19:52:11Z

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

Pro Apache Tomcat 6

2024-11-22T19:52:11Z

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

Beginning Google Maps Applications with Rails and Ajax From Novice to Professional

2024-11-22T19:52:11Z

Yazar Lewis, Andre. author. Purvis, Michael. author. Sambells, Jeffrey. author. Turner, Cameron. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-0380-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Outlook 2007 Beyond the Manual

2024-11-22T19:52:11Z

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

Excel 2007 Beyond the Manual

2024-11-22T19:52:11Z

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

Painless Project Management with FogBugz

2024-11-22T19:52:11Z

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

Compiling Esterel

2024-11-22T19:52:11Z

Yazar Potop-Butucaru, Dumitru. author. Edwards, Stephen A. author. Berry, Gérard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-70628-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Visual Languages and Applications

2024-11-22T19:52:11Z

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

Lego Mindstorms NXT-G Programming Guide

2024-11-22T19:52:11Z

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

System Software Reliability

2024-11-22T19:52:11Z

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

Object-Oriented Programming and Java

2024-11-22T19:52:11Z

Yazar Poo, Danny. author. Kiong, Derek. author. Ashok, Swarnalatha. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-963-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Refinement for Operating System Kernels

2024-11-22T19:52:11Z

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

Techniques virales avancées

2024-11-22T19:52:11Z

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

Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Services

2024-11-22T19:52:11Z

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

Dynaxity Management von Dynamik und Komplexität im Softwarebau

2024-11-22T19:52:11Z

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

Management von IT-Projekten Von der Planung zur Realisierung

2024-11-22T19:52:11Z

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

LabVIEW based Advanced Instrumentation Systems

2024-11-22T19:52:11Z

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

IPv6 in Practice A Unixer’s Guide to the Next Generation Internet

2024-11-22T19:52:11Z

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

Intrusion Detection effektiv! Modellierung und Analyse von Angriffsmustern

2024-11-22T19:52:11Z

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

SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Leeuwen, Jan. editor. Italiano, Giuseppe F. editor. Hoek, Wiebe. editor. Meinel, Christoph. editor. Sack, Harald. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69507-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

2024-11-22T19:52:11Z

Yazar Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69554-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

2024-11-22T19:52:11Z

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

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

2024-11-22T19:52:11Z

Yazar Coninx, Karin. editor. Luyten, Kris. editor. Schneider, Kevin A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70816-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

2024-11-22T19:52:11Z

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

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

2024-11-22T19:52:11Z

Yazar Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70889-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Kuznetsov, Sergei O. editor. Schmidt, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70901-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

2024-11-22T19:52:11Z

Yazar Brim, Luboš. editor. Haverkort, Boudewijn. editor. Leucker, Martin. editor. Pol, Jaco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70952-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Universal Access in Ambient Intelligence Environments 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006. Revised Papers

2024-11-22T19:52:11Z

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

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I

2024-11-22T19:52:11Z

Yazar Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72584-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2024-11-22T19:52:11Z

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

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Derrick, John. editor. Vain, Jüri. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73196-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Effective IT Service Management To ITIL and Beyond!

2024-11-22T19:52:11Z

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

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

2024-11-22T19:52:11Z

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

IT-Projektrecht Vertragliche Gestaltung und Steuerung von IT-Projekten, Best Practices, Haftung der Geschäftsleitung

2024-11-22T19:52:11Z

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

Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings

2024-11-22T19:52:11Z

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

Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2024-11-22T19:52:11Z

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

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

2024-11-22T19:52:11Z

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

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

2024-11-22T19:52:11Z

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

New Trends in Applied Artificial Intelligence 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Okuno, Hiroshi G. editor. Ali, Moonis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73325-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ergonomics and Health Aspects of Work with Computers International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2024-11-22T19:52:11Z

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

Virtual Reality Second International Conference, ICVR 2007, Held as part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2024-11-22T19:52:11Z

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

Debian GNU/Linux Grundlagen, Einrichtung und Betrieb

2024-11-22T19:52:11Z

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

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

2024-11-22T19:52:11Z

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

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Bošnački, Dragan. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73370-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73420-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Anai, Hirokazu. editor. Horimoto, Katsuhisa. editor. Kutsia, Temur. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73433-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings

2024-11-22T19:52:11Z

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

Business Process Management Concepts, Languages, Architectures

2024-11-22T19:52:11Z

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

Dependable and Adaptable Networks and Services 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings

2024-11-22T19:52:11Z

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

Data and Applications Security XXI 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Barker, Steve. editor. Ahn, Gail-Joon. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73538-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomic and Trusted Computing 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Xiao, Bin. editor. Yang, Laurence T. editor. Ma, Jianhua. editor. Muller-Schloer, Christian. editor. Hua, Yu. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73547-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings

2024-11-22T19:52:11Z

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

Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

2024-11-22T19:52:11Z

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

Web Engineering 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings

2024-11-22T19:52:11Z

Yazar Baresi, Luciano. editor. Fraternali, Piero. editor. Houben, Geert-Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73597-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Aggregation Functions: A Guide for Practitioners

2024-11-22T19:52:11Z

Yazar Beliakov, Gleb. author. Pradera, Ana. author. Calvo, Tomasa. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73721-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

2024-11-22T19:52:11Z

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

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

2024-11-22T19:52:11Z

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

Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings

2024-11-22T19:52:11Z

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

Network and Parallel Computing IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Li, Keqiu. editor. Jesshope, Chris. editor. Jin, Hai. editor. Gaudiot, Jean-Luc. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74784-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

2024-11-22T19:52:11Z

Yazar Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74792-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I

2024-11-22T19:52:11Z

Yazar Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74796-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II

2024-11-22T19:52:11Z

Yazar Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74800-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Systems and Applications V 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Burkhard, Hans-Dieter. editor. Lindemann, Gabriela. editor. Verbrugge, Rineke. editor. Varga, László Zsolt. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75254-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database and XMLTechnologies 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Barbosa, Denilson. editor. Bonifati, Angela. editor. Bellahsène, Zohra. editor. Hunt, Ela. editor. Unland, Rainer. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75288-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

2024-11-22T19:52:11Z

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

Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Bondavalli, Andrea. editor. Brasileiro, Francisco. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75294-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

2024-11-22T19:52:11Z

Yazar Montanari, Ugo. editor. Sannella, Donald. editor. Bruni, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75336-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Improvement 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Abrahamsson, Pekka. editor. Baddoo, Nathan. editor. Margaria, Tiziana. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75381-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

2024-11-22T19:52:11Z

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

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Perrott, Ronald. editor. Chapman, Barbara M. editor. Subhlok, Jaspal. editor. Mello, Rodrigo Fernandes. editor. Yang, Laurence T. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75444-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75454-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops Proceedings

2024-11-22T19:52:11Z

Yazar Georgakopoulos, Dimitrios. editor. Ritter, Norbert. editor. Benatallah, Boualem. editor. Zirpins, Christian. editor. Feuerlicht, George. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75492-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Garay, Juan A. editor. Lenstra, Arjen K. editor. Mambo, Masahiro. editor. Peralta, René. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75496-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers

2024-11-22T19:52:11Z

Yazar O’Hare, Gregory M. P. editor. Ricci, Alessandro. editor. O’Grady, Michael J. editor. Dikenelli, Oğuz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75524-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

2024-11-22T19:52:11Z

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

Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Parent, Christine. editor. Schewe, Klaus-Dieter. editor. Storey, Veda C. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75563-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers

2024-11-22T19:52:11Z

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

Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

2024-11-22T19:52:11Z

Yazar Masuzawa, Toshimitsu. editor. Tixeuil, Sébastien. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76627-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ubiquitous Computing Systems 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Ichikawa, Haruhisa. editor. Cho, We-Duke. editor. Satoh, Ichiro. editor. Youn, Hee Yong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76772-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Cerqueira, Renato. editor. Campbell, Roy H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76778-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

2024-11-22T19:52:11Z

Yazar Backhouse, Roland. editor. Gibbons, Jeremy. editor. Hinze, Ralf. editor. Jeuring, Johan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76786-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sustainable Internet Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings

2024-11-22T19:52:11Z

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

Early Aspects: Current Challenges and Future Directions 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers

2024-11-22T19:52:11Z

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

Emerging Directions in Embedded and Ubiquitous Computing EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 17-20, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Denko, Mieso K. editor. Shih, Chi-sheng. editor. Li, Kuan-Ching. editor. Tsao, Shiao-Li. editor. Zeng, Qing-An. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77090-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded and Ubiquitous Computing International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Kuo, Tei-Wei. editor. Sha, Edwin. editor. Guo, Minyi. editor. Yang, Laurence T. editor. Shao, Zili. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77092-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Tovar, Eduardo. editor. Tsigas, Philippas. editor. Fouchal, Hacène. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77096-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20. Proceedings

2024-11-22T19:52:11Z

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

High Performance Computing – HiPC 2007 14th International Conference, Goa, India, December 18-21, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Aluru, Srinivas. editor. Parashar, Manish. editor. Badrinath, Ramamurthy. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77220-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Winckler, Marco. editor. Johnson, Hilary. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77222-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence

2024-11-22T19:52:11Z

Yazar Lungarella, Max. editor. Iida, Fumiya. editor. Bongard, Josh. editor. Pfeifer, Rolf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77296-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

2024-11-22T19:52:11Z

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

Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

2024-11-22T19:52:11Z

Yazar Sokolsky, Oleg. editor. Taşıran, Serdar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77395-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

2024-11-22T19:52:11Z

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

Active Conceptual Modeling of Learning Next Generation Learning-Base System Development

2024-11-22T19:52:11Z

Yazar Chen, Peter P. editor. Wong, Leah Y. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77503-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security Applications 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers

2024-11-22T19:52:11Z

Yazar Kim, Sehun. editor. Yung, Moti. editor. Lee, Hyung-Woo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77535-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers

2024-11-22T19:52:11Z

Yazar Overhage, Sven. editor. Szyperski, Clemens A. editor. Reussner, Ralf. editor. Stafford, Judith A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77619-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Anti-Spam Measures Analysis and Design

2024-11-22T19:52:11Z

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

Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers

2024-11-22T19:52:11Z

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

Distributed and Parallel Systems From Cluster to Grid Computing

2024-11-22T19:52:11Z

Yazar Kacsuk, Péter. editor. Fahringer, Thomas. editor. Németh, Zsolt. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-69858-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Processor Design System-on-Chip Computing for ASICs and FPGAs

2024-11-22T19:52:11Z

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

Optimized ASIP Synthesis from Architecture Description Language Models

2024-11-22T19:52:11Z

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

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06

2024-11-22T19:52:11Z

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

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

2024-11-22T19:52:11Z

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

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

2024-11-22T19:52:11Z

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

Evolving Connectionist Systems The Knowledge Engineering Approach

2024-11-22T19:52:11Z

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

An Introduction to Network Programming with Java

2024-11-22T19:52:11Z

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

Embedded Java Security Security for Mobile Devices

2024-11-22T19:52:11Z

Yazar Debbabi, Mourad. author. Saleh, Mohamed. author. Talhi, Chamseddine. author. Zhioua, Sami. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-711-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Interoperability New Challenges and Approaches

2024-11-22T19:52:11Z

Yazar Doumeingts, Guy. editor. Müller, Jörg. editor. Morel, Gérard. editor. Vallespir, Bruno. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-714-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Models of Operating System Kernels

2024-11-22T19:52:11Z

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

Forensic Computing

2024-11-22T19:52:11Z

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

Java Methods for Financial Engineering Applications in Finance and Investment

2024-11-22T19:52:11Z

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

Workflows for e-Science Scientific Workflows for Grids

2024-11-22T19:52:11Z

Yazar Taylor, Ian J. editor. Deelman, Ewa. editor. Gannon, Dennis B. editor. Shields, Matthew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-757-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007

2024-11-22T19:52:11Z

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

Practical Distributed Processing

2024-11-22T19:52:11Z

Yazar Brooke, Phillip J. author. Paige, Richard F. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-841-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Interoperability II New Challenges and Approaches

2024-11-22T19:52:11Z

Yazar Gonçalves, Ricardo J. editor. Müller, Jörg P. editor. Mertins, Kai. editor. Zelm, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-858-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Performancemanagement für serviceorientierte JAVA-Anwendungen Werkzeug- und Methodenunterstützung im Spannungsfeld von Entwicklung und Betrieb

2024-11-22T19:52:11Z

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

Distributed Services with OpenAFS for Enterprise and Education

2024-11-22T19:52:11Z

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

Software testing testing across the entire software development life cycle

2024-11-22T19:52:11Z

Yazar Everett, Gerald D., 1943- McLeod, Raymond. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201507
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Component Development with Zope 3

2024-11-22T19:52:11Z

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

Enabling Semantic Web Services The Web Service Modeling Ontology

2024-11-22T19:52:11Z

Yazar Fensel, Dieter. author. Lausen, Holger. author. Bruijn, Jos. author. Stollberg, Michael. author. Roman, Dumitru. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-34520-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Services Computing

2024-11-22T19:52:11Z

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

Conceptual Modeling of Information Systems

2024-11-22T19:52:11Z

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

ITIL Das IT-Servicemanagement Framework

2024-11-22T19:52:11Z

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

Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software

2024-11-22T19:52:11Z

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

Relationale und postrelationale Datenbanken

2024-11-22T19:52:11Z

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

Digitale Hardware/Software-Systeme Synthese und Optimierung

2024-11-22T19:52:11Z

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

Design Patterns for e-Science

2024-11-22T19:52:11Z

Yazar Gardner, Henry. author. Manduchi, Gabriele. author. Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-68090-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Einführung in die Constraint-Programmierung Grundlagen, Methoden, Sprachen, Anwendungen

2024-11-22T19:52:11Z

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

Finite Model Theory and Its Applications

2024-11-22T19:52:11Z

Yazar Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-68804-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

2024-11-22T19:52:11Z

Yazar Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69061-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2024-11-22T19:52:11Z

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

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

2024-11-22T19:52:11Z

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

Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings

2024-11-22T19:52:11Z

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

Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-11-22T19:52:11Z

Yazar Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69868-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed, High-Performance and Grid Computing in Computational Biology International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Dubitzky, Werner. editor. Schuster, Assaf. editor. Sloot, Peter M. A. editor. Schroeder, Michael. editor. Romberg, Mathilde. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69968-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security Applications 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers

2024-11-22T19:52:11Z

Yazar Lee, Jae Kwang. editor. Yi, Okyeon. editor. Yung, Moti. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71093-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

2024-11-22T19:52:11Z

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

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-11-22T19:52:11Z

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

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

2024-11-22T19:52:11Z

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

Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Lukowicz, Paul. editor. Thiele, Lothar. editor. Tröster, Gerhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71270-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-11-22T19:52:11Z

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

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

2024-11-22T19:52:11Z

Yazar Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71322-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers

2024-11-22T19:52:11Z

Yazar Daydé, Michel. editor. Palma, José M. L. M. editor. Coutinho, Álvaro L. G. A. editor. Pacitti, Esther. editor. Lopes, João Correia. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71351-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

2024-11-22T19:52:11Z

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

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71493-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Active Networks IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers

2024-11-22T19:52:11Z

Yazar Minden, Gary J. editor. Calvert, Kenneth L. editor. Solarski, Marcin. editor. Yamamoto, Miki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71500-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling

2024-11-22T19:52:11Z

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

Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

2024-11-22T19:52:11Z

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

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-11-22T19:52:11Z

Yazar Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Seghrouchni, Amal El Fallah. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71956-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

2024-11-22T19:52:11Z

Yazar Fiadeiro, José Luiz. editor. Schobbens, Pierre-Yves. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71998-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic

2024-11-22T19:52:11Z

Yazar Clavel, Manuel. author. Durán, Francisco. author. Eker, Steven. author. Lincoln, Patrick. author. Martí-Oliet, Narciso. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71999-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pervasive Computing 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar LaMarca, Anthony. editor. Langheinrich, Marc. editor. Truong, Khai N. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72037-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers

2024-11-22T19:52:11Z

Yazar Lehner, Wolfgang. editor. Meyer, Norbert. editor. Streit, Achim. editor. Stewart, Craig. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72337-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Cérin, Christophe. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72360-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Dynamics and Agility International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72426-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II

2024-11-22T19:52:11Z

Yazar Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72586-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III

2024-11-22T19:52:11Z

Yazar Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72588-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV

2024-11-22T19:52:11Z

Yazar Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72590-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Akyildiz, Ian F. editor. Sivakumar, Raghupathy. editor. Ekici, Eylem. editor. Oliveira, Jaudelice Cavalcante de. editor. McNair, Janise. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72606-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web: Research and Applications 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Franconi, Enrico. editor. Kifer, Michael. editor. May, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72667-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modelling in Information Systems Engineering

2024-11-22T19:52:11Z

Yazar Krogstie, John. editor. Opdahl, Andreas Lothe. editor. Brinkkemper, Sjaak. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72677-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Lee, Yann-Hang. editor. Kim, Heung-Nam. editor. Kim, Jong. editor. Park, Yongwan. editor. Yang, Laurence T. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72685-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wired/Wireless Internet Communications 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Boavida, Fernando. editor. Monteiro, Edmundo. editor. Mascolo, Saverio. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72697-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Chahed, Tijani. editor. Tuffin, Bruno. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72709-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments

2024-11-22T19:52:11Z

Yazar Streitz, Norbert. editor. Kameas, Achilles. editor. Mavrommati, Irene. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72727-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Tomkos, Ioannis. editor. Neri, Fabio. editor. Solé Pareta, Josep. editor. Masip Bruin, Xavier. editor. Sánchez Lopez, Sergi. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72731-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service Availability 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Malek, Miroslaw. editor. Reitenspieß, Manfred. editor. Moorsel, Aad. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72736-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-11-22T19:52:11Z

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

Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

2024-11-22T19:52:11Z

Yazar Shen, Weiming. editor. Luo, Junzhou. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Hao, Qi. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72863-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-11-22T19:52:11Z

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

Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings

2024-11-22T19:52:11Z

Yazar Akehurst, David H. editor. Vogel, Régis. editor. Paige, Richard F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72901-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Jin, Hai. editor. Rana, Omer F. editor. Pan, Yi. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72905-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Test and Analysis of Web Services

2024-11-22T19:52:11Z

Yazar Baresi, Luciano. editor. Nitto, Elisabetta Di. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72912-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Bonsangue, Marcello M. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72952-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72982-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Managing Traffic Performance in Converged Networks 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Mason, Lorne. editor. Drwiega, Tadeusz. editor. Yan, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72990-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pervasive Computing for Quality of Life Enhancement 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Okadome, Takeshi. editor. Yamazaki, Tatsuya. editor. Makhtari, Mounir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73035-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73066-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

2024-11-22T19:52:11Z

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

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

2024-11-22T19:52:11Z

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

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2024-11-22T19:52:11Z

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

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

2024-11-22T19:52:11Z

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

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

2024-11-22T19:52:11Z

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

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

2024-11-22T19:52:11Z

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

Der Computer - Mein Lebenswerk

2024-11-22T19:52:11Z

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

Ruby on Rails for PHP and Java Developers

2024-11-22T19:52:11Z

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

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

2024-11-22T19:52:11Z

Yazar Comon-Lundh, Hubert. editor. Kirchner, Claude. editor. Kirchner, Hélène. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73147-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73859-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Data Mining and Applications Third International Conference, ADMA 2007 Harbin, China, August 6-8, 2007 Proceedings

2024-11-22T19:52:11Z

Yazar Alhajj, Reda. editor. Gao, Hong. editor. Li, Xue. editor. Li, Jianzhong. editor. Zaïane, Osmar R. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73871-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Distributed Systems

2024-11-22T19:52:11Z

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

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings

2024-11-22T19:52:11Z

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

RoboCup 2006: Robot Soccer World Cup X

2024-11-22T19:52:11Z

Yazar Lakemeyer, Gerhard. editor. Sklar, Elizabeth. editor. Sorrenti, Domenico G. editor. Takahashi, Tomoichi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74024-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecting Dependable Systems IV

2024-11-22T19:52:11Z

Yazar Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74035-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Nielson, Hanne Riis. editor. Filé, Gilberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74061-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

2024-11-22T19:52:11Z

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

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II

2024-11-22T19:52:11Z

Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74477-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III

2024-11-22T19:52:11Z

Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74484-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers

2024-11-22T19:52:11Z

Yazar Noriega, Pablo. editor. Vázquez-Salceda, Javier. editor. Boella, Guido. editor. Boissier, Olivier. editor. Dignum, Virginia. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74459-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Kermarrec, Anne-Marie. editor. Bougé, Luc. editor. Priol, Thierry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74466-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I

2024-11-22T19:52:11Z

Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74472-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

2024-11-22T19:52:11Z

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

Parallel and Distributed Processing and Applications 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings

2024-11-22T19:52:11Z

Yazar Stojmenovic, Ivan. editor. Thulasiram, Ruppa K. editor. Yang, Laurence T. editor. Jia, Weijia. editor. Guo, Minyi. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74742-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of High Performance Computing and Networking ISPA 2007 Workshops ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007 Proceedings

2024-11-22T19:52:11Z

Yazar Thulasiraman, Parimala. editor. He, Xubin. editor. Xu, Tony Li. editor. Denko, Mieso K. editor. Thulasiram, Ruppa K. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74767-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings

2024-11-22T19:52:11Z

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

Ad-Hoc, Mobile, and Wireless Networks 6th International Conference, ADHOC-NOW 2007, Morelia, Mexico, September 24-26, 2007, Proceeedings

2024-11-22T19:52:11Z

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

Next Generation Teletraffic and Wired/Wireless Advanced Networking 7th International Conference, NEW2AN 2007 St. Petersburg, Russia, September 10-14, 2007 Proceedings

2024-11-22T19:52:11Z

Yazar Koucheryavy, Yevgeni. editor. Harju, Jarmo. editor. Sayenko, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74833-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

UbiComp 2007: Ubiquitous Computing 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Krumm, John. editor. Abowd, Gregory D. editor. Seneviratne, Aruna. editor. Strang, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74853-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Self-Organizing Systems Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Hutchison, David. editor. Katz, Randy H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74917-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiagent System Technologies 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Petta, Paolo. editor. Müller, Jörg P. editor. Klusch, Matthias. editor. Georgeff, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74949-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

2024-11-22T19:52:11Z

Yazar George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74964-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing – ICSOC 2007 Fifth International Conference, Vienna, Austria, September 17-20, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Krämer, Bernd J. editor. Lin, Kwei-Jay. editor. Narasimhan, Priya. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74974-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

2024-11-22T19:52:11Z

Yazar Gaudin, Emmanuel. editor. Najm, Elie. editor. Reed, Rick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74984-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms for Sensor and Ad Hoc Networks Advanced Lectures

2024-11-22T19:52:11Z

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

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

2024-11-22T19:52:11Z

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

Software Architecture First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings

2024-11-22T19:52:11Z

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

Computational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings

2024-11-22T19:52:11Z

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

Transactions on Aspect-Oriented Software Development III

2024-11-22T19:52:11Z

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

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Engels, Gregor. editor. Opdyke, Bill. editor. Schmidt, Douglas C. editor. Weil, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75209-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings

2024-11-22T19:52:11Z

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

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

2024-11-22T19:52:11Z

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

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

2024-11-22T19:52:11Z

Yazar Namjoshi, Kedar S. editor. Yoneda, Tomohiro. editor. Higashino, Teruo. editor. Okamura, Yoshio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75596-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers

2024-11-22T19:52:11Z

Yazar Obermaisser, Roman. editor. Nah, Yunmook. editor. Puschner, Peter. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75664-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers

2024-11-22T19:52:11Z

Yazar Kågström, Bo. editor. Elmroth, Erik. editor. Dongarra, Jack. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75755-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings

2024-11-22T19:52:11Z

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

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

2024-11-22T19:52:11Z

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

Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings

2024-11-22T19:52:11Z

Yazar Xu, Ming. editor. Zhan, Yinwei. editor. Cao, Jiannong. editor. Liu, Yijun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76837-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I

2024-11-22T19:52:11Z

Yazar Meersman, Robert. editor. Tari, Zahir. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76888-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II

2024-11-22T19:52:11Z

Yazar Meersman, Robert. editor. Tari, Zahir. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76890-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Persuasive Technology Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007, Revised Selected Papers

2024-11-22T19:52:11Z

Yazar Kort, Yvonne. editor. IJsselsteijn, Wijnand. editor. Midden, Cees. editor. Eggen, Berry. editor. Fogg, B. J. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77006-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007. Proceedings

2024-11-22T19:52:11Z

Yazar Cavazza, Marc. editor. Donikian, Stéphane. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77039-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development IV

2024-11-22T19:52:11Z

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

Masterkurs Client/Server- Programmierung mit Java Anwendungen entwickeln mit JDBC, Sockets, XML-RPC, RMI und JMS - Kompakt und praxisnah - Zahlreiche Programmbeispiele und Aufgaben

2024-11-22T19:52:11Z

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

Profikurs ABAP® Konkrete, praxisorientierte Lösungen - Tipps, Tricks und jede Menge Erfahrung

2024-11-22T19:52:11Z

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

Java als erste Programmiersprache Vom Einsteiger zum Profi

2024-11-22T19:52:11Z

Yazar Heinisch, Cornelia. author. Müller-Hofmann, Frank. author. Goll, Joachim. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8351-9101-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I

2024-11-22T19:52:11Z

Yazar Beliczynski, Bartlomiej. editor. Dzielinski, Andrzej. editor. Iwanowski, Marcin. editor. Ribeiro, Bernardete. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71618-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II

2024-11-22T19:52:11Z

Yazar Beliczynski, Bartlomiej. editor. Dzielinski, Andrzej. editor. Iwanowski, Marcin. editor. Ribeiro, Bernardete. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71629-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Measurement Establish — Extract — Evaluate — Execute

2024-11-22T19:52:11Z

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

Databases, Information Systems, and Peer-to-Peer Computing International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers

2024-11-22T19:52:11Z

Yazar Moro, Gianluca. editor. Bergamaschi, Sonia. editor. Joseph, Sam. editor. Morin, Jean-Henry. editor. Ouksel, Aris M. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71661-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports

2024-11-22T19:52:11Z

Yazar Südholt, Mario. editor. Consel, Charles. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71774-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ubiquitous Convergence Technology First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers

2024-11-22T19:52:11Z

Yazar Stajano, Frank. editor. Kim, Hyoung Joong. editor. Chae, Jong-Suk. editor. Kim, Seong-Dong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71789-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Effiziente Softwareentwicklung mit Referenzmodellen

2024-11-22T19:52:11Z

Yazar Becker, Jörg. editor. Delfmann, Patrick. editor. Rieke, Tobias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7908-1994-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1