Arama Sonuçları Software - Daraltılmış: 2008

Software Evolution

2025-03-18T20:37:58Z

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

Software-Qualität

2025-03-18T20:37:58Z

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

Software Architecture

2025-03-18T20:37:58Z

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

Manage software testing

2025-03-18T20:37:58Z

Yazar Farrell-Vinay, Peter.
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

Agile Software Engineering

2025-03-18T20:37:58Z

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

Software process dynamics

2025-03-18T20:37:58Z

Yazar Madachy, Raymond J. (Raymond Joseph)
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5361010
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecting secure software systems

2025-03-18T20:37:58Z

Yazar Talukder, Asoke K. Chaitanya, Manish.
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 for Algebraic Geometry

2025-03-18T20:37:58Z

Yazar Stillman, Michael. editor. Verschelde, Jan. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-78133-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Object-oriented software engineering

2025-03-18T20:37:58Z

Yazar Schach, Stephen R.
Yer Numarası QA 76.758 S3 2008
Format: Kitap
Durum Beytepe Kütüphanesi~1

Rationale-Based Software Engineering

2025-03-18T20:37:58Z

Yazar Burge, Janet E. author. Carroll, John M. author. McCall, Raymond. author. Mistrik, Ivan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77583-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Building software a practitioner's guide

2025-03-18T20:37:58Z

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

Handbook of software engineering & knowledge engineering

2025-03-18T20:37:58Z

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

Software solutions for engineers and scientists

2025-03-18T20:37:58Z

Yazar Sanchez, Julio, 1938- Canton, Maria P.
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

Networked RFID Systems, Software and Services

2025-03-18T20:37:58Z

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

Software Engineering Research, Management and Applications

2025-03-18T20:37:58Z

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

Software testing and continuous quality improvement

2025-03-18T20:37:58Z

Yazar Lewis, William E.
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

Guide to Advanced Empirical Software Engineering

2025-03-18T20:37:58Z

Yazar Shull, Forrest. editor. Singer, Janice. editor. Sjøberg, Dag I. K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-044-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Elementary Logic For Software Development

2025-03-18T20:37:58Z

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

A Concise Introduction to Software Engineering

2025-03-18T20:37:58Z

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

Engineering analysis with ANSYS software

2025-03-18T20:37:58Z

Yazar Nakasone, Y. (Yuji) Yoshimoto, S. (Shigeka) Stolarski, T. A.
Yer Numarası TA345.5.A57 N35 2006
Format: Kitap
Durum Beytepe Kütüphanesi~1

Running an agile software development project

2025-03-18T20:37:58Z

Yazar Holcombe, W. M. L. (William Michael Lloyd), 1944-
Yer Numarası ONLINE
Elektronik Erişim Click for information Click here to view book Image http://images.contentreserve.com/ImageType-100/0128-1/{89677831-D58E-45B6-BB85-1725E2782B73}Img100.jpg Books24x7 http://www.books24x7.com/marc.asp?bookid=29682 John Wiley http://dx.doi.org/10.1002/9780470385883
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Cartography Software Tools and Mapping Techniques

2025-03-18T20:37:58Z

Yazar Sherborne, Tony. editor. Buckingham Shum, Simon J. editor. Okada, Alexandra. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-149-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Baseband Analog Circuits for Software Defined Radio

2025-03-18T20:37:58Z

Yazar Giannini, Vito. author. Craninckx, Jan. author. Baschirotto, Andrea. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6538-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software maintenance management evaluation and continuous improvement

2025-03-18T20:37:58Z

Yazar April, Alain, 1958- Abran, Alain, 1949-
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129685
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software for Data Analysis Programming with R

2025-03-18T20:37:58Z

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

Symbolic data analysis and the SODAS software

2025-03-18T20:37:58Z

Yazar Diday, E. Noirhomme-Fraiture, Monique. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9780470723562 MyiLibrary, Table of contents http://www.myilibrary.com?id=130833&ref=toc
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software engineering foundations a software science perspective

2025-03-18T20:37:58Z

Yazar Wang, Yingxu.
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

Directory of library automation software, systems, and services.

2025-03-18T20:37:58Z

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

More Joel on Software Further Thoughts on Diverse and Occasionally Related Matters That Will Prove of Interest to Software Developers, Designers, and Managers, and to Those Who, Whether by Good Fortune or III Luck, Work with Them in Some Capacity

2025-03-18T20:37:58Z

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

Maturing Usability Quality in Software, Interaction and Value

2025-03-18T20:37:58Z

Yazar Law, Effie Lai-Chong. editor. Hvannberg, Ebba Thora. editor. Cockton, Gilbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-941-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Social Software Formen der Kooperation in computerbasierten Netzwerken

2025-03-18T20:37:58Z

Yazar Stegbauer, Christian. editor. Jäckel, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-531-90802-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

2025-03-18T20:37:58Z

Yazar Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68524-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers

2025-03-18T20:37:58Z

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

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

2025-03-18T20:37:58Z

Yazar Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70930-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supply Chain Management and Advanced Planning Concepts, Models, Software, and Case Studies

2025-03-18T20:37:58Z

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

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

2025-03-18T20:37:58Z

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

The Testing Network An Integral Approach to Test Activities in Large Software Projects

2025-03-18T20:37:58Z

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

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2025-03-18T20:37:58Z

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

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2025-03-18T20:37:58Z

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

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

2025-03-18T20:37:58Z

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

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

2025-03-18T20:37:58Z

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

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2025-03-18T20:37:58Z

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

Model-Based Software and Data Integration First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings

2025-03-18T20:37:58Z

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

The Making of Information Systems Software Engineering and Management in a Globalized World

2025-03-18T20:37:58Z

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

Making Globally Distributed Software Development a Success Story International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings

2025-03-18T20:37:58Z

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

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

2025-03-18T20:37:58Z

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

The Common Component Modeling Example Comparing Software Component Models

2025-03-18T20:37:58Z

Yazar Rausch, Andreas. editor. Reussner, Ralf. editor. Mirandola, Raffaela. editor. Plášil, František. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85289-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering

2025-03-18T20:37:58Z

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

Farbe im Digitalen Publizieren Konzepte der digitalen Farbwiedergabe für Office, Design und Software

2025-03-18T20:37:58Z

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

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings

2025-03-18T20:37:58Z

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

Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

2025-03-18T20:37:58Z

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

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

2025-03-18T20:37:58Z

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

Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

2025-03-18T20:37:58Z

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

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings

2025-03-18T20:37:58Z

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

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers

2025-03-18T20:37:58Z

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

Innovative Lernsysteme Kompetenzentwicklung mit Blended Learning und Social Software

2025-03-18T20:37:58Z

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

Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

2025-03-18T20:37:58Z

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

Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

2025-03-18T20:37:58Z

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

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

2025-03-18T20:37:58Z

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

Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers

2025-03-18T20:37:58Z

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

Software Process and Product Measurement International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers

2025-03-18T20:37:58Z

Yazar Cuadrado-Gallego, Juan J. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Abran, Alain. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85553-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Improvement 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar O’Connor, Rory V. editor. Baddoo, Nathan. editor. Smolander, Kari. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85936-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings

2025-03-18T20:37:58Z

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

Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers

2025-03-18T20:37:58Z

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

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

2025-03-18T20:37:58Z

Yazar Wirsing, Martin. editor. Banâtre, Jean-Pierre. editor. Hölzl, Matthias. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89437-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies for Embedded and Ubiquitous Systems 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings

2025-03-18T20:37:58Z

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

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

2025-03-18T20:37:58Z

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

Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

2025-03-18T20:37:58Z

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

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

2025-03-18T20:37:58Z

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

Software Architecture Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings

2025-03-18T20:37:58Z

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

Practical support for lean six sigma software process definition using IEEE software engineering standards

2025-03-18T20:37:58Z

Yazar Land, Susan K. Smith, Douglas Burr, 1943- Walz, John W.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129687
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tutorial on hardware and software reliability, maintainability, and availability

2025-03-18T20:37:58Z

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

Open Source Development, Communities and Quality IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy

2025-03-18T20:37:58Z

Yazar Russo, Barbara. editor. Damiani, Ernesto. editor. Hissam, Scott. editor. Lundell, Björn. editor. Succi, Giancarlo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-09684-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Elektronik in der Fahrzeugtechnik Hardware, Software, Systeme und Projektmanagement

2025-03-18T20:37:58Z

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

Foundations of software testing : fundamental algorithms and techniques : an undergraduate and graduate text, a reference for the practicing software engineer

2025-03-18T20:37:58Z

Yazar Mathur, Aditya P.
Yer Numarası QA76.76.T48 M38 2008
Format: Kitap
Durum Beytepe Kütüphanesi~1

Digital signage software, networks, advertising, and displays : a primer for understanding the business

2025-03-18T20:37:58Z

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

The IT/digital legal companion a comprehensive business guide to software, Internet, and IP law : includes contracts and web forms

2025-03-18T20:37:58Z

Yazar Landy, Gene K. Mastrobattista, Amy J.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9781597492560
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software development for embedded multi-core systems a practical guide using embedded Intel architecture

2025-03-18T20:37:58Z

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

Electronic structure modeling connections between theory and software

2025-03-18T20:37:58Z

Yazar Trindle, Carl. Shillady, Donald.
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

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Abrahamsson, Pekka. editor. Baskerville, Richard. editor. Conboy, Kieran. editor. Fitzgerald, Brian. editor. Morgan, Lorraine. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68255-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet-Security aus Software-Sicht Ein Leitfaden zur Software-Erstellung für sicherheitskritische Bereiche

2025-03-18T20:37:58Z

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

Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings

2025-03-18T20:37:58Z

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

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

2025-03-18T20:37:58Z

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

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

2025-03-18T20:37:58Z

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

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

2025-03-18T20:37:58Z

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

Software Process and Product Measurement International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings

2025-03-18T20:37:58Z

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

Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

2025-03-18T20:37:58Z

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

Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE

2025-03-18T20:37:58Z

Yazar Fähnrich, Klaus-Peter. editor. Husen, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7908-1944-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Offene Innovationsprozesse Die kommerzielle Entwicklung von Open-Source-Software

2025-03-18T20:37:58Z

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

Security software development assessing and managing security risks

2025-03-18T20:37:58Z

Yazar Ashbaugh, Douglas 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

Patterns for performance and operability building and testing enterprise software

2025-03-18T20:37:58Z

Yazar Ford, Chris (Christopher B.)
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 development rhythms harmonizing agile practices for synergy

2025-03-18T20:37:58Z

Yazar Lui, Kim Man. Chan, Keith C. C.
Yer Numarası ONLINE
Elektronik Erişim Books24x7 http://www.books24x7.com/marc.asp?bookid=26059 John Wiley http://dx.doi.org/10.1002/9780470192672 MyiLibrary, Table of contents http://www.myilibrary.com?id=137390&ref=toc Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007019073-b.html
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emerging methods, technologies, and process management in software engineering

2025-03-18T20:37:58Z

Yazar De Lucia, Andrea. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0808/2007032135-b.html John Wiley http://dx.doi.org/10.1002/9780470238103
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and verification of real-time systems formalisms and software tools

2025-03-18T20:37:58Z

Yazar Merz, Stephan. Navet, Nicolas.
Yer Numarası ONLINE
Elektronik Erişim Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643 John Wiley http://dx.doi.org/10.1002/9780470611012 Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using aspect-oriented programming for trustworthy software development

2025-03-18T20:37:58Z

Yazar Safonov, V. O. (Vladimir Olegovich)
Yer Numarası ONLINE
Elektronik Erişim Books24x7 http://www.books24x7.com/marc.asp?bookid=26061 John Wiley http://dx.doi.org/10.1002/9780470283110 MyiLibrary, Table of contents http://www.myilibrary.com?id=138149&ref=toc Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0829/2007041615-b.html
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software testing and quality assurance theory and practice

2025-03-18T20:37:58Z

Yazar Naik, Kshirasagar, 1959- Tripathy, Priyadarshi, 1958- Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9780470382844
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling 1H NMR spectra of organic compounds theory, applications and NMR prediction software

2025-03-18T20:37:58Z

Yazar Abraham, R. J. (Raymond John), 1933- Mobli, Mehdi.
Yer Numarası ONLINE
Elektronik Erişim Formulario de incidencias Acceso al recurso electr�nico (s�lo UBU) John Wiley http://dx.doi.org/10.1002/9780470721803 MyiLibrary, Table of contents http://www.myilibrary.com?id=234276&ref=toc http://site.ebrary.com/lib/alltitles/Doc?id=10270652
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer modeling in bioengineering theoretical background, examples and software

2025-03-18T20:37:58Z

Yazar Kojic, Milos, 1941- Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=366796 John Wiley http://dx.doi.org/10.1002/9780470751763 MyiLibrary, Table of contents http://www.myilibrary.com?id=184085&ref=toc
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Microstructural characterization of materials

2025-03-18T20:37:58Z

Yazar Brandon, D. G. Kaplan, Wayne D. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim Online text http://onlinelibrary.wiley.com/book/10.1002/9780470727133 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=470287 John Wiley http://dx.doi.org/10.1002/9780470727133 MyiLibrary, Table of contents http://www.myilibrary.com?id=234294&ref=toc
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An essential introduction to Maya character rigging with DVD

2025-03-18T20:37:58Z

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

Issues in Multi-Agent Systems The AgentCities.ES Experience

2025-03-18T20:37:58Z

Yazar Moreno, Antonio. editor. Pavón, Juan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-8543-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emerging Web Services Technology, Volume II

2025-03-18T20:37:58Z

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

Health Care Benchmarking and Performance Evaluation An Assessment using Data Envelopment Analysis (DEA)

2025-03-18T20:37:58Z

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

Agent Technology and e-Health

2025-03-18T20:37:58Z

Yazar Annicchiarico, Roberta. editor. Cortés, Ulises. editor. Urdiales, Cristina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-8547-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bidding Strategies in Agent-Based Continuous Double Auctions

2025-03-18T20:37:58Z

Yazar Ma, Huiye. author. Leung, Ho-fung. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-8730-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Autonomic Networking and Communication

2025-03-18T20:37:58Z

Yazar Calisti, Monique. editor. Meer, Sven. editor. Strassner, John. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-8569-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Defence Industry Applications of Autonomous Agents and Multi-Agent Systems

2025-03-18T20:37:58Z

Yazar Pěchouček, Michal. editor. Thompson, Simon G. editor. Voos, Holger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-8571-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CASCOM: Intelligent Service Coordination in the Semantic Web

2025-03-18T20:37:58Z

Yazar Schumacher, Michael. editor. Schuldt, Helko. editor. Helin, Helkki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-7643-8575-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PowerBuilder : PowerScript reference, version 6.

2025-03-18T20:37:58Z

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

International Mining Forum 2008 economic evaluation and risk analysis of mineral projects

2025-03-18T20:37:58Z

Yazar International Mining Forum (2008) Sobczyk, Eugeniusz J. Kicki, Jerzy.
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

Reliability technology, human error, and quality in health care

2025-03-18T20:37:58Z

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

Cognitive radio networks

2025-03-18T20:37:58Z

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

The compiler design handbook optimizations and machine code generation

2025-03-18T20:37:58Z

Yazar Srikant, Y. N. Shankar, P. (Priti)
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

Managing global development risk

2025-03-18T20:37:58Z

Yazar Hussey, James M. Hall, Steven E.
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

Interpreting the CMMI a process improvement approach

2025-03-18T20:37:58Z

Yazar Kulpa, Margaret K. Johnson, Kent 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

Hypercomputation Computing Beyond the Church-Turing Barrier

2025-03-18T20:37:58Z

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

Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity

2025-03-18T20:37:58Z

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

Moving Wearables into the Mainstream Taming the Borg

2025-03-18T20:37:58Z

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

Computer And Computing Technologies In Agriculture, Volume I First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007

2025-03-18T20:37:58Z

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

Computer And Computing Technologies In Agriculture, Volume II First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007

2025-03-18T20:37:58Z

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

Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications

2025-03-18T20:37:58Z

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

Battery Management Systems Accurate State-of-Charge Indication for Battery-Powered Applications

2025-03-18T20:37:58Z

Yazar Pop, Valer. author. Bergveld, Henk Jan. author. Danilov, Dmitry. author. Regtien, Paul P. L. author. Notten, Peter H. L. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6945-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Systems Specification and Design Languages Selected contributions from FDL’07

2025-03-18T20:37:58Z

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

Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms

2025-03-18T20:37:58Z

Yazar Wieferink, Andreas. 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-8652-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Office and SharePoint 2007 User’s Guide Integrating SharePoint with Excel, Outlook, Access, and Word

2025-03-18T20:37:58Z

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

Practical Django Projects

2025-03-18T20:37:58Z

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

Founders at Work Stories of Startups’ Early Days

2025-03-18T20:37:58Z

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

Network Performance Analysis Using the J Programming Language

2025-03-18T20:37:58Z

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

Advanced Methods for Inconsistent Knowledge Management

2025-03-18T20:37:58Z

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

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities

2025-03-18T20:37:58Z

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

Network Models and Optimization Multiobjective Genetic Algorithm Approach

2025-03-18T20:37:58Z

Yazar Gen, Mitsuo. author. Cheng, Runwei. author. Lin, Lin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-181-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Interoperability III New Challenges and Industrial Approaches

2025-03-18T20:37:58Z

Yazar Mertins, Kai. editor. Ruggaber, Rainer. editor. Popplewell, Keith. editor. Xu, Xiaofei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84800-221-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developing Ambient Intelligence Proceedings of the International Conference on Ambient Intelligence Developments (AmI.d’07)

2025-03-18T20:37:58Z

Yazar Maña, Antonio. author. Rudolph, Carsten. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-2-287-78544-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Cryptology – AFRICACRYPT 2008 First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. Proceedings

2025-03-18T20:37:58Z

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

Modeling Semantic Web Services The Web Service Modeling Language

2025-03-18T20:37:58Z

Yazar Bruijn, Jos. author. Fensel, Dieter. author. Kerrigan, Mick. author. Keller, Uwe. author. Lausen, Holger. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68172-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The IT Measurement Compendium Estimating and Benchmarking Success with Functional Size Measurement

2025-03-18T20:37:58Z

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

The Semantic Web: Research and Applications 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings

2025-03-18T20:37:58Z

Yazar Bechhofer, Sean. editor. Hauswirth, Manfred. editor. Hoffmann, Jörg. editor. Koubarakis, Manolis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68234-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

2025-03-18T20:37:58Z

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

Requirements Management The Interface Between Requirements Development and All Other Systems Engineering Processes

2025-03-18T20:37:58Z

Yazar Hood, Colin. author. Wiedemann, Simon. author. Fichtinger, Stefan. author. Pautz, Urte. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68476-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Persuasive Technology Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Oinas-Kukkonen, Harri. editor. Hasle, Per. editor. Harjumaa, Marja. editor. Segerståhl, Katarina. editor. Øhrstrøm, Peter. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68504-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Experimental Algorithms 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings

2025-03-18T20:37:58Z

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

OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings

2025-03-18T20:37:58Z

Yazar Mueller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor. Malony, Allen D. editor. Voss, Michael. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68555-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools for High Performance Computing Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart

2025-03-18T20:37:58Z

Yazar Resch, Michael. editor. Keller, Rainer. editor. Himmler, Valentin. editor. Krammer, Bettina. editor. Schulz, Alexander. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68564-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multimodal Technologies for Perception of Humans International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers

2025-03-18T20:37:58Z

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

Coordination Models and Languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings

2025-03-18T20:37:58Z

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

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings

2025-03-18T20:37:58Z

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

Algorithm Theory – SWAT 2008 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings

2025-03-18T20:37:58Z

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

Image and Signal Processing 3rd International Conference, ICISP 2008. Cherbourg-Octeville, France, July 1 - 3, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Elmoataz, Abderrahim. editor. Lezoray, Olivier. editor. Nouboud, Fathallah. editor. Mammass, Driss. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69905-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

MATLAB Guide to Finite Elements An Interactive Approach

2025-03-18T20:37:58Z

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

Smart Homes and Health Telematics 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings

2025-03-18T20:37:58Z

Yazar Helal, Sumi. editor. Mitra, Simanta. editor. Wong, Johnny. editor. Chang, Carl K. editor. Mokhtari, Mounir. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69916-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Robotics Mobile Robot Design and Applications with Embedded Systems

2025-03-18T20:37:58Z

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

Die Softwareindustrie Ökonomische Prinzipien, Strategien, Perspektiven

2025-03-18T20:37:58Z

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

AJAX Geschichte, Technologie, Zukunft

2025-03-18T20:37:58Z

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

Web 2.0

2025-03-18T20:37:58Z

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

Python Scripting for Computational Science

2025-03-18T20:37:58Z

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

Informatikforschung in Deutschland

2025-03-18T20:37:58Z

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

Theoretische Informatik Eine umfassende Einführung

2025-03-18T20:37:58Z

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

Petri-Netze

2025-03-18T20:37:58Z

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

Unfoldings A Partial-Order Approach to Model Checking

2025-03-18T20:37:58Z

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

Graph Drawing 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers

2025-03-18T20:37:58Z

Yazar Hong, Seok-Hee. editor. Nishizeki, Takao. editor. Quan, Wu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77537-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers

2025-03-18T20:37:58Z

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

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Geffert, Viliam. editor. Karhumäki, Juhani. editor. Bertoni, Alberto. editor. Preneel, Bart. editor. Návrat, Pavol. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77566-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Information Systems 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006 , Revised Selected Papers

2025-03-18T20:37:58Z

Yazar Manolopoulos, Yannis. editor. Filipe, Joaquim. editor. Constantopoulos, Panos. editor. Cordeiro, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77581-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ajax in Oracle JDeveloper

2025-03-18T20:37:58Z

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

Wireless Sensor Networks 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings

2025-03-18T20:37:58Z

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

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers

2025-03-18T20:37:58Z

Yazar Labarta, Jesús. editor. Joe, Kazuki. editor. Sato, Toshinori. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77704-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Planning Tasks Domain Complexity and Heuristic Decomposition

2025-03-18T20:37:58Z

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

Public Key Cryptography – PKC 2008 11th International Workshop on Practice and Theory in Public-Key Cryptography, Barcelona, Spain, March 9-12, 2008. Proceedings

2025-03-18T20:37:58Z

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

Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers

2025-03-18T20:37:58Z

Yazar Blockeel, Hendrik. editor. Ramon, Jan. editor. Shavlik, Jude. editor. Tadepalli, Prasad. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78469-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers

2025-03-18T20:37:58Z

Yazar Bougé, Luc. editor. Forsell, Martti. editor. Träff, Jesper Larsson. editor. Streit, Achim. editor. Ziegler, Wolfgang. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78474-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bioinformatics Problem Solving Paradigms

2025-03-18T20:37:58Z

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

Theory of Cryptography Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Proceedings

2025-03-18T20:37:58Z

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

Enterprise Applications and Services in the Finance Industry 3rd International Workshop, FinanceCom 2007, Montreal, Canada, December 8, 2007. Revised Papers

2025-03-18T20:37:58Z

Yazar Veit, Daniel J. editor. Kundisch, Dennis. editor. Weitzel, Tim. editor. Weinhardt, Christof. editor. Rabhi, Fethi A. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78550-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary Computation in Combinatorial Optimization 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008. Proceedings

2025-03-18T20:37:58Z

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

Semantic Service Provisioning

2025-03-18T20:37:58Z

Yazar Kuropka, Dominik. editor. Staab, Steffen. editor. Tröger, Peter. editor. Weske, Mathias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78617-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Einstieg in Java und OOP

2025-03-18T20:37:58Z

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

Probabilistic Inductive Logic Programming Theory and Applications

2025-03-18T20:37:58Z

Yazar Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78652-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

2025-03-18T20:37:58Z

Yazar Barthe, Gilles. editor. Fournet, Cédric. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78663-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar O’Neill, Michael. editor. Vanneschi, Leonardo. editor. Gustafson, Steven. editor. Esparcia Alcázar, Anna Isabel. editor. Falco, Ivanoe. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78671-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers

2025-03-18T20:37:58Z

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

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedings

2025-03-18T20:37:58Z

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

LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Laber, Eduardo Sany. editor. Bornstein, Claudson. editor. Nogueira, Loana Tito. editor. Faria, Luerbio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78773-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems and e-Business Technologies 2nd International United Information Systems Conference UNISCON 2008 Klagenfurt, Austria, April 22–25, 2008 Proceedings

2025-03-18T20:37:58Z

Yazar Kaschek, Roland. editor. Kop, Christian. editor. Steinberger, Claudia. editor. Fliedl, Günther. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78942-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – EUROCRYPT 2008 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008. Proceedings

2025-03-18T20:37:58Z

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

Transactions on Computational Science I

2025-03-18T20:37:58Z

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

Artificial Evolution 8th International Conference, Evolution Artificielle, EA 2007, Tours, France, October 29-31, 2007, Revised Selected Papers

2025-03-18T20:37:58Z

Yazar Monmarché, Nicolas. editor. Talbi, El-Ghazali. editor. Collet, Pierre. editor. Schoenauer, Marc. editor. Lutton, Evelyne. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79305-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Information Systems 11th International Conference, BIS 2008, Innsbruck, Austria, May 5-7, 2008. Proceedings

2025-03-18T20:37:58Z

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

Active Knowledge Modeling of Enterprises

2025-03-18T20:37:58Z

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

Parameterized and Exact Computation Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings

2025-03-18T20:37:58Z

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

Information Security and Cryptology Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers

2025-03-18T20:37:58Z

Yazar Pei, Dingyi. editor. Yung, Moti. editor. Lin, Dongdai. editor. Wu, Chuankun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79499-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008 Proceedings

2025-03-18T20:37:58Z

Yazar Das, Amitabha. editor. Pung, Hung Keng. editor. Lee, Francis Bu Sung. editor. Wong, Lawrence Wai Choong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79549-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cellular Automata 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Umeo, Hiroshi. editor. Morishita, Shin. editor. Nishinari, Katsuhiro. editor. Komatsuzaki, Toshihiko. editor. Bandini, Stefania. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79992-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

GeoSensor Networks Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers

2025-03-18T20:37:58Z

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

Engineering Environment-Mediated Multi-Agent Systems International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers

2025-03-18T20:37:58Z

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

Computer Music Modeling and Retrieval. Sense of Sounds 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers

2025-03-18T20:37:58Z

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

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques 11th International Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Goel, Ashish. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. Rubinfeld, Ronitt. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85363-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Börger, Egon. editor. Butler, Michael. editor. Bowen, Jonathan P. editor. Boca, Paul. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87603-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computers and Games 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Herik, H. Jaap. editor. Xu, Xinhe. editor. Ma, Zongmin. editor. Winands, Mark H. M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87608-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Societies in the Agents World VIII 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers

2025-03-18T20:37:58Z

Yazar Artikis, Alexander. editor. O’Hare, Gregory M. P. editor. Stathis, Kostas. editor. Vouros, George. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87654-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Artificial Intelligence Systems Third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Corchado, Emilio. editor. Abraham, Ajith. editor. Pedrycz, Witold. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87656-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

2025-03-18T20:37:58Z

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

Parallel Problem Solving from Nature – PPSN X 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings

2025-03-18T20:37:58Z

Yazar Rudolph, Günter. editor. Jansen, Thomas. editor. Lucas, Simon. editor. Poloni, Carlo. editor. Beume, Nicola. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87700-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of applied algorithms solving scientific, engineering and practical problems

2025-03-18T20:37:58Z

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

Dependability benchmarking for computer systems

2025-03-18T20:37:58Z

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

Automatic Program Development A Tribute to Robert Paige

2025-03-18T20:37:58Z

Yazar Danvy, Olivier. editor. Henglein, Fritz. editor. Mairson, Harry. editor. Pettorossi, Alberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6585-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Problems in VLSI Physical Design Automation

2025-03-18T20:37:58Z

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

Ingredients for Successful System Level Design Methodology

2025-03-18T20:37:58Z

Yazar Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8472-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics

2025-03-18T20:37:58Z

Yazar Sobh, Tarek. editor. Elleithy, Khaled. editor. Mahmood, Ausif. editor. Karim, Mohammad A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8737-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education

2025-03-18T20:37:58Z

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

Advances in Computer and Information Sciences and Engineering

2025-03-18T20:37:58Z

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

Pro Oracle Application Express

2025-03-18T20:37:58Z

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

Beginning PHP and MySQL E-Commerce From Novice to Professional

2025-03-18T20:37:58Z

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

The Definitive Guide to Django Web Development Done Right

2025-03-18T20:37:58Z

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

Auf der Fährte von C# Einführung und Referenz

2025-03-18T20:37:58Z

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

Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Wu, Song. editor. Yang, Laurence T. editor. Xu, Tony Li. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68083-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Processing and Applied Mathematics 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers

2025-03-18T20:37:58Z

Yazar Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68111-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Retrieval Technology 4th Asia Infomation Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008 Revised Selected Papers

2025-03-18T20:37:58Z

Yazar Li, Hang. editor. Liu, Ting. editor. Ma, Wei-Ying. editor. Sakai, Tetsuya. editor. Wong, Kam-Fai. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68636-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

2025-03-18T20:37:58Z

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

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

2025-03-18T20:37:58Z

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

Combinatorial Pattern Matching 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings

2025-03-18T20:37:58Z

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

Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

2025-03-18T20:37:58Z

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

Trusted Computing - Challenges and Applications First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008 Villach, Austria, March 11-12, 2008 Proceedings

2025-03-18T20:37:58Z

Yazar Lipp, Peter. editor. Sadeghi, Ahmad-Reza. editor. Koch, Klaus-Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68979-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

2025-03-18T20:37:58Z

Yazar Al-Begain, Khalid. editor. Heindl, Armin. editor. Telek, Miklós. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68982-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers in Algorithmics Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings

2025-03-18T20:37:58Z

Yazar Preparata, Franco P. editor. Wu, Xiaodong. editor. Yin, Jianping. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69311-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

2025-03-18T20:37:58Z

Yazar Chapman, Barbara. editor. Zheng, Weiming. editor. Gao, Guang R. editor. Sato, Mitsuhisa. editor. Ayguadé, Eduard. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69303-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pattern Recognition 30th DAGM Symposium Munich, Germany, June 10-13, 2008 Proceedings

2025-03-18T20:37:58Z

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

Ajax in der Praxis Grundlagen, Konzepte, Lösungen

2025-03-18T20:37:58Z

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

Structural Information and Communication Complexity 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings

2025-03-18T20:37:58Z

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

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I

2025-03-18T20:37:58Z

Yazar Bubak, Marian. 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-69384-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II

2025-03-18T20:37:58Z

Yazar Bubak, Marian. 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-69387-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III

2025-03-18T20:37:58Z

Yazar Bubak, Marian. 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-69389-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computational Intelligence in Transport, Logistics, and Supply Chain Management

2025-03-18T20:37:58Z

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

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

2025-03-18T20:37:58Z

Yazar Beckmann, Arnold. editor. Dimitracopoulos, Costas. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69407-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Time-Dependent Scheduling

2025-03-18T20:37:58Z

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

Public Key Infrastructure 5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008 Proceedings

2025-03-18T20:37:58Z

Yazar Mjølsnes, Stig F. editor. Mauw, Sjouke. editor. Katsikas, Sokratis K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69485-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Arithmetic of Finite Fields 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings

2025-03-18T20:37:58Z

Yazar Gathen, Joachim. editor. Imaña, José Luis. editor. Koç, Çetin Kaya. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69499-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings

2025-03-18T20:37:58Z

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

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

2025-03-18T20:37:58Z

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

25 Years of Model Checking History, Achievements, Perspectives

2025-03-18T20:37:58Z

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

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project

2025-03-18T20:37:58Z

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

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

2025-03-18T20:37:58Z

Yazar Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70575-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

2025-03-18T20:37:58Z

Yazar Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70583-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

2025-03-18T20:37:58Z

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

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

2025-03-18T20:37:58Z

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

Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings

2025-03-18T20:37:58Z

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

Artificial Intelligence and Soft Computing – ICAISC 2008 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings

2025-03-18T20:37:58Z

Yazar Rutkowski, Leszek. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor. Zurada, Jacek M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69731-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and Combinatorics 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings

2025-03-18T20:37:58Z

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

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

2025-03-18T20:37:58Z

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

Information Security and Privacy 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008. Proceedings

2025-03-18T20:37:58Z

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

Recent Advances in Evolutionary Computation for Combinatorial Optimization

2025-03-18T20:37:58Z

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

Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings

2025-03-18T20:37:58Z

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

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Mohamed, Otmane Ait. editor. Muñoz, César. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71067-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

2025-03-18T20:37:58Z

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

Der Weg zur professionellen IT Eine praktische Anleitung für das Management von Veränderungen mit CMMI, ITIL oder SPICE

2025-03-18T20:37:58Z

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

Model-Driven Testing

2025-03-18T20:37:58Z

Yazar Baker, Paul. author. Dai, Zhen Ru. author. Grabowski, Jens. author. Haugen, Øystein. author. Schieferdecker, Ina. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72563-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Decision Procedures An Algorithmic Point of View

2025-03-18T20:37:58Z

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

Logics of Specification Languages

2025-03-18T20:37:58Z

Yazar Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74107-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design by Evolution Advances in Evolutionary Design

2025-03-18T20:37:58Z

Yazar Hingston, Philip F. editor. Barone, Luigi C. editor. Michalewicz, Zbigniew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74111-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Taschenbuch der Algorithmen

2025-03-18T20:37:58Z

Yazar Vöcking, Berthold. editor. Alt, Helmut. editor. Dietzfelbinger, Martin. editor. Reischuk, Rüdiger. editor. Scheideler, Christian. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76394-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Component Development with Zope 3

2025-03-18T20:37:58Z

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

Rightshore! Successfully SAP(R) Projects Offshore

2025-03-18T20:37:58Z

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

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings

2025-03-18T20:37:58Z

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

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Rao, Shrisha. editor. Chatterjee, Mainak. editor. Jayanti, Prasad. editor. Murthy, C. Siva Ram. editor. Saha, Sanjoy Kumar. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77444-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Aspects of Wireless Sensor Networks Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers

2025-03-18T20:37:58Z

Yazar Kutyłowski, Mirosław. editor. Cichoń, Jacek. editor. Kubiak, Przemysław. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77871-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

WALCOM: Algorithms and Computation Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings

2025-03-18T20:37:58Z

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

Approximation and Online Algorithms 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers

2025-03-18T20:37:58Z

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

Reflections on the Teaching of Programming Methods and Implementations

2025-03-18T20:37:58Z

Yazar Bennedsen, Jens. editor. Caspersen, Michael E. editor. Kölling, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77934-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers

2025-03-18T20:37:58Z

Yazar Tuyls, Karl. editor. Nowe, Ann. editor. Guessoum, Zahia. editor. Kudenko, Daniel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77949-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DNA Computing 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers

2025-03-18T20:37:58Z

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

Computational Geometry Algorithms and Applications

2025-03-18T20:37:58Z

Yazar Berg, Mark. author. Cheong, Otfried. author. Kreveld, Marc. author. Overmars, Mark. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77974-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Data Structures The Basic Toolbox

2025-03-18T20:37:58Z

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

Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

2025-03-18T20:37:58Z

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

Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings

2025-03-18T20:37:58Z

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

Architecture of Computing Systems – ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Brinkschulte, Uwe. editor. Ungerer, Theo. editor. Hochberger, Christian. editor. Spallek, Rainer G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78153-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Logozzo, Francesco. editor. Peled, Doron A. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78163-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports

2025-03-18T20:37:58Z

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

Combinatorial Image Analysis 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Brimkov, Valentin E. editor. Barneva, Reneta P. editor. Hauptman, Herbert A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78275-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

2025-03-18T20:37:58Z

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

Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers

2025-03-18T20:37:58Z

Yazar Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78827-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

TestGoal Result-Driven Testing

2025-03-18T20:37:58Z

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

Research in Computational Molecular Biology 12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. Proceedings

2025-03-18T20:37:58Z

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

Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers

2025-03-18T20:37:58Z

Yazar Sichman, Jaime Simão. editor. Padget, Julian. editor. Ossowski, Sascha. editor. Noriega, Pablo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79003-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers

2025-03-18T20:37:58Z

Yazar Dastani, Mehdi. editor. El Fallah Seghrouchni, Amal. editor. Ricci, Alessandro. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79043-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Berghammer, Rudolf. editor. Möller, Bernhard. editor. Struth, Georg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78913-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers

2025-03-18T20:37:58Z

Yazar Hierons, Robert M. editor. Bowen, Jonathan P. editor. Harman, Mark. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78917-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

2025-03-18T20:37:58Z

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

Discrete Geometry for Computer Imagery 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Coeurjolly, David. editor. Sivignon, Isabelle. editor. Tougne, Laure. editor. Dupont, Florent. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79126-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Agrawal, Manindra. editor. Du, Dingzhu. editor. Duan, Zhenhua. editor. Li, Angsheng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79228-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

2025-03-18T20:37:58Z

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

Topics in Cryptology – CT-RSA 2008 The Cryptographers’ Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings

2025-03-18T20:37:58Z

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

OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings

2025-03-18T20:37:58Z

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

Pervasive Computing 6th International Conference, Pervasive 2008 Sydney, Australia, May 19-22, 2008 Proceedings

2025-03-18T20:37:58Z

Yazar Indulska, Jadwiga. editor. Patterson, Donald J. editor. Rodden, Tom. editor. Ott, Max. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79576-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ada 2005 Rationale The Language, The Standard Libraries

2025-03-18T20:37:58Z

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

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

2025-03-18T20:37:58Z

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

Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings

2025-03-18T20:37:58Z

Yazar Hirsch, Edward A. editor. Razborov, Alexander A. editor. Semenov, Alexei. editor. Slissenko, Anatol. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79709-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

2025-03-18T20:37:58Z

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

Algorithmic Number Theory 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings

2025-03-18T20:37:58Z

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

The Puzzle of Granular Computing

2025-03-18T20:37:58Z

Yazar Apolloni, Bruno. author. Pedrycz, Witold. author. Bassis, Simone. author. Malchiodi, Dario. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79864-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Immune Systems 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings

2025-03-18T20:37:58Z

Yazar Bentley, Peter J. editor. Lee, Doheon. editor. Jung, Sungwon. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85072-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Secure Transaction Protocol Analysis Models and Applications

2025-03-18T20:37:58Z

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