Search Results for

49.

Software Process Modeling

Yazar

Acuña, Silvia T. editor. Juristo, Natalia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b104986

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France

Yazar

Dissaux, Pierre. editor. Filali-Amine, Mamoun. editor. Michel, Pierre. editor. Vernadat, François. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106318

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

A Software Process Model Handbook for Incorporating People’s Capabilities

Yazar

Acuña, Silvia Teresita. author. Juristo, Natalia. author. Moreno, Ana María. author. Mon, Alicia. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106969

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

UML for SOC Design

Yazar

Martin, Grant. editor. Müller, Wolfgang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b135980

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Agent Intelligence Through Data Mining

Yazar

Symeonidis, Andreas L. author. Mitkas, Pericles A. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136000

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

An Integrated Approach to Software Engineering

Yazar

Jalote, Pankaj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-28132-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Soft Real-Time Systems Predictability vs. Efficiency

Yazar

Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-28147-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Adapting Proofs-as-Programs The Curry-Howard Protocol

Yazar

Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-28183-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

New Horizons of Parallel and Distributed Computing

Yazar

Guo, Minyi. editor. Yang, Laurence Tianruo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-28967-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

New Algorithms, Architectures and Applications for Reconfigurable Computing

Yazar

Lysaght, Patrick. editor. Rosenstiel, Wolfgang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-3128-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Yazar

Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-3532-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Human-Centered Software Engineering — Integrating Usability in the Software Development Lifecycle

Yazar

Seffah, Ahmed. editor. Gulliksen, Jan. editor. Desmarais, Michel C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-4113-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Interconnect-Centric Design for Advanced SoC and NoC

Yazar

Nurmi, Jari. editor. Tenhunen, Hannu. editor. Isoaho, Jouni. editor. Jantsch, Axel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b117241

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Practical support for CMMI-SW software project documentation using IEEE software engineering standards

Yazar

Land, Susan K. Walz, John W.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989122
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989122

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

Software Agent-Based Applications, Platforms and Development Kits

Yazar

Unland, Rainer. editor. Calisti, Monique. editor. Klusch, Matthias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b137512

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

Ontologies for Agents: Theory and Experiences

Yazar

Tamma, Valentina. editor. Cranefield, Stephen. editor. Finin, Timothy W. editor. Willmott, Steven. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-7643-7361-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

Reverse Engineering of Object Oriented Code

Yazar

Tonella, Paolo. author. Potrich, Alessandra. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b102522

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Security in E-Learning

Yazar

Weippl, Edgar. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136702

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

System Level Design of Reconfigurable Systems-on-Chip

Yazar

Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136832

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

Yazar

Boulet, Pierre. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136935

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Guide to Assembly Language Programming in Linux

Yazar

Dandamudi, Sivarama P. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136895

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Information Processing and Security Systems

Yazar

Saeed, Khalid. editor. Pejaś, Jerzy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b137371

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Multi-Agent Programming Languages, Platforms and Applications

Yazar

Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b137449

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

Yazar

Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b137514

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Virtual, Distributed and Flexible Organisations Studies in Organisational Semiotics

Yazar

Liu, Kecheng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-2162-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling

Yazar

Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b101185

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Pro Spring

Yazar

Harrop, Rob. author. Machacek, Jan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0004-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Painless Project Management with FogBugz

Yazar

Gunderloy, Mike. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0008-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Practical Common Lisp

Yazar

Seibel, Peter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0017-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Beginning Databases with PostgreSQL From Novice to Professional

Yazar

Matthew, Neil. author. Stones, Richard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0018-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Expert Oracle

Yazar

Kyte, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0019-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Beginning J2ME: From Novice to Professional

Yazar

Li, Sing. author. Knudsen, Jonathan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0020-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Shell Scripting Recipes A Problem-Solution Approach

Yazar

Johnson, Chris F. A. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0024-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

A Programmer’s Introduction to C# 2.0

Yazar

Gunnerson, Eric. editor. Wienholt, Nick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0035-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Beginning Java Objects From Concepts to Code

Yazar

Barker, Jacquie. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0036-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

The Best Software Writing I

Yazar

Spolsky, Joel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0038-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

SharePoint 2003 User’s Guide

Yazar

Bates, Seth. author. Smith, Tony. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0040-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Pro Hibernate 3

Yazar

Minter, Dave. author. Linwood, Jeff. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0042-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Pro J2ME Polish Open Source Wireless Java Tools Suite

Yazar

Virkus, Robert. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0045-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Open Source Messaging Application Development Building and Extending Gaim

Yazar

Egan, Sean. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0047-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Pro Apache Beehive

Yazar

Mittal, Kunal. author. Kanchanavally, Srinivas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0052-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Pro JSP 2

Yazar

Brown, Simon. author. Dalton, Sam. author. Jepp, Daniel. author. Johnson, David. author. Li, Sing. author.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0111-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Pro Service-Oriented Smart Clients with .NET 2.0

Yazar

Hashimi, Sayed Y. author. Steffan, Scott J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0058-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

JDBC Recipes A Problem-Solution Approach

Yazar

Parsian, Mahmoud. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0061-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

AutoCAD 2006 VBA A Programmer’s Reference

Yazar

Sutphin, Joe. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0069-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Best Practices in Software Measurement How to use metrics to improve project and process performance

Yazar

Ebert, Christof. author. Bundschuh, Manfred. author. Dumke, Reiner. author. Schmietendorf, Andreas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138013

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Domain Decomposition Methods — Algorithms and Theory

Yazar

Toselli, Andrea. author. Widlund, Olof B. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b137868

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Agentenorientierte Softwareentwicklung Methoden und Tools

Yazar

Weiß, Gerhard. author. Jakob, Ralf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138124

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Das C++ Kompendium STL, Objektfabriken, Exceptions

Yazar

Brands, Gilbert. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138162

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Categories for Software Engineering

Yazar

Fiadeiro, José Luiz. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138249

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Form-Oriented Analysis A New Methodology to Model Form-Based Applications

Yazar

Draheim, Dirk. author. Weber, Gerald. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138252

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

Einführung in die Informatik Objektorientiert mit Java

Yazar

Küchlin, Wolfgang. author. Weber, Andreas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138253

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Linux- und Open-Source-Strategien

Yazar

Wichmann, Thorsten. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138350

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Agile Modellierung mit UML Codegenerierung, Testfälle, Refactoring

Yazar

Rumpe, Bernhard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138365

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

ABAP/4 Programmiertechniken Trainingsbuch

Yazar

Winkler, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138418

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Kompendium der Informationstechnologie Hardware, Software, Client-Server-Systeme, Netzwerke, Datenbanken

Yazar

Brause, Rüdiger. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138377

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Testing Commercial-off-the-Shelf Components and Systems

Yazar

Beydeda, Sami. editor. Gruhn, Volker. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138567

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Spiele effektiv programmieren mit VB.net und DirectX

Yazar

Kettermann, Uwe. author. Rohde, Andreas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138630

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Linux-Systemadministration Grundlagen, Konzepte, Anwendung

Yazar

Wolfinger, Christine. author. Gulbins, Jürgen. author. Hammer, Carsten. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138658

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

ITIL Das IT-Servicemanagement Framework

Yazar

Köhler, Peter T. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138674

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA

Yazar

Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138692

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components

Yazar

Caromel, Denis. author. Henrio, Ludovic. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138812

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Mambo Installation, Administration, Anwendung und Entwicklung

Yazar

Deutz, Robert. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-27487-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Enterprise Architecture at Work Modelling, Communication, and Analysis

Yazar

Lankhorst, Marc. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-27505-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

Softwareentwicklung eingebetteter Systeme Grundlagen, Modellierung, Qualitätssicherung

Yazar

Scholz, Peter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-27522-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

JDF Process Integration, Technology, Product Description

Yazar

Kühn, Wolfgang. author. Grell, Martin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-27528-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

E-Business @ Print Internet-Based Services and Processes

Yazar

König, Anne. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-27529-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Programmieren in Java 1.5 Ein kompaktes, interaktives Tutorial

Yazar

Fischer, Gregor. author. Gudenberg, Jürgen Wolff. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-27549-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors

Yazar

Kurki-Suonio, Reino. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138956

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Supply Chain Management on Demand Strategies, Technologies, Applications

Yazar

An, Chae. editor. Fromm, Hansjörg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138951

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Learning Design A Handbook on Modelling and Delivering Networked Education and Training

Yazar

Koper, Rob. editor. Tattersall, Colin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138966

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Embedded Systems - qualitätsorientierte Entwicklung

Yazar

Bender, Klaus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138984

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Web Component Development with Zope 3

Yazar

Weitershausen, Philipp. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b139044

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Echtzeitsysteme Grundlagen, Funktionsweisen, Anwendungen

Yazar

Wörn, Heinz. author. Brinkschulte, Uwe. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b139050

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Automotive Embedded Systeme Effizientes Framework — Vom Design zur Implementierung

Yazar

Wietzke, Joachim. author. Tran, Manh Tien. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-28305-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Implementing Distributed Systems with Java and CORBA

Yazar

Aleksy, Markus. author. Korthaus, Axel. author. Schader, Martin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-28047-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Speech Application SDK mit ASP.NET Design und Implementierung sprachgestützter Web-Applikationen

Yazar

Zeeck, Achim. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-28086-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

Echtzeitaspekte bei der Koordinierung Autonomer Systeme Fachtagung der GI-Fachgruppe Echtzeitsysteme und PEARL (EP) Boppard, 1./2. Dezember 2005

Yazar

Holleczek, Peter. editor. Vogel-Heuser, Birgit. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-29595-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004. Proceedings

Yazar

Bougé, Luc. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b104576

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings

Yazar

Zhang, Jun. editor. He, Ji-Huan. editor. Fu, Yuxi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b104566

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Parallel and Distributed Computing: Applications and Technologies 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings

Yazar

Liew, Kim-Meow. editor. Shen, Hong. editor. See, Simon. editor. Cai, Wentong. editor. Fan, Pingzhi. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b103538

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings

Yazar

Maher, Michael J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b103476

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Distributed Computing - IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings

Yazar

Sen, Arunabha. editor. Das, Nabanita. editor. Das, Sajal K. editor. Sinha, Bhabani P. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b104419

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Advances in Biometric Person Authentication 5th Chinese Conference on Biometric Recognition, SINOBIOMETRICS 2004, Guangzhou, China, December 13-14, 2004. Proceedings

Yazar

Li, Stan Z. editor. Lai, Jianhuang. editor. Tan, Tieniu. editor. Feng, Guocan. editor. Wang, Yunhong. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b104239

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports

Yazar

Malenfant, Jacques. editor. Østvold, Bjarte M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b104146

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Distributed Computing and Internet Technology First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004. Proceedings

Yazar

Ghosh, R. K. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b104418

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Yazar

Hermenegildo, Manuel V. editor. Cabeza, Daniel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105205

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Switching and Learning in Feedback Systems European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers

Yazar

Murray-Smith, Roderick. editor. Shorten, Robert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105497

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004. Proceedings

Yazar

Das, Gautam. editor. Gulati, Ved Prakash. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b104585

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings

Yazar

Cao, Jiannong. editor. Yang, Laurence T. editor. Guo, Minyi. editor. Lau, Francis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b104574

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Yazar

Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105030

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Quality of Service in Multiservice IP Networks Third International Workshop, QoS-IP 2005, Catania, Italy, February 2-4, 2004, Catania, Italy, February 2-4, 2004. Proceedings

Yazar

Ajmone Marsan, Marco. editor. Bianchi, Giuseppe. editor. Listanti, Marco. editor. Meo, Michela. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105169

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings

Yazar

Vojtáš, Peter. editor. Bieliková, Mária. editor. Charron-Bost, Bernadette. editor. Sýkora, Ondrej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105088

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

Yazar

Odell, James. editor. Giorgini, Paolo. editor. Müller, Jörg P. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105022

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

Yazar

Cousot, Radhia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105073

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

Information Networking. Convergence in Broadband and Mobile Networking International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005. Proceedings

Yazar

Kim, Cheeha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105584

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings

Yazar

Franch, Xavier. editor. Port, Daniel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105900

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Inconsistency Tolerance

Yazar

Bertossi, Leopoldo. editor. Hunter, Anthony. editor. Schaub, Torsten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b104925

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning

Yazar

Kudenko, Daniel. editor. Kazakov, Dimitar. editor. Alonso, Eduardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106974

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

Yazar

Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106931

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings

Yazar

Pan, Yi. editor. Chen, Daoxu. editor. Guo, Minyi. editor. Cao, Jiannong. editor. Dongarra, Jack. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11576235

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Wired/Wireless Internet Communications Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005. Proceedings

Yazar

Braun, Torsten. editor. Carle, Georg. editor. Koucheryavy, Yevgeni. editor. Tsaoussidis, Vassilis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136247

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Metainformatics International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers

Yazar

Wiil, Uffe Kock. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138822

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I

Yazar

Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136570

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II

Yazar

Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136571

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

Parallel and Distributed Processing and Applications - ISPA 2005 Workshops ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005. Proceedings

Yazar

Chen, Guihai. editor. Pan, Yi. editor. Guo, Minyi. editor. Lu, Jian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11576259

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III

Yazar

Sunderam, Vaidy S. 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/b136575

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Self-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings

Yazar

Tixeuil, Sébastien. editor. Herman, Ted. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11577327

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

Yazar

Barley, Michael Wayne. editor. Kasabov, Nik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b107183

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops OTM Confederated Internationl Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005. Proceedings

Yazar

Meersman, Robert. editor. Tari, Zahir. editor. Herrero, Pilar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11575863

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV

Yazar

Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganá, Antonio. editor. Lee, Heow Pueh. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136278

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Computational Methods in Systems Biology International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers

Yazar

Danos, Vincent. editor. Schachter, Vincent. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b107287

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

Secure Systems Development with UML

Yazar

Jürjens, Jan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b137706

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Component-Based Software Testing with UML

Yazar

Gross, Hans-Gerhard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138012

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Moderne C-Programmierung Kompendium und Referenz

Yazar

Schellong, Helmut O.B. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-28545-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers

Yazar

Gschwind, Thomas. editor. Aßmann, Uwe. editor. Nierstrasz, Oscar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11550679

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

SAP für Java-Entwickler Konzepte, Schnittstellen, Technologien

Yazar

Jeske, Till. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-28892-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

Software Product Line Engineering Foundations, Principles, and Techniques

Yazar

Pohl, Klaus. author. Böckle, Günter. author. Linden, Frank. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-28901-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Peer-to-Peer Systems III Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers

Yazar

Voelker, Geoffrey M. editor. Shenker, Scott. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b104020

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

Ubiquitous Mobile Information and Collaboration Systems Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers

Yazar

Baresi, Luciano. editor. Dustdar, Schahram. editor. Gall, Harald C. editor. Matera, Maristella. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b104023

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

Service Availability First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers

Yazar

Malek, Miroslaw. editor. Reitenspieß, Manfred. editor. Kaiser, Jörg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105309

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

Product Focused Software Process Improvement 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings

Yazar

Bomarius, Frank. editor. Komi-Sirviö, Seija. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b137178

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

Architecting Dependable Systems III

Yazar

Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11556169

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Yazar

Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11591191

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

Data Management in a Connected World Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday

Yazar

Härder, Theo. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b137346

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings

Yazar

Vardanega, Tullio. editor. Wellings, Andy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b137344

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

Yazar

Ramos, Félix F. editor. Larios Rosillo, Victor. editor. Unger, Herwig. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11533962

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

Yazar

Etessami, Kousha. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138445

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

Yazar

Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11523468

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

Yazar

Fitzgerald, John. editor. Hayes, Ian J. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b27882

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

Yazar

Black, Andrew P. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11531142

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings

Yazar

Gramlich, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11559306

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15 – 17, 2005. Proceedings

Yazar

Pěchouček, Michael. editor. Petta, Paolo. editor. Varga, László Zsolt. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11559221

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers

Yazar

Shen, Weiming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Li, Tangqiu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11568421

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

Ubiquitous Computing Systems Second International Symposium, UCS 2004, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers

Yazar

Murakami, Hitomi. editor. Nakashima, Hideyuki. editor. Tokuda, Hideyuki. editor. Yasumura, Michiaki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11526858

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

Yazar

Priami, Corrado. editor. Quaglia, Paola. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b103251

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

Information Security Applications 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers

Yazar

Lim, Chae Hoon. editor. Yung, Moti. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b103174

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers

Yazar

Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11538097

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

Yazar

Hurd, Joe. editor. Melham, Tom. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11541868

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

Yazar

Beckert, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11554554

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers

Yazar

Wu, Zhaohui. editor. Chen, Chun. editor. Guo, Minyi. editor. Bu, Jiajun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11535409

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings

Yazar

Malyshkin, Victor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11535294

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers

Yazar

Chapman, Barbara M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105895

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

Databases, Information Systems, and Peer-to-Peer Computing Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers

Yazar

Ng, Wee Siong. editor. Ooi, Beng-Chin. editor. Ouksel, Aris M. editor. Sartori, Claudio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106971

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

Yazar

Roy, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106627

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

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

Yazar

Choren, Ricardo. editor. Garcia, Alessandro. editor. Lucena, Carlos. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106347

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Yazar

Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106390

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

Yazar

Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106767

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers

Yazar

Daydé, Michel. editor. Dongarra, Jack. editor. Hernández, Vicente. editor. Palma, José M. L. M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106965

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings

Yazar

Cunha, José C. editor. Medeiros, Pedro D. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11549468

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers

Yazar

Gleizes, Marie-Pierre. editor. Omicini, Andrea. editor. Zambonelli, Franco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136158

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Data and Applications Security XIX 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005. Proceedings

Yazar

Jajodia, Sushil. editor. Wijesekera, Duminda. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11535706

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

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/11561163

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

Yazar

Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11545262

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

UbiComp 2005: Ubiquitous Computing 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005. Proceedings

Yazar

Beigl, Michael. editor. Intille, Stephen. editor. Rekimoto, Jun. editor. Tokuda, Hideyuki. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11551201

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

Yazar

Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106766

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

Yazar

Fiadeiro, José Luiz. editor. Mosses, Peter D. editor. Orejas, Fernando. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b107129

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

Yazar

Bastide, Rémi. editor. Palanque, Philippe. editor. Roth, Jörg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136790

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

Biomimetic Neural Learning for Intelligent Robots Intelligent Systems, Cognitive Robotics, and Neuroscience

Yazar

Wermter, Stefan. editor. Palm, Günther. editor. Elshaw, Mark. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b139051

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

Yazar

Godefroid, Patrice. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11537328

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

209.

Engineering Self-Organising Systems Methodologies and Applications

Yazar

Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Karageorgos, Anthony. editor. Nagpal, Radhika. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136984

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

Yazar

Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11549970

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

Peer-to-Peer Systems IV 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers

Yazar

Castro, Miguel. editor. Renesse, Robbert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11558989

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

Yazar

Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11562948

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

213.

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

Yazar

Hankin, Chris. editor. Siveroni, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11547662

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

Embedded Systems Design The ARTIST Roadmap for Research and Development

Yazar

Bouyssounouse, Bruno. author. Sifakis, Joseph. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106761

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers

Yazar

Gschwind, Thomas. editor. Mascolo, Cecilia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b107130

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

Yazar

Luo, Yuhua. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11555223

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings

Yazar

Glück, Robert. editor. Lowry, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11561347

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Yazar

Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b107194

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Yazar

Sassone, Vladimiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106850

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Yazar

Cerioli, Maura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b107062

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Yazar

Bodik, Rastislav. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b107108

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Yazar

Sagiv, Mooly. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b107380

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

Yazar

Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11563228

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

224.

Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings

Yazar

Hutter, Dieter. editor. Ullmann, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b135497

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings

Yazar

Jacquet, Jean-Marie. editor. Picco, Gian Pietro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b135676

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

226.

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

Yazar

Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b135596

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

227.

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

Yazar

Rust, Heinrich. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b135629

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

Scientific Applications of Grid Computing First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers

Yazar

Herrero, Pilar. editor. Pérez, María S. editor. Robles, Víctor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136149

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

229.

Self-star Properties in Complex Information Systems Conceptual and Practical Foundations

Yazar

Babaoglu, Ozalp. editor. Jelasity, Márk. editor. Montresor, Alberto. editor. Fetzer, Christof. editor. Leonardi, Stefano. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136551

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings

Yazar

Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136094

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

Service Availability Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25 – 26, 2005, Revised Selected Papers

Yazar

Malek, Miroslaw. editor. Nett, Edgar. editor. Suri, Neeraj. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11560333

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

232.

Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings

Yazar

Cin, Mario. editor. Kaâniche, Mohamed. editor. Pataricza, András. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b107276

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Yazar

Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b135888

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Yazar

Romijn, Judi. editor. Smith, Graeme. editor. Pol, Jaco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11589976

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

235.

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings

Yazar

Jin, Hai. editor. Reed, Daniel. editor. Jiang, Wenbin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11577188

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

236.

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

Yazar

Yi, Kwangkeun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11575467

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

237.

Advances in Biometric Person Authentication International Wokshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22-23, 2005. Proceedings

Yazar

Li, Stan Z. editor. Sun, Zhenan. editor. Tan, Tieniu. editor. Pankanti, Sharath. editor. Chollet, Gérard. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11569947

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

238.

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

Yazar

Lau, Kung-Kiu. editor. Banach, Richard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11576280

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

239.

Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers

Yazar

Konagaya, Akihiko. editor. Satou, Kenji. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106923

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

240.

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Yazar

Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106663

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

RoboCup 2004: Robot Soccer World Cup VIII

Yazar

Nardi, Daniele. editor. Riedmiller, Martin. editor. Sammut, Claude. editor. Santos-Victor, José. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106671

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

242.

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

Yazar

Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106468

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

Yazar

Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105887

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

244.

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings

Yazar

Ganter, Bernhard. editor. Godin, Robert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b105806

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

245.

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Yazar

Abdallah, Ali E. editor. Jones, Cliff B. editor. Sanders, Jeff W. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136154

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

246.

Software Architecture 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings

Yazar

Morrison, Ron. editor. Oquendo, Flavio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136986

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

247.

Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings

Yazar

Alonso, Gustavo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11587552

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

248.

Software Process Improvement 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005. Proceedings

Yazar

Richardson, Ita. editor. Abrahamsson, Pekka. editor. Messnarz, Richard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11586012

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

Grid and Cooperative Computing - GCC 2005 4th International Conference, Beijing, China, November 30 - December 3, 2005. Proceedings

Yazar

Zhuge, Hai. editor. Fox, Geoffrey C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11590354

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

250.

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings

Yazar

Dearle, Alan. editor. Eisenbach, Susan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11590712

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

Service-Oriented Computing - ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005. Proceedings

Yazar

Benatallah, Boualem. editor. Casati, Fabio. editor. Traverso, Paolo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11596141

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

Embedded and Ubiquitous Computing – EUC 2005 Workshops EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005. Proceedings

Yazar

Enokido, Tomoya. editor. Yan, Lu. editor. Xiao, Bin. editor. Kim, Daeyoung. editor. Dai, Yuanshun. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11596042

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

253.

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

Yazar

Bader, David A. editor. Parashar, Manish. editor. Sridhar, Varadarajan. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11602569

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

254.

Distributed Computing – IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings

Yazar

Pal, Ajit. editor. Kshemkalyani, Ajay D. editor. Kumar, Rajeev. editor. Gupta, Arobinda. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11603771

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

Software requirements : encapsulation, quality, and reuse

Yazar

Lutowski, Rick., author.

Yer Numarası

QA76.758 .L87 2005

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

Computers, Software Engineering, and Digital Devices

Yazar

Dorf, Richard C., author. Taylor and Francis.

Yer Numarası

TK7885

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

Strategic software engineering : an interdisciplinary approach

Yazar

Deek, Fadi P. McHugh, James A., 1944- Eljabiri, Osama M.

Yer Numarası

QA76.758 .S765 2005

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies

Yazar

Zhuk, Jeff.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

Software design for engineers and scientists

Yazar

Robinson, John A. (John Allen), 1958-

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780750660808

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

Bioinformatics software engineering delivering effective applications

Yazar

Weston, Paul, HGMP. John Wiley & Sons.

Yer Numarası

ONLINE

Elektronik Erişim

John Wiley http://dx.doi.org/10.1002/0470030143

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

261.

The laws of software process : a new model for the production and management of software

Yazar

Armour, Philip G., author.

Yer Numarası

QA76.758 .A75 2004

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

262.

Software engineering for image processing systems

Yazar

Laplante, Phillip A., author.

Yer Numarası

TA1637 .L34 2004

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

Software engineering and computer games

Yazar

Rucker, Rudy v. B. (Rudy von Bitter), 1946-

Yer Numarası

QA76.758 R83 2003

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

264.

Schaum's outline of theory and problems of software engineering

Yazar

Gustafson, David A.

Yer Numarası

QA76.758 G88 2002

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

265.

The project manager's guide to software engineering's best practices

Yazar

Christensen, M. J., 1947- Thayer, Richard H.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989224
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989224

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

Yazılım mühendisliği

Yazar

Sarıdoğan, M. Erhan

Yer Numarası

QA76.758 A75 2001

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

267.

LDAP tabanlı UNIX kullanıcı tanıma ve denetim sistemi

Yazar

Can, Ahmet Burak.

Yer Numarası

TEZ/5178 C16 2001

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

268.

Grafiksel kullanıcı arayüz üzerinde ilişkisel veri tabanına dayalı uygulama yazılımları için yazılım geliştirme sürecinde kurumsal tabanda izlenecek yol ve ilkelerin belirlenmesi

Yazar

Estekin, Emin Agah.

Yer Numarası

TEZ/5183 E85 2001

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

269.

Software requirements engineering

Yazar

Thayer, Richard H. Dorfman, M.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989265
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989265

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

Object oriented software technologies in telecommunications from theory to practice

Yazar

Venieris, Iakovos. Zizza, Fabrizio. Magedanz, Thomas. John Wiley & Sons.

Yer Numarası

ONLINE

Elektronik Erişim

John Wiley http://dx.doi.org/10.1002/0470841869

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

The mythical man-month : essays on software engineering

Yazar

Brooks, Frederick P. (Frederick Phillips)

Yer Numarası

QA76.758 B75 1995

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

272.

A discipline for software engineering

Yazar

Humphrey, Watts S., 1927-

Yer Numarası

QA 76.758 H857 1995

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

273.

Managing Complexity in Software Engineering

Yazar

Mitchell, R., ed.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1049/PBCM017E

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

274.

Industrial Software Technology

Yazar

Mitchell, R., ed.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1049/PBCM010E

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}