Search Results for Formal languages. - Narrowed by: 2015SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFormal$002blanguages.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026pe$003dd$00253A$0026ps$003d300?dt=list2025-01-01T02:32:16ZSystems and Frameworks for Computational Morphology Fourth International Workshop, SFCM 2015, Stuttgart, Germany, September 17-18, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5185022025-01-01T02:32:16Z2025-01-01T02:32:16ZAuthor Mahlow, Cerstin. editor. Piotrowski, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518502.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:5185222025-01-01T02:32:16Z2025-01-01T02:32:16ZAuthor Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518522.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineeringent://SD_ILS/0/SD_ILS:5186512025-01-01T02:32:16Z2025-01-01T02:32:16ZAuthor Jureta, Ivan. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518651.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5191992025-01-01T02:32:16Z2025-01-01T02:32:16ZAuthor Shallit, Jeffrey. editor. Okhotin, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519199.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5191392025-01-01T02:32:16Z2025-01-01T02:32:16ZAuthor Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519139.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.ent://SD_ILS/0/SD_ILS:5190492025-01-01T02:32:16Z2025-01-01T02:32:16ZAuthor Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519049.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5190592025-01-01T02:32:16Z2025-01-01T02:32:16ZAuthor Franke, Björn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519059.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Models of Strategic Reasoning Logics, Games, and Communitiesent://SD_ILS/0/SD_ILS:5190802025-01-01T02:32:16Z2025-01-01T02:32:16ZAuthor van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519080.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5192932025-01-01T02:32:16Z2025-01-01T02:32:16ZAuthor Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519293.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5192972025-01-01T02:32:16Z2025-01-01T02:32:16ZAuthor Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519297.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>