Arama Sonu&ccedil;lar&#305; Semantics. - Daralt&#305;lm&#305;&#351;: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSemantics.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300?dt=list 2026-03-18T11:51:14Z Refinement Semantics, Languages and Applications ent://SD_ILS/0/SD_ILS:400372 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Derrick, John. author.&#160;Boiten, Eerke. 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-92711-4">https://doi.org/10.1007/978-3-319-92711-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Languages Syntax, Semantics, and Metaprogramming ent://SD_ILS/0/SD_ILS:401172 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;L&auml;mmel, Ralf. 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-90800-7">https://doi.org/10.1007/978-3-319-90800-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Operational Semantics and Verification of Security Protocols ent://SD_ILS/0/SD_ILS:188195 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Cremers, Cas. author.&#160;Mauw, Sjouke. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78636-8">http://dx.doi.org/10.1007/978-3-540-78636-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Chinese Lexical Semantics 19th Workshop, CLSW 2018, Chiayi, Taiwan, May 26&ndash;28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399096 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Hong, Jia-Fei. editor.&#160;Su, Qi. editor. (orcid)0000-0002-4769-2812&#160;Wu, Jiun-Shiung. 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-030-04015-4">https://doi.org/10.1007/978-3-030-04015-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays ent://SD_ILS/0/SD_ILS:617743 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Probst, Christian W. editor.&#160;Hankin, Chris. editor.&#160;Hansen, Ren&eacute; Rydhof. 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-27810-0">https://doi.org/10.1007/978-3-319-27810-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Operational Semantics A Concise Overview ent://SD_ILS/0/SD_ILS:484561 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Fern&aacute;ndez, Maribel. 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-4471-6368-8">https://doi.org/10.1007/978-1-4471-6368-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A Rigorous Semantics for BPMN 2.0 Process Diagrams ent://SD_ILS/0/SD_ILS:488604 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Kossak, Felix. author.&#160;Illibauer, Christa. author.&#160;Geist, Verena. author.&#160;Kubovy, Jan. author.&#160;Natschl&auml;ger, Christine. author.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-09931-6">https://doi.org/10.1007/978-3-319-09931-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:196711 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Constable, Robert L. editor.&#160;Silva, Alexandra. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> GeoSpatial Semantics 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194435 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Claramunt, Christophe. editor.&#160;Levashkin, Sergei. editor.&#160;Bertolotto, Michela. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20630-6">http://dx.doi.org/10.1007/978-3-642-20630-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> GeoSpatial Semantics Third International Conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191366 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Janowicz, Krzysztof. editor.&#160;Raubal, Martin. editor.&#160;Levashkin, Sergei. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10436-7">http://dx.doi.org/10.1007/978-3-642-10436-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:190857 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Palsberg, Jens. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems ent://SD_ILS/0/SD_ILS:183076 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Rust, Heinrich. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b135629">http://dx.doi.org/10.1007/b135629</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607116 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Akshay, S. editor. (orcid)0000-0002-2471-5997&#160;Niemetz, Aina. editor.&#160;Sankaranarayanan, Sriram. 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-031-78709-6">https://doi.org/10.1007/978-3-031-78709-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Understanding Modelling and Programming ent://SD_ILS/0/SD_ILS:606763 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Prinz, Andreas. author. (orcid)0000-0002-0646-2877&#160;M&oslash;ller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260&#160;Fischer, Joachim. author. (orcid)0000-0003-2476-3996&#160;Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786&#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-71280-7">https://doi.org/10.1007/978-3-031-71280-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday ent://SD_ILS/0/SD_ILS:607700 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Lee, Edward A. editor. (orcid)0000-0002-5663-0584&#160;Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794&#160;Talcott, Carolyn. 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-031-85134-6">https://doi.org/10.1007/978-3-031-85134-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vit&oacute;ria, Brazil, December 4-6, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606244 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029&#160;Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857&#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-78116-2">https://doi.org/10.1007/978-3-031-78116-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III ent://SD_ILS/0/SD_ILS:609023 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607214 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Akshay, S. editor. (orcid)0000-0002-2471-5997&#160;Niemetz, Aina. editor.&#160;Sankaranarayanan, Sriram. 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-031-78750-8">https://doi.org/10.1007/978-3-031-78750-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced Information Systems Engineering Workshops CAiSE 2025 Workshops, Vienna, Austria, June 16-20, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608909 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Grabis, J&#257;nis. editor. (orcid)0000-0003-2196-0214&#160;Wautelet, Yves. editor. (orcid)0000-0002-6560-9787&#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-94931-9">https://doi.org/10.1007/978-3-031-94931-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I ent://SD_ILS/0/SD_ILS:605988 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II ent://SD_ILS/0/SD_ILS:605987 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX ent://SD_ILS/0/SD_ILS:604159 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Diehl, Patrick. author.&#160;Brandt, Steven R. author.&#160;Kaiser, Hartmut. 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-031-54369-2">https://doi.org/10.1007/978-3-031-54369-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Feature Models AI-Driven Design, Analysis and Applications ent://SD_ILS/0/SD_ILS:604112 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Felfernig, Alexander. author.&#160;Falkner, Andreas. author.&#160;Benavides, David. 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-031-61874-1">https://doi.org/10.1007/978-3-031-61874-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced Information Systems Engineering Workshops CAiSE 2024 International Workshops, Limassol, Cyprus, June 3-7, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603781 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Almeida, Jo&atilde;o Paulo A. editor. (orcid)0000-0002-9819-3781&#160;Di Ciccio, Claudio. editor. (orcid)0000-0001-5570-0475&#160;Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596&#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-61003-5">https://doi.org/10.1007/978-3-031-61003-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transactions on Petri Nets and Other Models of Concurrency XVII ent://SD_ILS/0/SD_ILS:602326 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Koutny, Maciej. editor.&#160;Bergenthum, Robin. editor.&#160;Ciardo, Gianfranco. 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-68191-6">https://doi.org/10.1007/978-3-662-68191-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The French School of Programming ent://SD_ILS/0/SD_ILS:603390 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Meyer, Bertrand. 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-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fundamentals of Information Systems Interoperability Data, Services, and Processes ent://SD_ILS/0/SD_ILS:603270 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z 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/> Exception Handling Fundamentals and Programming ent://SD_ILS/0/SD_ILS:602488 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Mejia Alvarez, Pedro. author.&#160;Gonzalez Torres, Raul E. author.&#160;Ortega Cisneros, Susana. 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-031-50681-9">https://doi.org/10.1007/978-3-031-50681-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603567 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917&#160;Miller, Dale. editor. (orcid)0000-0003-0274-4954&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-97-2300-3">https://doi.org/10.1007/978-981-97-2300-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604788 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872&#160;Serwe, Wendelin. 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-031-68150-9">https://doi.org/10.1007/978-3-031-68150-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603918 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Kristensen, Lars Michael. editor.&#160;van der Werf, Jan Martijn. 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-031-61433-0">https://doi.org/10.1007/978-3-031-61433-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616714 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Esparza, Javier. editor. (orcid)0000-0001-9862-4919&#160;Murawski, Andrzej S. 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-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures ent://SD_ILS/0/SD_ILS:617841 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. 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-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&amp;TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:613647 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Debruyne, Christophe. editor.&#160;Gaaloul, Walid. editor.&#160;Papazoglou, Mike. editor.&#160;Paschke, Adrian. editor. (orcid)0000-0003-3156-9040<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-69459-7">https://doi.org/10.1007/978-3-319-69459-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612253 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;James, Phillip. editor.&#160;Roggenbach, Markus. 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-72044-9">https://doi.org/10.1007/978-3-319-72044-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications ent://SD_ILS/0/SD_ILS:617536 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;O'Regan, Gerard. 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-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Agile Modeling with UML Code Generation, Testing, Refactoring ent://SD_ILS/0/SD_ILS:617166 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Rumpe, Bernhard. 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-58862-9">https://doi.org/10.1007/978-3-319-58862-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&amp;TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:618259 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Debruyne, Christophe. editor.&#160;Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X&#160;Papazoglou, Mike. editor.&#160;Paschke, Adrian. editor. (orcid)0000-0003-3156-9040<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-69462-7">https://doi.org/10.1007/978-3-319-69462-7</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-18T11:51:14Z 2026-03-18T11:51:14Z 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/> SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613073 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Steffen, Bernhard. editor.&#160;Baier, Christel. editor.&#160;van den Brand, Mark. editor.&#160;Eder, Johann. editor.&#160;Hinchey, Mike. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:617856 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926&#160;Langerak, Rom. editor.&#160;Rensink, Arend. 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-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:617812 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Aceto, Luca. editor.&#160;Bacci, Giorgio. editor.&#160;Bacci, Giovanni. editor.&#160;Ing&oacute;lfsd&oacute;ttir, Anna. editor.&#160;Legay, Axel. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612180 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Ciuciu, Ioana. editor.&#160;Debruyne, Christophe. editor.&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Weichhart, Georg. editor.&#160;Bollen, Peter. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-55961-2">https://doi.org/10.1007/978-3-319-55961-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> On the Move to Meaningful Internet Systems: OTM 2016 Conferences Confederated International Conferences: CoopIS, C&amp;TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611517 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Debruyne, Christophe. editor.&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;K&uuml;hn, eva. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-48472-3">https://doi.org/10.1007/978-3-319-48472-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611111 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Bo&scaron;na&#269;ki, Dragan. editor.&#160;Wijs, Anton. 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-32582-8">https://doi.org/10.1007/978-3-319-32582-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:613640 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;&Aacute;brah&aacute;m, Erika. editor.&#160;Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618&#160;Johnsen, Einar Broch. 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-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Hagenberg Business Process Modelling Method ent://SD_ILS/0/SD_ILS:611874 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Kossak, Felix. author.&#160;Illibauer, Christa. author.&#160;Geist, Verena. author.&#160;Natschl&auml;ger, Christine. author.&#160;Ziebermayr, Thomas. author.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-30496-0">https://doi.org/10.1007/978-3-319-30496-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 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613063 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764&#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-47958-3">https://doi.org/10.1007/978-3-319-47958-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings ent://SD_ILS/0/SD_ILS:616634 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Corn&eacute;lio, M&aacute;rcio. editor.&#160;Roscoe, Bill. 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-29473-5">https://doi.org/10.1007/978-3-319-29473-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Interactive Modeling and Simulation in Business System Design ent://SD_ILS/0/SD_ILS:611168 2026-03-18T11:51:14Z 2026-03-18T11:51:14Z Yazar&#160;Roubtsova, Ella. 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-15102-1">https://doi.org/10.1007/978-3-319-15102-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>