Search Results for Science.

301.

Agile Risk Management

Yazar

Moran, Alan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-05008-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

302.

Automatic Generation of Combinatorial Test Data

Yazar

Zhang, Jian. author. Zhang, Zhiqiang. author. Ma, Feifei. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-43429-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

303.

Agile Anywhere Essays on Agile Projects and Beyond

Yazar

Hazzan, Orit. author. (orcid)0000-0002-8627-0997 Dubinsky, Yael. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-10157-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

304.

Software engineering

Yazar

Sommerville, Ian, 1951-

Yer Numarası

QA76.6 S66 2007

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

305.

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Yazar

Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-86695-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

306.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90653-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

307.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90643-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

308.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90660-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

309.

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Yazar

Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-97492-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

310.

Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings

Yazar

Li, Bo. editor. (orcid)0000-0001-7500-8355 Li, Minming. editor. (orcid)0000-0002-7370-6237 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-7752-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

311.

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Yazar

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-82700-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

312.

Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings

Yazar

Chau, Vincent. editor. (orcid)0000-0002-3362-2063 Dürr, Christoph. editor. (orcid)0000-0001-8103-5333 Li, Minming. editor. (orcid)0000-0002-7370-6237 Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-8312-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

313.

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

Yazar

Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-94706-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

314.

Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings

Yazar

Amparore, Elvio. editor. (orcid)0000-0003-1147-8985 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-94634-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

315.

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-67695-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

316.

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Yazar

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-73741-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

317.

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Yazar

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-82703-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

318.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Yazar

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-75783-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

319.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Yazar

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-75775-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

320.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Yazar

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-75778-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

321.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57256-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

322.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57246-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

323.

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Yazar

Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-64285-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

324.

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Yazar

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-0617-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

325.

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Yazar

Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-51777-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

326.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Yazar

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-50524-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

327.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57249-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

328.

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

Yazar

Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-68416-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

329.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Yazar

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-50521-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

330.

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Yazar

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-46002-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

331.

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Yazar

Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-66064-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

332.

Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

Yazar

Kristensen, Lars Michael. editor. van der Werf, Jan Martijn. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-61433-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

333.

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

Yazar

England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-26831-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

334.

Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers

Yazar

Mikulski, Jerzy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-97955-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

335.

Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

Yazar

Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91641-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

336.

New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

Yazar

Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-91632-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

337.

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Yazar

Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-57669-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

338.

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

Yazar

Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-73359-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

339.

Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings

Yazar

Takahashi, Yutaka. editor. Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 Yue, Wuyi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-93736-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

340.

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Yazar

Rusu, Vlad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-99840-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

341.

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

Yazar

Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-89719-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

342.

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

Yazar

Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-2423-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

343.

Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday

Yazar

Graciani, Carmen. editor. Riscos-Núñez, Agustín. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-00265-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

344.

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

Yazar

Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-7844-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

345.

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Yazar

Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-94821-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

346.

Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Yazar

Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-66263-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

347.

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Yazar

Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-52234-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

348.

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Yazar

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-63501-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

349.

Membrane Computing 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers

Yazar

Leporati, Alberto. editor. (orcid)0000-0002-8105-4371 Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-54072-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

350.

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-63121-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

351.

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Yazar

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-53946-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

352.

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

Yazar

Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-60134-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

353.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Yazar

Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-63390-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

354.

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Yazar

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-63139-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

355.

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Yazar

Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-67089-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

356.

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Yazar

Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54580-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

357.

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings

Yazar

van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-57861-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

358.

Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings

Yazar

Patitz, Matthew J. editor. Stannett, Mike. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-58187-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

359.

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings

Yazar

Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-55751-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

360.

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

Yazar

Zeume, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54314-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

361.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Yazar

Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-63387-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

362.

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-52228-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

363.

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Yazar

Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-54292-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

364.

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Yazar

Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-54577-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

365.

Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Yazar

Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-67729-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

366.

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Yazar

Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-72453-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

367.

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

Yazar

James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-72044-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

368.

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Yazar

Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-60252-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

369.

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

Yazar

Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-29919-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

370.

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Yazar

Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-41528-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

371.

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Yazar

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-49674-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

372.

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Yazar

Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-44878-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

373.

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Yazar

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-29510-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

374.

Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Yazar

Creignou, Nadia. editor. Le Berre, Daniel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-40970-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

375.

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Yazar

Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-30936-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

376.

Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Yazar

Greuel, Gert-Martin. editor. Koch, Thorsten. editor. Paule, Peter. editor. Sommese, Andrew. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-42432-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

377.

Swarm, Evolutionary, and Memetic Computing 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers

Yazar

Panigrahi, Bijaya Ketan. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Das, Swagatam. editor. Satapathy, Suresh Chandra. editor. (orcid)0000-0001-8236-4104 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-48959-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

378.

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Yazar

Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-41540-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

379.

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Yazar

Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-49122-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

380.

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Yazar

Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-41579-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

381.

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Yazar

Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-27810-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

382.

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Yazar

Lucanu, Dorel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-44802-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

383.

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

Yazar

Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-40530-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

384.

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Yazar

Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-31220-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

385.

Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings

Yazar

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-46750-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

386.

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Yazar

Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-30734-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

387.

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Yazar

Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-09108-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

388.

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

Yazar

Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-44199-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

389.

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:

390.

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

Yazar

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

Yer Numarası

ONLINE(334025.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

391.

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

Yazar

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

Yer Numarası

ONLINE(334174.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

392.

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Yazar

Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334236.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

393.

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

Yazar

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

Yer Numarası

ONLINE(334328.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

394.

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:

395.

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

Yazar

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

Yer Numarası

ONLINE(334070.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

396.

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:

397.

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

Yazar

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

Yer Numarası

ONLINE(334342.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

398.

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

Yazar

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

Yer Numarası

ONLINE(334263.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

399.

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

Yazar

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

Yer Numarası

ONLINE(334274.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

400.

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:

401.

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

Yazar

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

Yer Numarası

ONLINE(334280.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

402.

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

Yazar

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

Yer Numarası

ONLINE(334281.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

403.

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

Yazar

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

Yer Numarası

ONLINE(334282.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

404.

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:

405.

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

Yazar

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

Yer Numarası

ONLINE(334677.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

406.

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:

407.

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

Yazar

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

Yer Numarası

ONLINE(334686.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

408.

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

Yazar

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

Yer Numarası

ONLINE(334688.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

409.

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:

410.

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:

411.

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:

412.

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III

Yazar

Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.

Yer Numarası

ONLINE(334950.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

413.

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II

Yazar

Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.

Yer Numarası

ONLINE(334951.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

414.

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I

Yazar

Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.

Yer Numarası

ONLINE(334952.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

415.

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:

416.

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

Yazar

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

Yer Numarası

ONLINE(335123.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

417.

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:

418.

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Yazar

Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334978.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

419.

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:

420.

Service-Oriented and Cloud Computing Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings

Yazar

Lau, Kung-Kiu. editor. Lamersdorf, Winfried. editor. Pimentel, Ernesto. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334983.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

421.

Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings

Yazar

Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334985.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

422.

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Yazar

Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334987.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

423.

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:

424.

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:

425.

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:

426.

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:

427.

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

Yazar

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

Yer Numarası

ONLINE(335199.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

428.

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

Yazar

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

Yer Numarası

ONLINE(335078.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

429.

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

Yazar

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

Yer Numarası

ONLINE(335080.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

430.

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

Yazar

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

Yer Numarası

ONLINE(335086.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

431.

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:

432.

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

Yazar

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

Yer Numarası

ONLINE(335105.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

433.

Transactions on Petri Nets and Other Models of Concurrency VII

Yazar

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

Yer Numarası

ONLINE(334545.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

434.

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:

435.

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:

436.

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:

437.

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

Yazar

Guyot, Vincent. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334561.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

438.

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:

439.

Autonomic Computing Principles, Design and Implementation

Yazar

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

Yer Numarası

ONLINE(331115.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

440.

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:

441.

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

Yazar

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

Yer Numarası

ONLINE(332994.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

442.

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

Yazar

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

Yer Numarası

ONLINE(333246.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

443.

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

Yazar

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

Yer Numarası

ONLINE(333266.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

444.

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

Yazar

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

Yer Numarası

ONLINE(334327.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

445.

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:

446.

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers

Yazar

Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334425.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

447.

Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings

Yazar

Doerr, Joerg. editor. Opdahl, Andreas L. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334426.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

448.

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

Yazar

Mangard, Stefan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334401.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

449.

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

Yazar

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

Yer Numarası

ONLINE(334814.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

450.

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:

451.

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

Yazar

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

Yer Numarası

ONLINE(334821.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

452.

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

Yazar

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

Yer Numarası

ONLINE(334822.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

453.

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

Yazar

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

Yer Numarası

ONLINE(334825.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

454.

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

Yazar

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

Yer Numarası

ONLINE(334832.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

455.

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:

456.

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

Yazar

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

Yer Numarası

ONLINE(334840.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

457.

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Yazar

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

Yer Numarası

ONLINE(334841.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

458.

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

Yazar

Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334844.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

459.

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Yazar

Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334851.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

460.

Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

Yazar

Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334859.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

461.

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

Yazar

Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334870.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

462.

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:

463.

The Personal Web A Research Agenda

Yazar

Chignell, Mark. editor. Cordy, James R. editor. Kealey, Ryan. editor. Ng, Joanna. editor. Yesha, Yelena. editor.

Yer Numarası

ONLINE(334876.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

464.

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

Yazar

Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334882.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

465.

Transactions on Petri Nets and Other Models of Concurrency VIII

Yazar

Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334949.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

466.

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV

Yazar

Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.

Yer Numarası

ONLINE(334955.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

467.

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:

468.

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:

469.

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:

470.

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:

471.

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:

472.

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:

473.

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

Yazar

Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334973.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

474.

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:

475.

PRIMA 2013: Principles and Practice of Multi-Agent Systems 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

Yazar

Boella, Guido. editor. Elkind, Edith. editor. Savarimuthu, Bastin Tony Roy. editor. Dignum, Frank. editor. Purvis, Martin K. editor.

Yer Numarası

ONLINE(335169.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

476.

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

Yazar

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

Yer Numarası

ONLINE(335178.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

477.

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

Yazar

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

Yer Numarası

ONLINE(335198.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

478.

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

Yazar

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

Yer Numarası

ONLINE(334580.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

479.

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

Yazar

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

Yer Numarası

ONLINE(335153.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

480.

CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Yazar

D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334905.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

481.

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

Yazar

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

Yer Numarası

ONLINE(335206.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

482.

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

Yazar

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

Yer Numarası

ONLINE(335210.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

483.

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers

Yazar

Canal, Carlos. editor. Villari, Massimo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335212.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

484.

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:

485.

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:

486.

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

Yazar

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

Yer Numarası

ONLINE(335216.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

487.

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:

488.

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

Yazar

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

Yer Numarası

ONLINE(335177.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

489.

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:

490.

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:

491.

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

Yazar

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

Yer Numarası

ONLINE(335186.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

492.

Ada 2012 Rationale The Language, The Standard Libraries

Yazar

Barnes, John. author. SpringerLink (Online service)

Yer Numarası

ONLINE(335195.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

493.

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:

494.

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:

495.

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

Yazar

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

Yer Numarası

ONLINE(334200.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

496.

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

Yazar

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

Yer Numarası

ONLINE(334353.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

497.

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:

498.

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

Yazar

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

Yer Numarası

ONLINE(334365.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

499.

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

Yazar

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

Yer Numarası

ONLINE(334469.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

500.

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:

501.

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:

502.

Concise Guide to Databases A Practical Introduction

Yazar

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

Yer Numarası

ONLINE(331224.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

503.

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:

504.

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:

505.

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:

506.

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

Yazar

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

Yer Numarası

ONLINE(332964.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

507.

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

Yazar

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

Yer Numarası

ONLINE(332965.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

508.

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

Yazar

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

Yer Numarası

ONLINE(332969.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

509.

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

Yazar

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

Yer Numarası

ONLINE(333011.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

510.

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

Yazar

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

Yer Numarası

ONLINE(332991.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

511.

Trends in Mobile Web Information Systems MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-28, 2013, Revised Selected Papers

Yazar

Matera, Maristella. editor. Rossi, Gustavo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332992.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

512.

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

Yazar

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

Yer Numarası

ONLINE(332993.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

513.

Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings

Yazar

Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332999.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

514.

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

Yazar

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

Yer Numarası

ONLINE(333000.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

515.

Multiple Access Communcations 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings

Yazar

Jonsson, Magnus. editor. Vinel, Alexey. editor. Bellalta, Boris. editor. Marina, Ninoslav. editor. Dimitrova, Desislava. editor.

Yer Numarası

ONLINE(333001.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

516.

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

Yazar

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

Yer Numarası

ONLINE(333003.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

517.

Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures

Yazar

Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334109.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

518.

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:

519.

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

Yazar

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

Yer Numarası

ONLINE(334129.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

520.

Radio Frequency Identification. Security and Privacy Issues 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers

Yazar

Hoepman, Jaap-Henk. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334132.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

521.

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

Yazar

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

Yer Numarası

ONLINE(334142.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

522.

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:

523.

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:

524.

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:

525.

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

Yazar

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

Yer Numarası

ONLINE(334049.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

526.

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:

527.

Transactions on Aspect-Oriented Software Development X

Yazar

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

Yer Numarası

ONLINE(334333.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

528.

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

Yazar

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

Yer Numarası

ONLINE(334073.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

529.

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:

530.

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

Yazar

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

Yer Numarası

ONLINE(334079.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

531.

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:

532.

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

Yazar

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

Yer Numarası

ONLINE(334485.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

533.

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

Yazar

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

Yer Numarası

ONLINE(334494.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

534.

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Yazar

Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334610.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

535.

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

Yazar

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

Yer Numarası

ONLINE(334616.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

536.

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Yazar

Bonacina, Maria Paola. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334626.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

537.

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

Yazar

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

Yer Numarası

ONLINE(334630.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

538.

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:

539.

Business Process Models. Change Management

Yazar

Gerth, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE(334632.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

540.

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:

541.

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

Yazar

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

Yer Numarası

ONLINE(334646.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

542.

Transactions on Pattern Languages of Programming III

Yazar

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

Yer Numarası

ONLINE(334647.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

543.

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:

544.

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

Yazar

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

Yer Numarası

ONLINE(334652.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

545.

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

Yazar

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

Yer Numarası

ONLINE(334654.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

546.

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:

547.

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:

548.

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:

549.

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

Yazar

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

Yer Numarası

ONLINE(334708.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

550.

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:

551.

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:

552.

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:

553.

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:

554.

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:

555.

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:

556.

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:

557.

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:

558.

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:

559.

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:

560.

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:

561.

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:

562.

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:

563.

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:

564.

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

Yazar

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

Yer Numarası

ONLINE(334797.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

565.

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

Yazar

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

Yer Numarası

ONLINE(334803.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

566.

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

Yazar

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

Yer Numarası

ONLINE(334804.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

567.

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Yazar

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

Yer Numarası

ONLINE(334911.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

568.

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

Yazar

Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334913.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

569.

Mobile Web Information Systems 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings

Yazar

Daniel, Florian. editor. Papadopoulos, George A. editor. Thiran, Philippe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334922.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

570.

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:

571.

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:

572.

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:

573.

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:

574.

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:

575.

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:

576.

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

Yazar

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

Yer Numarası

ONLINE(335040.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

577.

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:

578.

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

Yazar

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

Yer Numarası

ONLINE(335044.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

579.

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:

580.

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

Yazar

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

Yer Numarası

ONLINE(335047.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

581.

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

Yazar

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

Yer Numarası

ONLINE(335048.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

582.

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

Yazar

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

Yer Numarası

ONLINE(335057.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

583.

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

Yazar

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

Yer Numarası

ONLINE(335065.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

584.

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

Yazar

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

Yer Numarası

ONLINE(335066.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

585.

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Yazar

Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335072.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

586.

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:

587.

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:

588.

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:

589.

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:

590.

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:

591.

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:

592.

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:

593.

Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Yazar

Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

594.

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:

595.

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:

596.

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:

597.

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

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

598.

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:

599.

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:

600.

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:

	{displayName}	{count}
{error}