Search Results for Foundations. - Narrowed by: Computer System Implementation.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFoundations.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bSystem$002bImplementation.$002509Computer$002bSystem$002bImplementation.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-03-15T22:05:19Z
Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608298
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90897-2">https://doi.org/10.1007/978-3-031-90897-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~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 I
ent://SD_ILS/0/SD_ILS:603150
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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 II
ent://SD_ILS/0/SD_ILS:603166
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616117
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61482-3">https://doi.org/10.1007/978-3-319-61482-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:605738
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75390-9">https://doi.org/10.1007/978-3-031-75390-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:606243
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Boyle, Elette. editor. Mahmoody, Mohammad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78017-2">https://doi.org/10.1007/978-3-031-78017-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:606283
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Boyle, Elette. editor. Mahmoody, Mohammad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78020-2">https://doi.org/10.1007/978-3-031-78020-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:606494
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147 Dobbie, Gill. editor. (orcid)0000-0001-7245-0367 Jiang, Jing. editor. (orcid)0000-0002-3035-0074 Zhang, Xuyun. editor. (orcid)0000-0001-7353-4159 Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0811-9">https://doi.org/10.1007/978-981-96-0811-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:606495
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147 Dobbie, Gill. editor. (orcid)0000-0001-7245-0367 Jiang, Jing. editor. (orcid)0000-0002-3035-0074 Zhang, Xuyun. editor. (orcid)0000-0001-7353-4159 Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0814-0">https://doi.org/10.1007/978-981-96-0814-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:606496
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147 Dobbie, Gill. editor. (orcid)0000-0001-7245-0367 Jiang, Jing. editor. (orcid)0000-0002-3035-0074 Zhang, Xuyun. editor. (orcid)0000-0001-7353-4159 Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0840-9">https://doi.org/10.1007/978-981-96-0840-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:606497
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147 Dobbie, Gill. editor. (orcid)0000-0001-7245-0367 Jiang, Jing. editor. (orcid)0000-0002-3035-0074 Zhang, Xuyun. editor. (orcid)0000-0001-7353-4159 Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0847-8">https://doi.org/10.1007/978-981-96-0847-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:608062
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Yan, Jialiang. editor. (orcid)0009-0005-2163-2300 Liu, Mingming. editor. Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811 Yang, Xiaolu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-86054-6">https://doi.org/10.1007/978-3-031-86054-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:608337
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-86695-1">https://doi.org/10.1007/978-3-031-86695-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605736
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75107-3">https://doi.org/10.1007/978-3-031-75107-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:605783
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75380-0">https://doi.org/10.1007/978-3-031-75380-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608635
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-89610-1">https://doi.org/10.1007/978-3-031-89610-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:605717
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75387-9">https://doi.org/10.1007/978-3-031-75387-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
ent://SD_ILS/0/SD_ILS:605799
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73741-1">https://doi.org/10.1007/978-3-031-73741-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:606319
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Boyle, Elette. editor. Mahmoody, Mohammad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78011-0">https://doi.org/10.1007/978-3-031-78011-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Cryptography 22nd International Conference, TCC 2024, Milan, Italy, December 2-6, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:606350
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Boyle, Elette. editor. Mahmoody, Mohammad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78023-3">https://doi.org/10.1007/978-3-031-78023-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:606511
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147 Dobbie, Gill. editor. (orcid)0000-0001-7245-0367 Jiang, Jing. editor. (orcid)0000-0002-3035-0074 Zhang, Xuyun. editor. (orcid)0000-0001-7353-4159 Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0821-8">https://doi.org/10.1007/978-981-96-0821-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:606644
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147 Dobbie, Gill. editor. (orcid)0000-0001-7245-0367 Jiang, Jing. editor. (orcid)0000-0002-3035-0074 Zhang, Xuyun. editor. (orcid)0000-0001-7353-4159 Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0850-8">https://doi.org/10.1007/978-981-96-0850-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605472
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73709-1">https://doi.org/10.1007/978-3-031-73709-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608299
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90900-9">https://doi.org/10.1007/978-3-031-90900-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning, Optimization, and Data Science 9th International Conference, LOD 2023, Grasmere, UK, September 22-26, 2023, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:602575
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Nicosia, Giuseppe. editor. Ojha, Varun. editor. (orcid)0000-0002-9256-1192 La Malfa, Emanuele. editor. La Malfa, Gabriele. editor. Pardalos, Panos M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53966-4">https://doi.org/10.1007/978-3-031-53966-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning, Optimization, and Data Science 9th International Conference, LOD 2023, Grasmere, UK, September 22-26, 2023, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:602581
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Nicosia, Giuseppe. editor. Ojha, Varun. editor. (orcid)0000-0002-9256-1192 La Malfa, Emanuele. editor. La Malfa, Gabriele. editor. Pardalos, Panos M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53969-5">https://doi.org/10.1007/978-3-031-53969-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602136
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46002-9">https://doi.org/10.1007/978-3-031-46002-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:604456
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66064-1">https://doi.org/10.1007/978-3-031-66064-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:604608
2026-03-15T22:05:19Z
2026-03-15T22:05:19Z
Author Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66021-4">https://doi.org/10.1007/978-3-031-66021-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-15T22:05:19Z
2026-03-15T22:05:19Z
Author Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>