Search Results for Semantics.

1.

Syntax and semantics

Yazar

Summer Linguistics Conference / University of California, Santa Cruz, 1971. Kimball, John P., ed.

Yer Numarası

P 291 S8 1972- V.1

Format:

Durum

Beytepe Kütüphanesi~5

Rafta:
Kopya:

2.

Natural language processing and computational linguistics 2 : semantics, discourse and applications

Yazar

Kurdi, Mohamed Zakaria, author.

Yer Numarası

QA76.9 .N38

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119419686

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

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:

4.

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:

5.

Semantic theory

Yazar

Kempson, Ruth M.

Yer Numarası

P 325 K44 1977

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

6.

A companion to the philosophy of language

Yazar

Hale, Bob, 1945- editor. Wright, Crispin, 1942- editor. Miller, Alexander, 1965- editor.

Yer Numarası

P107 .C66 2017

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781118972090

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Real-time embedded systems

Yazar

Wang, Jiacun, 1963- author.

Yer Numarası

TK7895 .E42

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Introduction à la sémantique des textes.

Yazar

Hébert, Louis.

Yer Numarası

P325 H33 2017

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

9.

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:

10.

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:

11.

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:

12.

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:

13.

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:

14.

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:

15.

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:

16.

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:

17.

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:

18.

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:

19.

The handbook of linguistics

Yazar

Aronoff, Mark, editor. Rees-Miller, Janie, editor.

Yer Numarası

P121 .H324 2017 EB

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119072256

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

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:

21.

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:

22.

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:

23.

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:

24.

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:

25.

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:

26.

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:

27.

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:

28.

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:

29.

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:

30.

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:

31.

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:

32.

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:

33.

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:

34.

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:

35.

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:

36.

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:

37.

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:

38.

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:

	{displayName}	{count}
{error}