Arama Sonuçları Logics and Meanings of Programs.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300$0026isd$003dtrue?dt=list
2024-11-22T18:15:00Z
Social Semantics The Search for Meaning on the Web
ent://SD_ILS/0/SD_ILS:331289
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Halpin, Harry. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331289.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-1885-6">http://dx.doi.org/10.1007/978-1-4614-1885-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Modelling Computing Systems Mathematics for Computer Science
ent://SD_ILS/0/SD_ILS:332574
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332574.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-322-4">http://dx.doi.org/10.1007/978-1-84800-322-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
ent://SD_ILS/0/SD_ILS:331002
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar O’Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331002.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4534-9">http://dx.doi.org/10.1007/978-1-4471-4534-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332962
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332962.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332964
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.<br/>Yer Numarası ONLINE(332964.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03089-0">http://dx.doi.org/10.1007/978-3-319-03089-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332981
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Shan, Chung-chieh. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332981.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03542-0">http://dx.doi.org/10.1007/978-3-319-03542-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332982
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332982.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03545-1">http://dx.doi.org/10.1007/978-3-319-03545-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334014
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334014.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334077
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334077.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
ent://SD_ILS/0/SD_ILS:334096
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334096.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334105
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Lodaya, Kamal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334105.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36039-8">http://dx.doi.org/10.1007/978-3-642-36039-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
ent://SD_ILS/0/SD_ILS:334156
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334156.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36249-1">http://dx.doi.org/10.1007/978-3-642-36249-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
ent://SD_ILS/0/SD_ILS:334174
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334174.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36315-3">http://dx.doi.org/10.1007/978-3-642-36315-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334358
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Pfenning, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334358.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334533
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334533.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:334547
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334547.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334665
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334665.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38768-5">http://dx.doi.org/10.1007/978-3-642-38768-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334673
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334673.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38812-5">http://dx.doi.org/10.1007/978-3-642-38812-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334683
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334683.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38856-9">http://dx.doi.org/10.1007/978-3-642-38856-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
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
ent://SD_ILS/0/SD_ILS:334688
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334688.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334626
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Bonacina, Maria Paola. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334626.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334697
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334697.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38911-5">http://dx.doi.org/10.1007/978-3-642-38911-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334698
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334698.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334651
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334651.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38697-8">http://dx.doi.org/10.1007/978-3-642-38697-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334708
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334708.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38986-3">http://dx.doi.org/10.1007/978-3-642-38986-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334711
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334711.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39013-5">http://dx.doi.org/10.1007/978-3-642-39013-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334714
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Drira, Khalil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334714.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39031-9">http://dx.doi.org/10.1007/978-3-642-39031-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334715
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334715.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39038-8">http://dx.doi.org/10.1007/978-3-642-39038-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334718
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334718.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334724
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334724.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334728
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Gaag, Linda C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334728.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39091-3">http://dx.doi.org/10.1007/978-3-642-39091-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334743
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334743.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39176-7">http://dx.doi.org/10.1007/978-3-642-39176-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334904
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Daniel, Florian. editor. Wang, Jianmin. editor. Weber, Barbara. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334904.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40176-3">http://dx.doi.org/10.1007/978-3-642-40176-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334905
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334905.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40184-8">http://dx.doi.org/10.1007/978-3-642-40184-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334907
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Joshi, Kaustubh. editor. Siegle, Markus. editor. Stoelinga, Mariëlle. editor. D’Argenio, Pedro R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334907.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40196-1">http://dx.doi.org/10.1007/978-3-642-40196-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334911
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334911.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40213-5">http://dx.doi.org/10.1007/978-3-642-40213-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334913
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334913.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40229-6">http://dx.doi.org/10.1007/978-3-642-40229-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Petri Nets and Other Models of Concurrency VIII
ent://SD_ILS/0/SD_ILS:334949
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334949.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40465-8">http://dx.doi.org/10.1007/978-3-642-40465-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:334962
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334962.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40537-2">http://dx.doi.org/10.1007/978-3-642-40537-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334968
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334968.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40561-7">http://dx.doi.org/10.1007/978-3-642-40561-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334969
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334969.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40564-8">http://dx.doi.org/10.1007/978-3-642-40564-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
ent://SD_ILS/0/SD_ILS:334978
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334978.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40615-7">http://dx.doi.org/10.1007/978-3-642-40615-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334979
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.<br/>Yer Numarası ONLINE(334979.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40624-9">http://dx.doi.org/10.1007/978-3-642-40624-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334980
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Schulte, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334980.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40627-0">http://dx.doi.org/10.1007/978-3-642-40627-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algebraic Informatics 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334985
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Muntean, Traian. editor. Poulakis, Dimitrios. editor. Rolland, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334985.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40663-8">http://dx.doi.org/10.1007/978-3-642-40663-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335003
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335003.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40787-1">http://dx.doi.org/10.1007/978-3-642-40787-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335023
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335023.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40885-4">http://dx.doi.org/10.1007/978-3-642-40885-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335024
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335024.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40894-6">http://dx.doi.org/10.1007/978-3-642-40894-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335030
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335030.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40935-6">http://dx.doi.org/10.1007/978-3-642-40935-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335032
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335032.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335040
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Pecheur, Charles. editor. Dierkes, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335040.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41010-9">http://dx.doi.org/10.1007/978-3-642-41010-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
ent://SD_ILS/0/SD_ILS:335046
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335046.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41036-9">http://dx.doi.org/10.1007/978-3-642-41036-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335120
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.<br/>Yer Numarası ONLINE(335120.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335125
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335125.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41578-4">http://dx.doi.org/10.1007/978-3-642-41578-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335126
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Hinze, Ralf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335126.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41582-1">http://dx.doi.org/10.1007/978-3-642-41582-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman
ent://SD_ILS/0/SD_ILS:335138
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.<br/>Yer Numarası ONLINE(335138.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41660-6">http://dx.doi.org/10.1007/978-3-642-41660-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335141
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335141.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
ent://SD_ILS/0/SD_ILS:336496
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Mogavero, Fabio. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336496.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.2991/978-94-91216-95-4">http://dx.doi.org/10.2991/978-94-91216-95-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A General Framework for Reasoning On Inconsistency
ent://SD_ILS/0/SD_ILS:332107
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332107.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-6750-2">http://dx.doi.org/10.1007/978-1-4614-6750-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332921
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332921.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Information and Communication Technologies in Education, Research, and Industrial Applications 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333011
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Yer Numarası ONLINE(333011.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03998-5">http://dx.doi.org/10.1007/978-3-319-03998-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334073
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Giacobazzi, Roberto. editor. Berdine, Josh. editor. Mastroeni, Isabella. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334073.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35873-9">http://dx.doi.org/10.1007/978-3-642-35873-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334034
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334034.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35705-3">http://dx.doi.org/10.1007/978-3-642-35705-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334038
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334038.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334041
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Yer Numarası ONLINE(334041.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35737-4">http://dx.doi.org/10.1007/978-3-642-35737-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
ent://SD_ILS/0/SD_ILS:334264
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334264.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36675-8">http://dx.doi.org/10.1007/978-3-642-36675-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
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
ent://SD_ILS/0/SD_ILS:334278
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334278.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
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
ent://SD_ILS/0/SD_ILS:334348
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334348.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
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
ent://SD_ILS/0/SD_ILS:334354
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334354.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37057-1">http://dx.doi.org/10.1007/978-3-642-37057-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334355
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334355.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37064-9">http://dx.doi.org/10.1007/978-3-642-37064-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334465
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334465.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37635-1">http://dx.doi.org/10.1007/978-3-642-37635-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Logics Essays in Memory of Harald Ganzinger
ent://SD_ILS/0/SD_ILS:334468
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334468.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37651-1">http://dx.doi.org/10.1007/978-3-642-37651-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334494
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334494.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37890-4">http://dx.doi.org/10.1007/978-3-642-37890-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
ent://SD_ILS/0/SD_ILS:334556
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334556.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334562
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334562.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38230-7">http://dx.doi.org/10.1007/978-3-642-38230-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334564
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334564.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38236-9">http://dx.doi.org/10.1007/978-3-642-38236-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Transactions on Petri Nets and Other Models of Concurrency VII
ent://SD_ILS/0/SD_ILS:334545
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.<br/>Yer Numarası ONLINE(334545.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38143-0">http://dx.doi.org/10.1007/978-3-642-38143-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334552
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Albert, Elvira. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334552.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
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
ent://SD_ILS/0/SD_ILS:334610
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334610.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38493-6">http://dx.doi.org/10.1007/978-3-642-38493-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334617
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334617.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38536-0">http://dx.doi.org/10.1007/978-3-642-38536-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334691
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334691.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38883-5">http://dx.doi.org/10.1007/978-3-642-38883-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
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
ent://SD_ILS/0/SD_ILS:334630
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334630.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38592-6">http://dx.doi.org/10.1007/978-3-642-38592-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334631
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334631.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38601-5">http://dx.doi.org/10.1007/978-3-642-38601-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334634
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334634.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38613-8">http://dx.doi.org/10.1007/978-3-642-38613-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334702
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Hasegawa, Masahito. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334702.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38946-7">http://dx.doi.org/10.1007/978-3-642-38946-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334772
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Liu, Shaoying. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334772.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39277-1">http://dx.doi.org/10.1007/978-3-642-39277-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334778
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334778.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39310-5">http://dx.doi.org/10.1007/978-3-642-39310-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334820
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334820.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334821
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Binder, Walter. editor. Bodden, Eric. editor. Löwe, Welf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334821.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39614-4">http://dx.doi.org/10.1007/978-3-642-39614-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334822
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.<br/>Yer Numarası ONLINE(334822.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39617-5">http://dx.doi.org/10.1007/978-3-642-39617-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334825
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334825.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334832
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334832.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39666-3">http://dx.doi.org/10.1007/978-3-642-39666-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334840
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334840.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39718-9">http://dx.doi.org/10.1007/978-3-642-39718-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334851
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334851.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39799-8">http://dx.doi.org/10.1007/978-3-642-39799-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335196
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335196.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335204
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Sagonas, Kostis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335204.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45284-0">http://dx.doi.org/10.1007/978-3-642-45284-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
User-Level Workflow Design A Bioinformatics Perspective
ent://SD_ILS/0/SD_ILS:335213
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335213.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45389-2">http://dx.doi.org/10.1007/978-3-642-45389-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings
ent://SD_ILS/0/SD_ILS:335433
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335433.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-4-431-54436-4">http://dx.doi.org/10.1007/978-4-431-54436-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Distributed Programming Theory and Practice
ent://SD_ILS/0/SD_ILS:331611
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Shankar, A. Udaya. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331611.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-4881-5">http://dx.doi.org/10.1007/978-1-4614-4881-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:333558
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333558.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32341-6">http://dx.doi.org/10.1007/978-3-642-32341-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334069
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334069.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35861-6">http://dx.doi.org/10.1007/978-3-642-35861-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:335150
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335150.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41924-9">http://dx.doi.org/10.1007/978-3-642-41924-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335217
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335217.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45422-6">http://dx.doi.org/10.1007/978-3-642-45422-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335227
2024-11-22T18:15:00Z
2024-11-22T18:15:00Z
Yazar Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335227.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-54092-9">http://dx.doi.org/10.1007/978-3-642-54092-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>