Arama Sonuçları Essays. - Daraltılmış: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dEssays.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300?dt=list2026-03-13T22:13:23ZPrinciples of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIent://SD_ILS/0/SD_ILS:6059872026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75775-4">https://doi.org/10.1007/978-3-031-75775-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part Ient://SD_ILS/0/SD_ILS:6059882026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75783-9">https://doi.org/10.1007/978-3-031-75783-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIIent://SD_ILS/0/SD_ILS:6090232026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-75778-5">https://doi.org/10.1007/978-3-031-75778-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Careerent://SD_ILS/0/SD_ILS:6092182026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97274-4">https://doi.org/10.1007/978-3-031-97274-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthdayent://SD_ILS/0/SD_ILS:6091192026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97492-2">https://doi.org/10.1007/978-3-031-97492-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6036282026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-61716-4">https://doi.org/10.1007/978-3-031-61716-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6029462026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-56222-8">https://doi.org/10.1007/978-3-031-56222-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthdayent://SD_ILS/0/SD_ILS:5278042026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-28859-3">https://doi.org/10.1007/978-3-031-28859-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Database to Cyber Security Essays Dedicated to Sushil Jajodia on the Occasion of His 70th Birthdayent://SD_ILS/0/SD_ILS:3998272026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Samarati, Pierangela. editor. (orcid)0000-0001-7395-4620 Ray, Indrajit. editor. Ray, Indrakshi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-04834-1">https://doi.org/10.1007/978-3-030-04834-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthdayent://SD_ILS/0/SD_ILS:3998612026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-01461-2">https://doi.org/10.1007/978-3-030-01461-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthdayent://SD_ILS/0/SD_ILS:4005462026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Graciani, Carmen. editor. Riscos-Núñez, Agustín. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00265-7">https://doi.org/10.1007/978-3-030-00265-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbabent://SD_ILS/0/SD_ILS:4012172026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthdayent://SD_ILS/0/SD_ILS:3997562026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Müller, Peter. editor. Schaefer, Ina. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-98047-8">https://doi.org/10.1007/978-3-319-98047-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:4001212026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-95246-8">https://doi.org/10.1007/978-3-319-95246-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6108512026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-51046-0">https://doi.org/10.1007/978-3-319-51046-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6162012026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-50062-1">https://doi.org/10.1007/978-3-319-50062-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6178562026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6178122026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6109332026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30936-1">https://doi.org/10.1007/978-3-319-30936-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6136402026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdaysent://SD_ILS/0/SD_ILS:6177432026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-27810-0">https://doi.org/10.1007/978-3-319-27810-0</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 Birthdayent://SD_ILS/0/SD_ILS:3345472026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar 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/>Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthdayent://SD_ILS/0/SD_ILS:3348372026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334837.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39698-4">http://dx.doi.org/10.1007/978-3-642-39698-4</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 Bunemanent://SD_ILS/0/SD_ILS:3351382026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar 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/>Perspectives on the Future of Software Engineering Essays in Honor of Dieter Rombachent://SD_ILS/0/SD_ILS:3344192026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Münch, Jürgen. editor. Schmid, Klaus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334419.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37395-4">http://dx.doi.org/10.1007/978-3-642-37395-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Logics Essays in Memory of Harald Ganzingerent://SD_ILS/0/SD_ILS:3344682026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar 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/>The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthdayent://SD_ILS/0/SD_ILS:3349342026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334934.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40355-2">http://dx.doi.org/10.1007/978-3-642-40355-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010ent://SD_ILS/0/SD_ILS:3351042026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Lipton, Richard J. author. Regan, Kenneth W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335104.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41422-0">http://dx.doi.org/10.1007/978-3-642-41422-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Stochastic Reliability and Maintenance Modeling Essays in Honor of Professor Shunji Osaki on his 70th Birthdayent://SD_ILS/0/SD_ILS:3311092026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Dohi, Tadashi. editor. Nakagawa, Toshio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331109.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4971-2">http://dx.doi.org/10.1007/978-1-4471-4971-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Reasoning and Mathematics Essays in Memory of William W. McCuneent://SD_ILS/0/SD_ILS:3342642026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar 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/>From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartzent://SD_ILS/0/SD_ILS:3309422026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330942.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-4282-9">http://dx.doi.org/10.1007/978-1-4471-4282-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cryptography and Security: From Theory to Applications Essays Dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1964282026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Naccache, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28368-0">http://dx.doi.org/10.1007/978-3-642-28368-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1964022026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28279-9">http://dx.doi.org/10.1007/978-3-642-28279-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1967112026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29485-3">http://dx.doi.org/10.1007/978-3-642-29485-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitzent://SD_ILS/0/SD_ILS:1969502026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30743-0">http://dx.doi.org/10.1007/978-3-642-30743-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Shall We Play the Festschrift Game? Essays on the Occasion of Lauri Carlson's 60th Birthdayent://SD_ILS/0/SD_ILS:1969562026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Santos, Diana. editor. Lindén, Krister. editor. Ng’ang’a, Wanjiku. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30773-7">http://dx.doi.org/10.1007/978-3-642-30773-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1969732026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Heisel, Maritta. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30835-2">http://dx.doi.org/10.1007/978-3-642-30835-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1969832026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Bodlaender, Hans L. editor. Downey, Rod. editor. Fomin, Fedor V. editor. Marx, Dániel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1971202026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Bordihn, Henning. editor. Kutrib, Martin. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31644-9">http://dx.doi.org/10.1007/978-3-642-31644-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1966932026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29414-3">http://dx.doi.org/10.1007/978-3-642-29414-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthdayent://SD_ILS/0/SD_ILS:1956682026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Jones, Cliff B. editor. Lloyd, John L. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24541-1">http://dx.doi.org/10.1007/978-3-642-24541-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirementent://SD_ILS/0/SD_ILS:1957822026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24897-9">http://dx.doi.org/10.1007/978-3-642-24897-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthdayent://SD_ILS/0/SD_ILS:1957962026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Agha, Gul. editor. Danvy, Olivier. editor. Meseguer, José. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-24933-4">http://dx.doi.org/10.1007/978-3-642-24933-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computation, Cooperation, and Life Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1942272026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Kelemen, Jozef. editor. Kelemenová, Alica. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20000-7">http://dx.doi.org/10.1007/978-3-642-20000-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1945012026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20832-4">http://dx.doi.org/10.1007/978-3-642-20832-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1947172026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Pogodalla, Sylvain. editor. Quatrini, Myriam. editor. Retoré, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21490-5">http://dx.doi.org/10.1007/978-3-642-21490-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roeverent://SD_ILS/0/SD_ILS:1917062026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Dams, Dennis. editor. Hannemann, Ulrich. editor. Steffen, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11512-7">http://dx.doi.org/10.1007/978-3-642-11512-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Time for Verification Essays in Memory of Amir Pnuelient://SD_ILS/0/SD_ILS:1924362026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Manna, Zohar. editor. Peled, Doron A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13754-9">http://dx.doi.org/10.1007/978-3-642-13754-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithms and Applications Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1920082026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Elomaa, Tapio. editor. Mannila, Heikki. editor. Orponen, Pekka. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12476-1">http://dx.doi.org/10.1007/978-3-642-12476-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthdayent://SD_ILS/0/SD_ILS:1928492026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Blass, Andreas. editor. Dershowitz, Nachum. editor. Reisig, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15025-8">http://dx.doi.org/10.1007/978-3-642-15025-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthdayent://SD_ILS/0/SD_ILS:1935682026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Engels, Gregor. editor. Lewerentz, Claus. editor. Schäfer, Wilhelm. editor. Schürr, Andy. editor. Westfechtel, Bernhard. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17322-6">http://dx.doi.org/10.1007/978-3-642-17322-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Conceptual Modeling: Foundations and Applications Essays in Honor of John Mylopoulosent://SD_ILS/0/SD_ILS:1903282026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Borgida, Alexander T. editor. Chaudhri, Vinay K. editor. Giorgini, Paolo. editor. Yu, Eric S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02463-4">http://dx.doi.org/10.1007/978-3-642-02463-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1916882026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11447-2">http://dx.doi.org/10.1007/978-3-642-11447-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantzent://SD_ILS/0/SD_ILS:1706172026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Ravi, S. S. editor. Shukla, Sandeep K. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9688-4">http://dx.doi.org/10.1007/978-1-4020-9688-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1901092026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-01748-3">http://dx.doi.org/10.1007/978-3-642-01748-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Graph Theory, Computational Intelligence and Thought Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1901932026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Lipshteyn, Marina. editor. Levit, Vadim E. editor. McConnell, Ross M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02029-2">http://dx.doi.org/10.1007/978-3-642-02029-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1906332026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Albers, Susanne. editor. Alt, Helmut. editor. Näher, Stefan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Aspects of Natural Language Processing Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthdayent://SD_ILS/0/SD_ILS:1910412026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04735-0">http://dx.doi.org/10.1007/978-3-642-04735-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1908572026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Palsberg, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04164-8">http://dx.doi.org/10.1007/978-3-642-04164-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Path to Autonomous Robots Essays in Honor of George A. Bekeyent://SD_ILS/0/SD_ILS:1677932026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Sukhatme, Gaurav. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-85774-9">http://dx.doi.org/10.1007/978-0-387-85774-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthdayent://SD_ILS/0/SD_ILS:1880402026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Avron, Arnon. editor. Dershowitz, Nachum. editor. Rabinovich, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78127-1">http://dx.doi.org/10.1007/978-3-540-78127-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Advances in Linear Models and Related Areas Essays in Honour of Helge Toutenburgent://SD_ILS/0/SD_ILS:1984012026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Shalabh. author. Heumann, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-7908-2064-5">http://dx.doi.org/10.1007/978-3-7908-2064-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Methods in Computer Science Essays in Memory of Thomas Bethent://SD_ILS/0/SD_ILS:1893802026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Calmet, Jacques. editor. Geiselmann, Willi. editor. Müller-Quade, Jörn. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89994-5">http://dx.doi.org/10.1007/978-3-540-89994-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1855542026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-68679-8">http://dx.doi.org/10.1007/978-3-540-68679-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdaysent://SD_ILS/0/SD_ILS:1873662026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75221-9">http://dx.doi.org/10.1007/978-3-540-75221-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligenceent://SD_ILS/0/SD_ILS:1878352026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Lungarella, Max. editor. Iida, Fumiya. editor. Bongard, Josh. editor. Pfeifer, Rolf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-77296-5">http://dx.doi.org/10.1007/978-3-540-77296-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1862472026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71322-7">http://dx.doi.org/10.1007/978-3-540-71322-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1867592026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Comon-Lundh, Hubert. editor. Kirchner, Claude. editor. Kirchner, Hélène. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73147-4">http://dx.doi.org/10.1007/978-3-540-73147-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theoretical Computer Science Essays in Memory of Shimon Evenent://SD_ILS/0/SD_ILS:1835422026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Goldreich, Oded. editor. Rosenberg, Arnold L. editor. Selman, Alan L. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11685654">http://dx.doi.org/10.1007/11685654</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Imagination and Rigor Essays on Eduardo R. Caianiello’s Scientific Heritageent://SD_ILS/0/SD_ILS:2041642026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Termini, Settimo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/88-470-0472-1">http://dx.doi.org/10.1007/88-470-0472-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1842592026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Futatsugi, Kokichi. editor. Jouannaud, Jean-Pierre. editor. Meseguer, José. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11780274">http://dx.doi.org/10.1007/11780274</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reasoning, Action and Interaction in AI Theories and Systems Essays Dedicated to Luigia Carlucci Aielloent://SD_ILS/0/SD_ILS:1846512026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Stock, Oliviero. editor. Schaerf, Marco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11829263">http://dx.doi.org/10.1007/11829263</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Charting a New Course: Natural Language Processing and Information Retrieval Essays in Honour of Karen Spärck Jonesent://SD_ILS/0/SD_ILS:1689042026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Tait, John I. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-3467-9">http://dx.doi.org/10.1007/1-4020-3467-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1833672026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11601548">http://dx.doi.org/10.1007/11601548</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Data Management in a Connected World Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthdayent://SD_ILS/0/SD_ILS:1828052026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Härder, Theo. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137346">http://dx.doi.org/10.1007/b137346</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Integrated Publication and Information Systems to Information and Knowledge Environments Essays Dedicated to Erich J. Neuhold on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:1829282026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Hemmje, Matthias. editor. Niederée, Claudia. editor. Risse, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b105978">http://dx.doi.org/10.1007/b105978</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1829332026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1832412026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106663">http://dx.doi.org/10.1007/b106663</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proof, language, and interaction essays in honour of Robin Milnerent://SD_ILS/0/SD_ILS:2199012026-03-13T22:13:23Z2026-03-13T22:13:23ZYazar Plotkin, G. (Gordon), 1946- Stirling, Colin P. Tofte, Mads. Milner, R. (Robin), 1934-2010.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>