Arama Sonu&ccedil;lar&#305; Design. - Daralt&#305;lm&#305;&#351;: Computational complexity. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dDesign.$0026qf$003dSUBJECT$002509Konu$002509Computational$002bcomplexity.$002509Computational$002bcomplexity.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-12-25T17:02:01Z The Algorithm Design Manual ent://SD_ILS/0/SD_ILS:175696 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Skiena, Steven S. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-070-4">http://dx.doi.org/10.1007/978-1-84800-070-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Complex Systems Design &amp; Management Asia Smart Transportation: Proceedings of the Third Asia-Pacific Conference on Complex Systems Design &amp; Management, CSD&amp;M Asia 2018 ent://SD_ILS/0/SD_ILS:485224 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Cardin, Michel Alexandre. editor.&#160;Hastings, Daniel. editor.&#160;Jackson, Peter. editor.&#160;Krob, Daniel. editor.&#160;Lui, Pao Chuen. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-02886-2">https://doi.org/10.1007/978-3-030-02886-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Complex Systems Design &amp; Management Proceedings of the Ninth International Conference on Complex Systems Design &amp; Management, CSD&amp;M Paris 2018 ent://SD_ILS/0/SD_ILS:483972 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Bonjour, Eric. editor.&#160;Krob, Daniel. editor.&#160;Palladino, Luca. editor.&#160;Stephan, Fran&ccedil;ois. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-04209-7">https://doi.org/10.1007/978-3-030-04209-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Lai-Massey Cipher Designs History, Design Criteria and Cryptanalysis ent://SD_ILS/0/SD_ILS:398995 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Nakahara Jr., Jorge. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-68273-0">https://doi.org/10.1007/978-3-319-68273-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A guide to algorithm design : paradigms, methods, and complexity analysis ent://SD_ILS/0/SD_ILS:365140 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Benoit, Anne.&#160;Robert, Yves, 1938-, author.&#160;Vivien, Fr&eacute;d&eacute;ric, author.<br/>Yer Numaras&#305;&#160;QA76.9.A43 B46 2014<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Design Methodology for Intelligent Technical Systems Develop Intelligent Technical Systems of the Future ent://SD_ILS/0/SD_ILS:488116 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Gausemeier, J&uuml;rgen. editor.&#160;Rammig, Franz Josef. editor.&#160;Sch&auml;fer, Wilhelm. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-642-45435-6">https://doi.org/10.1007/978-3-642-45435-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Design and Analysis of Algorithms First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197552 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Even, Guy. editor.&#160;Rawitz, Dror. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34862-4">http://dx.doi.org/10.1007/978-3-642-34862-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algorithmics of Large and Complex Networks Design, Analysis, and Simulation ent://SD_ILS/0/SD_ILS:190214 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Lerner, J&uuml;rgen. editor.&#160;Wagner, Dorothea. editor.&#160;Zweig, Katharina A. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02094-0">http://dx.doi.org/10.1007/978-3-642-02094-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Design and Analysis of Randomized Algorithms Introduction to Design Paradigms ent://SD_ILS/0/SD_ILS:181595 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Hromkovi&#268;, Juraj. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/3-540-27903-2">http://dx.doi.org/10.1007/3-540-27903-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Neural network design and the complexity of learning ent://SD_ILS/0/SD_ILS:219883 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Judd, J. Stephen.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267404">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267404</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Science &ndash; Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401195 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Fomin, Fedor V. editor.&#160;Podolskii, Vladimir V. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-90530-3">https://doi.org/10.1007/978-3-319-90530-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25&ndash;27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:402724 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Konstantinidis, Stavros. editor.&#160;Pighizzini, Giovanni. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-94631-3">https://doi.org/10.1007/978-3-319-94631-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14&ndash;20, 2018. Proceedings ent://SD_ILS/0/SD_ILS:400607 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Baier, Christel. editor. (orcid)0000-0002-5321-9343&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401274 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Khomenko, Victor. editor.&#160;Roux, Olivier H. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-91268-4">https://doi.org/10.1007/978-3-319-91268-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Industrial Applications of Affective Engineering ent://SD_ILS/0/SD_ILS:489562 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Watada, Junzo. editor.&#160;Shiizuka, Hisao. editor.&#160;Lee, Kun-Pyo. editor.&#160;Otani, Tsuyoshi. editor.&#160;Lim, Chee-Peng. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-04798-0">https://doi.org/10.1007/978-3-319-04798-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Systems Engineering, Systems Thinking, and Learning A Case Study in Space Industry ent://SD_ILS/0/SD_ILS:485432 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Moser, Hubert Anton. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-03895-7">https://doi.org/10.1007/978-3-319-03895-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Dependability of Self-Optimizing Mechatronic Systems ent://SD_ILS/0/SD_ILS:489306 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Gausemeier, J&uuml;rgen. editor.&#160;Rammig, Franz Josef. editor.&#160;Sch&auml;fer, Wilhelm. editor.&#160;Sextro, Walter. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-642-53742-4">https://doi.org/10.1007/978-3-642-53742-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Lodaya, Kamal. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334105.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Albert, Elvira. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334552.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Du, Ding-Zhu. editor.&#160;Zhang, Guochuan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334665.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Modelling Computing Systems Mathematics for Computer Science ent://SD_ILS/0/SD_ILS:332574 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Moller, Faron. author.&#160;Struth, Georg. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(332574.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Science &ndash; 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-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Bulatov, Andrei A. editor.&#160;Shur, Arseny M. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334617.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Bonizzoni, Paola. editor.&#160;Brattka, Vasco. editor.&#160;L&ouml;we, Benedikt. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334718.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Jurgensen, Helmut. editor.&#160;Reis, Rog&eacute;rio. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334778.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Galmiche, Didier. editor.&#160;Larchey-Wendling, Dominique. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334962.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Cabalar, Pedro. editor.&#160;Son, Tran Cao. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334969.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Schulte, Christian. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334980.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Muntean, Traian. editor.&#160;Poulakis, Dimitrios. editor.&#160;Rolland, Robert. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334985.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Grossi, Davide. editor.&#160;Roy, Olivier. editor.&#160;Huang, Huaxin. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(335032.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Curves and Surfaces 7th International Conference, Avignon, France, June 24 - 30, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196189 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Boissonnat, Jean-Daniel. editor.&#160;Chenin, Patrick. editor.&#160;Cohen, Albert. editor.&#160;Gout, Christian. editor.&#160;Lyche, Tom. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27413-8">http://dx.doi.org/10.1007/978-3-642-27413-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Science &ndash; Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196934 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Hirsch, Edward A. editor.&#160;Karhum&auml;ki, Juhani. editor.&#160;Lepist&ouml;, Arto. editor.&#160;Prilutskii, Michail. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30642-6">http://dx.doi.org/10.1007/978-3-642-30642-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196982 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Derrick, John. editor.&#160;Fitzgerald, John. editor.&#160;Gnesi, Stefania. editor.&#160;Khurshid, Sarfraz. editor.&#160;Leuschel, Michael. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30885-7">http://dx.doi.org/10.1007/978-3-642-30885-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:196983 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Bodlaender, Hans L. editor.&#160;Downey, Rod. editor.&#160;Fomin, Fedor V. editor.&#160;Marx, D&aacute;niel. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30891-8">http://dx.doi.org/10.1007/978-3-642-30891-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197019 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Gibbons, Jeremy. editor.&#160;Nogueira, Pablo. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31113-0">http://dx.doi.org/10.1007/978-3-642-31113-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes ent://SD_ILS/0/SD_ILS:197087 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Bezhanishvili, Nick. editor.&#160;Goranko, Valentin. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31485-8">http://dx.doi.org/10.1007/978-3-642-31485-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197106 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;&Aring;gotnes, Thomas. editor.&#160;Broersen, Jan. editor.&#160;Elgesem, Dag. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31570-1">http://dx.doi.org/10.1007/978-3-642-31570-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Developments in Language Theory 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197121 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Yen, Hsu-Chun. editor.&#160;Ibarra, Oscar H. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31653-1">http://dx.doi.org/10.1007/978-3-642-31653-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197355 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Kahl, Wolfram. editor.&#160;Griffin, Timothy G. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33314-9">http://dx.doi.org/10.1007/978-3-642-33314-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Qu&eacute;bec City, QC, Canada, October 8-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197402 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Milano, Michela. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33558-7">http://dx.doi.org/10.1007/978-3-642-33558-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197416 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Ehrig, Hartmut. editor.&#160;Engels, Gregor. editor.&#160;Kreowski, Hans-J&ouml;rg. editor.&#160;Rozenberg, Grzegorz. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33654-6">http://dx.doi.org/10.1007/978-3-642-33654-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundations of Information and Knowledge Systems 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196452 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Lukasiewicz, Thomas. editor.&#160;Sali, Attila. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28472-4">http://dx.doi.org/10.1007/978-3-642-28472-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers ent://SD_ILS/0/SD_ILS:197191 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Vidal, Germ&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32211-2">http://dx.doi.org/10.1007/978-3-642-32211-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197246 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Ong, Luke. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32621-9">http://dx.doi.org/10.1007/978-3-642-32621-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:197486 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Sch&uuml;rr, Andy. editor.&#160;Varr&oacute;, D&aacute;niel. editor.&#160;Varr&oacute;, Gergely. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34176-2">http://dx.doi.org/10.1007/978-3-642-34176-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Deduction in Geometry 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008. Revised Papers ent://SD_ILS/0/SD_ILS:194573 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Sturm, Thomas. editor.&#160;Zengler, Christoph. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21046-4">http://dx.doi.org/10.1007/978-3-642-21046-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194718 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Winkler, Franz. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21493-6">http://dx.doi.org/10.1007/978-3-642-21493-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194965 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Bouchou-Markhoff, B&eacute;atrice. editor.&#160;Caron, Pascal. editor.&#160;Champarnaud, Jean-Marc. editor.&#160;Maurel, Denis. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22256-6">http://dx.doi.org/10.1007/978-3-642-22256-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Implementation and Application of Automata 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193805 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Domaratzki, Michael. editor.&#160;Salomaa, Kai. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-18098-9">http://dx.doi.org/10.1007/978-3-642-18098-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194523 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Delgrande, James P. editor.&#160;Faber, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20895-9">http://dx.doi.org/10.1007/978-3-642-20895-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings ent://SD_ILS/0/SD_ILS:194531 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Beklemishev, Lev D. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20920-8">http://dx.doi.org/10.1007/978-3-642-20920-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Science &ndash; Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194462 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Kulikov, Alexander. editor.&#160;Vereshchagin, Nikolay. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20712-9">http://dx.doi.org/10.1007/978-3-642-20712-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195192 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Owe, Olaf. editor.&#160;Steffen, Martin. editor.&#160;Telle, Jan Arne. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22953-4">http://dx.doi.org/10.1007/978-3-642-22953-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195206 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Murlak, Filip. editor.&#160;Sankowski, Piotr. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22993-0">http://dx.doi.org/10.1007/978-3-642-22993-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195554 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Ditmarsch, Hans. editor.&#160;Lang, J&eacute;r&ocirc;me. editor.&#160;Ju, Shier. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24130-7">http://dx.doi.org/10.1007/978-3-642-24130-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194517 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Ogihara, Mitsunori. editor.&#160;Tarui, Jun. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20877-5">http://dx.doi.org/10.1007/978-3-642-20877-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Developments in Language Theory 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194987 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Mauri, Giancarlo. editor.&#160;Leporati, Alberto. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22321-1">http://dx.doi.org/10.1007/978-3-642-22321-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 &ndash; September 2, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195189 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Corradini, Andrea. editor.&#160;Klin, Bartek. editor.&#160;C&icirc;rstea, Corina. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22944-2">http://dx.doi.org/10.1007/978-3-642-22944-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Euclidean Shortest Paths Exact or Approximate Algorithms ent://SD_ILS/0/SD_ILS:173401 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Li, Fajie. author.&#160;Klette, Reinhard. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2256-2">http://dx.doi.org/10.1007/978-1-4471-2256-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematical Methods for Curves and Surfaces 7th International Conference, MMCS 2008, T&oslash;nsberg, Norway, June 26-July 1, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191742 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;D&aelig;hlen, Morten. editor.&#160;Floater, Michael. editor.&#160;Lyche, Tom. editor.&#160;Merrien, Jean-Louis. editor.&#160;M&oslash;rken, Knut. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11620-9">http://dx.doi.org/10.1007/978-3-642-11620-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced Manufacturing and Sustainable Logistics 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192013 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Dangelmaier, Wilhelm. editor.&#160;Blecken, Alexander. editor.&#160;Delius, Robin. editor.&#160;Kl&ouml;pfer, Stefan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12494-5">http://dx.doi.org/10.1007/978-3-642-12494-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Science &ndash; Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192253 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Ablayev, Farid. editor.&#160;Mayr, Ernst W. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13182-0">http://dx.doi.org/10.1007/978-3-642-13182-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192376 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Kratochv&iacute;l, Jan. editor.&#160;Li, Angsheng. editor.&#160;Fiala, Ji&#345;&iacute;. editor.&#160;Kolman, Petr. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13562-0">http://dx.doi.org/10.1007/978-3-642-13562-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192577 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Giesl, J&uuml;rgen. editor.&#160;H&auml;hnle, Reiner. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14203-1">http://dx.doi.org/10.1007/978-3-642-14203-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192571 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Governatori, Guido. editor.&#160;Sartor, Giovanni. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14183-6">http://dx.doi.org/10.1007/978-3-642-14183-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192660 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Gao, Yuan. editor.&#160;Lu, Hanlin. editor.&#160;Seki, Shinnosuke. editor.&#160;Yu, Sheng. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14455-4">http://dx.doi.org/10.1007/978-3-642-14455-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191805 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Frappier, Marc. editor.&#160;Gl&auml;sser, Uwe. editor.&#160;Khurshid, Sarfraz. editor.&#160;Laleau, R&eacute;gine. editor.&#160;Reeves, Steve. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11811-1">http://dx.doi.org/10.1007/978-3-642-11811-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191810 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Link, Sebastian. editor.&#160;Prade, Henri. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11829-6">http://dx.doi.org/10.1007/978-3-642-11829-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192461 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Dawar, Anuj. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13824-9">http://dx.doi.org/10.1007/978-3-642-13824-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192693 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Lee, Der-Tsai. editor.&#160;Chen, Danny Z. editor.&#160;Ying, Shi. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14553-7">http://dx.doi.org/10.1007/978-3-642-14553-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192614 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Ebert, Christian. editor.&#160;J&auml;ger, Gerhard. editor.&#160;Michaelis, Jens. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14322-9">http://dx.doi.org/10.1007/978-3-642-14322-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192878 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Hlin&#283;n&yacute;, Petr. editor.&#160;Ku&#269;era, Anton&iacute;n. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15155-2">http://dx.doi.org/10.1007/978-3-642-15155-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic and the Foundations of Game and Decision Theory &ndash; LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192881 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Bonanno, Giacomo. editor.&#160;L&ouml;we, Benedikt. editor.&#160;Hoek, Wiebe. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15164-4">http://dx.doi.org/10.1007/978-3-642-15164-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27&ndash;October 2, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193130 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Ehrig, Hartmut. editor.&#160;Rensink, Arend. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Sch&uuml;rr, Andy. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15928-2">http://dx.doi.org/10.1007/978-3-642-15928-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190189 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Chen, Jianer. editor.&#160;Cooper, S. Barry. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02017-9">http://dx.doi.org/10.1007/978-3-642-02017-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wroc&#322;aw, Poland, September 2-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190613 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Kuty&#322;owski, Miros&#322;aw. editor.&#160;Charatonik, Witold. editor.&#160;G&#281;bala, Maciej. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03409-1">http://dx.doi.org/10.1007/978-3-642-03409-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings ent://SD_ILS/0/SD_ILS:190663 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Bozapalidis, Symeon. editor.&#160;Rahonis, George. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03564-7">http://dx.doi.org/10.1007/978-3-642-03564-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190883 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Erdem, Esra. editor.&#160;Lin, Fangzhen. editor.&#160;Schaub, Torsten. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04238-6">http://dx.doi.org/10.1007/978-3-642-04238-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191090 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;He, Xiangdong. editor.&#160;Horty, John. editor.&#160;Pacuit, Eric. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04893-7">http://dx.doi.org/10.1007/978-3-642-04893-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191011 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Berghammer, Rudolf. editor.&#160;Jaoua, Ali Mohamed. editor.&#160;M&ouml;ller, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04639-1">http://dx.doi.org/10.1007/978-3-642-04639-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Modeling Decisions for Artificial Intelligence 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30&ndash;December 2, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191068 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Torra, Vicen&ccedil;. editor.&#160;Narukawa, Yasuo. editor.&#160;Inuiguchi, Masahiro. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04820-3">http://dx.doi.org/10.1007/978-3-642-04820-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191634 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Chen, Jianer. editor.&#160;Fomin, Fedor V. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11269-0">http://dx.doi.org/10.1007/978-3-642-11269-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191428 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Dong, Yingfei. editor.&#160;Du, Ding-Zhu. editor.&#160;Ibarra, Oscar. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10631-6">http://dx.doi.org/10.1007/978-3-642-10631-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algorithms and theory of computation handbook. General concepts and techniques ent://SD_ILS/0/SD_ILS:291680 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Atallah, Mikhail J.&#160;Blanton, Marina.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://marc.crcnetbase.com/isbn/9781584888239">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic Functions and Equations Examples and Exercises ent://SD_ILS/0/SD_ILS:170583 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Steinbach, Bernd. author.&#160;Posthoff, Christian. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-9595-5">http://dx.doi.org/10.1007/978-1-4020-9595-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190188 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Vahrenhold, Jan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02011-7">http://dx.doi.org/10.1007/978-3-642-02011-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Rewriting Techniques and Applications 20th International Conference, RTA 2009 Bras&iacute;lia, Brazil, June 29 - July 1, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190296 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Treinen, Ralf. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02348-4">http://dx.doi.org/10.1007/978-3-642-02348-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190317 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Franceschinis, Giuliana. editor.&#160;Wolf, Karsten. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02424-5">http://dx.doi.org/10.1007/978-3-642-02424-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190601 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Berghofer, Stefan. editor.&#160;Nipkow, Tobias. editor.&#160;Urban, Christian. editor.&#160;Wenzel, Makarius. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03359-9">http://dx.doi.org/10.1007/978-3-642-03359-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:190633 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Albers, Susanne. editor.&#160;Alt, Helmut. editor.&#160;N&auml;her, Stefan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03456-5">http://dx.doi.org/10.1007/978-3-642-03456-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190723 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Kurz, Alexander. editor.&#160;Lenisa, Marina. editor.&#160;Tarlecki, Andrzej. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03741-2">http://dx.doi.org/10.1007/978-3-642-03741-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundations of Information and Knowledge Systems 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings ent://SD_ILS/0/SD_ILS:187946 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Hartmann, Sven. editor.&#160;Kern-Isberner, Gabriele. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-77684-0">http://dx.doi.org/10.1007/978-3-540-77684-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru&acute;n, Poland, August 25-29, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188648 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Ochma&#324;ski, Edward. editor.&#160;Tyszkiewicz, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85238-4">http://dx.doi.org/10.1007/978-3-540-85238-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188842 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Ehrig, Hartmut. editor.&#160;Heckel, Reiko. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Taentzer, Gabriele. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87405-8">http://dx.doi.org/10.1007/978-3-540-87405-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:189178 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Sch&uuml;rr, Andy. editor.&#160;Nagl, Manfred. editor.&#160;Z&uuml;ndorf, Albert. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89020-1">http://dx.doi.org/10.1007/978-3-540-89020-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Line Drawing Interpretation ent://SD_ILS/0/SD_ILS:175771 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Cooper, Martin, 1910-1986 author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-229-6">http://dx.doi.org/10.1007/978-1-84800-229-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> LATIN 2008: Theoretical Informatics 8th Latin American Symposium, B&uacute;zios, Brazil, April 7-11, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188237 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Laber, Eduardo Sany. editor.&#160;Bornstein, Claudson. editor.&#160;Nogueira, Loana Tito. editor.&#160;Faria, Luerbio. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78773-0">http://dx.doi.org/10.1007/978-3-540-78773-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187774 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Arvind, V. editor.&#160;Prasad, Sanjiva. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-77050-3">http://dx.doi.org/10.1007/978-3-540-77050-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186099 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Thomas, Wolfgang. editor.&#160;Weil, Pascal. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-70918-3">http://dx.doi.org/10.1007/978-3-540-70918-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186775 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Harju, Tero. editor.&#160;Karhum&auml;ki, Juhani. editor.&#160;Lepist&ouml;, Arto. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73208-2">http://dx.doi.org/10.1007/978-3-540-73208-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 &#268;esk&yacute; Krumlov, Czech Republic, August 26-31, 2007 Proceedings ent://SD_ILS/0/SD_ILS:187162 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Ku&#269;era, Lud&#283;k. editor.&#160;Ku&#269;era, Anton&iacute;n. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74456-6">http://dx.doi.org/10.1007/978-3-540-74456-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183274 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Durand, Bruno. editor.&#160;Thomas, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11672142">http://dx.doi.org/10.1007/11672142</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184249 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Ibarra, Oscar H. editor.&#160;Dang, Zhe. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11779148">http://dx.doi.org/10.1007/11779148</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Star&aacute; Lesn&aacute;, Slovakia, August 28-September 1, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184636 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Kr&aacute;lovi&#269;, Rastislav. editor.&#160;Urzyczyn, Pawe&#322;. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11821069">http://dx.doi.org/10.1007/11821069</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185310 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Arun-Kumar, S. editor.&#160;Garg, Naveen. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11944836">http://dx.doi.org/10.1007/11944836</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundations of Information and Knowledge Systems 4th International Symposium, FoIKS 2006, Budapest, Hungary, Februrary 14-17, 2006. Proceedings ent://SD_ILS/0/SD_ILS:182884 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Dix, J&uuml;rgen. editor.&#160;Hegner, Stephen J. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11663881">http://dx.doi.org/10.1007/11663881</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183496 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Correa, Jos&eacute; R. editor.&#160;Hevia, Alejandro. editor.&#160;Kiwi, Marcos. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11682462">http://dx.doi.org/10.1007/11682462</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers ent://SD_ILS/0/SD_ILS:183707 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;MacCaull, Wendy. editor.&#160;Winter, Michael. editor.&#160;D&uuml;ntsch, Ivo. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11734673">http://dx.doi.org/10.1007/11734673</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings ent://SD_ILS/0/SD_ILS:184697 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Corradini, Andrea. editor.&#160;Ehrig, Hartmut. editor.&#160;Montanari, Ugo. editor.&#160;Ribeiro, Leila. editor.&#160;Rozenberg, Grzegorz. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183091 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Coppo, Mario. editor.&#160;Lodi, Elena. editor.&#160;Pinna, G. Michele. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11560586">http://dx.doi.org/10.1007/11560586</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings ent://SD_ILS/0/SD_ILS:182343 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Lodaya, Kamal. editor.&#160;Mahajan, Meena. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b104325">http://dx.doi.org/10.1007/b104325</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings ent://SD_ILS/0/SD_ILS:182351 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Calude, Cristian S. editor.&#160;Calude, Elena. editor.&#160;Dinneen, Michael J. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b103739">http://dx.doi.org/10.1007/b103739</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183361 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Sarukkai, Sundar. editor.&#160;Sen, Sandeep. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11590156">http://dx.doi.org/10.1007/11590156</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182828 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Felice, Clelia. editor.&#160;Restivo, Antonio. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b137735">http://dx.doi.org/10.1007/b137735</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tutorials on Emerging Methodologies and Applications in Operations Research Presented at Informs 2004, Denver, CO ent://SD_ILS/0/SD_ILS:164830 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;G, H J. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b99770">http://dx.doi.org/10.1007/b99770</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:182933 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;Kreowski, Hans-J&ouml;rg. editor.&#160;Montanari, Ugo. editor.&#160;Orejas, Fernando. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Taentzer, Gabriele. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29&ndash;September 2, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182953 2024-12-25T17:02:01Z 2024-12-25T17:02:01Z Yazar&#160;J&#553;drzejowicz, Joanna. editor.&#160;Szepietowski, Andrzej. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11549345">http://dx.doi.org/10.1007/11549345</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>