Arama Sonuçları Semantics. - Daraltılmış: SpringerLink (Online service)

Vector Semantics

2026-06-01T17:11:19Z

Yazar Kornai, András. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-5607-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Semantics

2026-06-01T17:11:19Z

Yazar Dekker, Paul J.E. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-4869-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics in Acquisition

2026-06-01T17:11:19Z

Yazar Geenhoven, Veerle van. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-4485-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive Semantics Visualization

2026-06-01T17:11:19Z

Yazar Nazemi, Kawa. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30816-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reactive Kripke Semantics

2026-06-01T17:11:19Z

Yazar Gabbay, Dov M. author. SpringerLink (Online service)
Yer Numarası ONLINE(335100.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41389-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metadata and Semantics

2026-06-01T17:11:19Z

Yazar Sicilia, Miguel-Angel. editor. Lytras, Miltiadis D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-77745-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Existence: Semantics and Syntax

2026-06-01T17:11:19Z

Yazar Comorovski, Ileana. Heusinger, Klaus. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6197-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Refinement Semantics, Languages and Applications

2026-06-01T17:11:19Z

Yazar Derrick, John. author. Boiten, Eerke. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92711-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Languages Syntax, Semantics, and Metaprogramming

2026-06-01T17:11:19Z

Yazar Lämmel, Ralf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90800-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concrete Semantics With Isabelle/HOL

2026-06-01T17:11:19Z

Yazar Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10542-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Journal on Data Semantics XV

2026-06-01T17:11:19Z

Yazar Spaccapietra, Stefano. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22630-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Journal on Data Semantics XII

2026-06-01T17:11:19Z

Yazar Spaccapietra, Stefano. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00685-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Journal on Data Semantics XIII

2026-06-01T17:11:19Z

Yazar Spaccapietra, Stefano. editor. Zimányi, Esteban. editor. Song, Il-Yeol. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03098-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Journal on Data Semantics XIV

2026-06-01T17:11:19Z

Yazar Spaccapietra, Stefano. editor. Delcambre, Lois. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10562-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multimedia Semantics — The Role of Metadata

2026-06-01T17:11:19Z

Yazar Granitzer, Michael. editor. Lux, Mathias. editor. Spaniol, Marc. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77473-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Journal on Data Semantics X

2026-06-01T17:11:19Z

Yazar Spaccapietra, Stefano. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77688-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Journal on Data Semantics XI

2026-06-01T17:11:19Z

Yazar Spaccapietra, Stefano. editor. Pan, Jeff Z. editor. Thiran, Philippe. editor. Halpin, Terry. editor. Staab, Steffen. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92148-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Journal on Data Semantics IX

2026-06-01T17:11:19Z

Yazar Spaccapietra, Stefano. editor. Atzeni, Paolo. editor. Fages, François. editor. Hacid, Mohand-Saïd. editor. Kifer, Michael. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74987-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Journal on Data Semantics VIII

2026-06-01T17:11:19Z

Yazar Spaccapietra, Stefano. editor. Atzeni, Paolo. editor. Fages, François. editor. Hacid, Mohand-Saïd. editor. Kifer, Michael. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70664-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics with Applications: An Appetizer

2026-06-01T17:11:19Z

Yazar Nielson, Hanne Riis. author. Nielson, Flemming. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-692-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Journal on Data Semantics VI

2026-06-01T17:11:19Z

Yazar Spaccapietra, Stefano. editor. Aberer, Karl. editor. Cudré-Mauroux, Philippe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11803034
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Journal on Data Semantics VII

2026-06-01T17:11:19Z

Yazar Spaccapietra, Stefano. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11890591
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Journal on Data Semantics V

2026-06-01T17:11:19Z

Yazar Spaccapietra, Stefano. editor. Atzeni, Paolo. editor. Chu, Wesley W. editor. Catarci, Tiziana. editor. Sycara, Katia P. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11617808
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Syntax and Semantics of Prepositions

2026-06-01T17:11:19Z

Yazar Saint-Dizier, Patrick. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3873-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Journal on Data Semantics II

2026-06-01T17:11:19Z

Yazar Spaccapietra, Stefano. editor. Bertino, Elisa. editor. Jajodia, Sushil. editor. King, Roger. editor. McLeod, Dennis. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b104761
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Journal on Data Semantics IV

2026-06-01T17:11:19Z

Yazar Spaccapietra, Stefano. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11603412
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Journal on Data Semantics III

2026-06-01T17:11:19Z

Yazar Spaccapietra, Stefano. editor. Zimányi, Esteban. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137098
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics of Probabilistic Processes An Operational Approach

2026-06-01T17:11:19Z

Yazar Deng, Yuxin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-45198-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Operational Semantics and Verification of Security Protocols

2026-06-01T17:11:19Z

Yazar Cremers, Cas. author. Mauw, Sjouke. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78636-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HTML5 Mastery: Semantics, Standards, and Styling

2026-06-01T17:11:19Z

Yazar Bradford, Anselm. author. Haine, Paul. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4302-3862-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chinese Lexical Semantics 25th Workshop, CLSW 2024, Xiamen, China, May 31-June 2, 2024, Revised Selected Papers, Part I

2026-06-01T17:11:19Z

Yazar Jin, Peng. editor. (orcid)0000-0002-4835-0312 Su, Qi. editor. (orcid)0000-0002-4769-2812 Hong, Jia-Fei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-3509-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chinese Lexical Semantics 25th Workshop, CLSW 2024, Xiamen, China, May 31 - June 2, 2024, Revised Selected Papers, Part II

2026-06-01T17:11:19Z

Yazar Jin, Peng. editor. (orcid)0000-0002-4835-0312 Su, Qi. editor. (orcid)0000-0002-4769-2812 Hong, Jia-Fei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-3512-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chinese Lexical Semantics 24th Workshop, CLSW 2023, Singapore, Singapore, May 19-21, 2023, Revised Selected Papers, Part I

2026-06-01T17:11:19Z

Yazar Dong, Minghui. editor. Hong, Jia-Fei. editor. Lin, Jingxia. editor. Jin, Peng. editor. (orcid)0000-0002-4835-0312 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-0583-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chinese Lexical Semantics 24th Workshop, CLSW 2023, Singapore, Singapore, May 19-21, 2023, Revised Selected Papers, Part II

2026-06-01T17:11:19Z

Yazar Dong, Minghui. editor. Hong, Jia-Fei. editor. Lin, Jingxia. editor. Jin, Peng. editor. (orcid)0000-0002-4835-0312 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-0586-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Bekki, Daisuke. editor. (orcid)0000-0002-9988-1260 Mineshima, Koji. editor. (orcid)0000-0002-2801-9171 McCready, Elin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60878-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chinese Lexical Semantics 23rd Workshop, CLSW 2022, Virtual Event, May 14-15, 2022, Revised Selected Papers, Part II

2026-06-01T17:11:19Z

Yazar Su, Qi. editor. Xu, Ge. editor. Yang, Xiaoyan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-28956-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Engineering of Natural Language Semantics 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Bekki, Daisuke. editor. Mineshima, Koji. editor. (orcid) McCready, Elin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43977-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chinese Lexical Semantics 23rd Workshop, CLSW 2022, Virtual Event, May 14-15, 2022, Revised Selected Papers, Part I

2026-06-01T17:11:19Z

Yazar Su, Qi. editor. Xu, Ge. editor. Yang, Xiaoyan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-28953-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics in Adaptive and Personalised Systems Methods, Tools and Applications

2026-06-01T17:11:19Z

Yazar Lops, Pasquale. author. Musto, Cataldo. author. Narducci, Fedelucio. author. Semeraro, Giovanni. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05618-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic Systems. The Power of AI and Knowledge Graphs 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9–12, 2019, Proceedings

2026-06-01T17:11:19Z

Yazar Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Cudré-Mauroux, Philippe. editor. (orcid)0000-0003-2588-4212 Maleshkova, Maria. editor. (orcid)0000-0003-3458-4748 Pellegrini, Tassilo. editor. (orcid)0000-0002-0795-0661 Sack, Harald. editor. (orcid)0000-0001-7069-9804
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33220-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chinese Lexical Semantics 19th Workshop, CLSW 2018, Chiayi, Taiwan, May 26–28, 2018, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Hong, Jia-Fei. editor. Su, Qi. editor. (orcid)0000-0002-4769-2812 Wu, Jiun-Shiung. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04015-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chinese Lexical Semantics 18th Workshop, CLSW 2017, Leshan, China, May 18–20, 2017, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Wu, Yunfang. editor. Hong, Jia-Fei. editor. Su, Qi. editor. (orcid)0000-0002-4769-2812 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73573-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics, Analytics, Visualization 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar González-Beltrán, Alejandra. editor. (orcid)0000-0003-3499-8262 Osborne, Francesco. editor. (orcid)0000-0001-6557-3131 Peroni, Silvio. editor. (orcid)0000-0003-0530-4305 Vahdati, Sahar. editor. (orcid)0000-0002-7171-169X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01379-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

2026-06-01T17:11:19Z

Yazar Draheim, Dirk. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-55198-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

2026-06-01T17:11:19Z

Yazar Draheim, Dirk. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69868-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

2026-06-01T17:11:19Z

Yazar Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-27810-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Android Application Security A Semantics and Context-Aware Approach

2026-06-01T17:11:19Z

Yazar Zhang, Mu. author. Yin, Heng. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47812-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metadata and Semantics Research 10th International Conference, MTSR 2016, Göttingen, Germany, November 22-25, 2016, Proceedings

2026-06-01T17:11:19Z

Yazar Garoufallou, Emmanouel. editor. Subirats Coll, Imma. editor. Stellato, Armando. editor. Greenberg, Jane. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49157-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics, Analytics, Visualization. Enhancing Scholarly Data Second International Workshop, SAVE-SD 2016, Montreal, QC, Canada, April 11, 2016, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar González-Beltrán, Alejandra. editor. Osborne, Francesco. editor. Peroni, Silvio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-53637-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chinese Lexical Semantics 17th Workshop, CLSW 2016, Singapore, Singapore, May 20-22, 2016, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Dong, Minghui. editor. Lin, Jingxia. editor. Tang, Xuri. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49508-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Operators for Similarity Search Semantics, Techniques and Usage Scenarios

2026-06-01T17:11:19Z

Yazar P, Deepak. author. Deshpande, Prasad M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-21257-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metadata and Semantics Research 9th Research Conference, MTSR 2015, Manchester, UK, September 9-11, 2015, Proceedings

2026-06-01T17:11:19Z

Yazar Garoufallou, Emmanouel. editor. Hartley, Richard J. editor. Gaitanou, Panorea. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-24129-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chinese Lexical Semantics 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Lu, Qin. editor. Gao, Hong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-27194-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Operational Semantics A Concise Overview

2026-06-01T17:11:19Z

Yazar Fernández, Maribel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6368-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive Multimedia Retrieval: Semantics, Context, and Adaptation 10th International Workshop, AMR 2012, Copenhagen, Denmark, October 24-25, 2012, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Nürnberger, Andreas. editor. Stober, Sebastian. editor. Larsen, Birger. editor. Detyniecki, Marcin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12093-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chinese Lexical Semantics 15th Workshop, CLSW 2014, Macao, China, June 9--12, 2014, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Su, Xinchun. editor. He, Tingting. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-14331-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Rigorous Semantics for BPMN 2.0 Process Diagrams

2026-06-01T17:11:19Z

Yazar Kossak, Felix. author. Illibauer, Christa. author. Geist, Verena. author. Kubovy, Jan. author. Natschläger, Christine. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09931-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

2026-06-01T17:11:19Z

Yazar Majkić, Zoran. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-04156-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic Acquisition Games Harnessing Manpower for Creating Semantics

2026-06-01T17:11:19Z

Yazar Šimko, Jakub. author. Bieliková, Mária. author. (orcid)0000-0003-4105-3494 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-06115-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metadata and Semantics Research 8th Research Conference, MTSR 2014, Karlsruhe, Germany, November 27-29, 2014, Proceedings

2026-06-01T17:11:19Z

Yazar Closs, Sissi. editor. Studer, Rudi. editor. Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Sicilia, Miguel-Angel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13674-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uncertainty Modeling for Data Mining A Label Semantics Approach

2026-06-01T17:11:19Z

Yazar Qin, Zengchang. author. Tang, Yongchuan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-41251-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metadata and Semantics Research 7th Research Conference, MTSR 2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings

2026-06-01T17:11:19Z

Yazar Garoufallou, Emmanouel. editor. Greenberg, Jane. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332974.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03437-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web: Semantics and Big Data 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings

2026-06-01T17:11:19Z

Yazar Cimiano, Philipp. editor. Corcho, Oscar. editor. Presutti, Valentina. editor. Hollink, Laura. editor. Rudolph, Sebastian. editor.
Yer Numarası ONLINE(334576.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38288-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chinese Lexical Semantics 14th Workshop, CLSW 2013, Zhengzhou, China, May 10-12, 2013. Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Liu, Pengyuan. editor. Su, Qi. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335193.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45185-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics of Genitive Objects in Russian A Study of Genitive of Negation and Intensional Genitive Case

2026-06-01T17:11:19Z

Yazar Kagan, Olga. author. SpringerLink (Online service)
Yer Numarası ONLINE(335922.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5225-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334099.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36008-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chinese Lexical Semantics 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Ji, Donghong. editor. Xiao, Guozheng. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334180.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36337-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Social Semantics The Search for Meaning on the Web

2026-06-01T17:11:19Z

Yazar Halpin, Harry. author. SpringerLink (Online service)
Yer Numarası ONLINE(331289.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1885-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

2026-06-01T17:11:19Z

Yazar Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29485-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics

2026-06-01T17:11:19Z

Yazar Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31555-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metadata and Semantics Research 6th Research Conference, MTSR 2012, Cádiz, Spain, November 28-30, 2012. Proceedings

2026-06-01T17:11:19Z

Yazar Dodero, Juan Manuel. editor. Palomo-Duarte, Manuel. editor. Karampiperis, Pythagoras. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35233-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Visual Analysis of Behaviour From Pixels to Semantics

2026-06-01T17:11:19Z

Yazar Gong, Shaogang. author. Xiang, Tao. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-670-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geospatial Semantics and the Semantic Web Foundations, Algorithms, and Applications

2026-06-01T17:11:19Z

Yazar Ashish, Naveen. editor. Sheth, Amit P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9446-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

GeoSpatial Semantics 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011. Proceedings

2026-06-01T17:11:19Z

Yazar Claramunt, Christophe. editor. Levashkin, Sergei. editor. Bertolotto, Michela. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20630-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics in Data and Knowledge Bases 4th International Workshops, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23441-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Context and Semantics for Knowledge Management Technologies for Personal Productivity

2026-06-01T17:11:19Z

Yazar Warren, Paul. editor. Davies, John. editor. Simperl, Elena. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19510-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Linguistics and Talking Robots Processing Content in Database Semantics

2026-06-01T17:11:19Z

Yazar Hausser, Roland. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22432-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics-Oriented Natural Language Processing Mathematical Models and Algorithms

2026-06-01T17:11:19Z

Yazar Fomichov A., Vladimir. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-72926-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics in Adaptive and Personalized Services Methods, Tools and Applications

2026-06-01T17:11:19Z

Yazar Wallace, Manolis. editor. Anagnostopoulos, Ioannis E. editor. Mylonas, Phivos. editor. Bielikova, Maria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11684-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic

2026-06-01T17:11:19Z

Yazar Duží, Marie. author. Jespersen, Bjorn. author. Materna, Pavel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-8812-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

GeoSpatial Semantics Third International Conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009. Proceedings

2026-06-01T17:11:19Z

Yazar Janowicz, Krzysztof. editor. Raubal, Martin. editor. Levashkin, Sergei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10436-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

2026-06-01T17:11:19Z

Yazar Palsberg, Jens. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04164-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Web Semantics I Ontologies, Web Services and Applied Semantic Web

2026-06-01T17:11:19Z

Yazar Dillon, Tharam S. editor. Chang, Elizabeth. editor. Meersman, Robert. editor. Sycara, Katia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89784-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing: Agents, Semantics, and Engineering AAMAS 2009 International Workshop SOCASE 2009, Budapest, Hungary, May 11, 2009. Proceedings

2026-06-01T17:11:19Z

Yazar Kowalczyk, Ryszard. editor. Vo, Quoc Bao. editor. Maamar, Zakaria. editor. Huhns, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10739-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Process Management Workshops BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Hofstede, Arthur. editor. Benatallah, Boualem. editor. Paik, Hye-Young. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78238-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive Multimedia Retrieval: Retrieval, User, and Semantics 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007 Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Boujemaa, Nozha. editor. Detyniecki, Marcin. editor. Nürnberger, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79860-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing: Agents, Semantics, and Engineering AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008 Proceedings

2026-06-01T17:11:19Z

Yazar Kowalczyk, Ryszard. editor. Huhns, Michael. editor. Klusch, Matthias. editor. Maamar, Zakaria. editor. Vo, Quoc Bao. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79968-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics in Data and Knowledge Bases Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88594-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web Semantics for Data and Services on the Web

2026-06-01T17:11:19Z

Yazar Kashyap, Vipul. author. Bussler, Christoph. author. Moran, Matthew. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76452-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging the Semantics of Topic Maps Second International Conference on Topic Maps Research and Applications, TMRA 2006, Leipzig, Germany, October 11-12, 2006, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Maicher, Lutz. editor. Sigel, Alexander. editor. Garshol, Lars Marius. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71945-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing: Agents, Semantics, and Engineering AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007. Proceedings

2026-06-01T17:11:19Z

Yazar Huang, Jingshan. editor. Kowalczyk, Ryszard. editor. Maamar, Zakaria. editor. Martin, David. editor. Müller, Ingo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72619-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Thought-Contents On the Ontology of Belief and the Semantics of Belief Attribution

2026-06-01T17:11:19Z

Yazar Boër, Steven E. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-5085-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

GeoSpatial Semantics Second International Conference, GeoS 2007, Mexico City, Mexico, November 29-30, 2007. Proceedings

2026-06-01T17:11:19Z

Yazar Fonseca, Frederico. editor. Rodríguez, M. Andrea. editor. Levashkin, Sergei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76876-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Representation and the Semantics of Natural Language

2026-06-01T17:11:19Z

Yazar Helbig, Hermann. author. Gabbay, Dov M. editor. Siekmann, Jörg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-29966-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Computational Model of Natural Language Communication Interpretation, Inference, and Production in Database Semantics

2026-06-01T17:11:19Z

Yazar Hausser, Roland. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-35477-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Process Management Workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006. Proceedings

2026-06-01T17:11:19Z

Yazar Eder, Johann. editor. Dustdar, Schahram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11837862
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics, Web and Mining Joint International Workshops, EWMF 2005 and KDO 2005, Porto, Portugal, October 3-7, 2005, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Ackermann, Markus. editor. Berendt, Bettina. editor. Grobelnik, Marko. editor. Hotho, Andreas. editor. Mladenič, Dunja. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11908678
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic Multimedia First International Conference on Semantics and Digital Media Technologies, SAMT 2006, Athens, Greece, December 6-8, 2006. Proceedings

2026-06-01T17:11:19Z

Yazar Avrithis, Yannis. editor. Kompatsiaris, Yiannis. editor. Staab, Steffen. editor. O’Connor, Noel E. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11930334
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

GeoSpatial Semantics First International Conference, GeoS 2005, Mexico City, Mexico, November 29-30, 2005. Proceedings

2026-06-01T17:11:19Z

Yazar Rodríguez, M. Andrea. editor. Cruz, Isabel. editor. Levashkin, Sergei. editor. Egenhofer, Max J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11586180
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Structures: Common Semantics for Sharing Knowledge 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Proceedings

2026-06-01T17:11:19Z

Yazar Dau, Frithjof. editor. Mugnier, Marie-Laure. editor. Stumme, Gerd. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-31885-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

2026-06-01T17:11:19Z

Yazar Rust, Heinrich. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b135629
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Large Scale Data Analytics

2026-06-01T17:11:19Z

Yazar Cho, Chung Yik. author. Tan, Rong Kun Jason. author. Leong, John A. author. Sidhu, Amandeep S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03892-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimized Cloud Based Scheduling

2026-06-01T17:11:19Z

Yazar Tan, Rong Kun Jason. author. Leong, John A. author. Sidhu, Amandeep S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73214-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web 22nd European Semantic Web Conference, ESWC 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part II

2026-06-01T17:11:19Z

Yazar Curry, Edward. editor. Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Poveda-Villalón, Maria. editor. (orcid)0000-0003-3587-0367 van Erp, Marieke. editor. (orcid)0000-0001-9195-8203 Ojo, Adegboyega. editor. (orcid)0000-0003-0565-2115
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94578-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web 22nd European Semantic Web Conference, ESWC 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part I

2026-06-01T17:11:19Z

Yazar Curry, Edward. editor. Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Poveda-Villalón, Maria. editor. (orcid)0000-0003-3587-0367 van Erp, Marieke. editor. (orcid)0000-0001-9195-8203 Ojo, Adegboyega. editor. (orcid)0000-0003-0565-2115
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94575-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering Workshops CAiSE 2025 Workshops, Vienna, Austria, June 16-20, 2025, Proceedings

2026-06-01T17:11:19Z

Yazar Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Wautelet, Yves. editor. (orcid)0000-0002-6560-9787 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94931-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

2026-06-01T17:11:19Z

Yazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75775-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

2026-06-01T17:11:19Z

Yazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75783-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

2026-06-01T17:11:19Z

Yazar C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78116-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

2026-06-01T17:11:19Z

Yazar Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78709-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Modelling and Programming

2026-06-01T17:11:19Z

Yazar Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71280-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

2026-06-01T17:11:19Z

Yazar Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78750-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metadata and Semantic Research 18th Research Conference, MTSR 2024, Athens, Greece, November 19-22, 2024, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Sfakakis, Michalis. editor. (orcid)0000-0003-2973-7455 Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Damigos, Matthew. editor. (orcid)0000-0003-0431-1482 Salaba, Athena. editor. (orcid)0000-0002-1694-4052 Papatheodorou, Christos. editor. (orcid)0000-0002-9025-6469
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81974-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

2026-06-01T17:11:19Z

Yazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75778-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

2026-06-01T17:11:19Z

Yazar Lee, Edward A. editor. (orcid)0000-0002-5663-0584 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 Talcott, Carolyn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85134-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2026-06-01T17:11:19Z

Yazar Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85352-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-01T17:11:19Z

Yazar Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57228-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The French School of Programming

2026-06-01T17:11:19Z

Yazar Meyer, Bertrand. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-34518-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

2026-06-01T17:11:19Z

Yazar Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2300-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web 21st International Conference, ESWC 2024, Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part I

2026-06-01T17:11:19Z

Yazar Meroño Peñuela, Albert. editor. (orcid)0000-0003-4646-5842 Dimou, Anastasia. editor. (orcid)0000-0003-2138-7972 Troncy, Raphaël. editor. (orcid)0000-0003-0457-1436 Hartig, Olaf. editor. (orcid)0000-0002-1741-2090 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60626-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web 21st International Conference, ESWC 2024, Hersonissos, Crete, Greece, May 26-30, 2024, Proceedings, Part II

2026-06-01T17:11:19Z

Yazar Meroño Peñuela, Albert. editor. (orcid)0000-0003-4646-5842 Dimou, Anastasia. editor. (orcid)0000-0003-2138-7972 Troncy, Raphaël. editor. (orcid)0000-0003-0457-1436 Hartig, Olaf. editor. (orcid)0000-0002-1741-2090 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60635-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cellular Cause-Effect Structures

2026-06-01T17:11:19Z

Yazar Czaja, Ludwik. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55590-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part II

2026-06-01T17:11:19Z

Yazar Barney Smith, Elisa H. editor. Liwicki, Marcus. editor. Peng, Liangrui. editor. (orcid)0000-0001-7793-1039 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70536-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency XVII

2026-06-01T17:11:19Z

Yazar Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-68191-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Petri Net Primer A Compendium on the Core Model, Analysis, and Synthesis

2026-06-01T17:11:19Z

Yazar Best, Eike. author. (orcid)0000-0003-0884-6468 Devillers, Raymond. author. (orcid)0000-0002-4339-2708 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48278-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Image Classification From Designed Models to End-to-End Learning

2026-06-01T17:11:19Z

Yazar Toennies, Klaus D. author. (orcid)0009-0004-5900-6551 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-7882-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Exception Handling Fundamentals and Programming

2026-06-01T17:11:19Z

Yazar Mejia Alvarez, Pedro. author. Gonzalez Torres, Raul E. author. Ortega Cisneros, Susana. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50681-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-01T17:11:19Z

Yazar Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57231-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Information Systems Interoperability Data, Services, and Processes

2026-06-01T17:11:19Z

Yazar Rinderle-Ma, Stefanie. author. (orcid)0000-0001-5656-6108 Mangler, Jürgen. author. Ritter, Daniel. author. (orcid)0000-0001-6146-3365 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48322-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering Workshops CAiSE 2024 International Workshops, Limassol, Cyprus, June 3-7, 2024, Proceedings

2026-06-01T17:11:19Z

Yazar Almeida, João Paulo A. editor. (orcid)0000-0002-9819-3781 Di Ciccio, Claudio. editor. (orcid)0000-0001-5570-0475 Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61003-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings

2026-06-01T17:11:19Z

Yazar Kristensen, Lars Michael. editor. van der Werf, Jan Martijn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61433-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metadata and Semantic Research 17th Research Conference, MTSR 2023, Milan, Italy, October 25-27, 2023, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Sartori, Fabio. editor. (orcid)0000-0002-5038-9785 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-65990-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Feature Models AI-Driven Design, Analysis and Applications

2026-06-01T17:11:19Z

Yazar Felfernig, Alexander. author. Falkner, Andreas. author. Benavides, David. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61874-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

2026-06-01T17:11:19Z

Yazar Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68150-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX

2026-06-01T17:11:19Z

Yazar Diehl, Patrick. author. Brandt, Steven R. author. Kaiser, Hartmut. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54369-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Rule-Based Inference Advances and Applications in Reasoning with Approximate Knowledge Interpolation

2026-06-01T17:11:19Z

Yazar Li, Fangyi. author. Shen, Qiang. author. (orcid)0000-0001-9333-4605 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-0491-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Knowledge Graphs

2026-06-01T17:11:19Z

Yazar Serles, Umutcan. author. Fensel, Dieter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-45256-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part I

2026-06-01T17:11:19Z

Yazar Barney Smith, Elisa H. editor. Liwicki, Marcus. editor. Peng, Liangrui. editor. (orcid)0000-0001-7793-1039 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70533-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30 - September 4, 2024, Proceedings, Part III

2026-06-01T17:11:19Z

Yazar Barney Smith, Elisa H. editor. Liwicki, Marcus. editor. Peng, Liangrui. editor. (orcid)0000-0001-7793-1039 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70543-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part V

2026-06-01T17:11:19Z

Yazar Barney Smith, Elisa H. editor. Liwicki, Marcus. editor. Peng, Liangrui. editor. (orcid)0000-0001-7793-1039 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70549-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part IV

2026-06-01T17:11:19Z

Yazar Barney Smith, Elisa H. editor. Liwicki, Marcus. editor. Peng, Liangrui. editor. (orcid)0000-0001-7793-1039 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70546-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computational Intelligence and Communication Selected Papers from the 2nd EAI International Conference on Computational Intelligence and Communications (CICom 2021)

2026-06-01T17:11:19Z

Yazar Hina, Manolo Dulva. editor. Ramdane-Cherif, Amar. editor. Zitouni, Rafik. editor. Soukane, Assia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-19523-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design in the Era of Industry 4.0, Volume 3 Proceedings of ICoRD 2023

2026-06-01T17:11:19Z

Yazar Chakrabarti, Amaresh. editor. Singh, Vishal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-0428-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Applied Logics Applications of Logic for Philosophy, Mathematics and Information Technology

2026-06-01T17:11:19Z

Yazar Abe, Jair Minoro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35759-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Interoperability IX Interoperability in the Era of Artificial Intelligence

2026-06-01T17:11:19Z

Yazar Archimède, Bernard. editor. Ducq, Yves. editor. Young, Bob. editor. Karray, Hedi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-90387-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)

2026-06-01T17:11:19Z

Yazar Loukanova, Roussanka. editor. Lumsdaine, Peter LeFanu. editor. Muskens, Reinhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-21780-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

2026-06-01T17:11:19Z

Yazar Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-26651-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Man-Machine Speech Communication 17th National Conference, NCMMSC 2022, Hefei, China, December 15-18, 2022, Proceedings

2026-06-01T17:11:19Z

Yazar Zhenhua, Ling. editor. Jianqing, Gao. editor. Kai, Yu. editor. Jia, Jia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-2401-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2026-06-01T17:11:19Z

Yazar Farmer, William M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-21112-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?

2026-06-01T17:11:19Z

Yazar Hausser, Roland. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-22739-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Searchable Encryption From Concepts to Systems

2026-06-01T17:11:19Z

Yazar Ren, Kui. author. Wang, Cong. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-21377-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Abelló, Alberto. editor. Vassiliadis, Panos. editor. Romero, Oscar. editor. Wrembel, Robert. editor. Bugiotti, Francesca. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42941-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-36597-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

2026-06-01T17:11:19Z

Yazar O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-26212-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Nurcan, Selmin. editor. Opdahl, Andreas L. editor. Mouratidis, Haralambos. editor. Tsohou, Aggeliki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-33080-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electronic Governance with Emerging Technologies Second International Conference, EGETC 2023, Poznan, Poland, September 11-12, 2023, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Ortiz-Rodríguez, Fernando. editor. Tiwari, Sanju. editor. Usoro Usip, Patience. editor. Palma, Raul. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43940-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Communication and Intelligent Systems Second International Conference, ICACIS 2023, Warsaw, Poland, June 16-17, 2023, Revised Selected Papers, Part II

2026-06-01T17:11:19Z

Yazar Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-45124-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Explainable Artificial Intelligence First World Conference, xAI 2023, Lisbon, Portugal, July 26-28, 2023, Proceedings, Part II

2026-06-01T17:11:19Z

Yazar Longo, Luca. editor. (orcid) SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-44067-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part II

2026-06-01T17:11:19Z

Yazar Sun, Yuqing. editor. Lu, Tun. editor. Guo, Yinzhang. editor. Song, Xiaoxia. editor. Fan, Hongfei. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-2385-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Process Management Forum BPM 2023 Forum, Utrecht, The Netherlands, September 11-15, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-41623-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

2026-06-01T17:11:19Z

Yazar Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-21203-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Linguistics and Intelligent Text Processing 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18-24, 2018, Revised Selected Papers, Part I

2026-06-01T17:11:19Z

Yazar Gelbukh, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-23793-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Linguistics and Intelligent Text Processing 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18-24, 2018, Revised Selected Papers, Part II

2026-06-01T17:11:19Z

Yazar Gelbukh, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-23804-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Linguistics and Intelligent Text Processing 20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part I

2026-06-01T17:11:19Z

Yazar Gelbukh, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-24337-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Linguistics and Intelligent Text Processing 20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part II

2026-06-01T17:11:19Z

Yazar Gelbukh, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-24340-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

2026-06-01T17:11:19Z

Yazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-30823-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-26689-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

2026-06-01T17:11:19Z

Yazar Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-31476-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-27481-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information for a Better World: Normality, Virtuality, Physicality, Inclusivity 18th International Conference, iConference 2023, Virtual Event, March 13-17, 2023, Proceedings, Part I

2026-06-01T17:11:19Z

Yazar Sserwanga, Isaac. editor. Goulding, Anne. editor. Moulaison-Sandy, Heather. editor. Du, Jia Tina. editor. Soares, António Lucas. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-28035-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Knowledge Discovery and Data Mining 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part III

2026-06-01T17:11:19Z

Yazar Kashima, Hisashi. editor. Ide, Tsuyoshi. editor. Peng, Wen-Chih. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-33380-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-33620-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Bioinformatics and Computational Biology 16th Brazilian Symposium on Bioinformatics, BSB 2023, Curitiba, Brazil, June 13-16, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Reis, Marcelo S. editor. de Melo-Minardi, Raquel C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42715-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II

2026-06-01T17:11:19Z

Yazar Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-5837-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Systems Biology 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Pang, Jun. editor. Niehren, Joachim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42697-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43513-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43835-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VII

2026-06-01T17:11:19Z

Yazar Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-44195-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part I

2026-06-01T17:11:19Z

Yazar Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-44207-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-40875-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47963-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Hur, Chung-Kil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-8311-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50959-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part III

2026-06-01T17:11:19Z

Yazar Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47665-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer and Information Science

2026-06-01T17:11:19Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-12127-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metadata and Semantic Research 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Garoufallou, Emmanouel. editor. (orcid) Vlachidis, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-39141-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings

2026-06-01T17:11:19Z

Yazar Tsanas, Athanasios. editor. Triantafyllidis, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-34586-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries 20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5-7, 2023, Selected Papers

2026-06-01T17:11:19Z

Yazar Turrin, Michela. editor. Andriotis, Charalampos. editor. Rafiee, Azarakhsh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-37189-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Representation Learning for Natural Language Processing

2026-06-01T17:11:19Z

Yazar Liu, Zhiyuan. editor. Lin, Yankai. editor. Sun, Maosong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-1600-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Health Information Processing. Evaluation Track Papers 8th China Conference, CHIP 2022, Hangzhou, China, October 21-23, 2022, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Tang, Buzhou. editor. Chen, Qingcai. editor. Lin, Hongfei. editor. Wu, Fei. editor. Liu, Lei. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-4826-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Current Trends in Web Engineering ICWE 2022 International Workshops, BECS, SWEET and WALS, Bari, Italy, July 5-8, 2022, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Agapito, Giuseppe. editor. Bernasconi, Anna. editor. Cappiello, Cinzia. editor. Khattak, Hasan Ali. editor. Ko, InYoung. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-25380-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamics in Logic and Language Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Deng, Dun. editor. Liu, Mingming. editor. Westerståhl, Dag. editor. Xie, Kaibo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-25894-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-25803-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part III

2026-06-01T17:11:19Z

Yazar Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-40289-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42626-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-45784-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Pesquita, Catia. editor. Skaf-Molli, Hala. editor. Efthymiou, Vasilis. editor. Kirrane, Sabrina. editor. Ngonga, Axel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43458-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Madeira, Alexandre. editor. Martins, Manuel A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43345-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering - WISE 2023 24th International Conference, Melbourne, VIC, Australia, October 25-27, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Zhang, Feng. editor. Wang, Hua. editor. Barhamgi, Mahmoud. editor. Chen, Lu. editor. Zhou, Rui. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-7254-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling ER 2023 Workshops, CMLS, CMOMM4FAIR, EmpER, JUSMOD, OntoCom, QUAMES, and SmartFood, Lisbon, Portugal, November 6-9, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Sales, Tiago Prince. editor. Araújo, João. editor. Borbinha, José. editor. Guizzardi, Giancarlo. editor. (orcid) SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47112-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings

2026-06-01T17:11:19Z

Yazar Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47546-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Prolog: The Next 50 Years

2026-06-01T17:11:19Z

Yazar Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35254-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Data Mining and Applications 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part I

2026-06-01T17:11:19Z

Yazar Yang, Xiaochun. editor. Suhartanto, Heru. editor. Wang, Guoren. editor. Wang, Bin. editor. Jiang, Jing. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-46661-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robotics Research

2026-06-01T17:11:19Z

Yazar Billard, Aude. editor. Asfour, Tamim. editor. Khatib, Oussama. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-25555-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Cognition

2026-06-01T17:11:19Z

Yazar Hausser, Roland. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-37499-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part IV

2026-06-01T17:11:19Z

Yazar Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-40292-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-40843-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part I

2026-06-01T17:11:19Z

Yazar Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47634-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part II

2026-06-01T17:11:19Z

Yazar Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47637-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Terminology, Ontology and their Implementations

2026-06-01T17:11:19Z

Yazar Elkin, Peter L. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-11039-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bridging the Semantic Gap in Image and Video Analysis

2026-06-01T17:11:19Z

Yazar Kwaśnicka, Halina. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73891-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

2026-06-01T17:11:19Z

Yazar McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55696-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-01T17:11:19Z

Yazar Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51963-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyber Security Cryptography and Machine Learning First International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017, Proceedings

2026-06-01T17:11:19Z

Yazar Dolev, Shlomi. editor. Lodha, Sachin. editor. (orcid)0000-0001-5771-4977 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60080-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II

2026-06-01T17:11:19Z

Yazar Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Gaaloul, Walid. editor. Papazoglou, Mike. editor. Paschke, Adrian. editor. (orcid)0000-0003-3156-9040
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69459-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multimodal Analysis of User-Generated Multimedia Content

2026-06-01T17:11:19Z

Yazar Shah, Rajiv. author. Zimmermann, Roger. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61807-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Description Logics in Multimedia Reasoning

2026-06-01T17:11:19Z

Yazar Sikos, Leslie F. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54066-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Modeling with UML Code Generation, Testing, Refactoring

2026-06-01T17:11:19Z

Yazar Rumpe, Bernhard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58862-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

2026-06-01T17:11:19Z

Yazar Gorrieri, Roberto. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55559-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Natural Language Processing and Information Systems 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Liège, Belgium, June 21-23, 2017, Proceedings

2026-06-01T17:11:19Z

Yazar Frasincar, Flavius. editor. (orcid)0000-0002-8031-758X Ittoo, Ashwin. editor. Nguyen, Le Minh. editor. (orcid)0000-0002-2265-1010 Métais, Elisabeth. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59569-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

2026-06-01T17:11:19Z

Yazar Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-53733-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

2026-06-01T17:11:19Z

Yazar Zhan, Naijun. author. Wang, Shuling. author. (orcid)0000-0002-2798-2660 Zhao, Hengjun. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47016-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-01T17:11:19Z

Yazar Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54458-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Knowledge Discovery and Management Volume 6

2026-06-01T17:11:19Z

Yazar Guillet, Fabrice. editor. Pinaud, Bruno. editor. Venturini, Gilles. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45763-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Knowledge Extraction First IFIP TC 5, WG 8.4, 8.9, 12.9 International Cross-Domain Conference, CD-MAKE 2017, Reggio, Italy, August 29 - September 1, 2017, Proceedings

2026-06-01T17:11:19Z

Yazar Holzinger, Andreas. editor. Kieseberg, Peter. editor. Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Weippl, Edgar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66808-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-06-01T17:11:19Z

Yazar Ciuciu, Ioana. editor. Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55961-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72044-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Frontiers in Artificial Intelligence JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Otake, Mihoko. editor. Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X Ota, Yuiko. editor. Satoh, Ken. editor. Bekki, Daisuke. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50953-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spatio-Temporal Graph Data Analytics

2026-06-01T17:11:19Z

Yazar Gunturi, Venkata M. V. author. Shekhar, Shashi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67771-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

2026-06-01T17:11:19Z

Yazar Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68953-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

2026-06-01T17:11:19Z

Yazar Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71237-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Frontiers in Artificial Intelligence JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X Ohta, Yuiko. editor. Arai, Sachiyo. editor. Satoh, Ken. editor. Bekki, Daisuke. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61572-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Science, Engineering and Management 10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings

2026-06-01T17:11:19Z

Yazar Li, Gang. editor. (orcid)0000-0003-1583-641X Ge, Yong. editor. Zhang, Zili. editor. Jin, Zhi. editor. Blumenstein, Michael. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63558-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

2026-06-01T17:11:19Z

Yazar O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64021-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2026-06-01T17:11:19Z

Yazar Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63121-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

2026-06-01T17:11:19Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56841-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

2026-06-01T17:11:19Z

Yazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68270-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I

2026-06-01T17:11:19Z

Yazar Benslimane, Djamal. editor. Damiani, Ernesto. editor. Grosky, William I. editor. Hameurlain, Abdelkader. editor. Sheth, Amit. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64468-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I

2026-06-01T17:11:19Z

Yazar Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Papazoglou, Mike. editor. Paschke, Adrian. editor. (orcid)0000-0003-3156-9040
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69462-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II

2026-06-01T17:11:19Z

Yazar Benslimane, Djamal. editor. Damiani, Ernesto. editor. Grosky, William I. editor. Hameurlain, Abdelkader. editor. Sheth, Amit. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64471-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

2026-06-01T17:11:19Z

Yazar Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32582-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On the Move to Meaningful Internet Systems: OTM 2016 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings

2026-06-01T17:11:19Z

Yazar Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Meersman, Robert. editor. Dillon, Tharam. editor. Kühn, eva. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48472-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

2026-06-01T17:11:19Z

Yazar Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47958-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 15th China National Conference, CCL 2016, and 4th International Symposium, NLP-NABD 2016, Yantai, China, October 15-16, 2016, Proceedings

2026-06-01T17:11:19Z

Yazar Sun, Maosong. editor. Huang, Xuanjing. editor. (orcid)0000-0001-9197-9426 Lin, Hongfei. editor. (orcid)0000-0003-0872-7688 Liu, Zhiyuan. editor. (orcid)0000-0002-7709-2543 Liu, Yang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47674-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

MultiMedia Modeling 22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part I

2026-06-01T17:11:19Z

Yazar Tian, Qi. editor. Sebe, Nicu. editor. Qi, Guo-Jun. editor. Huet, Benoit. editor. Hong, Richang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-27671-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

2026-06-01T17:11:19Z

Yazar Amblard, Maxime. editor. de Groote, Philippe. editor. Pogodalla, Sylvain. editor. Retoré, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-53826-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2026-06-01T17:11:19Z

Yazar Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30734-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Science, Engineering and Management 9th International Conference, KSEM 2016, Passau, Germany, October 5-7, 2016, Proceedings

2026-06-01T17:11:19Z

Yazar Lehner, Franz. editor. Fteimi, Nora. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47650-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

2026-06-01T17:11:19Z

Yazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-27683-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Service Composition

2026-06-01T17:11:19Z

Yazar Petrie, Charles J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32833-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection 6th International Conference, EuroMed 2016, Nicosia, Cyprus, October 31 - November 5, 2016, Proceedings, Part II

2026-06-01T17:11:19Z

Yazar Ioannides, Marinos. editor. (orcid)0000-0002-7537-9102 Fink, Eleanor. editor. Moropoulou, Antonia. editor. Hagedorn-Saupe, Monika. editor. Fresa, Antonella. editor. (orcid)0000-0002-2673-151X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48974-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection 6th International Conference, EuroMed 2016, Nicosia, Cyprus, October 31 - November 5, 2016, Proceedings, Part I

2026-06-01T17:11:19Z

Yazar Ioannides, Marinos. editor. (orcid)0000-0002-7537-9102 Fink, Eleanor. editor. Moropoulou, Antonia. editor. Hagedorn-Saupe, Monika. editor. Fresa, Antonella. editor. (orcid)0000-0002-2673-151X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48496-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Finitely Supported Mathematics An Introduction

2026-06-01T17:11:19Z

Yazar Alexandru, Andrei. author. Ciobanu, Gabriel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42282-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

2026-06-01T17:11:19Z

Yazar Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-53042-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

2026-06-01T17:11:19Z

Yazar Cornélio, Márcio. editor. Roscoe, Bill. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29473-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database and Expert Systems Applications 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II

2026-06-01T17:11:19Z

Yazar Hartmann, Sven. editor. Ma, Hui. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44406-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research and Advanced Technology for Digital Libraries 20th International Conference on Theory and Practice of Digital Libraries, TPDL 2016, Hannover, Germany, September 5-9, 2016, Proceedings

2026-06-01T17:11:19Z

Yazar Fuhr, Norbert. editor. Kovács, László. editor. Risse, Thomas. editor. Nejdl, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43997-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hagenberg Business Process Modelling Method

2026-06-01T17:11:19Z

Yazar Kossak, Felix. author. Illibauer, Christa. author. Geist, Verena. author. Natschläger, Christine. author. Ziebermayr, Thomas. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30496-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SystemVerilog Assertions and Functional Coverage Guide to Language, Methodology and Applications

2026-06-01T17:11:19Z

Yazar Mehta, Ashok B. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30539-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database and Expert Systems Applications 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part I

2026-06-01T17:11:19Z

Yazar Hartmann, Sven. editor. Ma, Hui. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44403-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database Systems for Advanced Applications 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part I

2026-06-01T17:11:19Z

Yazar Navathe, Shamkant B. editor. Wu, Weili. editor. Shekhar, Shashi. editor. Du, Xiaoyong. editor. Wang, X. Sean. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32025-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A New Perspective on Nonmonotonic Logics

2026-06-01T17:11:19Z

Yazar Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46817-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Modeling and Simulation in Business System Design

2026-06-01T17:11:19Z

Yazar Roubtsova, Ella. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-15102-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automatic Processing of Natural-Language Electronic Texts with NooJ 9th International Conference, NooJ 2015, Minsk, Belarus, June 11-13, 2015, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Okrut, Tatsiana. editor. Hetsevich, Yuras. editor. Silberztein, Max. editor. Stanislavenka, Hanna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42471-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Linguistics 14th International Conference of the Pacific Association for Computational Linguistics, PACLING 2015, Bali, Indonesia, May 19-21, 2015, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Hasida, Koiti. editor. Purwarianti, Ayu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-0515-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database Systems for Advanced Applications 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part II

2026-06-01T17:11:19Z

Yazar Navathe, Shamkant B. editor. Wu, Weili. editor. Shekhar, Shashi. editor. Du, Xiaoyong. editor. Wang, Sean X. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32049-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic Web Collaborative Spaces Second International Workshop, SWCS 2013, Montpellier, France, May 27, 2013, Third International Workshop, SWCS 2014, Trentino, Italy, October 19, 2014, Revised Selected and Invited Papers

2026-06-01T17:11:19Z

Yazar Molli, Pascal. editor. Breslin, John G. editor. Vidal, Maria-Esther. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32667-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automatic Processing of Natural-Language Electronic Texts with NooJ 10th International Conference, NooJ 2016, České Budějovice, Czech Republic, June 9-11, 2016, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Barone, Linda. editor. Monteleone, Mario. editor. Silberztein, Max. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55002-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Availability, Reliability, and Security in Information Systems IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2016, and Workshop on Privacy Aware Machine Learning for Health Data Science, PAML 2016, Salzburg, Austria, August 31 - September 2, 2016, Proceedings

2026-06-01T17:11:19Z

Yazar Buccafurri, Francesco. editor. (orcid)0000-0003-0448-8464 Holzinger, Andreas. editor. Kieseberg, Peter. editor. Tjoa, A Min. editor. Weippl, Edgar. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45507-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

MultiMedia Modeling 22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part II

2026-06-01T17:11:19Z

Yazar Tian, Qi. editor. Sebe, Nicu. editor. Qi, Guo-Jun. editor. Huet, Benoit. editor. Hong, Richang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-27674-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Map Framework A Formal Model of Maps as a Fundamental Data Type in Information Systems

2026-06-01T17:11:19Z

Yazar McKenney, Mark. author. Schneider, Markus. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46766-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human Language Technology. Challenges for Computer Science and Linguistics 6th Language and Technology Conference, LTC 2013, Poznań, Poland, December 7-9, 2013. Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Vetulani, Zygmunt. editor. Uszkoreit, Hans. editor. Kubis, Marek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43808-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

2026-06-01T17:11:19Z

Yazar de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-47709-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

2026-06-01T17:11:19Z

Yazar Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-20860-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Atmanspacher, Harald. editor. Bergomi, Claudia. editor. Filk, Thomas. editor. Kitto, Kirsty. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-15931-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

2026-06-01T17:11:19Z

Yazar Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-19686-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web. Latest Advances and New Domains 12th European Semantic Web Conference, ESWC 2015, Portoroz, Slovenia, May 31 -- June 4, 2015. Proceedings

2026-06-01T17:11:19Z

Yazar Gandon, Fabien. editor. Sabou, Marta. editor. Sack, Harald. editor. d'Amato, Claudia. editor. Cudré-Mauroux, Philippe. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-18818-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III

2026-06-01T17:11:19Z

Yazar Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-22053-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

2026-06-01T17:11:19Z

Yazar van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-48561-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-28114-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

2026-06-01T17:11:19Z

Yazar Träff, Jesper Larsson. editor. Hunold, Sascha. editor. Versaci, Francesco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-48096-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

2026-06-01T17:11:19Z

Yazar ten Cate, Balder. editor. Mileo, Alessandra. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-22002-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

2026-06-01T17:11:19Z

Yazar Hinze, Ralf. editor. Voigtländer, Janis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-19797-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2026-06-01T17:11:19Z

Yazar Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-46678-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pattern Recognition Applications and Methods Third International Conference, ICPRAM 2014, Angers, France, March 6-8, 2014, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Fred, Ana. editor. De Marsico, Maria. editor. Tabbone, Antoine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-25530-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings

2026-06-01T17:11:19Z

Yazar Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-21042-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I

2026-06-01T17:11:19Z

Yazar Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-15702-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web: ESWC 2012 Satellite Events ESWC 2012 Satellite Events, Heraklion, Crete, Greece, May 27-31, 2012. Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Simperl, Elena. editor. Norton, Barry. editor. Mladenic, Dunja. editor. Della Valle, Emanuele. editor. Fundulaki, Irini. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-46641-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II

2026-06-01T17:11:19Z

Yazar Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-19369-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantically Based Clinical TCM Telemedicine Systems

2026-06-01T17:11:19Z

Yazar Wong, Allan K. Y. author. Wong, Jackei H.K. author. Lin, Wilfred W. K. author. Dillon, Tharam S. author. Chang, Elizabeth J. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-46024-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SVA: The Power of Assertions in SystemVerilog

2026-06-01T17:11:19Z

Yazar Cerny, Eduard. author. Dudani, Surrendra. author. Havlicek, John. author. Korchemny, Dmitry. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07139-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering

2026-06-01T17:11:19Z

Yazar Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-06773-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland

2026-06-01T17:11:19Z

Yazar Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-19216-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ICoRD'15 - Research into Design Across Boundaries Volume 1 Theory, Research Methodology, Aesthetics, Human Factors and Education

2026-06-01T17:11:19Z

Yazar Chakrabarti, Amaresh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-81-322-2232-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recommender Systems Handbook

2026-06-01T17:11:19Z

Yazar Ricci, Francesco. editor. Rokach, Lior. editor. Shapira, Bracha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4899-7637-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Environmental Software Systems. Infrastructures, Services and Applications 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015, Proceedings

2026-06-01T17:11:19Z

Yazar Denzer, Ralf. editor. Argent, Robert M. editor. Schimak, Gerald. editor. Hřebíček, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-15994-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Service Systems

2026-06-01T17:11:19Z

Yazar Cardoso, Jorge. editor. Fromm, Hansjörg. editor. Nickel, Stefan. editor. Satzger, Gerhard. editor. Studer, Rudi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-23195-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-46906-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.

2026-06-01T17:11:19Z

Yazar Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-46823-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers

2026-06-01T17:11:19Z

Yazar Murata, Tsuyoshi. editor. Mineshima, Koji. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-48119-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1