Search Results for Software Engineering.

1.

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:

2.

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

Yazar

Kormanyos, Christopher Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333884.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Yazar

Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334014.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

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:

5.

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:

6.

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:

7.

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:

8.

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:

9.

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Yazar

Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334077.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing

Yazar

Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334079.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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:

12.

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:

13.

Seminal Contributions to Information Systems Engineering 25 Years of CAiSE

Yazar

Bubenko, Janis. editor. Krogstie, John. editor. Pastor, Oscar. editor. Pernici, Barbara. editor. Rolland, Colette. editor.

Yer Numarası

ONLINE(334324.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

Yazar

Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334327.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

Yazar

Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.

Yer Numarası

ONLINE(334328.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Transactions on Aspect-Oriented Software Development X

Yazar

Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334333.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

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:

18.

Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers

Yazar

Piazolo, Felix. editor. Felderer, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334344.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

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:

20.

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:

21.

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:

22.

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:

23.

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:

24.

Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers

Yazar

Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334274.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 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

Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334278.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

Yazar

Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.

Yer Numarası

ONLINE(334280.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

S-BPM ONE - Running Processes 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings

Yazar

Fischer, Herbert. editor. Schneeberger, Josef. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334281.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

Yazar

Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334282.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

TV-Anytime Paving the Way for Personalized TV

Yazar

Gil Solla, Alberto. author. Sotelo Bovino, Rafael G. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334285.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

Yazar

Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334290.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Mobile Networks and Management 4th International Conference, MONAMI 2012, Hamburg, Germany, September 24-26, 2012, Revised Selected Papers

Yazar

Timm-Giel, Andreas. editor. Strassner, John. editor. Agüero, Ramón. editor. Sargento, Susana. editor. Pentikousis, Kostas. editor.

Yer Numarası

ONLINE(334503.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings

Yazar

Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.

Yer Numarası

ONLINE(334508.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

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:

34.

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:

35.

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:

36.

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

Yazar

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

Yer Numarası

ONLINE(335065.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

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:

38.

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:

39.

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:

40.

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:

41.

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:

42.

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:

43.

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Yazar

Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335141.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II

Yazar

Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335148.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings

Yazar

Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335150.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Information and Software Technologies 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013. Proceedings

Yazar

Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335153.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

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:

48.

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:

49.

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:

50.

Service-Oriented Computing 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings

Yazar

Basu, Samik. editor. Pautasso, Cesare. editor. Zhang, Liang. editor. Fu, Xiang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335177.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Theory and Practice of Natural Computing Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings

Yazar

Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335178.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I

Yazar

Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335179.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Middleware 2013 ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings

Yazar

Eyers, David. editor. Schwan, Karsten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335186.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Ada 2012 Rationale The Language, The Standard Libraries

Yazar

Barnes, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335195.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Yazar

McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335196.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers

Yazar

Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335198.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Resource Discovery 5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Greece, May 27, 2012, Revised Selected Papers

Yazar

Lacroix, Zoé. editor. Ruckhaus, Edna. editor. Vidal, Maria-Esther. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335199.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

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:

59.

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:

60.

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:

61.

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:

62.

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:

63.

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:

64.

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:

65.

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:

66.

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:

67.

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:

68.

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:

69.

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:

70.

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:

71.

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:

72.

Handbook of Neuroevolution Through Erlang

Yazar

Sher, Gene I. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331512.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-4463-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Finding Source Code on the Web for Remix and Reuse

Yazar

Sim, Susan Elliott. editor. Gallardo-Valencia, Rosalva E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332071.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-6596-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Yazar

Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332962.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Yazar

Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.

Yer Numarası

ONLINE(332964.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03089-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

Yazar

Nugent, Christopher. editor. Coronato, Antonio. editor. Bravo, José. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332965.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03092-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

Yazar

Urzaiz, Gabriel. editor. Ochoa, Sergio F. editor. Bravo, José. editor. Chen, Liming Luke. editor. Oliveira, Jonice. editor.

Yer Numarası

ONLINE(332969.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

Yazar

Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333246.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Enterprise Architecture at Work Modelling, Communication and Analysis

Yazar

Lankhorst, Marc. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333251.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Knowledge Discovery, Knowledge Engineering and Knowledge Management Second International Joint Conference, IC3K 2010, Valencia, Spain, October 25-28, 2010, Revised Selected Papers

Yazar

Fred, Ana. editor. Dietz, Jan L. G. editor. Liu, Kecheng. editor. Filipe, Joaquim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333266.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Introduction to Cryptography with Maple

Yazar

Gómez Pardo, José Luis. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333533.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

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:

83.

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

Yazar

Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.

Yer Numarası

ONLINE(334064.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Yazar

Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334069.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Mobile Communication and Power Engineering Second International Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012, Revised Selected Papers

Yazar

Das, Vinu V. editor. Chaba, Yogesh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334070.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

Yazar

Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334071.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

Yazar

Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334073.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Systems and Software Variability Management Concepts, Tools and Experiences

Yazar

Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334240.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

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:

90.

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:

91.

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Yazar

Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334533.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

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:

93.

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:

94.

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:

95.

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:

96.

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:

97.

Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings

Yazar

Cavallaro, Lorenzo. editor. Gollmann, Dieter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334616.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

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:

99.

Information Systems: Methods, Models, and Applications 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers

Yazar

Mayr, Heinrich C. editor. Kop, Christian. editor. Liddle, Stephen. editor. Ginige, Athula. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334589.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

Yazar

Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334494.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Yazar

Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334630.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

Yazar

Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334631.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

Business Process Models. Change Management

Yazar

Gerth, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334632.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Yazar

Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334634.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

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:

106.

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:

107.

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:

108.

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:

109.

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:

110.

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:

111.

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:

112.

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:

113.

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:

114.

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:

115.

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:

116.

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:

117.

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:

118.

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:

119.

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:

120.

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:

121.

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:

122.

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:

123.

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:

124.

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:

125.

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

Yazar

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

Yer Numarası

ONLINE(335018.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

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:

127.

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:

128.

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings

Yazar

Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335028.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings

Yazar

Saeed, Khalid. editor. Chaki, Rituparna. editor. Cortesi, Agostino. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335029.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Advances in Global Sourcing. Models, Governance, and Relationships 7th Global Sourcing Workshop 2013, Val d’Isère, France, March 11-14, 2013, Revised Selected Papers

Yazar

Oshri, Ilan. editor. Kotlarsky, Julia. editor. Willcocks, Leslie P. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335033.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

Yazar

Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335040.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings

Yazar

Pacino, Dario. editor. Voß, Stefan. editor. Jensen, Rune Møller. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335043.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

On the Move to Meaningful Internet Systems: OTM 2013 Conferences Confederated International Conferences: CoopIS, DOA-Trusted Cloud, and ODBASE 2013, Graz, Austria, September 9-13, 2013. Proceedings

Yazar

Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Eder, Johann. editor. Bellahsene, Zohra. editor.

Yer Numarası

ONLINE(335044.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Yazar

Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335046.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

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:

136.

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:

137.

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:

138.

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:

139.

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:

140.

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:

141.

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:

142.

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:

143.

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:

144.

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:

145.

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:

146.

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:

147.

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:

148.

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:

149.

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:

150.

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:

151.

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:

152.

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:

153.

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:

154.

Foundations of Algebraic Specification and Formal Software Development

Yazar

Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I

Yazar

Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Grosky, William I. editor. Pissinou, Niki. editor. Shih, Timothy K. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Software Quality. Process Automation in Software Development 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012. Proceedings

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

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:

158.

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:

159.

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:

160.

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:

161.

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:

162.

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:

163.

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:

164.

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:

165.

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:

166.

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:

167.

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:

168.

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:

169.

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:

170.

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:

171.

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:

172.

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:

173.

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:

174.

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:

175.

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:

176.

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:

177.

Game Theory for Networks 2nd International ICST Conference, GAMENETS 2011, Shanghai, China, April 16-18, 2011, Revised Selected Papers

Yazar

Jain, Rahul. editor. Kannan, Rajgopal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

Broadband Communications, Networks, and Systems 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25–27, 2010, Revised Selected Papers

Yazar

Tomkos, Ioannis. editor. Bouras, Christos J. editor. Ellinas, Georgios. editor. Demestichas, Panagiotis. editor. Sinha, Prasun. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

Facing the Multicore - Challenge II Aspects of New Paradigms and Technologies in Parallel Computing

Yazar

Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

Mobile Multimedia Communications 7th International ICST Conference, MOBIMEDIA 2011, Cagliari, Italy, September 5-7, 2011, Revised Selected Papers

Yazar

Atzori, Luigi. editor. Delgado, Jaime. editor. Giusto, Daniele. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

Mobile Networks and Management Third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised Selected Papers

Yazar

Pentikousis, Kostas. editor. Aguiar, Rui. editor. Sargento, Susana. editor. Agüero, Ramón. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

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:

183.

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:

184.

Product-Focused Software Process Improvement 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings

Yazar

Dieste, Oscar. editor. Jedlitschka, Andreas. editor. Juristo, Natalia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

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:

186.

Advanced Information Systems Engineering 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings

Yazar

Ralyté, Jolita. editor. Franch, Xavier. editor. Brinkkemper, Sjaak. editor. Wrycza, Stanislaw. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Yazar

Gibbons, Jeremy. editor. Nogueira, Pablo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I

Yazar

Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV

Yazar

Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Yazar

Haddad, Serge. editor. Pomello, Lucia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III

Yazar

Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

Systems, Software and Services Process Improvement 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings

Yazar

Winkler, Dietmar. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

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:

194.

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:

195.

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:

196.

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:

197.

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Yazar

Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I

Yazar

Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings

Yazar

Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings

Yazar

Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II

Yazar

Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

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:

203.

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:

204.

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:

205.

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:

206.

Computer Security – ESORICS 2012 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings

Yazar

Foresti, Sara. editor. Yung, Moti. editor. Martinelli, Fabio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Yazar

Carvalho Junior, Francisco Heron. editor. Barbosa, Luis Soares. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings

Yazar

Krötzsch, Markus. editor. Straccia, Umberto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

209.

Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

Yazar

Cortesi, Agostino. editor. Chaki, Nabendu. editor. Saeed, Khalid. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

Yazar

Gheyi, Rohit. editor. Naumann, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

Information and Software Technologies 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings

Yazar

Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

Yazar

Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

213.

Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings

Yazar

Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

Information Security 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings

Yazar

Gollmann, Dieter. editor. Freiling, Felix C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

Yazar

Chakraborty, Supratik. editor. Mukund, Madhavan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

Service-Oriented and Cloud Computing First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings

Yazar

Paoli, Flavio. editor. Pimentel, Ernesto. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

Open Source Systems: Long-Term Sustainability 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012. Proceedings

Yazar

Hammouda, Imed. editor. Lundell, Björn. editor. Mikkonen, Tommi. editor. Scacchi, Walt. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Yazar

Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

Search Computing Broadening Web Search

Yazar

Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Ubiquitous Computing and Ambient Intelligence 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings

Yazar

Bravo, José. editor. López-de-Ipiña, Diego. editor. Moya, Francisco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

Swarm, Evolutionary, and Memetic Computing Third International Conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012. Proceedings

Yazar

Panigrahi, Bijaya Ketan. editor. Das, Swagatam. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Nanda, Pradipta Kumar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

Ambient Assisted Living and Home Care 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings

Yazar

Bravo, José. editor. Hervás, Ramón. editor. Rodríguez, Marcela. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings

Yazar

Baldoni, Roberto. editor. Flocchini, Paola. editor. Binoy, Ravindran. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

224.

Artificial General Intelligence 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings

Yazar

Bach, Joscha. editor. Goertzel, Ben. editor. Iklé, Matthew. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

Coordination, Organizations, Institutions, and Norms in Agent System VII COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011, Revised Selected Papers

Yazar

Cranefield, Stephen. editor. Riemsdijk, M. Birna. editor. Vázquez-Salceda, Javier. editor. Noriega, Pablo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

226.

Transactions on Aspect-Oriented Software Development IX

Yazar

Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

227.

Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers

Yazar

Korakis, Thanasis. editor. Zink, Michael. editor. Ott, Maximilian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

Future Generation Information Technology 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

Yazar

Kim, Tai-hoon. editor. Lee, Young-hoon. editor. Fang, Wai-chi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

229.

Computer Applications for Communication, Networking, and Digital Contents International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

Yazar

Kim, Tai-hoon. editor. Ko, Dae-sik. editor. Vasilakos, Thanos. editor. Stoica, Adrian. editor. Abawajy, Jemal. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

Computer Applications for Graphics, Grid Computing, and Industrial Environment International Conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

Yazar

Kim, Tai-hoon. editor. Cho, Hyun-seob. editor. Gervasi, Osvaldo. editor. Yau, Stephen S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

Computer Applications for Database, Education, and Ubiquitous Computing International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

Yazar

Kim, Tai-hoon. editor. Ma, Jianhua. editor. Fang, Wai-chi. editor. Zhang, Yanchun. editor. Cuzzocrea, Alfredo. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

232.

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings

Yazar

Park, James J. editor. Zomaya, Albert. editor. Yeo, Sang-Soo. editor. Sahni, Sartaj. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

Current Trends in Web Engineering ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers

Yazar

Grossniklaus, Michael. editor. Wimmer, Manuel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

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:

235.

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:

236.

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:

237.

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:

238.

Grundkurs Microsoft Dynamics AX Die Business-Lösung von Microsoft in Version AX 2012

Yazar

Luszczak, Andreas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

239.

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:

240.

Testen von Informationssystemen Integriertes und prozessorientiertes Testen

Yazar

Pilorget, Lionel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

Yazar

Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-233-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

242.

Service Virtualization Reality is Overrated

Yazar

Michelsen, John. author. English, Jason. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code

Yazar

Blunden, Bill. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

244.

Software and Systems Traceability

Yazar

Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

245.

Guide to Software Development Designing and Managing the Life Cycle

Yazar

Langer, Arthur M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

246.

Patterns, Programming and Everything

Yazar

Breitman, Karin K. editor. Horspool, R. Nigel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

247.

Foundational Java Key Elements and Practical Programming

Yazar

Parsons, David. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

248.

Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012

Yazar

Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

Doing Design Ethnography

Yazar

Crabtree, Andrew. author. Rouncefield, Mark. author. Tolmie, Peter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

250.

Guide to Scientific Computing in C++

Yazar

Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

The Design of Cloud Workflow Systems

Yazar

Liu, Xiao. author. Yuan, Dong. author. Zhang, Gaofeng. author. Li, Wenhao. author. Cao, Dahai. author.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-1933-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

Operational Semantics and Verification of Security Protocols

Yazar

Cremers, Cas. author. Mauw, Sjouke. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

253.

User Experience Design Mit erlebniszentrierter Softwareentwicklung zu Produkten, die begeistern

Yazar

Moser, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

254.

Moderne C++ Programmierung Klassen, Templates, Design Patterns

Yazar

Schneeweiß, Ralf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

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:

256.

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:

257.

BOINC Hochleistungsrechnen mit Berkeley Open Infrastructure for Network Computing

Yazar

Ries, Christian Benjamin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

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:

259.

SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

Yazar

Ober, Iulian. editor. Ober, Ileana. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

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:

261.

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:

262.

Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

Yazar

Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

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:

264.

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:

265.

Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

Yazar

Kuncak, Viktor. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

Current Trends in Web Engineering Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers

Yazar

Harth, Andreas. editor. Koch, Nora. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

267.

Membrane Computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers

Yazar

Gheorghe, Marian. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Verlan, Sergey. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers

Yazar

Horimoto, Katsuhisa. editor. Nakatsui, Masahiko. editor. Popov, Nikolaj. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

269.

Web Information Systems and Technologies 7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011, Revised Selected Papers

Yazar

Filipe, Joaquim. editor. Cordeiro, José. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I

Yazar

Daniel, Florian. editor. Barkaoui, Kamel. editor. Dustdar, Schahram. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II

Yazar

Daniel, Florian. editor. Barkaoui, Kamel. editor. Dustdar, Schahram. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

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:

273.

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:

274.

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:

275.

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:

276.

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:

277.

Compiler Construction 21st International Conference, CC 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

O’Boyle, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

Economics of Grids, Clouds, Systems, and Services 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers

Yazar

Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

279.

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Yazar

Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

280.

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 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

Birkedal, Lars. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

281.

Semantic Web Services Advancement through Evaluation

Yazar

Blake, Brian. editor. Cabral, Liliana. editor. König-Ries, Birgitta. editor. Küster, Ulrich. editor. Martin, David. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 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

Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

283.

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:

284.

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:

285.

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:

286.

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:

287.

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:

288.

Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers

Yazar

Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

289.

Relationale Datenbanken und SQL in Theorie und Praxis

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

290.

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:

291.

Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers

Yazar

Korakis, Thanasis. editor. Li, Hongbin. editor. Tran-Gia, Phuoc. editor. Park, Hong-Shik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

292.

Advanced Computing, Networking and Security International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011, Revised Selected Papers

Yazar

Thilagam, P. Santhi. editor. Pais, Alwyn Roshan. editor. Chandrasekaran, K. editor. Balakrishnan, N. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

293.

Transactions on Computational Collective Intelligence VI

Yazar

Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

294.

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

Yazar

Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

295.

Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

Yazar

Brucker, Achim D. editor. Julliand, Jacques. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

296.

Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings

Yazar

Hu, Zhenjiang. editor. Lara, Juan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

297.

Networked Digital Technologies 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012. Proceedings, Part I

Yazar

Benlamri, Rachid. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

298.

Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings

Yazar

Furia, Carlo A. editor. Nanz, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

299.

Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

Yazar

Gschwind, Thomas. editor. Paoli, Flavio. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

300.

Networked Digital Technologies 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012, Proceedings, Part II

Yazar

Benlamri, Rachid. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}