Arama Sonuçları The state. - Daraltılmış: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dThe$002bstate.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-23T18:30:43ZComputing and Software Science State of the Art and Perspectivesent://SD_ILS/0/SD_ILS:4860692026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming with Actors State-of-the-Art and Research Perspectivesent://SD_ILS/0/SD_ILS:3996712026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00302-9">https://doi.org/10.1007/978-3-030-00302-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal System Verification State-of the-Art and Future Trendsent://SD_ILS/0/SD_ILS:4022582026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Drechsler, Rolf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-57685-5">https://doi.org/10.1007/978-3-319-57685-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Braverman Readings in Machine Learning. Key Ideas from Inception to Current State International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talksent://SD_ILS/0/SD_ILS:4001222026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Rozonoer, Lev. editor. Mirkin, Boris. editor. (orcid)0000-0001-5470-8635 Muchnik, Ilya. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99492-5">https://doi.org/10.1007/978-3-319-99492-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platformsent://SD_ILS/0/SD_ILS:4001332026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Trobec, Roman. author. Slivnik, Boštjan. author. Bulić, Patricio. author. Robič, Borut. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-98833-7">https://doi.org/10.1007/978-3-319-98833-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Soft Computing: State of the Art Theory and Novel Applicationsent://SD_ILS/0/SD_ILS:3339052026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Yager, Ronald R. editor. Abbasov, Ali M. editor. Reformat, Marek Z. editor. Shahbazova, Shahnaz N. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333905.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34922-5">http://dx.doi.org/10.1007/978-3-642-34922-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Brain-Computer Interface Research A State-of-the-Art Summaryent://SD_ILS/0/SD_ILS:3341182026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Guger, Christoph. editor. Allison, Brendan Z. editor. Edlinger, Günter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334118.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36083-1">http://dx.doi.org/10.1007/978-3-642-36083-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Evaluation of State-of-the-Art Hardware Architectures for Fast Cone-Beam CT Reconstructionent://SD_ILS/0/SD_ILS:1990682026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Scherl, Holger. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-8348-8259-2">http://dx.doi.org/10.1007/978-3-8348-8259-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods: State of the Art and New Directionsent://SD_ILS/0/SD_ILS:1760542026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Boca, Paul. editor. Bowen, Jonathan P. editor. Siddiqi, Jawed. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-736-3">http://dx.doi.org/10.1007/978-1-84882-736-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Trends in Interactive Visualization State-of-the-Art Surveyent://SD_ILS/0/SD_ILS:1757892026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Liere, Robert. editor. Adriaansen, Tony. editor. Zudilova-Seinstra, Elena. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84800-269-2">http://dx.doi.org/10.1007/978-1-84800-269-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>State of the Art in Computational Morphology Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, September 4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1908452026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-04131-0">http://dx.doi.org/10.1007/978-3-642-04131-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Communities and Technologies 2007 Proceedings of the Third Communities and Technologies Conference, Michigan State University 2007ent://SD_ILS/0/SD_ILS:1756222026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Steinfield, Charles. editor. Pentland, Brian T. editor. Ackerman, Mark. editor. Contractor, Noshir. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84628-905-7">http://dx.doi.org/10.1007/978-1-84628-905-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Portrait of State-of-the-Art Research at the Technical University of Lisbonent://SD_ILS/0/SD_ILS:1695662026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Pereira, Manuel Seabra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-5690-1">http://dx.doi.org/10.1007/978-1-4020-5690-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1874932026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Kågström, Bo. editor. Elmroth, Erik. editor. Dongarra, Jack. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75755-9">http://dx.doi.org/10.1007/978-3-540-75755-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:1837622026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Dongarra, Jack. editor. Madsen, Kaj. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11558958">http://dx.doi.org/10.1007/11558958</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Principle of Petri Netsent://SD_ILS/0/SD_ILS:6068702026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Yuan, Chongyi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-7336-7">https://doi.org/10.1007/978-981-97-7336-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial Intelligence and Machine Learning in Sports Scienceent://SD_ILS/0/SD_ILS:6094212026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-70155-3">https://doi.org/10.1007/978-3-662-70155-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Restarting Automata The Standard Type of Restarting Automaton and Its Variantsent://SD_ILS/0/SD_ILS:6057922026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-70094-1">https://doi.org/10.1007/978-3-031-70094-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Restarting Automata Extensions and Generalizationsent://SD_ILS/0/SD_ILS:6076602026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-78701-0">https://doi.org/10.1007/978-3-031-78701-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An Introduction to Theory of Computation An Algorithmic Approachent://SD_ILS/0/SD_ILS:6079542026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Ogihara, Mitsunori. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-84740-0">https://doi.org/10.1007/978-3-031-84740-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Diseaseent://SD_ILS/0/SD_ILS:6019342026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Channa, Asma. author. Popescu, Nirvana. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-45003-7">https://doi.org/10.1007/978-3-031-45003-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>FPGA EDA Design Principles and Implementationent://SD_ILS/0/SD_ILS:6024812026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7755-0">https://doi.org/10.1007/978-981-99-7755-0</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-23T18:30:43Z2026-03-23T18:30:43ZYazar 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/>Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031502026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57228-9">https://doi.org/10.1007/978-3-031-57228-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6022162026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50521-8">https://doi.org/10.1007/978-3-031-50521-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6022172026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50524-9">https://doi.org/10.1007/978-3-031-50524-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approachent://SD_ILS/0/SD_ILS:6022802026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Li, Youqi. author. (orcid)0000-0003-3867-5997 Li, Fan. author. (orcid)0000-0002-2348-4488 Yang, Song. author. Zhang, Chuan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-6921-0">https://doi.org/10.1007/978-981-99-6921-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031662026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57231-9">https://doi.org/10.1007/978-3-031-57231-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Spiking Neural P Systems Theory, Applications and Implementationsent://SD_ILS/0/SD_ILS:6065172026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Zhang, Gexiang. author. (orcid)0000-0001-8034-0977 Verlan, Sergey. author. (orcid)0000-0001-7800-1618 Wu, Tingfang. author. (orcid)0000-0001-8137-2436 Cabarle, Francis George C. author. Xue, Jie. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-9282-5">https://doi.org/10.1007/978-981-97-9282-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Informatics and machine learning : from Martingales to metaheuristicsent://SD_ILS/0/SD_ILS:5970872026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Winters-Hilt, Stephen, author.<br/>Yer Numarası Q325.5 .W558 2022<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Self-Aware Computing Systemsent://SD_ILS/0/SD_ILS:6115352026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47474-8">https://doi.org/10.1007/978-3-319-47474-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6122462026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>TRIZ - The Theory of Inventive Problem Solving Current Research and Trends in French Academic Institutionsent://SD_ILS/0/SD_ILS:6156942026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-56593-4">https://doi.org/10.1007/978-3-319-56593-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rendezvous in Distributed Systems Theory, Algorithms and Applicationsent://SD_ILS/0/SD_ILS:6169882026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Gu, Zhaoquan. author. Wang, Yuexuan. author. Hua, Qiang-Sheng. author. Lau, Francis C.M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-3680-4">https://doi.org/10.1007/978-981-10-3680-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6115232026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-55696-3">https://doi.org/10.1007/978-3-319-55696-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory of Reversible Computingent://SD_ILS/0/SD_ILS:6133092026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Morita, Kenichi. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-4-431-56606-9">https://doi.org/10.1007/978-4-431-56606-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159652026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-60134-2">https://doi.org/10.1007/978-3-319-60134-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162152026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-67089-8">https://doi.org/10.1007/978-3-319-67089-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6108122026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. Costa, Ernesto. editor. Sim, Kevin. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30668-1">https://doi.org/10.1007/978-3-319-30668-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6111122026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-33600-8">https://doi.org/10.1007/978-3-319-33600-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6112302026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Brain Inspired Cognitive Systems 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6121072026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175 Hussain, Amir. editor. Luo, Bin. editor. Tan, Kay Chen. editor. Zeng, Yi. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-49685-6">https://doi.org/10.1007/978-3-319-49685-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6125812026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-48869-1">https://doi.org/10.1007/978-3-319-48869-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6165792026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Self-aware Computing Systems An Engineering Approachent://SD_ILS/0/SD_ILS:6178812026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Lewis, Peter R. editor. Platzner, Marco. editor. Rinner, Bernhard. editor. Tørresen, Jim. editor. Yao, Xin. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39675-0">https://doi.org/10.1007/978-3-319-39675-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6117022026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45994-3">https://doi.org/10.1007/978-3-319-45994-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6119172026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30000-9">https://doi.org/10.1007/978-3-319-30000-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Directed Algebraic Topology and Concurrencyent://SD_ILS/0/SD_ILS:6154952026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15398-8">https://doi.org/10.1007/978-3-319-15398-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Deductive Software Verification - The KeY Book From Theory to Practiceent://SD_ILS/0/SD_ILS:6160092026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-49812-6">https://doi.org/10.1007/978-3-319-49812-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Process Mining Data Science in Actionent://SD_ILS/0/SD_ILS:6177792026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar van der Aalst, Wil M. P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49851-4">https://doi.org/10.1007/978-3-662-49851-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Decision Diagrams for Optimizationent://SD_ILS/0/SD_ILS:6178452026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Bergman, David. author. Cire, Andre A. author. van Hoeve, Willem-Jan. author. Hooker, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42849-9">https://doi.org/10.1007/978-3-319-42849-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Behavioural Models From Modelling Finite Automata to Analysing Business Processesent://SD_ILS/0/SD_ILS:6145792026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computing handbookent://SD_ILS/0/SD_ILS:5391462026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Topi, Heikki, editor. Diaz-Herrera, Jorge L., 1950- editor.<br/>Yer Numarası QA76 .C5732 2014 EB<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429171529">https://www.taylorfrancis.com/books/9780429171529</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Operational risk management a practical approach to intelligent data analysisent://SD_ILS/0/SD_ILS:3189592026-03-23T18:30:43Z2026-03-23T18:30:43ZYazar Kenett, Ron. Raanan, Yossi.<br/>Yer Numarası ONLINE(318959.1)<br/>Elektronik Erişim <a href="http://onlinelibrary.wiley.com/book/10.1002/9780470972571">Access restricted to McGill users</a>
Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=589233">http://public.eblib.com/choice/publicfullrecord.aspx?p=589233</a>
ebrary <a href="http://site.ebrary.com/id/10412605">http://site.ebrary.com/id/10412605</a>
EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470972571">http://dx.doi.org/10.1002/9780470972571</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>