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

Software testing

2025-01-06T11:20:58Z

Yazar Patton, Ron.
Yer Numarası QA76.76.T48 P38 2006
Format: Kitap
Durum Beytepe Kütüphanesi~1

Software management

2025-01-06T11:20:58Z

Yazar Reifer, Donald J.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989379
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Product Lines

2025-01-06T11:20:58Z

Yazar Käköla, Timo. editor. Duenas, Juan Carlos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-33253-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Software Construction

2025-01-06T11:20:58Z

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

Essential Software Architecture

2025-01-06T11:20:58Z

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

Software specification methods

2025-01-06T11:20:58Z

Yazar Habrias, Henri. Frappier, Marc, 1965- Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html John Wiley http://dx.doi.org/10.1002/9780470612514
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded software the works

2025-01-06T11:20:58Z

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

Successful packaged software implementation

2025-01-06T11:20:58Z

Yazar Tayntor, Christine 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 engineering quality practices

2025-01-06T11:20:58Z

Yazar Kandt, Ronald Kirk.
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

Value-Based Software Engineering

2025-01-06T11:20:58Z

Yazar Biffl, Stefan. editor. Aurum, Aybüke. editor. Boehm, Barry. editor. Erdogmus, Hakan. editor. Grünbacher, Paul. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-29263-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of software engineering & knowledge engineering

2025-01-06T11:20:58Z

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

Engineering analysis with ANSYS software

2025-01-06T11:20: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

Software engineering for Internet applications

2025-01-06T11:20:58Z

Yazar Andersson, Eve Astrid. Greenspun, Philip. Grumet, Andrew.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267210
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering analysis with ANSYS software

2025-01-06T11:20:58Z

Yazar Nakasone, Y. (Yuji) Stolarski, T. A. Yoshimoto, S. (Shigeka)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780750668750
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Configuration Management Using Vesta

2025-01-06T11:20:58Z

Yazar Heydon, Allan. author. Mann, Timothy. author. Levin, Roy. author. Yu, Yuan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-30852-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software-Implemented Hardware Fault Tolerance

2025-01-06T11:20:58Z

Yazar Goloubeva, Olga. author. Rebaudengo, Maurizio. author. Reorda, Matteo Sonza. author. Violante, Massimo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-32937-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Defining and deploying software processes

2025-01-06T11:20:58Z

Yazar Goodman, F. Alan.
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

Process-based software project management

2025-01-06T11:20:58Z

Avionics elements, software, and functions

2025-01-06T11:20:58Z

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

Practical Software Factories in .NET

2025-01-06T11:20:58Z

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

Interoperability of Enterprise Software and Applications

2025-01-06T11:20:58Z

Yazar Konstantas, Dimitri. editor. Bourrières, Jean-Paul. editor. Léonard, Michel. editor. Boudjlida, Nacer. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-152-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grid Computing: Software Environments and Tools

2025-01-06T11:20:58Z

Yazar Cunha, José C. editor. Rana, Omer F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-339-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Approaches to Software Quality

2025-01-06T11:20:58Z

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

Optimierungssysteme Modelle, Verfahren, Software, Anwendungen

2025-01-06T11:20:58Z

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

Rationale Management in Software Engineering

2025-01-06T11:20:58Z

Yazar Dutoit, Allen H. editor. McCall, Raymond. editor. Mistrík, Ivan. editor. Paech, Barbara. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-30998-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering 1 Abstraction and Modelling

2025-01-06T11:20:58Z

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

The art of software modeling

2025-01-06T11:20:58Z

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

Software measurement and estimation a practical approach

2025-01-06T11:20:58Z

Yazar Laird, Linda M., 1952- Brennan, M. Carol, 1954- IEEE Computer Society. John Wiley & Sons.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988896
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The economics of open source software development

2025-01-06T11:20:58Z

Yazar Bitzer, Jürgen, 1970- Schröder, Philipp J. H.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444527691
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Memory management for synthesis of DSP software

2025-01-06T11:20:58Z

Yazar Murthy, Praveen K., 1969- Bhattacharyya, Shuvra S., 1968-
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 specification and design an engineering approach

2025-01-06T11:20:58Z

Yazar Munson, John C.
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

Transactions on Aspect-Oriented Software Development I

2025-01-06T11:20:58Z

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

Ontologies for Software Engineering and Software Technology

2025-01-06T11:20:58Z

Yazar Calero, Coral. editor. Ruiz, Francisco. editor. Piattini, Mario. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-34518-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development II

2025-01-06T11:20:58Z

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

Model-driven software development : technology, engineering, management

2025-01-06T11:20:58Z

Yazar Stahl, Thomas (Tom) Vèolter, Markus.
Yer Numarası QA76.76.D47 S697 2006
Format: Kitap
Durum Beytepe Kütüphanesi~1

Eric Sink on the Business of Software

2025-01-06T11:20:58Z

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

Software evolution and feedback theory and practice

2025-01-06T11:20:58Z

Yazar Madhavji, Nazim H. Fernández Ramil, Juan Carlos. Perry, Dewayne E. John Wiley & Sons.
Yer Numarası ONLINE
Elektronik Erişim Click for information John Wiley http://dx.doi.org/10.1002/0470871822 http://www3.interscience.wiley.com/cgi-bin/bookhome/112650855 Books24x7 http://www.books24x7.com/marc.asp?bookid=9542 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=274329
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontologies for software engineering and software technology

2025-01-06T11:20:58Z

Yazar Calero, Coral. Ruiz, Francisco. Piattini, Mario.
Yer Numarası QA76.9.D35 O57 2006
Format: Kitap
Durum Beytepe Kütüphanesi~1

Classic Lego mindstorms project and software tools award-winning designs from master builders

2025-01-06T11:20:58Z

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

The road map to software engineering a standards-based guide

2025-01-06T11:20:58Z

Yazar Moore, James W., 1948-
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989673
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical support for ISO 9001 software project documentation using IEEE software engineering standards

2025-01-06T11:20:58Z

Yazar Land, Susan K. Walz, John W. IEEE Computer Society.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989411
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The electrical engineering handbook. Third ed., Computers, software engineering, and digital devices

2025-01-06T11:20:58Z

Yazar Dorf, Richard C.
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-01-06T11:20:58Z

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

Grundkurs Software-Entwicklung mit C++ Praxisorientierte Einführung mit Beispielen und Aufgaben — Exzellente Didaktik und Übersicht

2025-01-06T11:20:58Z

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

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

2025-01-06T11:20:58Z

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

Writing Scientific Software A Guide to Good Style

2025-01-06T11:20:58Z

Yazar Oliveira, Suely. Stewart, David E..
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach

2025-01-06T11:20:58Z

Yazar Papajorgji, Petraq J. author. Pardalos, Panos M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28171-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Data Envelopment Analysis and Its Uses With DEA-Solver Software and References

2025-01-06T11:20:58Z

Yazar Cooper, William W. author. Seiford, Lawrence M. author. Tone, Kaoru. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-29122-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy

2025-01-06T11:20:58Z

Yazar Damiani, Ernesto. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Scotto, Marco. editor. Succi, Giancarlo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-34226-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile

2025-01-06T11:20:58Z

Yazar Ochoa, Sergio F. editor. Roman, Gruia-Catalin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-34831-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The cognitive dynamics of computer science cost-effective large scale software development

2025-01-06T11:20:58Z

Yazar De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modern industrial automation software design principles and real-world applications

2025-01-06T11:20:58Z

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

IEEE Computer Society real-world software engineering problems a self-study guide for today's software professional

2025-01-06T11:20:58Z

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

Jumpstart CMM/CMMI software process improvements Using IEEE software engineering standards

2025-01-06T11:20:58Z

Yazar Land, Susan K.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989567
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DSP software development techniques for embedded and real-time systems

2025-01-06T11:20:58Z

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

Modeling software with finite state machines a practical approach

2025-01-06T11:20:58Z

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

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Dosch, Walter. editor. Lee, Roger Y. editor. Wu, Chisu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11668855
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unifying the Software Process Spectrum International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Li, Mingshu. editor. Boehm, Barry. editor. Osterweil, Leon J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11608035
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Ur, Shmuel. editor. Bin, Eyal. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11678779
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11690634
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11688839
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

2025-01-06T11:20:58Z

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

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Baresi, Luciano. editor. Heckel, Reiko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11693017
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Sestoft, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11693024
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Valmari, Antti. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11691617
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering 2 Specification of Systems and Languages

2025-01-06T11:20:58Z

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

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

2025-01-06T11:20:58Z

Yazar Garcia, Alessandro. editor. Choren, Ricardo. editor. Lucena, Carlos. editor. Giorgini, Paolo. editor. Holvoet, Tom. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11738817
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering 3 Domains, Requirements, and Software Design

2025-01-06T11:20:58Z

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

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Guelfi, Nicolas. editor. Savidis, Anthony. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11751113
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

2025-01-06T11:20:58Z

Yazar Müller, Jörg P. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11752660
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings

2025-01-06T11:20:58Z

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

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

2025-01-06T11:20:58Z

Yazar Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11757283
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Grieskamp, Wolfgang. editor. Weise, Carsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11759744
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006 Turin, Italy, June 12-15, 2006 Proceedings

2025-01-06T11:20:58Z

Yazar Morisio, Maurizio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11763864
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Pinho, Luís Miguel. editor. González Harbour, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11767077
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product-Focused Software Process Improvement 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Münch, Jürgen. editor. Vierimaa, Matias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11767718
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11774129
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Gorton, Ian. editor. Heineman, George T. editor. Crnković, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11783565
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Johnson, Michael. editor. Vene, Varmo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11784180
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fast Software Encryption 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Robshaw, Matthew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11799313
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program

2025-01-06T11:20:58Z

Yazar Kohlas, Jürg. editor. Meyer, Bertrand. editor. Schiper, André. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11808107
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers

2025-01-06T11:20:58Z

Yazar Löwe, Welf. editor. Südholt, Mario. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11821946
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

2025-01-06T11:20: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/11823063
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Iglesias, Andrés. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11832225
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

2025-01-06T11:20:58Z

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

Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers

2025-01-06T11:20:58Z

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

Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

2025-01-06T11:20:58Z

Yazar Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11889229
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Liu, Zhiming. editor. He, Jifeng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11901433
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Improvement 13th European Conference, EuroSPI 2006, Joensuu, Finland, October 11-13, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Richardson, Ita. editor. Runeson, Per. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11908562
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers

2025-01-06T11:20:58Z

Yazar Hofmeister, Christine. editor. Crnkovic, Ivica. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11921998
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11940197
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11944836
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Education in the Modern Age Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures

2025-01-06T11:20:58Z

Yazar Inverardi, Paola. editor. Jazayeri, Mehdi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11949374
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architecture Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers

2025-01-06T11:20:58Z

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

Critical Success Factors of Offshore Software Develpment Project The Perspective of German-Speaking Companies

2025-01-06T11:20:58Z

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

Yazılım kalite güvencesinde istatiksel süreç kontrolü = Statistical process control in software quality assurance

2025-01-06T11:20:58Z

Yazar Çivlik, Özden Gür.
Yer Numarası TEZ/7600 .C5829 2006
Format: Kitap
Durum Beytepe Kütüphanesi~1

Tek kullanımlık kimlik doğrulamalı anahtar değişimi yazılım uygulamasının geliştirilmesi = A Software development of one-time ID authenticated key exchange application

2025-01-06T11:20:58Z

Yazar Yüksel, Ali Umut.
Yer Numarası TEZ/7778 .Y949 2006
Format: Kitap
Durum Beytepe Kütüphanesi~1

Eclipse platformu için yüksek düzeyli mimari yazılım modelleme aracı = The high level achitecture software modeling tool for eclipse platform

2025-01-06T11:20:58Z

Yazar Baktır, Oğuz.
Yer Numarası TEZ/7874 .B169 2006
Format: Kitap
Durum Beytepe Kütüphanesi~1

Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS05

2025-01-06T11:20:58Z

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

Models of the Atomic Nucleus With Interactive Software

2025-01-06T11:20:58Z

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

MDA® Effektives Software-Engineering mit UML 2® und Eclipse™

2025-01-06T11:20:58Z

Yazar Gruhn, Volker. author. Pieper, Daniel. author. Röttgers, Carsten. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-28746-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software-Entwurf mit UML 2 Objektorientierte Modellierung mit Beispielen in Java

2025-01-06T11:20:58Z

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

Software-Architekturen für das E-Business Enterprise-Application-Integration mit verteilten Systemen

2025-01-06T11:20:58Z

Yazar Herden, Sebastian. author. Marx Gómez, Jorge. author. Rautenstrauch, Claus. author. Zwanziger, André. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-31300-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomous software-defined radio receivers for deep space applications

2025-01-06T11:20:58Z

Yazar Hamkins, Jon, 1968- Simon, Marvin Kenneth, 1939-
Yer Numarası ONLINE
Elektronik Erişim Wiley InterScience An electronic book accessible through the World Wide Web; click for information http://www3.interscience.wiley.com/cgi-bin/bookhome/112632603 MyiLibrary, Table of contents http://www.myilibrary.com?id=72165&ref=toc Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006046396-b.html HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/69680167.html
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interoperability for enterprise software and applications proceedings of the workshops and the doctorial symposium of the second IFAC/IFIP I-ESA International Conference: EI2N, WSI, IS-TSPQ 2006

2025-01-06T11:20:58Z

Yazar IFAC/IFIP I-ESA International Conference: EI2N, WSI, IS-TSPQ 2nd : 2006. Panetto, Herve. Boudjlida, Nacer. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0714/2006018170-b.html John Wiley http://dx.doi.org/10.1002/9780470612200
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software sizing, estimation, and risk management when performance is measured performance improves

2025-01-06T11:20:58Z

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

Agent-based Supply Network Event Management

2025-01-06T11:20:58Z

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

Agent Technology from a Formal Perspective

2025-01-06T11:20:58Z

Yazar Rouff, Christopher A. editor. Hinchey, Michael. editor. Rash, James. editor. Truszkowski, Walter. editor. Gordon-Spears, Diana. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-271-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PowerBuilder : PowerScript reference, version 6.

2025-01-06T11:20:58Z

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

COBIT kompakt und verständlich Der Standard zur IT Governance — So gewinnen Sie Kontrolle über Ihre IT — So steuern Sie Ihre IT und erreichen Ihr Ziele

2025-01-06T11:20:58Z

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

User Interfaceorientierte Softwarearchitektur Bauentwurfslehre für interaktive Softwareoberflächen — Kompass für die Entwicklung dialogintensiver Anwendungen — Leitfaden für erlebbare User Interfaces

2025-01-06T11:20:58Z

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

Profikurs Eclipse 3 Mit Eclipse 3.2 und Plugins professionell Java-Anwendungen entwickeln — Von UML bis JUnit

2025-01-06T11:20:58Z

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

Teaching in the knowledge society new skills and instruments for teachers

2025-01-06T11:20:58Z

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

Essential computer security everyone's guide to e-mail, Internet, and wireless security

2025-01-06T11:20:58Z

Yazar Bradley, Tony, 1969- Carvey, Harlan A.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9781597491143
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Secure your network for free using NMAP, wireshark, snort, nessus, and MRTG

2025-01-06T11:20:58Z

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

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies

2025-01-06T11:20:58Z

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

Access Control Systems Security, Identity Management and Trust Models

2025-01-06T11:20:58Z

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

Coordination of Large-Scale Multiagent Systems

2025-01-06T11:20:58Z

Yazar Scerri, Paul. editor. Vincent, Régis. editor. Mailler, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-27972-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice III

2025-01-06T11:20:58Z

Yazar Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28111-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FPGA Implementations of Neural Networks

2025-01-06T11:20:58Z

Yazar Omondi, Amos R. editor. Rajapakse, Jagath C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28487-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Mathematica GuideBook for Numerics

2025-01-06T11:20:58Z

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

The Mathematica GuideBook for Symbolics

2025-01-06T11:20:58Z

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

Global Optimization From Theory to Implementation

2025-01-06T11:20:58Z

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

Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions

2025-01-06T11:20:58Z

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

Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science

2025-01-06T11:20:58Z

Yazar Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-31262-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quality of Protection Security Measurements and Metrics

2025-01-06T11:20:58Z

Yazar Gollmann, Dieter. editor. Massacci, Fabio. editor. Yautsiukhin, Artsiom. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-36584-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimization in Public Transportation Stop Location, Delay Management and Tariff Zone Design in a Public Transportation Network

2025-01-06T11:20:58Z

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

Project E-Society: Building Bricks 6TH IFIP International Conference on e-Commerce, e-Business, and e-Government (13E 2006), October 11–13, 2006, Turku, Finland

2025-01-06T11:20:58Z

Yazar Suomi, Reima. editor. Cabral, Regis. editor. Hampe, J. Felix. editor. Heikkilä, Arto. editor. Järveläinen, Jonna. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-39229-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Penetration tester's open source toolkit

2025-01-06T11:20:58Z

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

An introduction to programming with IDL Interactive Data Language

2025-01-06T11:20:58Z

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

Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking

2025-01-06T11:20:58Z

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

How to cheat at configuring ISA server 2004

2025-01-06T11:20:58Z

Yazar Shinder, Thomas W. Shinder, Debra Littlejohn.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9781597490573
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combating spyware in the enterprise

2025-01-06T11:20:58Z

Yazar Baskin, Brian. Piltzecker, Tony, 1975-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9781597490641
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cognitive radio technology

2025-01-06T11:20:58Z

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

AntiPatterns identification, refactoring, and management

2025-01-06T11:20:58Z

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

Accelerating process improvement using agile techniques

2025-01-06T11:20:58Z

Yazar Jacobs, Deb.
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

Multiagent Engineering Theory and Applications in Enterprises

2025-01-06T11:20:58Z

Yazar Kirn, Stefan. editor. Herzog, Otthein. editor. Lockemann, Peter. editor. Spaniol, Otto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32062-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Sensor Networks Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Römer, Kay. editor. Karl, Holger. editor. Mattern, Friedemann. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11669463
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Architecture and Ontology Development

2025-01-06T11:20:58Z

Yazar Gašević, Dragan. author. Djurić, Dragan. author. Devedžić, Vladan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32182-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Missaoui, Rokia. editor. Schmidt, Jürg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11671404
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Approximation and Online Algorithms Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Papers

2025-01-06T11:20:58Z

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

Efficient Approximation and Online Algorithms Recent Progress on Classical Combinatorial Optimization Problems and New Applications

2025-01-06T11:20:58Z

Yazar Bampis, Evripidis. editor. Jansen, Klaus. editor. Kenyon, Claire. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11671541
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2006: Theory and Practice of Computer Science 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Wiedermann, Jiří. editor. Tel, Gerard. editor. Pokorný, Jaroslav. editor. Bieliková, Mária. editor. Štuller, Július. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11611257
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Durand, Bruno. editor. Thomas, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11672142
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Vision – ACCV 2006 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part II

2025-01-06T11:20:58Z

Yazar Narayanan, P. J. editor. Nayar, Shree K. editor. Shum, Heung-Yeung. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11612704
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Vision – ACCV 2006 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part I

2025-01-06T11:20:58Z

Yazar Narayanan, P. J. editor. Nayar, Shree K. editor. Shum, Heung-Yeung. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11612032
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biologically Inspired Approaches to Advanced Information Technology Second International Workshop, BioADIT 2006, Osaka, Japan, January 26-27, 2006

2025-01-06T11:20:58Z

Yazar Ijspeert, Auke Jan. editor. Masuzawa, Toshimitsu. editor. Kusumoto, Shinji. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11613022
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computers and Games 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers

2025-01-06T11:20:58Z

Yazar Herik, H. Jaap. editor. Björnsson, Yngvi. editor. Netanyahu, Nathan S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11674399
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Unternehmen durch Business Rules Der Business Rules Ansatz

2025-01-06T11:20:58Z

Yazar Schacher, Markus. author. Grässle, Patrick. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32505-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spatial Coherence for Visual Motion Analysis First International Workshop, SCVMA 2004, Prague, Czech Republic, May 15, 2004. Revised Papers

2025-01-06T11:20:58Z

Yazar MacLean, W. James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11676959
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

2025-01-06T11:20:58Z

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

Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Rosca, Justinian. editor. Erdogmus, Deniz. editor. Príncipe, José C. editor. Haykin, Simon. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11679363
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Topics in Cryptology – CT-RSA 2006 The Cryptographers’ Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005. Proceedings

2025-01-06T11:20:58Z

Yazar Pointcheval, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11605805
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Event-Based Systems

2025-01-06T11:20:58Z

Yazar Mühl, Gero. author. Fiege, Ludger. author. Pietzuch, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32653-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Halevi, Shai. editor. Rabin, Tal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11681878
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Correa, José R. editor. Hevia, Alejandro. editor. Kiwi, Marcos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11682462
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search

2025-01-06T11:20:58Z

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

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Grass, Werner. editor. Sick, Bernhard. editor. Waldschmidt, Klaus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11682127
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

2025-01-06T11:20:58Z

Yazar Thompson, Simon G. editor. Ghanea-Hercock, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11683704
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Computer Science Essays in Memory of Shimon Even

2025-01-06T11:20:58Z

Yazar Goldreich, Oded. editor. Rosenberg, Arnold L. editor. Selman, Alan L. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11685654
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Seventeen Provers of the World Foreword by Dana S. Scott

2025-01-06T11:20:58Z

Yazar Wiedijk, Freek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11542384
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

2025-01-06T11:20:58Z

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

Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Shen, Wei-ming. editor. Chao, Kuo-Ming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. James, Anne. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11686699
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Farré, Jacques. editor. Litovsky, Igor. editor. Schmitz, Sylvain. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11605157
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

2025-01-06T11:20:58Z

Yazar Baldoni, Matteo. editor. Endriss, Ulle. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11691792
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Selected Areas in Cryptography 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Preneel, Bart. editor. Tavares, Stafford. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11693383
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Collet, Pierre. editor. Tomassini, Marco. editor. Ebner, Marc. editor. Gustafson, Steven. editor. Ekárt, Anikó. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11729976
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security Applications 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Song, Joo-Seok. editor. Kwon, Taekyoung. editor. Yung, Moti. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11604938
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11730637
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary Computation in Combinatorial Optimization 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Gottlieb, Jens. editor. Raidl, Günther R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11730095
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research in Computational Molecular Biology 10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Apostolico, Alberto. editor. Guerra, Concettina. editor. Istrail, Sorin. editor. Pevzner, Pavel A. editor. Waterman, Michael. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11732990
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

2025-01-06T11:20:58Z

Yazar MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11734673
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Hales, David. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11734697
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security and Cryptology - ICISC 2005 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Won, Dong Ho. editor. Kim, Seungjoo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11734727
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Clark, John A. editor. Paige, Richard F. editor. Polack, Fiona A. C. editor. Brooke, Phillip J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11734666
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning Challenges. Evaluating Predictive Uncertainty, Visual Object Classification, and Recognising Tectual Entailment First PASCAL Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Quiñonero-Candela, Joaquin. editor. Dagan, Ido. editor. Magnini, Bernardo. editor. d’Alché-Buc, Florence. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11736790
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Dongarra, Jack. editor. Madsen, Kaj. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11558958
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Machine Learning and Cybernetics 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Yeung, Daniel S. editor. Liu, Zhi-Qiang. editor. Wang, Xi-Zhao. editor. Yan, Hong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11739685
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Evolution 7th International Conference, Evolution Artificielle, EA 2005, Lille, France, October 26-28, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

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

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11741060
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Chung, Yeh-Ching. editor. Moreira, José E. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11745693
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Public Key Cryptography - PKC 2006 9th International Conference on Theory and Practice in Public-Key Cryptography, New York, NY, USA, April 24-26, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Yung, Moti. editor. Dodis, Yevgeniy. editor. Kiayias, Aggelos. editor. Malkin, Tal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11745853
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pervasive Computing 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Fishkin, Kenneth P. editor. Schiele, Bernt. editor. Nixon, Paddy. editor. Quigley, Aaron. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11748625
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cognitive Vision Systems Sampling the Spectrum of Approaches

2025-01-06T11:20:58Z

Yazar Christensen, Henrik I. editor. Nagel, Hans-Hellmut. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11414353
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11750321
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wired/Wireless Internet Communications 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Braun, Torsten. editor. Carle, Georg. editor. Fahmy, Sonia. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11750390
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Music Modeling and Retrieval Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers

2025-01-06T11:20:58Z

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

Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Vieira, Renata. editor. Quaresma, Paulo. editor. Nunes, Maria das Graças Volpe. editor. Mamede, Nuno J. editor. Oliveira, Cláudia. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11751984
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I

2025-01-06T11:20:58Z

Yazar Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11751540
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part II

2025-01-06T11:20:58Z

Yazar Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11751588
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III

2025-01-06T11:20:58Z

Yazar Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11751595
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV

2025-01-06T11:20:58Z

Yazar Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11751632
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V

2025-01-06T11:20:58Z

Yazar Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11751649
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Artificial Intelligence 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Antoniou, Grigoris. editor. Potamias, George. editor. Spyropoulos, Costas. editor. Plexousakis, Dimitris. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11752912
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Subspace, Latent Structure and Feature Selection Statistical and Optimization Perspectives Workshop, SLSFS 2005, Bohinj, Slovenia, February 23-25, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Saunders, Craig. editor. Grobelnik, Marko. editor. Gunn, Steve. editor. Shawe-Taylor, John. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11752790
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Poznań, Poland, September 11-14, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Meyer, Norbert. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11752578
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

2025-01-06T11:20:58Z

Yazar Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11752707
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DNA Computing 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.

2025-01-06T11:20:58Z

Yazar Carbone, Alessandra. editor. Pierce, Niles A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11753681
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science – Theory and Applications First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Grigoriev, Dima. editor. Harrison, John. editor. Hirsch, Edward A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11753728
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing of Communicating Systems 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Uyar, M. Ümit. editor. Duale, Ali Y. editor. Fecko, Mariusz A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11754008
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Boavida, Fernando. editor. Plagemann, Thomas. editor. Stiller, Burkhard. editor. Westphal, Cedric. editor. Monteiro, Edmundo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11753810
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

2025-01-06T11:20:58Z

Yazar Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11754602
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Persuasive Technology First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar IJsselsteijn, Wijnand A. editor. Kort, Yvonne A. W. editor. Midden, Cees. editor. Eggen, Berry. editor. Hoven, Elise. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11755494
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Beck, J. Christopher. editor. Smith, Barbara M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11757375
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Robotics Mobile Robot Design and Applications with Embedded Systems

2025-01-06T11:20:58Z

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

Algorithms and Complexity 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Calamoneri, Tiziana. editor. Finocchi, Irene. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11758471
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I

2025-01-06T11:20:58Z

Yazar Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11758501
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II

2025-01-06T11:20:58Z

Yazar Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11758525
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III

2025-01-06T11:20:58Z

Yazar Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11758532
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV

2025-01-06T11:20:58Z

Yazar Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11758549
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Next Generation Teletraffic and Wired/Wireless Advanced Networking 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Koucheryavy, Yevgeni. editor. Harju, Jarmo. editor. Iversen, Villy B. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11759355
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II

2025-01-06T11:20:58Z

Yazar Wang, Jun. editor. Yi, Zhang. editor. Zurada, Jacek M. editor. Lu, Bao-Liang. editor. Yin, Hujun. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11760023
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I

2025-01-06T11:20:58Z

Yazar Wang, Jun. editor. Yi, Zhang. editor. Zurada, Jacek M. editor. Lu, Bao-Liang. editor. Yin, Hujun. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11759966
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Societies in the Agents World VI 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers

2025-01-06T11:20:58Z

Yazar Dikenelli, Oğuz. editor. Gleizes, Marie-Pierre. editor. Ricci, Alessandro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11759683
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part III

2025-01-06T11:20:58Z

Yazar Wang, Jun. editor. Yi, Zhang. editor. Zurada, Jacek M. editor. Lu, Bao-Liang. editor. Yin, Hujun. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11760191
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web: Research and Applications 3rd European Semantic Web Conference, ESWC 2006 Budva, Montenegro, June 11-14, 2006 Proceedings

2025-01-06T11:20:58Z

Yazar Sure, York. editor. Domingue, John. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11762256
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology - EUROCRYPT 2006 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedings

2025-01-06T11:20:58Z

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

High Availability and Disaster Recovery Concepts, Design, Implementation

2025-01-06T11:20:58Z

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

Experimental Algorithms 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Àlvarez, Carme. editor. Serna, María. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11764298
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Ciancarini, Paolo. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11767954
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11767589
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graphics Recognition. Ten Years Review and Future Perspectives 6th Internation Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Liu, Wenyin. editor. Lladós, Josep. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11767978
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Self-Managed Networks, Systems, and Services Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Keller, Alexander. editor. Martin-Flatin, Jean-Philippe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11767886
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Dunne, Steve. editor. Stoddart, Bill. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11768173
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Vorlesungen über Informatik Band 2: Objektorientiertes Programmieren und Algorithmen

2025-01-06T11:20:58Z

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

Funktionale Programmierung Sprachdesign und Programmiertechnik

2025-01-06T11:20:58Z

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

Erfolgsfaktor Unternehmenssteuerung Kennzahlen, Instrumente, Praxistipps

2025-01-06T11:20:58Z

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

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Gorrieri, Roberto. editor. Wehrheim, Heike. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11768869
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Eliassen, Frank. editor. Montresor, Alberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11773887
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Public Key Infrastructure Third European PKI Workshop: Theory and Practice, EuroPKI 2006, Turin, Italy, June 19-20, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Atzeni, Andrea S. editor. Lioy, Antonio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11774716
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Image Analysis 11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Reulke, Ralf. editor. Eckardt, Ulrich. editor. Flach, Boris. editor. Knauer, Uwe. editor. Polthier, Konrad. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11774938
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Aspects in Information and Management Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Cheng, Siu-Wing. editor. Poon, Chung Keung. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11775096
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Boissier, Olivier. editor. Padget, Julian. editor. Dignum, Virginia. editor. Lindemann, Gabriela. editor. Matson, Eric. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11775331
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing in Sensor Systems Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Gibbons, Phillip B. editor. Abdelzaher, Tarek. editor. Aspnes, James. editor. Rao, Ramesh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11776178
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning Theory 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Lugosi, Gábor. editor. Simon, Hans Ulrich. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11776420
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Horváth, András. editor. Telek, Miklós. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11777830
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

RoboCup 2005: Robot Soccer World Cup IX

2025-01-06T11:20:58Z

Yazar Bredenfeld, Ansgar. editor. Jacoff, Adam. editor. Noda, Itsuki. editor. Takahashi, Yasutake. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11780519
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Numerical Optimization Theoretical and Practical Aspects

2025-01-06T11:20:58Z

Yazar Bonnans, J. Frédéric. author. Gilbert, J. Charles. author. Lemaréchal, Claude. author. Sagastizábal, Claudia A. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-35447-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Applied Artificial Intelligence 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Ali, Moonis. editor. Dapoigny, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11779568
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security and Privacy 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Batten, Lynn Margaret. editor. Safavi-Naini, Reihaneh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11780656
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Pattern Matching 17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Lewenstein, Moshe. editor. Valiente, Gabriel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11780441
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Beckmann, Arnold. editor. Berger, Ulrich. editor. Löwe, Benedikt. editor. Tucker, John V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11780342
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers

2025-01-06T11:20:58Z

Yazar Yli-Jyrä, Anssi. editor. Karttunen, Lauri. editor. Karhumäki, Juhani. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11780885
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Next Generation Information Technologies and Systems 6th International Conference, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Etzion, Opher. editor. Kuflik, Tsvi. editor. Motro, Amihai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11780991
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structural Information and Communication Complexity 13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Flocchini, Paola. editor. Gąsieniec, Leszek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11780823
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Uustalu, Tarmo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11783596
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Graphics 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Nishita, Tomoyuki. editor. Peng, Qunsheng. editor. Seidel, Hans-Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11784203
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings

2025-01-06T11:20:58Z

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

Artificial Intelligence and Soft Computing – ICAISC 2006 8th International Conference, Zakopane, Poland, June 25-29, 2006. Proceedings

2025-01-06T11:20:58Z

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

Algorithm Theory – SWAT 2006 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Arge, Lars. editor. Freivalds, Rusins. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11785293
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

2025-01-06T11:20:58Z

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

Conceptual Structures: Inspiration and Application 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Schärfe, Henrik. editor. Hitzler, Pascal. editor. Øhrstrøm, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11787181
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I

2025-01-06T11:20:58Z

Yazar Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11786986
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

2025-01-06T11:20:58Z

Yazar Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11787006
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Driven Architecture – Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Rensink, Arend. editor. Warmer, Jos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11787044
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Number Theory 7th International Symposium, ANTS-VII, Berlin, Germany, July 23-28, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Hess, Florian. editor. Pauli, Sebastian. editor. Pohst, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11792086
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security@Work Pragmatische Konzeption und Implementierung von IT-Sicherheit mit Löungsbeispielen auf Open-Source-Basis

2025-01-06T11:20:58Z

Yazar Eschweiler, Jög. author. Atencio Psille, Daniel E. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-36226-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Distributed Systems 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Anderson, James H. editor. Prencipe, Giuseppe. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11795490
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded and Ubiquitous Computing International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Sha, Edwin. editor. Han, Sung-Kook. editor. Xu, Cheng-Zhong. editor. Kim, Moon-Hae. editor. Yang, Laurence T. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11802167
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

2025-01-06T11:20:58Z

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

Data and Applications Security XX 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Damiani, Ernesto. editor. Liu, Peng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11805588
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emerging Directions in Embedded and Ubiquitous Computing EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Zhou, Xiaobo. editor. Sokolsky, Oleg. editor. Yan, Lu. editor. Jung, Eun-Sun. editor. Shao, Zili. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11807964
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Shi, Zhong-Zhi. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11802372
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and Combinatorics 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Chen, Danny Z. editor. Lee, D. T. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11809678
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Data Mining and Applications Second International Conference, ADMA 2006, Xi’an, China, August 14-16, 2006 Proceedings

2025-01-06T11:20:58Z

Yazar Li, Xue. editor. Zaïane, Osmar R. editor. Li, Zhan-huai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11811305
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11814771
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Algorithms, Systems, and Applications First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Cheng, Xiuzhen. editor. Li, Wei. editor. Znati, Taieb. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11814856
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11814948
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Ibarra, Oscar H. editor. Yen, Hsu-Chun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11812128
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Misra, Jayadev. editor. Nipkow, Tobias. editor. Sekerinski, Emil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11813040
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ad-Hoc, Mobile, and Wireless Networks 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Kunz, Thomas. editor. Ravi, S. S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11814764
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computing International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part I

2025-01-06T11:20:58Z

Yazar Huang, De-Shuang. editor. Li, Kang. editor. Irwin, George William. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11816157
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence and Bioinformatics International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part III

2025-01-06T11:20:58Z

Yazar Huang, De-Shuang. editor. Li, Kang. editor. Irwin, George William. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11816102
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Ball, Thomas. editor. Jones, Robert B. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11817963
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Topics in Exception Handling Techniques

2025-01-06T11:20:58Z

Yazar Dony, Christophe. editor. Knudsen, Jørgen Lindskov. editor. Romanovsky, Alexander. editor. Tripathi, Anand. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11818502
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Machine Vision, Image Processing, and Pattern Analysis International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006 Xi’an, China, August 26-27, 2006 Proceedings

2025-01-06T11:20:58Z

Yazar Zheng, Nanning. editor. Jiang, Xiaoyi. editor. Lan, Xuguang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11821045
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Discovering Mathematics with Magma Reducing the Abstract to the Concrete

2025-01-06T11:20:58Z

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

Self-Organizing Systems First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 Proceedings

2025-01-06T11:20:58Z

Yazar Meer, Hermann. editor. Sterbenz, James P. G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11822035
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Immune Systems 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Bersini, Hugues. editor. Carneiro, Jorge. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11823940
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Yi, Kwangkeun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11823230
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2006 Parallel Processing 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Nagel, Wolfgang E. editor. Walter, Wolfgang V. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11823285
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ambient Intelligence in Everyday Life Foreword by Emile Aarts

2025-01-06T11:20:58Z

Yazar Cai, Yang. editor. Abascal, Julio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11825890
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Královič, Rastislav. editor. Urzyczyn, Paweł. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11821069
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Secure Mobile Ad-hoc Networks and Sensors First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers

2025-01-06T11:20:58Z

Yazar Burmester, Mike. editor. Yasinsac, Alec. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11801412
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11828563
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Díaz, Josep. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. Zwick, Uri. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11830924
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security and Cryptography for Networks 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Prisco, Roberto. editor. Yung, Moti. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11832072
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unix-Netzwerkprogramminerung mit Threads, Sockets und SSL

2025-01-06T11:20:58Z

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

Information Security 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Katsikas, Sokratis K. editor. López, Javier. editor. Backes, Michael. editor. Gritzalis, Stefanos. editor. Preneel, Bart. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11836810
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ant Colony Optimization and Swarm Intelligence 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Dorigo, Marco. editor. Gambardella, Luca Maria. editor. Birattari, Mauro. editor. Martinoli, Alcherio. editor. Poli, Riccardo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11839088
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unconventional Computation 5th International Conference, UC 2006, York, UK, September 4-8, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Calude, Cristian S. editor. Dinneen, Michael J. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Stepney, Susan. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11839132
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomic and Trusted Computing Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Yang, Laurence T. editor. Jin, Hai. editor. Ma, Jianhua. editor. Ungerer, Theo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11839569
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings

2025-01-06T11:20:58Z

Yazar Bravetti, Mario. editor. Núñez, Manuel. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11841197
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings

2025-01-06T11:20:58Z

Yazar Corradini, Andrea. editor. Ehrig, Hartmut. editor. Montanari, Ugo. editor. Ribeiro, Leila. editor. Rozenberg, Grzegorz. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11841883
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms – ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Azar, Yossi. editor. Erlebach, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11841036
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database and XML Technologies 4th International XML Database Symposium, XSym 2006 Seoul, Korea, September 10-11, 2006 Proceedings

2025-01-06T11:20:58Z

Yazar Amer-Yahia, Sihem. editor. Bellahsène, Zohra. editor. Hunt, Ela. editor. Unland, Rainer. editor. Yu, Jeffrey Xu. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11841920
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Problem Solving from Nature - PPSN IX 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings

2025-01-06T11:20:58Z

Yazar Runarsson, Thomas Philip. editor. Beyer, Hans-Georg. editor. Burke, Edmund. editor. Merelo-Guervós, Juan J. editor. Whitley, L. Darrell. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11844297
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parameterized and Exact Computation Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Bodlaender, Hans L. editor. Langston, Michael A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11847250
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Gerndt, Michael. editor. Kranzlmüller, Dieter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11847366
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms in Bioinformatics 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006. Proceedings

2025-01-06T11:20:58Z

Yazar Bücher, Philipp. editor. Moret, Bernard M. E. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11851561
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1