Search Results for Software Engineering.

901.

User-Level Workflow Design A Bioinformatics Perspective

Yazar

Lamprecht, Anna-Lena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335213.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-45389-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

902.

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers

Yazar

Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335215.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-45404-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

903.

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

Yazar

Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.

Yer Numarası

ONLINE(335216.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-45419-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

904.

Requirements Engineering und Projektmanagement

Yazar

Valentini, Uwe. author. Weißbach, Rüdiger. author. Fahney, Ralf. author. Gartung, Thomas. author. Glunde, Jörg. author.

Yer Numarası

ONLINE(336955.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29432-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

905.

Agentensysteme in der Automatisierungstechnik

Yazar

Göhner, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(337038.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-31768-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

906.

Keine Angst vor Linux/Unix Ein Lehrbuch für Linux- und Unix-Anwender

Yazar

Wolfinger, Christine. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337045.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32079-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

907.

Kommunikation unter Echtzeitbedingungen Echtzeit 2012

Yazar

Halang, Wolfgang A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(337075.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33707-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

908.

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

Yazar

Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337114.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34718-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

909.

Usability Engineering kompakt Benutzbare Produkte gezielt entwickeln

Yazar

Richter, Michael. author. Flückiger, Markus D. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337140.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34832-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

910.

Multi-Touch Interaktion durch Berührung

Yazar

Schlegel, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(337203.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36113-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

911.

Industrie 4.0 Beherrschung der industriellen Komplexität mit SysLM

Yazar

Sendler, Ulrich. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(337230.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36917-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

912.

Anwendungsentwicklung mit Datenbanken

Yazar

Unterstein, Michael. author. Matthiessen, Günter. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337341.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39003-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

913.

Moderne C-Programmierung Kompendium und Referenz

Yazar

Schellong, Helmut. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337371.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40058-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

914.

Risikomanagement kompakt Risiken und Unsicherheiten bewerten und beherrschen

Yazar

Ebert, Christof. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337388.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41048-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

915.

Funktionale Sicherheit Echtzeit 2013

Yazar

Halang, Wolfgang A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(337391.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41309-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

916.

Grundkurs Datenbankentwicklung Von der Anforderungsanalyse zur komplexen Datenbankanfrage

Yazar

Kleuker, Stephan. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337828.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-01588-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

917.

Entwicklung fuzzybasierter Leitkomponenten für das Klimamanagement in der präventiven Konservierung

Yazar

Arnold, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE(338149.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-03155-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

918.

Raspberry Pi – Das Handbuch Konfiguration, Hardware, Applikationserstellung

Yazar

Dembowski, Klaus. author. SpringerLink (Online service)

Yer Numarası

ONLINE(338155.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-03167-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

919.

Programmieren spielend gelernt mit dem Java-Hamster-Modell

Yazar

Boles, Dietrich. author. SpringerLink (Online service)

Yer Numarası

ONLINE(338304.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-2039-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

920.

Qualitätssicherung durch Softwaretests Vorgehensweisen und Werkzeuge zum Test von Java-Programmen

Yazar

Kleuker, Stephan. author. SpringerLink (Online service)

Yer Numarası

ONLINE(338309.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-2068-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

921.

Pro Team Foundation Service

Yazar

Olausson, Mathias. author. Rossberg, Joachim. author. Ehn, Jakob. author. Sköld, Mattias. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330735.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

922.

Autonomic Computing Principles, Design and Implementation

Yazar

Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331115.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5007-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

923.

Cloud Computing Methods and Practical Approaches

Yazar

Mahmood, Zaigham. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(331146.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5107-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

924.

An Introduction to Network Programming with Java Java 7 Compatible

Yazar

Graba, Jan. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331180.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5254-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

925.

Using Event-B for Critical Device Software Systems

Yazar

Singh, Neeraj Kumar. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331181.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5260-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

926.

Advanced Network Programming – Principles and Techniques Network Application Programming with Java

Yazar

Ciubotaru, Bogdan. author. Muntean, Gabriel-Miro. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331186.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5292-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

927.

Semantic Models for Adaptive Interactive Systems

Yazar

Hussein, Tim. editor. Paulheim, Heiko. editor. Lukosch, Stephan. editor. Ziegler, Jürgen. editor. Calvary, Gaëlle. editor.

Yer Numarası

ONLINE(331188.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5301-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

928.

Middleware Solutions for the Internet of Things

Yazar

Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331206.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5481-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

929.

Concise Guide to Databases A Practical Introduction

Yazar

Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331224.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-5601-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

930.

Advances in Multimedia Information Processing – PCM 2013 14th Pacific-Rim Conference on Multimedia, Nanjing, China, December 13-16, 2013. Proceedings

Yazar

Huet, Benoit. editor. Ngo, Chong-Wah. editor. Tang, Jinhui. editor. Zhou, Zhi-Hua. editor. Hauptmann, Alexander G. editor.

Yer Numarası

ONLINE(332991.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03731-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

931.

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II

Yazar

Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Dash, Shubhransu Sekhar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332994.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03756-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

932.

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I

Yazar

Kołodziej, Joanna. editor. Martino, Beniamino. editor. Talia, Domenico. editor. Xiong, Kaiqi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333000.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03859-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

933.

Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers

Yazar

Yousif, Mazin. editor. Schubert, Lutz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333002.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03874-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

934.

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part II

Yazar

Aversa, Rocco. editor. Kołodziej, Joanna. editor. Zhang, Jun. editor. Amato, Flora. editor. Fortino, Giancarlo. editor.

Yer Numarası

ONLINE(333003.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03889-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

935.

Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers

Yazar

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.

Yer Numarası

ONLINE(333011.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03998-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

936.

Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers

Yazar

Zuniga, Marco. editor. Dini, Gianluca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333015.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-04166-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

937.

Cloud Computing and Services Science Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers

Yazar

Ivanov, Ivan I. editor. Sinderen, Marten. editor. Leymann, Frank. editor. Shan, Tony. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333024.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-04519-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

938.

Enterprise Architecture Patterns Practical Solutions for Recurring IT-Architecture Problems

Yazar

Perroud, Thierry. author. Inversini, Reto. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334453.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37561-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

939.

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Yazar

Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334556.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38209-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

940.

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

Yazar

Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334469.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37658-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

941.

Service-Oriented Computing - ICSOC 2012 Workshops ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

Yazar

Ghose, Aditya. editor. Zhu, Huibiao. editor. Yu, Qi. editor. Delis, Alex. editor. Sheng, Quang Z. editor.

Yer Numarası

ONLINE(334485.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37804-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

942.

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

Yazar

Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.

Yer Numarası

ONLINE(334682.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38853-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

943.

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

Yazar

Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334683.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38856-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

944.

Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings

Yazar

Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334686.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38865-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

945.

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Yazar

Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334688.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38874-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

946.

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

Yazar

Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334691.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38883-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

947.

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

Yazar

Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334697.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38911-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

948.

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Yazar

Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334698.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38916-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

949.

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

Yazar

Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334821.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39614-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

950.

Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings

Yazar

Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.

Yer Numarası

ONLINE(334822.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39617-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

951.

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V

Yazar

Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.

Yer Numarası

ONLINE(334827.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39640-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

952.

Systemanalyse kompakt

Yazar

SOPHIST GmbH. author. Rupp, Chris. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337184.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35446-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

953.

Software-Qualität

Yazar

Hoffmann, Dirk W. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337190.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35700-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

954.

Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungen

Yazar

Breckenfelder, Christof. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337705.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-01128-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

955.

Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation

Yazar

Mandl, Peter. author. SpringerLink (Online service)

Yer Numarası

ONLINE(338350.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-2301-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

956.

Architektur- und Entwurfsmuster der Softwaretechnik Mit lauffähigen Beispielen in Java

Yazar

Goll, Joachim. author. Dausmann, Manfred. author. SpringerLink (Online service)

Yer Numarası

ONLINE(338371.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-2432-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

957.

Grundkurs JAVA Von den Grundlagen bis zu Datenbank- und Netzanwendungen

Yazar

Abts, Dietmar. author. SpringerLink (Online service)

Yer Numarası

ONLINE(338386.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-2535-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

958.

Open Source Software: Quality Verification 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings

Yazar

Petrinja, Etiel. editor. Succi, Giancarlo. editor. Ioini, Nabil. editor. Sillitti, Alberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334700.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38928-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

959.

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

Yazar

Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334706.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38977-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

960.

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

Yazar

Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334708.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38986-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

961.

Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings

Yazar

Doyen, Guillaume. editor. Waldburger, Martin. editor. Čeleda, Pavel. editor. Sperotto, Anna. editor. Stiller, Burkhard. editor.

Yer Numarası

ONLINE(334710.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38998-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

962.

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Yazar

Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334711.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39013-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

963.

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Yazar

Drira, Khalil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334714.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39031-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

964.

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

Yazar

Castagna, Giuseppe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334715.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39038-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

965.

Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Yazar

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334840.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39718-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

966.

Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

Yazar

Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334727.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39088-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

967.

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

Yazar

Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335003.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40787-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

968.

Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings

Yazar

Bitsch, Friedemann. editor. Guiochet, Jérémie. editor. Kaâniche, Mohamed. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335005.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40793-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

969.

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings

Yazar

Botía, Juan A. editor. Álvarez-García, Juan Antonio. editor. Fujinami, Kaori. editor. Barsocchi, Paolo. editor. Riedel, Till. editor.

Yer Numarası

ONLINE(335047.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41043-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

970.

Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers

Yazar

Shaikh, Faisal Karim. editor. Chowdhry, Bhawani Shankar. editor. Ammari, Habib M. editor. Uqaili, Muhammad Aslam. editor. Shah, Assadullah. editor.

Yer Numarası

ONLINE(335048.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41054-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

971.

Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings

Yazar

Accorsi, Rafael. editor. Ranise, Silvio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335057.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41098-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

972.

Time and Petri Nets

Yazar

Popova-Zeugmann, Louchka. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335059.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41115-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

973.

Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings

Yazar

Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335064.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41151-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

974.

Intelligent Robotics and Applications 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I

Yazar

Lee, Jangmyung. editor. Lee, Min Cheol. editor. Liu, Honghai. editor. Ryu, Jee-Hwan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335019.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40852-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

975.

Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

Yazar

Palamidessi, Catuscia. editor. Ryan, Mark D. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335066.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41157-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

976.

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Yazar

Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335023.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40885-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

977.

Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I

Yazar

Lin, Xuemin. editor. Manolopoulos, Yannis. editor. Srivastava, Divesh. editor. Huang, Guangyan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335078.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41230-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

978.

From Sounds to Music and Emotions 9th International Symposium, CMMR 2012, London, UK, June 19-22, 2012, Revised Selected Papers

Yazar

Aramaki, Mitsuko. editor. Barthet, Mathieu. editor. Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335080.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41248-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

979.

Measurement Methodology and Tools First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papers

Yazar

Fàbrega, Lluís. editor. Vilà, Pere. editor. Careglio, Davide. editor. Papadimitriou, Dimitri. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335086.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41296-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

980.

Model and Data Engineering Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013. Proceedings

Yazar

Cuzzocrea, Alfredo. editor. Maabout, Sofian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335097.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41366-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

981.

Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings

Yazar

Pathan, Mukaddim. editor. Wei, Guiyi. editor. Fortino, Giancarlo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335105.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41428-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

982.

Product Lifecycle Management for Society 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings

Yazar

Bernard, Alain. editor. Rivest, Louis. editor. Dutta, Debasish. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335114.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41501-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

983.

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Yazar

Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.

Yer Numarası

ONLINE(335120.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41533-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

984.

Evolution of Telecommunication Services The Convergence of Telecom and Internet: Technologies and Ecosystems

Yazar

Bertin, Emmanuel. editor. Crespi, Noel. editor. Magedanz, Thomas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335123.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41569-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

985.

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Yazar

Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335125.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41578-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

986.

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Yazar

Hinze, Ralf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335126.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41582-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

987.

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

Yazar

Sagonas, Kostis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335204.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-45284-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

988.

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

Yazar

Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335206.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-45293-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

989.

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

Yazar

Cossentino, Massimo. editor. Fallah Seghrouchni, Amal. editor. Winikoff, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335210.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-45343-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

990.

Mobile Payment

Yazar

Lerner, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335291.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-03251-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

991.

Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project

Yazar

Cotroneo, Domenico. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335577.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-88-470-2772-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

992.

Java kompakt Eine Einführung in die Software-Entwicklung mit Java

Yazar

Hölzl, Matthias. author. Raed, Allaithy. author. Wirsing, Martin. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336934.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28504-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

993.

Software Business. From Physical Products to Software Services and Solutions 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings

Yazar

Herzwurm, Georg. editor. Margaria, Tiziana. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334783.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39336-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

994.

Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

Yazar

Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334797.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39408-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

995.

Big Data 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings

Yazar

Gottlob, Georg. editor. Grasso, Giovanni. editor. Olteanu, Dan. editor. Schallhart, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334803.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39467-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

996.

Inclusive Society: Health and Wellbeing in the Community, and Care at Home 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013. Proceedings

Yazar

Biswas, Jit. editor. Kobayashi, Hisato. editor. Wong, Lawrence. editor. Abdulrazak, Bessam. editor. Mokhtari, Mounir. editor.

Yer Numarası

ONLINE(334804.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39470-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

997.

Model-Driven Dependability Assessment of Software Systems

Yazar

Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334812.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39512-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

998.

Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings

Yazar

Kühnberger, Kai-Uwe. editor. Rudolph, Sebastian. editor. Wang, Pei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334814.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39521-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

999.

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Yazar

Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334820.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39611-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1000.

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

Yazar

Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334825.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39634-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1001.

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I

Yazar

Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.

Yer Numarası

ONLINE(334826.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39637-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1002.

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II

Yazar

Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.

Yer Numarası

ONLINE(334828.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39643-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1003.

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III

Yazar

Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.

Yer Numarası

ONLINE(334829.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39646-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1004.

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV

Yazar

Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.

Yer Numarası

ONLINE(334830.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39649-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1005.

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

Yazar

Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334832.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39666-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1006.

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Yazar

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334837.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39698-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1007.

Music and Human-Computer Interaction

Yazar

Holland, Simon. editor. Wilkie, Katie. editor. Mulholland, Paul. editor. Seago, Allan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(330896.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-2990-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1008.

Creativity and Rationale Enhancing Human Experience by Design

Yazar

Carroll, John M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(330908.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4111-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1009.

Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques

Yazar

Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)

Yer Numarası

ONLINE(330912.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4126-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1010.

Connecting Families The Impact of New Communication Technologies on Domestic Life

Yazar

Neustaedter, Carman. editor. Harrison, Steve. editor. Sellen, Abigail. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(330927.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4471-4192-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1011.

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

Yazar

Raynal, Michel. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333514.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32027-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1012.

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

Yazar

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.

Yer Numarası

ONLINE(334041.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35737-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1013.

Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers

Yazar

Yuan, Yuyu. editor. Wu, Xu. editor. Lu, Yueming. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334049.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35795-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1014.

Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings

Yazar

Frey, Davide. editor. Raynal, Michel. editor. Sarkar, Saswati. editor. Shyamasundar, Rudrapatna K. editor. Sinha, Prasun. editor.

Yer Numarası

ONLINE(334025.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35668-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1015.

Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

Yazar

Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334033.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35702-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1016.

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Yazar

Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334034.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35705-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1017.

Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

Yazar

Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334142.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36177-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1018.

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

Yazar

Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334156.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36249-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1019.

Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach

Yazar

Jörges, Sven. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334129.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36127-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1020.

Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers

Yazar

Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334174.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36315-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1021.

SmartShadow: Models and Methods for Pervasive Computing

Yazar

Wu, Zhaohui. author. Pan, Gang. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334190.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36382-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1022.

Semantic Mashups Intelligent Reuse of Web Resources

Yazar

Endres-Niggemeyer, Brigitte. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334195.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36403-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1023.

Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings

Yazar

Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334200.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36424-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1024.

Web Information Systems and Technologies 8th International Conference, WEBIST 2012, Porto, Portugal, April 18-21, 2012, Revised Selected Papers

Yazar

Cordeiro, José. editor. Krempels, Karl-Heinz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334245.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36608-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1025.

Domain Engineering Product Lines, Languages, and Conceptual Models

Yazar

Reinhartz-Berger, Iris. editor. Sturm, Arnon. editor. Clark, Tony. editor. Cohen, Sholom. editor. Bettin, Jorn. editor.

Yer Numarası

ONLINE(334257.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36654-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1026.

Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings

Yazar

Demeester, Piet. editor. Moerman, Ingrid. editor. Terzis, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334263.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-36672-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1027.

Pervasive Computing and the Networked World Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers

Yazar

Zu, Qiaohong. editor. Hu, Bo. editor. Elçi, Atilla. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334342.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37015-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1028.

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334348.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37036-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1029.

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334353.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37051-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1030.

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Pfenning, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334358.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37075-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1031.

Foundations and Practice of Security 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers

Yazar

Garcia-Alfaro, Joaquin. editor. Cuppens, Frédéric. editor. Cuppens-Boulahia, Nora. editor. Miri, Ali. editor. Tawbi, Nadia. editor.

Yer Numarası

ONLINE(334365.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37119-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1032.

Policies and Research in Identity Management Third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013. Proceedings

Yazar

Fischer-Hübner, Simone. editor. Leeuw, Elisabeth. editor. Mitchell, Chris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334399.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37282-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1033.

Smart Card Research and Advanced Applications 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers

Yazar

Mangard, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334401.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37288-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1034.

Feature-Oriented Software Product Lines Concepts and Implementation

Yazar

Apel, Sven. author. Batory, Don. author. Kästner, Christian. author. Saake, Gunter. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334447.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-37521-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1035.

Transactions on Petri Nets and Other Models of Concurrency VII

Yazar

Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.

Yer Numarası

ONLINE(334545.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38143-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1036.

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Yazar

Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334547.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38164-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1037.

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Yazar

Albert, Elvira. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334552.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38197-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1038.

Advanced Infocomm Technology 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers

Yazar

Guyot, Vincent. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334561.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38227-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1039.

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Yazar

Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334562.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38230-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1040.

Web Dynpro ABAP for Practitioners

Yazar

Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334566.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38247-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1041.

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

Yazar

Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334580.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38317-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1042.

Aspect-Oriented Requirements Engineering

Yazar

Moreira, Ana. editor. Chitchyan, Ruzanna. editor. Araújo, João. editor. Rashid, Awais. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334641.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38640-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1043.

Benchmarking Peer-to-Peer Systems Understanding Quality of Service in Large-Scale Distributed Systems

Yazar

Effelsberg, Wolfgang. editor. Steinmetz, Ralf. editor. Strufe, Thorsten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334646.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38673-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1044.

Transactions on Pattern Languages of Programming III

Yazar

Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334647.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38676-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1045.

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Yazar

Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334651.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38697-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1046.

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

Yazar

Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334652.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38700-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1047.

End-User Development 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings

Yazar

Dittrich, Yvonne. editor. Burnett, Margaret. editor. Mørch, Anders. editor. Redmiles, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334654.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38706-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1048.

Advanced Information Systems Engineering 25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings

Yazar

Salinesi, Camille. editor. Norrie, Moira C. editor. Pastor, Óscar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334655.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38709-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1049.

Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings

Yazar

Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334662.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38750-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1050.

Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings

Yazar

Brocke, Jan. editor. Hekkala, Riitta. editor. Ram, Sudha. editor. Rossi, Matti. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334675.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38827-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1051.

Software Process Improvement and Capability Determination 13th International Conference, SPICE 2013, Bremen, Germany, June 4-6, 2013. Proceedings

Yazar

Woronowicz, Tanja. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334677.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38833-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1052.

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

Yazar

Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334743.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39176-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1053.

E-Voting and Identify 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings

Yazar

Heather, James. editor. Schneider, Steve. editor. Teague, Vanessa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334746.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39185-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1054.

Web Engineering 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings

Yazar

Daniel, Florian. editor. Dolog, Peter. editor. Li, Qing. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334750.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39200-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1055.

Robotics in Smart Manufacturing International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013. Proceedings

Yazar

Neto, Pedro. editor. Moreira, António Paulo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334756.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39223-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1056.

Detection of Intrusions and Malware, and Vulnerability Assessment 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings

Yazar

Rieck, Konrad. editor. Stewin, Patrick. editor. Seifert, Jean-Pierre. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334760.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39235-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1057.

Ad-hoc, Mobile, and Wireless Network 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013. Proceedings

Yazar

Cichoń, Jacek. editor. Gȩbala, Maciej. editor. Klonowski, Marek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334764.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39247-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1058.

RoboCup 2012: Robot Soccer World Cup XVI

Yazar

Chen, Xiaoping. editor. Stone, Peter. editor. Sucar, Luis Enrique. editor. Zant, Tijn. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334765.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39250-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1059.

Product-Focused Software Process Improvement 14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013. Proceedings

Yazar

Heidrich, Jens. editor. Oivo, Markku. editor. Jedlitschka, Andreas. editor. Baldassarre, Maria Teresa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334768.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39259-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1060.

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Yazar

Liu, Shaoying. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334772.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-39277-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1061.

Pervasive Linux Basistechnologien, Softwareentwicklung, Werkzeuge

Yazar

Czernohous, Christoph. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1062.

Recht ex machina Formalisierung des Rechts im Internet der Dienste

Yazar

Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-17671-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1063.

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/978-3-642-22430-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1064.

Abgründe der Informatik Geheimnisse und Gemeinheiten

Yazar

Potton, Alois. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-22975-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1065.

Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book

Yazar

Logg, Anders. editor. Mardal, Kent-Andre. editor. Wells, Garth. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-23099-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1066.

From the Web to the Grid and Beyond Computing Paradigms Driven by High-Energy Physics

Yazar

Brun, René. editor. Carminati, Federico. editor. Galli Carminati, Giuliana. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-23157-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1067.

Embedded Technologies Vom Treiber bis zur Grafik-Anbindung

Yazar

Wietzke, Joachim. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-23996-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1068.

Network Hacks - Intensivkurs Angriff und Verteidigung mit Python

Yazar

Ballmann, Bastian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-24305-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1069.

Computer Architecture ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers

Yazar

Varbanescu, Ana Lucia. editor. Molnos, Anca. editor. Nieuwpoort, Rob. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-24322-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1070.

Herausforderungen durch Echtzeitbetrieb Echtzeit 2011

Yazar

Halang, Wolfgang A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-24658-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1071.

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

Yazar

Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-25271-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1072.

RFID. Security and Privacy 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers

Yazar

Juels, Ari. editor. Paar, Christof. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-25286-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1073.

Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings

Yazar

Picco, Gian Pietro. editor. Heinzelman, Wendi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28169-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1074.

Agile Service Development Combining Adaptive Methods and Flexible Solutions

Yazar

Lankhorst, Marc. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28188-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1075.

Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers

Yazar

Erlebach, Thomas. editor. Nikoletseas, Sotiris. editor. Orponen, Pekka. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28209-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1076.

Technological Innovation for Value Creation Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings

Yazar

Camarinha-Matos, Luis M. editor. Shahamatnia, Ehsan. editor. Nunes, Gonçalo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28255-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1077.

Building a National Distributed e-Infrastructure–PL-Grid Scientific and Technical Achievements

Yazar

Bubak, Marian. editor. Szepieniec, Tomasz. editor. Wiatr, Kazimierz. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28267-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1078.

Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday

Yazar

Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28279-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1079.

Web Engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings

Yazar

Brambilla, Marco. editor. Tokuda, Takehiro. editor. Tolksdorf, Robert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-31753-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1080.

Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Yazar

Donaldson, Alastair. editor. Parker, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-31759-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1081.

Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Yazar

Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Gurov, Dilian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-31762-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1082.

Virtual and Networked Organizations, Emergent Technologies and Tools First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers

Yazar

Putnik, Goran D. editor. Cruz-Cunha, Maria Manuela. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-31800-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1083.

Wireless Algorithms, Systems, and Applications 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings

Yazar

Wang, Xinbing. editor. Zheng, Rong. editor. Jing, Tao. editor. Xing, Kai. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-31869-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1084.

Service-Oriented Computing - ICSOC 2011 Workshops ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers

Yazar

Pallis, George. editor. Jmaiel, Mohamed. editor. Charfi, Anis. editor. Graupner, Sven. editor. Karabulut, Yücel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-31875-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1085.

Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers

Yazar

Dennis, Louise. editor. Boissier, Olivier. editor. Bordini, Rafael H. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-31915-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1086.

Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers

Yazar

Das, Vinu V. editor. Ariwa, Ezendu. editor. Rahayu, Syarifah Bahiyah. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32573-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1087.

Speech, Sound and Music Processing: Embracing Research in India 8th International Symposium, CMMR 2011, 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011, Revised Selected Papers

Yazar

Ystad, Sølvi. editor. Aramaki, Mitsuko. editor. Kronland-Martinet, Richard. editor. Jensen, Kristoffer. editor. Mohanty, Sanghamitra. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-31980-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1088.

Bio-Inspired Models of Network, Information, and Computing Systems 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised Selected Papers

Yazar

Suzuki, Junichi. editor. Nakano, Tadashi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32615-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1089.

Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers

Yazar

Zsók, Viktória. editor. Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32096-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1090.

Software Testing in the Cloud Migration and Execution

Yazar

Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32122-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1091.

Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

Yazar

Gibbons, Jeremy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32202-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1092.

Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

Yazar

Vidal, Germán. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32211-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1093.

Business Process Management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings

Yazar

Barros, Alistair. editor. Gal, Avigdor. editor. Kindler, Ekkart. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32885-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1094.

Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings

Yazar

Fisher, Michael. editor. Torre, Leon. editor. Dastani, Mehdi. editor. Governatori, Guido. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32897-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1095.

Datalog in Academia and Industry Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings

Yazar

Barceló, Pablo. editor. Pichler, Reinhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32925-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1096.

CONCUR 2012 – Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings

Yazar

Koutny, Maciej. editor. Ulidowski, Irek. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32940-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1097.

Mobile Computing, Applications, and Services Third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011. Revised Selected Papers

Yazar

Zhang, Joy Ying. editor. Wilkiewicz, Jarek. editor. Nahapetian, Ani. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32320-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1098.

Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers

Yazar

Beer, Martin. editor. Brom, Cyril. editor. Dignum, Frank. editor. Soo, Von-Wun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32326-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1099.

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Yazar

Beringer, Lennart. editor. Felty, Amy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32347-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1100.

Business System Management and Engineering From Open Issues to Applications

Yazar

Ardagna, Claudio A. editor. Damiani, Ernesto. editor. Maciaszek, Leszek A. editor. Missikoff, Michele. editor. Parkin, Michael. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32439-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1101.

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

Yazar

Stoelinga, Mariëlle. editor. Pinger, Ralf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32469-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1102.

Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

Yazar

Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-32495-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1103.

Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I

Yazar

Xiang, Yang. editor. Stojmenovic, Ivan. editor. Apduhan, Bernady O. editor. Wang, Guojun. editor. Nakano, Koji. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33078-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1104.

Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Yazar

Miné, Antoine. editor. Schmidt, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33125-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1105.

Ad-hoc, Mobile, and Wireless Networks 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings

Yazar

Li, Xiang-Yang. editor. Papavassiliou, Symeon. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-31638-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1106.

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part I

Yazar

Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33509-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1107.

Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

Yazar

Finkel, Alain. editor. Leroux, Jérôme. editor. Potapov, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33512-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1108.

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II

Yazar

Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33515-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1109.

Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings

Yazar

Richa, Andréa W. editor. Scheideler, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33536-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1110.

Reflections on the History of Computing Preserving Memories and Sharing Stories

Yazar

Tatnall, Arthur. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33899-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1111.

On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I

Yazar

Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Rinderle-Ma, Stefanie. editor. Dadam, Peter. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33606-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1112.

Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings

Yazar

Atzeni, Paolo. editor. Cheung, David. editor. Ram, Sudha. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34002-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1113.

Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

Yazar

Durán, Franciso. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34005-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1114.

Advances in New Technologies, Interactive Interfaces and Communicability Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers

Yazar

Cipolla-Ficarra, Francisco. editor. Veltman, Kim. editor. Verber, Domen. editor. Cipolla-Ficarra, Miguel. editor. Kammüller, Florian. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34010-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1115.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Yazar

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34026-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1116.

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Yazar

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34032-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1117.

Large-Scale Complex IT Systems. Development, Operation and Management 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Yazar

Calinescu, Radu. editor. Garlan, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34059-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1118.

Information Computing and Applications Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012. Proceedings

Yazar

Liu, Baoxiang. editor. Ma, Maode. editor. Chang, Jincai. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34062-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1119.

Model-Based Engineering of Embedded Systems The SPES 2020 Methodology

Yazar

Pohl, Klaus. editor. Hönninger, Harald. editor. Achatz, Reinhold. editor. Broy, Manfred. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34614-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1120.

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

Yazar

Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34691-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1121.

Advances in Multimedia Information Processing – PCM 2012 13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012. Proceedings

Yazar

Lin, Weisi. editor. Xu, Dong. editor. Ho, Anthony. editor. Wu, Jianxin. editor. He, Ying. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34778-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1122.

Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Yazar

Hähnle, Reiner. editor. Knoop, Jens. editor. Margaria, Tiziana. editor. Schreiner, Dietmar. editor. Steffen, Bernhard. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34781-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1123.

Multi-Agent Systems 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers

Yazar

Cossentino, Massimo. editor. Kaisers, Michael. editor. Tuyls, Karl. editor. Weiss, Gerhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34799-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1124.

Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Yazar

Arbab, Farhad. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35743-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1125.

Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

Yazar

Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35746-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1126.

Product Lifecycle Management. Towards Knowledge-Rich Enterprises IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012, Revised Selected Papers

Yazar

Rivest, Louis. editor. Bouras, Abdelaziz. editor. Louhichi, Borhen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35758-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1127.

Ambient Intelligence Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings

Yazar

Paternò, Fabio. editor. Ruyter, Boris. editor. Markopoulos, Panos. editor. Santoro, Carmen. editor. Loenen, Evert. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34898-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1128.

Web Information Systems Engineering - WISE 2012 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings

Yazar

Wang, X. Sean. editor. Cruz, Isabel. editor. Delis, Alex. editor. Huang, Guangyan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35063-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1129.

Middleware 2012 ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings

Yazar

Narasimhan, Priya. editor. Triantafillou, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35170-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1130.

The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II

Yazar

Cudré-Mauroux, Philippe. editor. Heflin, Jeff. editor. Sirin, Evren. editor. Tudorache, Tania. editor. Euzenat, Jérôme. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35173-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1131.

The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I

Yazar

Cudré-Mauroux, Philippe. editor. Heflin, Jeff. editor. Sirin, Evren. editor. Tudorache, Tania. editor. Euzenat, Jérôme. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35176-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1132.

Smart Energy Von der reaktiven Kundenverwaltung zum proaktiven Kundenmanagement

Yazar

Aichele, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-1981-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1133.

Using Microsoft Dynamics AX 2012

Yazar

Luszczak, Andreas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-2191-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1134.

Einführung in die Programmierung mit LOGO Lehrbuch für Unterricht und Selbststudium

Yazar

Hromkovic, Juraj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-2266-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1135.

Praktische Informatik - Eine Einführung Lehr- und Arbeitsbuch mit Tafelbildern

Yazar

Büchel, Gregor. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-2283-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1136.

Formale Grundlagen der Programmierung

Yazar

Nebel, Markus. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-2296-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1137.

Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes

Yazar

Storm, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8348-2381-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1138.

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings

Yazar

Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-4-431-54216-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1139.

Principles and Practice of Multi-Agent Systems 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers

Yazar

Desai, Nirmit. editor. Liu, Alan. editor. Winikoff, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-25920-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1140.

Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

Yazar

Barbosa, Luís Soares. editor. Lumpe, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-27269-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1141.

Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III

Yazar

Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-27275-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1142.

Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part II

Yazar

Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-27278-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1143.

Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I

Yazar

Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-27281-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1144.

Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I

Yazar

Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-27299-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1145.

Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II

Yazar

Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-27308-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1146.

Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III

Yazar

Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-27317-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1147.

Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers

Yazar

Mödersheim, Sebastian. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-27375-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1148.

Resource Discovery Third International Workshop, RED 2010, Paris, France, November 5, 2010, Revised Selected Papers

Yazar

Lacroix, Zoé. editor. Vidal, María Esther. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-27392-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1149.

Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers

Yazar

Villatoro, Daniel. editor. Sabater-Mir, Jordi. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28400-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1150.

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

Yazar

Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28525-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1151.

Passive and Active Measurement 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012. Proceedings

Yazar

Taft, Nina. editor. Ricciato, Fabio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28537-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1152.

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

Yazar

Schmitt, Jens B. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28540-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1153.

Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings

Yazar

Theis, Fabian. editor. Cichocki, Andrzej. editor. Yeredor, Arie. editor. Zibulevsky, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28551-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1154.

VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers

Yazar

Ayala, José L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28566-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1155.

Self-Organizing Systems 6th IFIP TC 6 International Workshop, IWSOS 2012, Delft, The Netherlands, March 15-16, 2012. Proceedings

Yazar

Kuipers, Fernando A. editor. Heegaard, Poul E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28583-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1156.

Business Process Management Concepts, Languages, Architectures

Yazar

Weske, Mathias. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28616-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1157.

Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II

Yazar

Jónasson, Kristján. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28145-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1158.

Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I

Yazar

Jónasson, Kristján. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28151-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1159.

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Yazar

Seidl, Helmut. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28869-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1160.

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

Yazar

Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28891-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1161.

Agile Management Leadership in an Agile Environment

Yazar

Medinilla, Ángel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28909-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1162.

Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers

Yazar

Collier, Rem. editor. Dix, Jürgen. editor. Novák, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28939-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1163.

Grid and Pervasive Computing Workshops International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised Selected Papers

Yazar

Rautiainen, Mika. editor. Korhonen, Timo. editor. Mutafungwa, Edward. editor. Ovaska, Eila. editor. Katasonov, Artem. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-27916-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1164.

The Correctness-by-Construction Approach to Programming

Yazar

Kourie, Derrick G. author. Watson, Bruce W. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-27919-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1165.

Resilience Assessment and Evaluation of Computing Systems

Yazar

Wolter, Katinka. editor. Avritzer, Alberto. editor. Vieira, Marco. editor. van Moorsel, Aad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29032-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1166.

Information Systems, Technology and Management 6th International Conference, ICISTM 2012, Grenoble, France, March 28-30, 2012. Proceedings

Yazar

Dua, Sumeet. editor. Gangopadhyay, Aryya. editor. Thulasiraman, Parimala. editor. Straccia, Umberto. editor. Shepherd, Michael. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29166-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1167.

Transactions on Petri Nets and Other Models of Concurrency V

Yazar

Jensen, Kurt. editor. Donatelli, Susanna. editor. Kleijn, Jetty. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29072-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1168.

agendaCPS Integrierte Forschungsagenda Cyber-Physical Systems

Yazar

Geisberger, Eva. editor. Broy, Manfred. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29099-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1169.

Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers

Yazar

Sakama, Chiaki. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. Winikoff, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29113-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1170.

S-BPM ONE – Scientific Research 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings

Yazar

Stary, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29133-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1171.

Protocol Engineering

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29145-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1172.

Mobile and Ubiquitous Systems: Computing, Networking, and Services 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers

Yazar

Sénac, Patrick. editor. Ott, Max. editor. Seneviratne, Aruna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29154-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1173.

Communication Technologies for Vehicles 4th International Workshop, Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012. Proceedings

Yazar

Vinel, Alexey. editor. Mehmood, Rashid. editor. Berbineau, Marion. editor. Garcia, Cristina Rico. editor. Huang, Chung-Ming. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29667-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1174.

Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Yazar

Clarke, Edmund. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29709-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1175.

Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I

Yazar

Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29737-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1176.

Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part II

Yazar

Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29740-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1177.

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

Yazar

Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29822-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1178.

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

Yazar

Henderson-Sellers, Brian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29825-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1179.

Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

Yazar

Carbone, Marco. editor. Petit, Jean-Marc. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29834-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1180.

Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

Yazar

Khurshid, Sarfraz. editor. Sen, Koushik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29860-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1181.

Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings

Yazar

Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29863-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1182.

Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings

Yazar

Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29892-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1183.

A Primer on Scientific Programming with Python

Yazar

Langtangen, Hans Petter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30293-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1184.

Enterprise Information Systems 13th International Conference, ICEIS 2011, Beijing, China, June 8-11, 2011, Revised Selected Papers

Yazar

Zhang, Runtong. editor. Zhang, Juliang. editor. Zhang, Zhenji. editor. Filipe, Joaquim. editor. Cordeiro, José. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29958-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1185.

NETWORKING 2012 Workshops International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings

Yazar

Becvar, Zdenek. editor. Bestak, Robert. editor. Kencl, Lukas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30039-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1186.

NETWORKING 2012 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part I

Yazar

Bestak, Robert. editor. Kencl, Lukas. editor. Li, Li Erran. editor. Widmer, Joerg. editor. Yin, Hao. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30045-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1187.

NETWORKING 2012 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part II

Yazar

Bestak, Robert. editor. Kencl, Lukas. editor. Li, Li Erran. editor. Widmer, Joerg. editor. Yin, Hao. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30054-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1188.

Trustworthy Global Computing 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

Yazar

Bruni, Roberto. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30065-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1189.

Wired/Wireless Internet Communication 10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012. Proceedings

Yazar

Koucheryavy, Yevgeni. editor. Mamatas, Lefteris. editor. Matta, Ibrahim. editor. Tsaoussidis, Vassilis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30630-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1190.

Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings

Yazar

Sadre, Ramin. editor. Novotný, Jiří. editor. Čeleda, Pavel. editor. Waldburger, Martin. editor. Stiller, Burkhard. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30633-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1191.

Scientific Workflows Programming, Optimization, and Synthesis with ASKALON and AWDL

Yazar

Qin, Jun. author. Fahringer, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30715-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1192.

Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Yazar

Derrick, John. editor. Gnesi, Stefania. editor. Latella, Diego. editor. Treharne, Helen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30729-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1193.

Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz

Yazar

Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30743-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1194.

Software Business Third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012. Proceedings

Yazar

Cusumano, Michael A. editor. Iyer, Bala. editor. Venkatraman, N. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30746-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1195.

Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings

Yazar

Li, Ruixuan. editor. Cao, Jiannong. editor. Bourgeois, Julien. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30767-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1196.

Impact Analysis of Solutions for Chronic Disease Prevention and Management 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings

Yazar

Donnelly, Mark. editor. Paggetti, Cristiano. editor. Nugent, Chris. editor. Mokhtari, Mounir. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30779-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1197.

Analytical and Stochastic Modeling Techniques and Applications 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings

Yazar

Al-Begain, Khalid. editor. Fiems, Dieter. editor. Vincent, Jean-Marc. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30782-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1198.

Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

Yazar

Giese, Holger. editor. Rosu, Grigore. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30793-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1199.

Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

Yazar

Göschka, Karl Michael. editor. Haridi, Seif. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30823-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1200.

Coordination Models and Languages 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings

Yazar

Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-30829-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}