Search Results for Software

1.

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:

2.

Multi-Agent Based Beam Search for Real-Time Production Scheduling and Control Method, Software and Industrial Application

Yazar

Kang, Shu Gang. author. Choi, Shiu Hong. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331015.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

Yazar

Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334120.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

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

Yazar

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

Yer Numarası

ONLINE(335215.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Using Event-B for Critical Device Software Systems

Yazar

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

Yer Numarası

ONLINE(331181.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

Yazar

Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334055.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Yazar

Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332934.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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

Yazar

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

Yer Numarası

ONLINE(334556.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Biomedical Engineering Systems and Technologies 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011, Revised Selected Papers

Yazar

Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333263.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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

Yazar

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

Yer Numarası

ONLINE(334071.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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

Yazar

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

Yer Numarası

ONLINE(334508.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Numerical Analysis and Its Applications 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers

Yazar

Dimov, Ivan. editor. Faragó, István. editor. Vulkov, Lubin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335116.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

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

Yazar

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

Yer Numarası

ONLINE(335120.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

User-Level Workflow Design A Bioinformatics Perspective

Yazar

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

Yer Numarası

ONLINE(335213.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

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

Yazar

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

Yer Numarası

ONLINE(335148.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

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

Yazar

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

Yer Numarası

ONLINE(335150.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

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

Yazar

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

Yer Numarası

ONLINE(334698.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

Yazar

Malyshkin, Victor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334871.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

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:

20.

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

Yazar

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

Yer Numarası

ONLINE(335097.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

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

Yazar

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

Yer Numarası

ONLINE(335179.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings

Yazar

Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335181.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Domain Engineering Product Lines, Languages, and Conceptual Models

Yazar

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

Yer Numarası

ONLINE(334257.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

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

Yazar

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

Yer Numarası

ONLINE(334290.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

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

Yazar

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

Yer Numarası

ONLINE(334826.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

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

Yazar

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

Yer Numarası

ONLINE(334827.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

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

Yazar

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

Yer Numarası

ONLINE(334828.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

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

Yazar

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

Yer Numarası

ONLINE(334829.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

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

Yazar

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

Yer Numarası

ONLINE(334830.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings

Yazar

Mauri, Giancarlo. editor. Dennunzio, Alberto. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334725.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

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

Yazar

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

Yer Numarası

ONLINE(334837.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

Yazar

Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334992.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings

Yazar

Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334995.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

Yazar

Liao, Hongen. editor. Linte, Cristian A. editor. Masamune, Ken. editor. Peters, Terry M. editor. Zheng, Guoyan. editor.

Yer Numarası

ONLINE(335016.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

Yazar

Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335022.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

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

Yazar

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

Yer Numarası

ONLINE(335043.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}