Arama Sonuçları Formal languages. - Daraltılmış: 2015SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFormal$002blanguages.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092015$0025092015$0026pe$003dd$00253A$0026ps$003d300?dt=list2024-10-19T17:30:03ZFormal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:5185222024-10-19T17:30:03Z2024-10-19T17:30:03ZYazar Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518522.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17581-2">https://doi.org/10.1007/978-3-319-17581-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineeringent://SD_ILS/0/SD_ILS:5186512024-10-19T17:30:03Z2024-10-19T17:30:03ZYazar Jureta, Ivan. author. SpringerLink (Online service)<br/>Yer Numarası XX(518651.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-18821-8">https://doi.org/10.1007/978-3-319-18821-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.ent://SD_ILS/0/SD_ILS:5190492024-10-19T17:30:03Z2024-10-19T17:30:03ZYazar Potapov, Igor. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519049.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21500-6">https://doi.org/10.1007/978-3-319-21500-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190592024-10-19T17:30:03Z2024-10-19T17:30:03ZYazar Franke, Björn. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519059.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46663-6">https://doi.org/10.1007/978-3-662-46663-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:5191392024-10-19T17:30:03Z2024-10-19T17:30:03ZYazar Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519139.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-28114-8">https://doi.org/10.1007/978-3-319-28114-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191992024-10-19T17:30:03Z2024-10-19T17:30:03ZYazar Shallit, Jeffrey. editor. Okhotin, Alexander. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519199.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19225-3">https://doi.org/10.1007/978-3-319-19225-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5192932024-10-19T17:30:03Z2024-10-19T17:30:03ZYazar Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519293.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papersent://SD_ILS/0/SD_ILS:5192972024-10-19T17:30:03Z2024-10-19T17:30:03ZYazar Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519297.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-26184-3">https://doi.org/10.1007/978-3-319-26184-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Systems and Frameworks for Computational Morphology Fourth International Workshop, SFCM 2015, Stuttgart, Germany, September 17-18, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5185022024-10-19T17:30:03Z2024-10-19T17:30:03ZYazar Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518502.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-23980-4">https://doi.org/10.1007/978-3-319-23980-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Models of Strategic Reasoning Logics, Games, and Communitiesent://SD_ILS/0/SD_ILS:5190802024-10-19T17:30:03Z2024-10-19T17:30:03ZYazar van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519080.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48540-8">https://doi.org/10.1007/978-3-662-48540-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>