Search Results for Semantics.

1.

Vector Semantics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Dynamic Semantics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Semantics in Acquisition

Yazar

Geenhoven, Veerle van. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-4485-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Adaptive Semantics Visualization

Yazar

Nazemi, Kawa. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-30816-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Reactive Kripke Semantics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Metadata and Semantics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Existence: Semantics and Syntax

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Refinement Semantics, Languages and Applications

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Software Languages Syntax, Semantics, and Metaprogramming

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Concrete Semantics With Isabelle/HOL

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Journal on Data Semantics XV

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Journal on Data Semantics XII

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Journal on Data Semantics XIII

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Journal on Data Semantics XIV

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Multimedia Semantics — The Role of Metadata

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Journal on Data Semantics X

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Journal on Data Semantics XI

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Journal on Data Semantics VIII

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Semantics with Applications: An Appetizer

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Journal on Data Semantics IX

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Journal on Data Semantics VI

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Journal on Data Semantics VII

Yazar

Spaccapietra, Stefano. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11890591

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Syntax and Semantics of Prepositions

Yazar

Saint-Dizier, Patrick. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-3873-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Journal on Data Semantics V

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Journal on Data Semantics III

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Journal on Data Semantics II

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Journal on Data Semantics IV

Yazar

Spaccapietra, Stefano. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11603412

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Semantics of Probabilistic Processes An Operational Approach

Yazar

Deng, Yuxin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45198-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Operational Semantics and Verification of Security Protocols

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

HTML5 Mastery: Semantics, Standards, and Styling

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Semantics in Adaptive and Personalised Systems Methods, Tools and Applications

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

Yazar

Draheim, Dirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-69868-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

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

Yazar

Draheim, Dirk. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-642-55198-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Android Application Security A Semantics and Context-Aware Approach

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Operators for Similarity Search Semantics, Techniques and Usage Scenarios

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Programming Languages and Operational Semantics A Concise Overview

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Semantic Acquisition Games Harnessing Manpower for Creating Semantics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Uncertainty Modeling for Data Mining A Label Semantics Approach

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

A Rigorous Semantics for BPMN 2.0 Process Diagrams

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

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

Yazar

Majkić, Zoran. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-04156-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Social Semantics The Search for Meaning on the Web

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Context and Semantics for Knowledge Management Technologies for Personal Productivity

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Visual Analysis of Behaviour From Pixels to Semantics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Computational Linguistics and Talking Robots Processing Content in Database Semantics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

Semantics in Adaptive and Personalized Services Methods, Tools and Applications

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

Semantics-Oriented Natural Language Processing Mathematical Models and Algorithms

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

The Semantic Web Semantics for Data and Services on the Web

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

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

Yazar

Hausser, Roland. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-35477-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

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

Yazar

Eder, Johann. editor. Dustdar, Schahram. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11837862

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Knowledge Representation and the Semantics of Natural Language

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

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

Yazar

Rust, Heinrich. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b135629

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

Large Scale Data Analytics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

Optimized Cloud Based Scheduling

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Understanding Modelling and Programming

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

Transactions on Petri Nets and Other Models of Concurrency XVII

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

An Introduction to Knowledge Graphs

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Feature Models AI-Driven Design, Analysis and Applications

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Exception Handling Fundamentals and Programming

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Fundamentals of Information Systems Interoperability Data, Services, and Processes

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

The French School of Programming

Yazar

Meyer, Bertrand. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-34518-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Cellular Cause-Effect Structures

Yazar

Czaja, Ludwik. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-55590-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Prolog: The Next 50 Years

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Computer and Information Science

Yazar

Lee, Roger. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-12127-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Robotics Research

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

Computational Cognition

Yazar

Hausser, Roland. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-37499-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021)

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

164.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

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

Yazar

Hausser, Roland. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-22739-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

Searchable Encryption From Concepts to Systems

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

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

Yazar

Gelbukh, Alexander. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-23793-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

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

Yazar

Gelbukh, Alexander. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-23804-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

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

Yazar

Gelbukh, Alexander. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-24337-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

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

Yazar

Gelbukh, Alexander. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-24340-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

Terminology, Ontology and their Implementations

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

Enterprise Interoperability IX Interoperability in the Era of Artificial Intelligence

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

Representation Learning for Natural Language Processing

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

209.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

Bridging the Semantic Gap in Image and Video Analysis

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

213.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

Multimodal Analysis of User-Generated Multimedia Content

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

217.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

Description Logics in Multimedia Reasoning

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

Agile Modeling with UML Code Generation, Testing, Refactoring

Yazar

Rumpe, Bernhard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-58862-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

224.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

226.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

227.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

229.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

Spatio-Temporal Graph Data Analytics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

232.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

235.

Process Algebras for Petri Nets The Alphabetization of Distributed Systems

Yazar

Gorrieri, Roberto. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-55559-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

236.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

237.

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

238.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

239.

Advances in Knowledge Discovery and Management Volume 6

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

240.

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

242.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

244.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

245.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

246.

A New Perspective on Nonmonotonic Logics

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

247.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

248.

Web Service Composition

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

250.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

253.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

254.

Interactive Modeling and Simulation in Business System Design

Yazar

Roubtsova, Ella. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-15102-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

Hagenberg Business Process Modelling Method

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

261.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

262.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

264.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

265.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

267.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

269.

Finitely Supported Mathematics An Introduction

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

273.

Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Yazar

Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-17404-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

274.

Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers

Yazar

Bulling, Nils. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-17130-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

275.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

276.

MultiMedia Modeling 21st International Conference, MMM 2015, Sydney, Australia, January 5-7, 2015, Proceedings, Part II

Yazar

He, Xiangjian. editor. Luo, Suhuai. editor. Tao, Dacheng. editor. Xu, Changsheng. editor. Yang, Jie. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-14442-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

277.

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 14th China National Conference, CCL 2015 and Third International Symposium, NLP-NABD 2015, Guangzhou, China, November 13-14, 2015, Proceedings

Yazar

Sun, Maosong. editor. Liu, Zhiyuan. editor. Zhang, Min. editor. Liu, Yang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-25816-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

279.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

280.

SVA: The Power of Assertions in SystemVerilog

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

281.

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

Yazar

Chakrabarti, Amaresh. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-81-322-2232-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

283.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

284.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

285.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

286.

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Yazar

Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-19282-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

287.

Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I

Yazar

Gelbukh, Alexander. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-18111-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

288.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

289.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

290.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

291.

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

Yazar

Voronkov, Andrei. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-46823-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

292.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

293.

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Yazar

Vitek, Jan. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-46669-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

294.

Computer Analysis of Images and Patterns 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II

Yazar

Azzopardi, George. editor. Petkov, Nicolai. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-23117-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

295.

Semantically Based Clinical TCM Telemedicine Systems

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

296.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

297.

Language Production, Cognition, and the Lexicon

Yazar

Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-08043-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

298.

Fundamentals of Service Systems

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

299.

ICT Systems Security and Privacy Protection 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings

Yazar

Federrath, Hannes. editor. Gollmann, Dieter. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-18467-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

300.

Aspect-Oriented Security Hardening of UML Design Models

Yazar

Mouheb, Djedjiga. author. Debbabi, Mourad. author. Pourzandi, Makan. author. Wang, Lingyu. author. Nouh, Mariam. author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-16106-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}