Arama Sonu&ccedil;lar&#305; Theoretical Languages. - Daralt&#305;lm&#305;&#351;: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dTheoretical$002bLanguages.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?dt=list 2026-03-24T13:40:01Z Fundamentals of Information Systems Interoperability Data, Services, and Processes ent://SD_ILS/0/SD_ILS:603270 2026-03-24T13:40:01Z 2026-03-24T13:40:01Z Yazar&#160;Rinderle-Ma, Stefanie. author. (orcid)0000-0001-5656-6108&#160;Mangler, J&uuml;rgen. author.&#160;Ritter, Daniel. author. (orcid)0000-0001-6146-3365&#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-031-48322-6">https://doi.org/10.1007/978-3-031-48322-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613621 2026-03-24T13:40:01Z 2026-03-24T13:40:01Z Yazar&#160;Costantini, Stefania. editor.&#160;Franconi, Enrico. editor.&#160;Van Woensel, William. editor.&#160;Kontchakov, Roman. editor.&#160;Sadri, Fariba. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-61252-2">https://doi.org/10.1007/978-3-319-61252-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Process Algebras for Petri Nets The Alphabetization of Distributed Systems ent://SD_ILS/0/SD_ILS:615659 2026-03-24T13:40:01Z 2026-03-24T13:40:01Z Yazar&#160;Gorrieri, Roberto. 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-55559-1">https://doi.org/10.1007/978-3-319-55559-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Controlled Natural Language 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611432 2026-03-24T13:40:01Z 2026-03-24T13:40:01Z Yazar&#160;Davis, Brian. editor.&#160;Pace, Gordon J. editor.&#160;Wyner, Adam. 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-41498-0">https://doi.org/10.1007/978-3-319-41498-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612288 2026-03-24T13:40:01Z 2026-03-24T13:40:01Z Yazar&#160;Thiemann, Peter. 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-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Quality in Business Process Modeling ent://SD_ILS/0/SD_ILS:614181 2026-03-24T13:40:01Z 2026-03-24T13:40:01Z Yazar&#160;Krogstie, John. 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-42512-2">https://doi.org/10.1007/978-3-319-42512-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transactions on Modularity and Composition I ent://SD_ILS/0/SD_ILS:617818 2026-03-24T13:40:01Z 2026-03-24T13:40:01Z Yazar&#160;Chiba, Shigeru. editor.&#160;S&uuml;dholt, Mario. editor.&#160;Eugster, Patrick. editor.&#160;Ziarek, Lukasz. editor.&#160;Leavens, Gary T. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-46969-0">https://doi.org/10.1007/978-3-319-46969-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> SAP ABAP Hands-On Test Projects with Business Scenarios ent://SD_ILS/0/SD_ILS:618511 2026-03-24T13:40:01Z 2026-03-24T13:40:01Z Yazar&#160;Markandeya, Sushil. author.&#160;Roy, Kaushik. 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-1-4302-4804-0">https://doi.org/10.1007/978-1-4302-4804-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>