Search Results for

1.

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:

2.

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:

3.

Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings

Yazar

Baumeister, Hubert. editor. Weber, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334579.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

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:

5.

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

Yazar

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

Yer Numarası

ONLINE(334706.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

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

Yazar

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

Yer Numarası

ONLINE(334710.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

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

Yazar

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

Yer Numarası

ONLINE(334711.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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:

9.

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

Yazar

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

Yer Numarası

ONLINE(334727.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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

Yazar

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

Yer Numarası

ONLINE(334743.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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

Yazar

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

Yer Numarası

ONLINE(334746.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

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

Yazar

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

Yer Numarası

ONLINE(334750.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

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

Yazar

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

Yer Numarası

ONLINE(334756.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

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

Yazar

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

Yer Numarası

ONLINE(334760.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

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

Yazar

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

Yer Numarası

ONLINE(334764.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

RoboCup 2012: Robot Soccer World Cup XVI

Yazar

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

Yer Numarası

ONLINE(334765.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

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

Yazar

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

Yer Numarası

ONLINE(334768.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

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

Yazar

Liu, Shaoying. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334772.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

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

Yazar

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

Yer Numarası

ONLINE(334783.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

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:

21.

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:

22.

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:

23.

Information Systems: Development, Learning, Security 6th SIGSAND/PLAIS EuroSymposium 2013, Gdańsk, Poland, September 26, 2013. Proceedings

Yazar

Wrycza, Stanisław. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335020.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

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:

25.

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

Yazar

Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335024.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

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:

27.

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:

28.

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:

29.

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:

30.

Early Software Reliability Prediction A Fuzzy Logic Approach

Yazar

Pandey, Ajeet Kumar. author. Goyal, Neeraj Kumar. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335512.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-81-322-1176-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Land Subsidence Analysis in Urban Areas The Bangkok Metropolitan Area Case Study

Yazar

Zeitoun, David G. author. Wakshal, Eliyahu. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335992.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-5506-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

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:

33.

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:

34.

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:

35.

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:

36.

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:

37.

Sicherheitsgerichtete Echtzeitsysteme

Yazar

Halang, Wolfgang A. author. Konakovsky, Rudolf M. author. SpringerLink (Online service)

Yer Numarası

ONLINE(337256.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Computer, network, software, and hardware engineering with applications

Yazar

Schneidewind, Norman.

Yer Numarası

ONLINE

Elektronik Erişim

IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Semantic web and model-driven engineering

Yazar

Parreiras, Fernando Silva. Wiley InterScience (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6218883

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Computer, network, software, and hardware engineering with applications

Yazar

Shneidewind, Norman.

Yer Numarası

TK7885 S2564 2012

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

41.

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:

42.

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:

43.

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:

44.

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:

45.

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:

46.

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:

47.

Automated Configuration Problem Solving

Yazar

Petrie, Charles J. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

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:

49.

Elektrik/Elektronik-Architekturen im Kraftfahrzeug Modellierung und Bewertung von Echtzeitsystemen

Yazar

Streichert, Thilo. author. Traub, Matthias. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

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:

51.

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:

52.

Agile Processes in Software Engineering and Extreme Programming 13th International Conference, XP 2012, Malmö, Sweden, May 21-25, 2012. Proceedings

Yazar

Wohlin, Claes. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

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:

54.

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:

55.

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:

56.

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:

57.

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:

58.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Yazar

Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

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:

61.

Persuasive Technology. Design for Health and Safety 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings

Yazar

Bang, Magnus. editor. Ragnemalm, Eva L. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

ECOOP 2012 – Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings

Yazar

Noble, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

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:

64.

Advanced Information Systems Engineering Workshops CAiSE 2012 International Workshops, Gdańsk, Poland, June 25-26, 2012. Proceedings

Yazar

Bajec, Marko. editor. Eder, Johann. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

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

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-31075-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

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:

67.

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:

68.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

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:

70.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

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:

73.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

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:

76.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Business System Management and Engineering From Open Issues to Applications

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

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:

83.

ICT as Key Technology against Global Warming Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings

Yazar

Auweter, Axel. editor. Kranzlmüller, Dieter. editor. Tahamtan, Amirreza. editor. Tjoa, A Min. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Topics in Performance Evaluation, Measurement and Characterization Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings

Yazar

Lee, Geuk. editor. Howard, Daniel. editor. Kang, Jeong Jin. editor. Ślęzak, Dominik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Yazar

Giannakopoulou, Dimitra. editor. Méry, Dominique. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers

Yazar

Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

Collaborative Networks in the Internet of Services 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012. Proceedings

Yazar

Camarinha-Matos, Luis M. editor. Xu, Lai. editor. Afsarmanesh, Hamideh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers

Yazar

Martins, Francisco. editor. Lopes, Luís. editor. Paulino, Hervé. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings

Yazar

Kaklamanis, Christos. editor. Papatheodorou, Theodore. editor. Spirakis, Paul G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings

Yazar

Roychoudhury, Abhik. editor. D’Souza, Meenakshi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

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

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-33065-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Enterprise Interoperability 4th International IFIP Working Conference, IWEI 2012, Harbin, China, September 6-7, 2012. Proceedings

Yazar

Sinderen, Marten. editor. Johnson, Pontus. editor. Xu, Xiaofei. editor. Doumeingts, Guy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

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:

100.

Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings

Yazar

Fraser, Gordon. editor. Teixeira de Souza, Jerffeson. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

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:

102.

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:

103.

Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

Yazar

Avgeriou, Paris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

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:

105.

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:

106.

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:

107.

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:

108.

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:

109.

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:

110.

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:

111.

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:

112.

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:

113.

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:

114.

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:

115.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Knowledge Engineering and Knowledge Management 18th International Conference, EKAW 2012, Galway City, Ireland, October 8-12, 2012. Proceedings

Yazar

Teije, Annette. editor. Völker, Johanna. editor. Handschuh, Siegfried. editor. Stuckenschmidt, Heiner. editor. d’Acquin, Mathieu. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Reflections on the History of Computing Preserving Memories and Sharing Stories

Yazar

Tatnall, Arthur. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

The Dynamics of Global Sourcing. Perspectives and Practices 6th Global Sourcing Workshop 2012, Courchevel, France, March 12-15, 2012, Revised Selected Papers

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings

Yazar

Castano, Silvana. editor. Vassiliadis, Panos. editor. Lakshmanan, Laks V. editor. Lee, Mong Li. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers

Yazar

Schürr, Andy. editor. Varró, Dániel. editor. Varró, Gergely. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

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:

130.

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:

131.

Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings

Yazar

Aoki, Toshiaki. editor. Taguchi, Kenji. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Service-Oriented Computing 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings

Yazar

Liu, Chengfei. editor. Ludwig, Heiko. editor. Toumani, Farouk. editor. Yu, Qi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings

Yazar

Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Human-Centered Software Engineering 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings

Yazar

Winckler, Marco. editor. Forbrig, Peter. editor. Bernhaupt, Regina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Yazar

Gill, Andy. editor. Hage, Jurriaan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

Model-Based Engineering of Embedded Systems The SPES 2020 Methodology

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

Internet and Distributed Computing Systems 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings

Yazar

Xiang, Yang. editor. Pathan, Mukaddim. editor. Tao, Xiaohui. editor. Wang, Hua. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Multiple Access Communications 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings

Yazar

Bellalta, Boris. editor. Vinel, Alexey. editor. Jonsson, Magnus. editor. Barcelo, Jaume. editor. Maslennikov, Roman. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

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:

145.

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:

146.

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:

147.

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:

148.

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:

149.

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:

150.

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:

151.

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:

152.

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:

153.

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:

154.

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:

155.

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:

156.

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:

157.

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:

158.

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:

159.

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:

160.

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

Yazar

Jhala, Ranjit. editor. Igarashi, Atsushi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

Economics of Grids, Clouds, Systems, and Services 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings

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-35194-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings

Yazar

Hawblitzel, Chris. editor. Miller, Dale. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

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

Yazar

Hromkovic, Juraj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

Formale Grundlagen der Programmierung

Yazar

Nebel, Markus. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

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

Yazar

Storm, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Webseiten-Programmierung Sprachen, Werkzeuge, Entwicklung

Yazar

Pomaska, Günter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

Anwendungsentwicklung für Intelligente Umgebungen im Web Engineering

Yazar

Heil, Andreas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

Harnessing VLSI System Design with EDA Tools

Yazar

Kamat, Rajanish K. author. Shinde, Santosh A. author. Gaikwad, Pawan K. author. Guhilot, Hansraj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-1864-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

Analog Circuit Design Low Voltage Low Power; Short Range Wireless Front-Ends; Power Management and DC-DC

Yazar

Steyaert, Michiel. editor. van Roermund, Arthur. editor. Baschirotto, Andrea. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-1926-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

The Future of EU Agricultural Markets by AGMEMOD

Yazar

Chantreuil, Frédéric. editor. Hanrahan, Kevin. editor. Leeuwen, Myrna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-2291-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Guide to FPGA Implementation of Arithmetic Functions

Yazar

Deschamps, Jean-Pierre. author. Sutter, Gustavo D. author. Cantó, Enrique. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-94-007-2987-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

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:

174.

Arduino and Kinect Projects Design, Build, Blow Their Minds

Yazar

Melgar, Enrique Ramos. author. Díez, Ciriaco Castro. author. Jaworski, Przemek. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

Beginning Android ADK with Arduino

Yazar

Böhmer, Mario. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Expert F# 3.0

Yazar

Syme, Don. author. Granicz, Adam. author. Cisternino, Antonio. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

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:

178.

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:

179.

Distributed, Embedded and Real-time Java Systems

Yazar

Higuera-Toledano, M. Teresa. editor. Wellings, Andy J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-8158-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

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:

181.

Enterprise Interoperability V Shaping Enterprise Interoperability in the Future Internet

Yazar

Poler, Raúl. editor. Doumeingts, Guy. editor. Katzy, Bernhard. editor. Chalmeta, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

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:

183.

Applied Ontology Engineering in Cloud Services, Networks and Management Systems

Yazar

Serrano Orozco, J. Martín. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-2236-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

Software engineering : the current practices

Yazar

Rajlich, Vaclav.

Yer Numarası

QA76.758 R36 2012

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

185.

Pervasive Linux Basistechnologien, Softwareentwicklung, Werkzeuge

Yazar

Czernohous, Christoph. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

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:

187.

Design Thinking Research Studying Co-Creation in Practice

Yazar

Plattner, Hasso. editor. Meinel, Christoph. editor. Leifer, Larry. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

Abgründe der Informatik Geheimnisse und Gemeinheiten

Yazar

Potton, Alois. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

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:

190.

Software Engineering Research,Management and Applications 2011

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

Embedded Technologies Vom Treiber bis zur Grafik-Anbindung

Yazar

Wietzke, Joachim. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

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:

193.

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:

194.

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:

195.

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:

196.

Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, 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-25231-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

Informationstechnologie für Ingenieure

Yazar

Eigner, Martin. author. Gerhardt, Florian. author. Gilz, Torsten. author. Mogo Nem, Fabrice. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

Advances in Multimedia, Software Engineering and Computing Vol.2 Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26–27, Wuhan, China

Yazar

Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

Yazar

Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

Distributed Computing and Networking 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings

Yazar

Bononi, Luciano. editor. Datta, Ajoy K. editor. Devismes, Stéphane. editor. Misra, Archan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

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:

203.

Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

Yazar

Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

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:

205.

Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers

Yazar

Kannan, Rajkumar. editor. Andres, Frederic. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

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:

207.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

209.

Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings

Yazar

Herkersdorf, Andreas. editor. Römer, Kay. editor. Brinkschulte, Uwe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

Reconfigurable Computing: Architectures, Tools and Applications 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings

Yazar

Choy, Oliver C. S. editor. Cheung, Ray C. C. editor. Athanas, Peter. editor. Sano, Kentaro. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

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:

213.

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:

214.

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:

215.

Exploring Services Science Third International Conference, IESS 2012, Geneva, Switzerland, February 15-17, 2012. Proceedings

Yazar

Snene, Mehdi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Business Process Management Concepts, Languages, Architectures

Yazar

Weske, Mathias. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

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:

222.

Software and Network Engineering

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

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:

224.

Requirements Engineering: Foundation for Software Quality 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings

Yazar

Regnell, Björn. editor. Damian, Daniela. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

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:

226.

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:

227.

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:

228.

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:

229.

Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

Yazar

Sloane, Anthony. editor. Aßmann, Uwe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

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

Yazar

Seidl, Helmut. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

Fundamental Approaches to Software Engineering 15th International Conference, FASE 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

Lara, Juan. editor. Zisman, Andrea. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

232.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

Agile Management Leadership in an Agile Environment

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

235.

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:

236.

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:

237.

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:

238.

Software Engineering and Knowledge Engineering: Theory and Practice Selected papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012)

Yazar

Zhang, Wei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

239.

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:

240.

Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Yazar

Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

Reversible Computation Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers

Yazar

Vos, Alexis. editor. Wille, Robert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

242.

Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

Yazar

Kienzle, Jörg. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

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:

244.

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:

245.

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:

246.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

247.

IS Olympics: Information Systems in a Diverse World CAiSE Forum 2011, London, UK, June 20-24, 2011, Selected Extended Papers

Yazar

Nurcan, Selmin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

248.

Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers

Yazar

Shishkov, Boris. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

250.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

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:

253.

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:

254.

Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Yazar

Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

Games, Actions and Social Software Multidisciplinary Aspects

Yazar

Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

Mobile Computing, Applications, and Services Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers

Yazar

Gris, Martin. editor. Yang, Guang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

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:

258.

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:

259.

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:

260.

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:

261.

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:

262.

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:

263.

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:

264.

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:

265.

Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings

Yazar

Brorsson, Mats. editor. Pinho, Luís Miguel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

Mobile Wireless Middleware, Operating Systems, and Applications 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers

Yazar

Venkatasubramanian, Nalini. editor. Getov, Vladimir. editor. Steglich, Stephan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

267.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

269.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

273.

Software Process Improvement and Capability Determination 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings

Yazar

Mas, Antonia. editor. Mesquida, Antoni. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

274.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

275.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

276.

Software Engineering Research, Management and Applications 2012

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

277.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

Mobile and Ubiquitous Systems: Computing, Networking, and Services 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers

Yazar

Puiatti, Alessandro. editor. Gu, Tao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

279.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

280.

Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday

Yazar

Heisel, Maritta. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

281.

Enterprise, Business-Process and Information Systems Modeling 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium, held at CAiSE 2012, Gdańsk, Poland, June 25-26, 2012. Proceedings

Yazar

Bider, Ilia. editor. Halpin, Terry. editor. Krogstie, John. editor. Nurcan, Selmin. editor. Proper, Erik. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

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:

283.

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:

284.

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:

285.

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:

286.

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:

287.

Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

Yazar

Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

288.

Computer Networks 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

289.

Image and Signal Processing 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings

Yazar

Elmoataz, Abderrahim. editor. Mammass, Driss. editor. Lezoray, Olivier. editor. Nouboud, Fathallah. editor. Aboutajdine, Driss. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

290.

Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

Yazar

Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

291.

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:

292.

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:

293.

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:

294.

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:

295.

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:

296.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

297.

RoboCup 2011: Robot Soccer World Cup XV

Yazar

Röfer, Thomas. editor. Mayer, N. Michael. editor. Savage, Jesus. editor. Saranlı, Uluc̨. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

298.

Transactions on Computational Collective Intelligence VII

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

299.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

300.

Software Testing in the Cloud Migration and Execution

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}