Search Results for Programming.

1.

Distributed Programming Theory and Practice

Yazar

Shankar, A. Udaya. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331611.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

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

Yazar

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

Yer Numarası

ONLINE(334034.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

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

Yazar

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

Yer Numarası

ONLINE(334348.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

Yazar

Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334673.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

Yazar

Shan, Chung-chieh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332981.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Programming Logics Essays in Memory of Harald Ganzinger

Yazar

Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334468.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

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

Yazar

Castagna, Giuseppe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334715.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

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

Yazar

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

Yer Numarası

ONLINE(335196.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Yazar

Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334969.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Yazar

Schulte, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334980.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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

Yazar

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

Yer Numarası

ONLINE(334156.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

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

Yazar

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

Yer Numarası

ONLINE(334014.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Yazar

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334038.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

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

Yazar

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

Yer Numarası

ONLINE(334041.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334354.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

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

Yazar

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

Yer Numarası

ONLINE(334631.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

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

Yazar

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

Yer Numarası

ONLINE(334691.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

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

Yazar

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

Yer Numarası

ONLINE(334697.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

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:

20.

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:

21.

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:

22.

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

Yazar

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

Yer Numarası

ONLINE(335125.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

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

Yazar

Hinze, Ralf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335126.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

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

Yazar

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

Yer Numarası

ONLINE(335046.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman

Yazar

Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.

Yer Numarası

ONLINE(335138.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

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

Yazar

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

Yer Numarası

ONLINE(335141.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

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

Yazar

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

Yer Numarası

ONLINE(332962.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Yazar

Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332982.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

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

Yazar

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

Yer Numarası

ONLINE(334069.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

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

Yazar

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

Yer Numarası

ONLINE(334077.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Yazar

Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334096.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

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

Yazar

Pfenning, Frank. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334358.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

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:

34.

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

Yazar

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

Yer Numarası

ONLINE(334562.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

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

Yazar

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

Yer Numarası

ONLINE(334533.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

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

Yazar

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

Yer Numarası

ONLINE(334547.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

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

Yazar

Albert, Elvira. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334552.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

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:

39.

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

Yazar

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

Yer Numarası

ONLINE(334820.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

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

Yazar

Drira, Khalil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334714.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

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

Yazar

Sagonas, Kostis. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335204.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

Yazar

Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335217.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

Yazar

Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335227.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Yazar

Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332921.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

Yazar

Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333558.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Yazar

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

Yer Numarası

ONLINE(334278.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

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

Yazar

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

Yer Numarası

ONLINE(334683.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

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

Yazar

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

Yer Numarası

ONLINE(334634.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

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

Yazar

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

Yer Numarası

ONLINE(334651.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

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:

51.

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Yazar

Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334962.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Yazar

Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334968.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Yazar

Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.

Yer Numarası

ONLINE(334979.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

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:

55.

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:

	{displayName}	{count}
{error}