Search Results for Semantics.

1.

Vector Semantics

Author

Kornai, András. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520168.1)

Electronic Access

https://doi.org/10.1007/978-981-19-5607-2

Format:

Availability

Online Library~1

Available:
Copies:

2.

Dynamic Semantics

Author

Dekker, Paul J.E. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-4869-9

Format:

Availability

Online Library~1

Available:
Copies:

3.

Introducing semantics

Author

Riemer, Nick, 1972-

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=313318

Format:

Availability

Online Library~1

Available:
Copies:

4.

Semantics a coursebook

Author

Hurford, James R. Heasley, Brendan. ebrary, Inc.

Preferred Shelf Number

ONLINE

Electronic Access

http://site.ebrary.com/lib/hacettepe/Doc?id=10178167

Format:

Availability

Online Library~1

Available:
Copies:

5.

Semantics in Acquisition

Author

Geenhoven, Veerle van. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Semantics vs. pragmatics

Author

Szabó, Zoltán Gendler.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199251520.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

7.

Reactive Kripke Semantics

Author

Gabbay, Dov M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335100.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-41389-6

Format:

Availability

Online Library~1

Available:
Copies:

8.

Metadata and Semantics

Author

Sicilia, Miguel-Angel. editor. Lytras, Miltiadis D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-77745-0

Format:

Availability

Online Library~1

Available:
Copies:

9.

Semantics and social science

Author

Macdonald, Graham. Pettit, Philip, 1945-

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

10.

Existence: Semantics and Syntax

Author

Comorovski, Ileana. Heusinger, Klaus. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6197-4

Format:

Availability

Online Library~1

Available:
Copies:

11.

Between syntax and semantics

Author

Huang, Cheng-Teh James.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

12.

Foundations of intensional semantics

Author

Fox, Chris, 1965- Lappin, Shalom. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9780470773543
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2005010277-b.html

Format:

Availability

Online Library~1

Available:
Copies:

13.

Refinement Semantics, Languages and Applications

Author

Derrick, John. author. Boiten, Eerke. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Software Languages Syntax, Semantics, and Metaprogramming

Author

Lämmel, Ralf. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Efficient computation of argumentation semantics

Author

Liao, Beishui.

Preferred Shelf Number

ONLINE(356080.1)

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780124104068

Format:

Availability

Online Library~1

Available:
Copies:

16.

Concrete Semantics With Isabelle/HOL

Author

Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Mathematical aspects of logic programming semantics

Author

Hitzler, Pascal. Seda, Anthony.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

18.

Multimedia semantics metadata, analysis, and interaction

Author

Troncy, Raphael. Huet, Benoit. Schenk, Simon.

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9781119970231
http://site.ebrary.com/lib/alltitles/Doc?id=10488497

Format:

Availability

Online Library~1

Available:
Copies:

19.

Journal on Data Semantics XV

Author

Spaccapietra, Stefano. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-22630-4

Format:

Availability

Online Library~1

Available:
Copies:

20.

Lexical semantics, syntax, and event structure

Author

Hovav, Malka Rappaport. Doron, Edit. Sichel, Ivy.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199544325.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

21.

Journal on Data Semantics XIV

Author

Spaccapietra, Stefano. editor. Delcambre, Lois. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10562-3

Format:

Availability

Online Library~1

Available:
Copies:

22.

The semantics of the future

Author

Copley, Bridget.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

23.

Journal on Data Semantics XII

Author

Spaccapietra, Stefano. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00685-2

Format:

Availability

Online Library~1

Available:
Copies:

24.

Journal on Data Semantics XIII

Author

Spaccapietra, Stefano. editor. Zimányi, Esteban. editor. Song, Il-Yeol. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-03098-7

Format:

Availability

Online Library~1

Available:
Copies:

25.

UML 2 semantics and applications

Author

Lano, K.

Preferred Shelf Number

ONLINE

Electronic Access

Books24x7 http://www.books24x7.com/marc.asp?bookid=33734
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=711732
John Wiley http://dx.doi.org/10.1002/9780470522622

Format:

Availability

Online Library~1

Available:
Copies:

26.

Journal on Data Semantics XI

Author

Spaccapietra, Stefano. editor. Pan, Jeff Z. editor. Thiran, Philippe. editor. Halpin, Terry. editor. Staab, Steffen. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-92148-6

Format:

Availability

Online Library~1

Available:
Copies:

27.

Multimedia Semantics — The Role of Metadata

Author

Granitzer, Michael. editor. Lux, Mathias. editor. Spaniol, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77473-0

Format:

Availability

Online Library~1

Available:
Copies:

28.

Journal on Data Semantics X

Author

Spaccapietra, Stefano. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Semantics with Applications: An Appetizer

Author

Nielson, Hanne Riis. author. Nielson, Flemming. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-692-6

Format:

Availability

Online Library~1

Available:
Copies:

30.

Journal on Data Semantics IX

Author

Spaccapietra, Stefano. editor. Atzeni, Paolo. editor. Fages, François. editor. Hacid, Mohand-Saïd. editor. Kifer, Michael. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74987-5

Format:

Availability

Online Library~1

Available:
Copies:

31.

Journal on Data Semantics VIII

Author

Spaccapietra, Stefano. editor. Atzeni, Paolo. editor. Fages, François. editor. Hacid, Mohand-Saïd. editor. Kifer, Michael. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-70664-9

Format:

Availability

Online Library~1

Available:
Copies:

32.

Journal on Data Semantics V

Author

Spaccapietra, Stefano. editor. Atzeni, Paolo. editor. Chu, Wesley W. editor. Catarci, Tiziana. editor. Sycara, Katia P. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Journal on Data Semantics VI

Author

Spaccapietra, Stefano. editor. Aberer, Karl. editor. Cudré-Mauroux, Philippe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Journal on Data Semantics VII

Author

Spaccapietra, Stefano. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Syntax and Semantics of Prepositions

Author

Saint-Dizier, Patrick. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Journal on Data Semantics II

Author

Spaccapietra, Stefano. editor. Bertino, Elisa. editor. Jajodia, Sushil. editor. King, Roger. editor. McLeod, Dennis. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Journal on Data Semantics IV

Author

Spaccapietra, Stefano. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Service-oriented computing semantics, processes, agents

Author

Singh, Munindar P. (Munindar Paul), 1964- Huhns, Michael N. John Wiley & Sons.

Preferred Shelf Number

ONLINE

Electronic Access

Click for information
John Wiley http://dx.doi.org/10.1002/0470091509
http://www3.interscience.wiley.com/cgi-bin/bookhome/112410630
Books24x7 http://www.books24x7.com/marc.asp?bookid=11288
Wiley InterScience - Full text online http://onlinelibrary.wiley.com/book/10.1002/0470091509

Format:

Availability

Online Library~1

Available:
Copies:

39.

Journal on Data Semantics III

Author

Spaccapietra, Stefano. editor. Zimányi, Esteban. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Formal semantics the essential readings

Author

Portner, Paul. Partee, Barbara H. (Barbara Hall) Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9780470758335

Format:

Availability

Online Library~1

Available:
Copies:

41.

Indeterminate identity metaphysics and semantics

Author

Parsons, Terence.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198250449.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

42.

Algebraic semantics of imperative programs

Author

Goguen, Joseph. Malcolm, Grant.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468

Format:

Availability

Online Library~1

Available:
Copies:

43.

Compositionality in formal semantics selected papers of Barbara Partee

Author

Partee, Barbara Hall. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9780470751305

Format:

Availability

Online Library~1

Available:
Copies:

44.

Structuring events a study in the semantics of lexical aspect

Author

Rothstein, Susan Deborah. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9780470759127

Format:

Availability

Online Library~1

Available:
Copies:

45.

Semantics of Probabilistic Processes An Operational Approach

Author

Deng, Yuxin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Taking scope the natural semantics of quantifiers

Author

Steedman, Mark. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

47.

Mere possibilities : metaphysical foundations of modal semantics

Author

Stalnaker, Robert.

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.ctt7sd1g

Format:

Availability

Online Library~1

Available:
Copies:

48.

Operational Semantics and Verification of Security Protocols

Author

Cremers, Cas. author. Mauw, Sjouke. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

49.

HTML5 Mastery: Semantics, Standards, and Styling

Author

Bradford, Anselm. author. Haine, Paul. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-3862-1

Format:

Availability

Online Library~1

Available:
Copies:

50.

The semantics and metaphysics of natural kinds

Author

Beebee, Helen. Sabbarton-Leary, Nigel, 1981-

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

51.

Neuromimetic semantics coordination, quantification, and collective predicates

Author

Howard, Harry (Harry duBignon)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444502087

Format:

Availability

Online Library~1

Available:
Copies:

52.

Geometry of meaning : semantics based on conceptual spaces

Author

Gärdenfors, Peter, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.

Preferred Shelf Number

ONLINE(364946.1)

Electronic Access

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731150

Format:

Availability

Online Library~1

Available:
Copies:

53.

Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semantics

Author

Conference on Alternative Semantics (1970 : Temple University) Leblanc, Hugues, 1924- Temple University. College of Liberal Arts. Association for Symbolic Logic.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780720422696

Format:

Availability

Online Library~1

Available:
Copies:

54.

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

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

Author

Bekki, Daisuke. editor. Mineshima, Koji. editor. (orcid) McCready, Elin. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521257.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43977-3

Format:

Availability

Online Library~1

Available:
Copies:

55.

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

Author

Su, Qi. editor. Xu, Ge. editor. Yang, Xiaoyan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520930.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

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

Author

Su, Qi. editor. Xu, Ge. editor. Yang, Xiaoyan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521389.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Deep semantics and the evolution of new scientific theories and discoveries

Author

Adi, Tom, 1950- author. Abdelghany, Hala, 1969-n author. Adi, Kathy, 1954- author. IGI Global, publisher.

Preferred Shelf Number

ONLINE

Electronic Access

Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-8079-9

Format:

Availability

Online Library~1

Available:
Copies:

58.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-33220-4

Format:

Availability

Online Library~1

Available:
Copies:

59.

Semantics in Adaptive and Personalised Systems Methods, Tools and Applications

Author

Lops, Pasquale. author. Musto, Cataldo. author. Narducci, Fedelucio. author. Semeraro, Giovanni. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05618-6

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for 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

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

Author

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)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01379-0

Format:

Availability

Online Library~1

Available:
Copies:

61.

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

Author

Hong, Jia-Fei. editor. Su, Qi. editor. (orcid)0000-0002-4769-2812 Wu, Jiun-Shiung. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04015-4

Format:

Availability

Online Library~1

Available:
Copies:

62.

Leveraging Biomedical and Healthcare Data : Semantics, Analytics and Knowledge

Author

Kobeissy, Firas, editor. Wang, Kevin, editor. Zaraket, Fadi A., editor. Alawieh, Ali, editor.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect https://www.sciencedirect.com/science/book/9780128095560

Format:

Availability

Online Library~1

Available:
Copies:

63.

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

Author

Wu, Yunfang. editor. Hong, Jia-Fei. editor. Su, Qi. editor. (orcid)0000-0002-4769-2812 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73573-3

Format:

Availability

Online Library~1

Available:
Copies:

64.

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

Author

Garoufallou, Emmanouel. editor. Hartley, Richard J. editor. Gaitanou, Panorea. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518696.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

65.

Operators for Similarity Search Semantics, Techniques and Usage Scenarios

Author

P, Deepak. author. Deshpande, Prasad M. author. SpringerLink (Online service)

Preferred Shelf Number

XX(518578.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

66.

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

Author

Lu, Qin. editor. Gao, Hong. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519081.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

67.

Uncertainty Modeling for Data Mining A Label Semantics Approach

Author

Qin, Zengchang. author. Tang, Yongchuan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-41251-6

Format:

Availability

Online Library~1

Available:
Copies:

68.

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

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

Author

Nürnberger, Andreas. editor. Stober, Sebastian. editor. Larsen, Birger. editor. Detyniecki, Marcin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12093-5

Format:

Availability

Online Library~1

Available:
Copies:

69.

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

70.

Semantic Acquisition Games Harnessing Manpower for Creating Semantics

Author

Šimko, Jakub. author. Bieliková, Mária. author. (orcid)0000-0003-4105-3494 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-06115-3

Format:

Availability

Online Library~1

Available:
Copies:

71.

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

Author

Su, Xinchun. editor. He, Tingting. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

72.

Programming Languages and Operational Semantics A Concise Overview

Author

Fernández, Maribel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-6368-8

Format:

Availability

Online Library~1

Available:
Copies:

73.

A Rigorous Semantics for BPMN 2.0 Process Diagrams

Author

Kossak, Felix. author. Illibauer, Christa. author. Geist, Verena. author. Kubovy, Jan. author. Natschläger, Christine. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

74.

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

Author

Closs, Sissi. editor. Studer, Rudi. editor. Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Sicilia, Miguel-Angel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13674-5

Format:

Availability

Online Library~1

Available:
Copies:

75.

Social Semantics The Search for Meaning on the Web

Author

Halpin, Harry. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331289.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-1885-6

Format:

Availability

Online Library~1

Available:
Copies:

76.

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

Author

Garoufallou, Emmanouel. editor. Greenberg, Jane. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332974.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03437-9

Format:

Availability

Online Library~1

Available:
Copies:

77.

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

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

Author

Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334099.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36008-4

Format:

Availability

Online Library~1

Available:
Copies:

78.

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

Author

Ji, Donghong. editor. Xiao, Guozheng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334180.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36337-5

Format:

Availability

Online Library~1

Available:
Copies:

79.

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

Author

Kagan, Olga. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335922.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-5225-2

Format:

Availability

Online Library~1

Available:
Copies:

80.

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

Author

Cimiano, Philipp. editor. Corcho, Oscar. editor. Presutti, Valentina. editor. Hollink, Laura. editor. Rudolph, Sebastian. editor.

Preferred Shelf Number

ONLINE(334576.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38288-8

Format:

Availability

Online Library~1

Available:
Copies:

81.

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

Author

Liu, Pengyuan. editor. Su, Qi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335193.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-45185-0

Format:

Availability

Online Library~1

Available:
Copies:

82.

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

Author

Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31555-8

Format:

Availability

Online Library~1

Available:
Copies:

83.

Mexico-United States relations the semantics of sovereignty

Author

Santa Cruz, Arturo.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

84.

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

Author

Dodero, Juan Manuel. editor. Palomo-Duarte, Manuel. editor. Karampiperis, Pythagoras. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35233-1

Format:

Availability

Online Library~1

Available:
Copies:

85.

Current formal aspects of Spanish syntax and semantics

Author

González-Rivera, Melvin. Sessarego, Sandro.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=524282

Format:

Availability

Online Library~1

Available:
Copies:

86.

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

Author

Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29485-3

Format:

Availability

Online Library~1

Available:
Copies:

87.

Grammar in Cross-Linguistic Perspective the Syntax, Semantics, and Pragmatics of Japanese and Chinese

Author

Ishiguro, Teruhiro, 1934- editor of compilation. Luke, Kang Kwong, editor of compilation.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=573622

Format:

Availability

Online Library~1

Available:
Copies:

88.

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

Author

Ashish, Naveen. editor. Sheth, Amit P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-9446-2

Format:

Availability

Online Library~1

Available:
Copies:

89.

Logic with a probability semantics including solutions to some philosophical problems

Author

Hailperin, Theodore.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=383891

Format:

Availability

Online Library~1

Available:
Copies:

90.

Visual Analysis of Behaviour From Pixels to Semantics

Author

Gong, Shaogang. author. Xiang, Tao. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-670-2

Format:

Availability

Online Library~1

Available:
Copies:

91.

Computational Linguistics and Talking Robots Processing Content in Database Semantics

Author

Hausser, Roland. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-22432-4

Format:

Availability

Online Library~1

Available:
Copies:

92.

Quantifiers, Propositions and Identity Admissible Semantics for Quantified Modal and Substructural Logics

Author

Goldblatt, Robert.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

93.

Context and Semantics for Knowledge Management Technologies for Personal Productivity

Author

Warren, Paul. editor. Davies, John. editor. Simperl, Elena. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-19510-5

Format:

Availability

Online Library~1

Available:
Copies:

94.

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

Author

Claramunt, Christophe. editor. Levashkin, Sergei. editor. Bertolotto, Michela. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-20630-6

Format:

Availability

Online Library~1

Available:
Copies:

95.

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

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

Author

Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-23441-5

Format:

Availability

Online Library~1

Available:
Copies:

96.

Semantics-Oriented Natural Language Processing Mathematical Models and Algorithms

Author

Fomichov A., Vladimir. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-72926-8

Format:

Availability

Online Library~1

Available:
Copies:

97.

The semantics of analogy rereading Cajetan's De nominum analogia

Author

Hochschild, Joshua P., 1972- Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

98.

Semantics in Adaptive and Personalized Services Methods, Tools and Applications

Author

Wallace, Manolis. editor. Anagnostopoulos, Ioannis E. editor. Mylonas, Phivos. editor. Bielikova, Maria. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-11684-1

Format:

Availability

Online Library~1

Available:
Copies:

99.

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

Author

Duží, Marie. author. Jespersen, Bjorn. author. Materna, Pavel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-8812-3

Format:

Availability

Online Library~1

Available:
Copies:

100.

Political correctness a history of semantics and culture

Author

Hughes, Geoffrey, 1939- Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9781444314960

Format:

Availability

Online Library~1

Available:
Copies:

101.

The language of the Inuit : syntax, semantics, and society in the Arctic

Author

Dorais, Louis-Jacques, 1945-

Preferred Shelf Number

ONLINE

Electronic Access

http://www.jstor.org/stable/10.2307/j.ctt80t0m

Format:

Availability

Online Library~1

Available:
Copies:

102.

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

Author

Dillon, Tharam S. editor. Chang, Elizabeth. editor. Meersman, Robert. editor. Sycara, Katia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-89784-2

Format:

Availability

Online Library~1

Available:
Copies:

103.

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

Author

Palsberg, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04164-8

Format:

Availability

Online Library~1

Available:
Copies:

104.

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

Author

Janowicz, Krzysztof. editor. Raubal, Martin. editor. Levashkin, Sergei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10436-7

Format:

Availability

Online Library~1

Available:
Copies:

105.

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

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

Author

Kowalczyk, Ryszard. editor. Vo, Quoc Bao. editor. Maamar, Zakaria. editor. Huhns, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10739-9

Format:

Availability

Online Library~1

Available:
Copies:

106.

Modal logic an introduction to its syntax and semantics

Author

Cocchiarella, Nino B. Freund, Max A., 1954-

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195366587.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

107.

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

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

Author

Hofstede, Arthur. editor. Benatallah, Boualem. editor. Paik, Hye-Young. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-78238-4

Format:

Availability

Online Library~1

Available:
Copies:

108.

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

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

Author

Boujemaa, Nozha. editor. Detyniecki, Marcin. editor. Nürnberger, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79860-6

Format:

Availability

Online Library~1

Available:
Copies:

109.

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

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

Author

Kowalczyk, Ryszard. editor. Huhns, Michael. editor. Klusch, Matthias. editor. Maamar, Zakaria. editor. Vo, Quoc Bao. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79968-9

Format:

Availability

Online Library~1

Available:
Copies:

110.

Emergent semantics : interoperability in large-scale decentralized information systems

Author

Cudr-̌Mauroux, Philippe.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

111.

The Semantic Web Semantics for Data and Services on the Web

Author

Kashyap, Vipul. author. Bussler, Christoph. author. Moran, Matthew. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-76452-6

Format:

Availability

Online Library~1

Available:
Copies:

112.

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

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

Author

Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

113.

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

Author

Boër, Steven E. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

114.

Cover image for 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

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

Author

Maicher, Lutz. editor. Sigel, Alexander. editor. Garshol, Lars Marius. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

115.

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

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

Author

Huang, Jingshan. editor. Kowalczyk, Ryszard. editor. Maamar, Zakaria. editor. Martin, David. editor. Müller, Ingo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-72619-7

Format:

Availability

Online Library~1

Available:
Copies:

116.

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

Author

Fonseca, Frederico. editor. Rodríguez, M. Andrea. editor. Levashkin, Sergei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-76876-0

Format:

Availability

Online Library~1

Available:
Copies:

117.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

118.

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

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

Author

Ackermann, Markus. editor. Berendt, Bettina. editor. Grobelnik, Marko. editor. Hotho, Andreas. editor. Mladenič, Dunja. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

119.

Knowledge Representation and the Semantics of Natural Language

Author

Helbig, Hermann. author. Gabbay, Dov M. editor. Siekmann, Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-29966-1

Format:

Availability

Online Library~1

Available:
Copies:

120.

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

Author

Hausser, Roland. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

121.

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

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

Author

Avrithis, Yannis. editor. Kompatsiaris, Yiannis. editor. Staab, Steffen. editor. O’Connor, Noel E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

122.

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

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

Author

Dau, Frithjof. editor. Mugnier, Marie-Laure. editor. Stumme, Gerd. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-31885-9

Format:

Availability

Online Library~1

Available:
Copies:

123.

Insensitive semantics a defense of semantic minimalism and speech act pluralism

Author

Cappelen, Herman. LePore, Ernest, 1950- Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9780470755792

Format:

Availability

Online Library~1

Available:
Copies:

124.

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

Author

Rust, Heinrich. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

125.

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

Author

Rodríguez, M. Andrea. editor. Cruz, Isabel. editor. Levashkin, Sergei. editor. Egenhofer, Max J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

126.

Cover image for Semantics in business systems the savvy manager's guide : the discipline underlying web services, business rules, and the Semantic Web

Semantics in business systems the savvy manager's guide : the discipline underlying web services, business rules, and the Semantic Web

Author

McComb, Dave.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9781558609174

Format:

Availability

Online Library~1

Available:
Copies:

127.

Foundations of object-oriented languages types and semantics

Author

Bruce, Kim B.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267232

Format:

Availability

Online Library~1

Available:
Copies:

128.

The worlds of possibility modal realism and the semantics of modal logic

Author

Chihara, Charles S., 1932-

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199246557.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

129.

The formal semantics of programming languages an introduction

Author

Winskel, G. (Glynn)

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826

Format:

Availability

Online Library~1

Available:
Copies:

130.

Intensional and higher-order modal logic with applications to Montague semantics

Author

Gallin, Daniel.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444110022

Format:

Availability

Online Library~1

Available:
Copies:

131.

Sense and sensitivity how focus determines meaning

Author

Beaver, David I., 1966- Clark, Brady Z. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0808/2008002636-b.html
John Wiley http://dx.doi.org/10.1002/9781444304176

Format:

Availability

Online Library~1

Available:
Copies:

132.

The proper treatment of events

Author

Lambalgen, Michiel van, 1954- Hamm, Fritz, 1953- Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9780470759257

Format:

Availability

Online Library~1

Available:
Copies:

133.

Indefinites and the type of sets

Author

Landman, Fred. Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9780470759318

Format:

Availability

Online Library~1

Available:
Copies:

134.

Large Scale Data Analytics

Author

Cho, Chung Yik. author. Tan, Rong Kun Jason. author. Leong, John A. author. Sidhu, Amandeep S. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03892-2

Format:

Availability

Online Library~1

Available:
Copies:

135.

Optimized Cloud Based Scheduling

Author

Tan, Rong Kun Jason. author. Leong, John A. author. Sidhu, Amandeep S. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73214-5

Format:

Availability

Online Library~1

Available:
Copies:

136.

Fate, time, and language an essay on free will

Author

Wallace, David Foster. Cahn, Steven M. Eckert, Maureen, 1966- Wallace, David Foster. Richard Taylor's "Fatalism" and the semantics of physical modality.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=584593

Format:

Availability

Online Library~1

Available:
Copies:

137.

Cover image for 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

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

Author

Abelló, Alberto. editor. Vassiliadis, Panos. editor. Romero, Oscar. editor. Wrembel, Robert. editor. Bugiotti, Francesca. editor.

Preferred Shelf Number

XX(520343.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

138.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

Author

O'Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520574.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

139.

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

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

Author

Agapito, Giuseppe. editor. Bernasconi, Anna. editor. Cappiello, Cinzia. editor. Khattak, Hasan Ali. editor. Ko, InYoung. editor.

Preferred Shelf Number

XX(520656.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

140.

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

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

Author

Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520700.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

141.

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

Author

Longo, Luca. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520713.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

142.

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

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

Author

Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520802.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

143.

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

Author

Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520889.1)

Electronic Access

https://doi.org/10.1007/978-3-031-27481-7

Format:

Availability

Online Library~1

Available:
Copies:

144.

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

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

Author

Sun, Yuqing. editor. Lu, Tun. editor. Guo, Yinzhang. editor. Song, Xiaoxia. editor. Fan, Hongfei. editor.

Preferred Shelf Number

XX(520768.1)

Electronic Access

https://doi.org/10.1007/978-981-99-2385-4

Format:

Availability

Online Library~1

Available:
Copies:

145.

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

Author

Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520780.1)

Electronic Access

https://doi.org/10.1007/978-3-031-41623-1

Format:

Availability

Online Library~1

Available:
Copies:

146.

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

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

Author

Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.

Preferred Shelf Number

XX(520784.1)

Electronic Access

https://doi.org/10.1007/978-3-031-21203-1

Format:

Availability

Online Library~1

Available:
Copies:

147.

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

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

Author

Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521139.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43513-3

Format:

Availability

Online Library~1

Available:
Copies:

148.

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

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

Author

Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521142.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43835-6

Format:

Availability

Online Library~1

Available:
Copies:

149.

Cover image for 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

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

Author

Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521165.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

150.

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

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

Author

Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521245.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

151.

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

Author

Pesquita, Catia. editor. Skaf-Molli, Hala. editor. Efthymiou, Vasilis. editor. Kirrane, Sabrina. editor. Ngonga, Axel. editor.

Preferred Shelf Number

XX(521251.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43458-7

Format:

Availability

Online Library~1

Available:
Copies:

152.

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

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

Author

Madeira, Alexandre. editor. Martins, Manuel A. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521254.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

153.

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

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

Author

Zhang, Feng. editor. Wang, Hua. editor. Barhamgi, Mahmoud. editor. Chen, Lu. editor. Zhou, Rui. editor.

Preferred Shelf Number

XX(521256.1)

Electronic Access

https://doi.org/10.1007/978-981-99-7254-8

Format:

Availability

Online Library~1

Available:
Copies:

154.

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

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

Author

Sales, Tiago Prince. editor. Araújo, João. editor. Borbinha, José. editor. Guizzardi, Giancarlo. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(521265.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

155.

Cover image for 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

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

Author

Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521280.1)

Electronic Access

https://doi.org/10.1007/978-3-031-47546-7

Format:

Availability

Online Library~1

Available:
Copies:

156.

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

Author

Garoufallou, Emmanouel. editor. (orcid) Vlachidis, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520448.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

157.

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

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

Author

Tsanas, Athanasios. editor. Triantafyllidis, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520458.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

158.

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

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

Author

Turrin, Michela. editor. Andriotis, Charalampos. editor. Rafiee, Azarakhsh. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520482.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

159.

Terminology, Ontology and their Implementations

Author

Elkin, Peter L. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521842.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

160.

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

Author

Zhenhua, Ling. editor. Jianqing, Gao. editor. Kai, Yu. editor. Jia, Jia. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520242.1)

Electronic Access

https://doi.org/10.1007/978-981-99-2401-1

Format:

Availability

Online Library~1

Available:
Copies:

161.

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

Author

Farmer, William M. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520259.1)

Electronic Access

https://doi.org/10.1007/978-3-031-21112-6

Format:

Availability

Online Library~1

Available:
Copies:

162.

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

Author

Hausser, Roland. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520261.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

163.

Searchable Encryption From Concepts to Systems

Author

Ren, Kui. author. Wang, Cong. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520262.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

164.

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

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

Author

Reis, Marcelo S. editor. de Melo-Minardi, Raquel C. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520977.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

165.

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

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

Author

Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)

Preferred Shelf Number

XX(520982.1)

Electronic Access

https://doi.org/10.1007/978-981-99-5837-5

Format:

Availability

Online Library~1

Available:
Copies:

166.

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

Author

Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521192.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

167.

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

Author

Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521167.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

168.

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

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

Author

Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521082.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42626-1

Format:

Availability

Online Library~1

Available:
Copies:

169.

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

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

Author

Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.

Preferred Shelf Number

XX(521303.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

170.

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

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

Author

Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521305.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

171.

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

Author

Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.

Preferred Shelf Number

XX(521317.1)

Electronic Access

https://doi.org/10.1007/978-3-031-47634-1

Format:

Availability

Online Library~1

Available:
Copies:

172.

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

Author

Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.

Preferred Shelf Number

XX(521318.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

173.

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

Author

Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.

Preferred Shelf Number

XX(521319.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

174.

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

Author

Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521340.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

175.

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

Author

Hur, Chung-Kil. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521341.1)

Electronic Access

https://doi.org/10.1007/978-981-99-8311-7

Format:

Availability

Online Library~1

Available:
Copies:

176.

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

Author

Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.

Preferred Shelf Number

XX(521379.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

177.

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

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

Author

Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520493.1)

Electronic Access

https://doi.org/10.1007/978-3-031-36597-3

Format:

Availability

Online Library~1

Available:
Copies:

178.

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

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

Author

Tang, Buzhou. editor. Chen, Qingcai. editor. Lin, Hongfei. editor. Wu, Fei. editor. Liu, Lei. editor.

Preferred Shelf Number

XX(520519.1)

Electronic Access

https://doi.org/10.1007/978-981-99-4826-0

Format:

Availability

Online Library~1

Available:
Copies:

179.

Representation Learning for Natural Language Processing

Author

Liu, Zhiyuan. editor. Lin, Yankai. editor. Sun, Maosong. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520543.1)

Electronic Access

https://doi.org/10.1007/978-981-99-1600-9

Format:

Availability

Online Library~1

Available:
Copies:

180.

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

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

Author

Ortiz-Rodríguez, Fernando. editor. Tiwari, Sanju. editor. Usoro Usip, Patience. editor. Palma, Raul. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520622.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43940-7

Format:

Availability

Online Library~1

Available:
Copies:

181.

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

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

Author

Nurcan, Selmin. editor. Opdahl, Andreas L. editor. Mouratidis, Haralambos. editor. Tsohou, Aggeliki. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520580.1)

Electronic Access

https://doi.org/10.1007/978-3-031-33080-3

Format:

Availability

Online Library~1

Available:
Copies:

182.

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

Author

Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520823.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

183.

Cover image for 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

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

Author

Deng, Dun. editor. Liu, Mingming. editor. Westerståhl, Dag. editor. Xie, Kaibo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520827.1)

Electronic Access

https://doi.org/10.1007/978-3-031-25894-7

Format:

Availability

Online Library~1

Available:
Copies:

184.

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

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

Author

Gelbukh, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520828.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

185.

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

Author

Gelbukh, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520829.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

186.

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

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

Author

Gelbukh, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520830.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

187.

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

Author

Gelbukh, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520831.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

188.

Cover image for 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

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

Author

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520843.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

189.

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

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

Author

Sserwanga, Isaac. editor. Goulding, Anne. editor. Moulaison-Sandy, Heather. editor. Du, Jia Tina. editor. Soares, António Lucas. editor.

Preferred Shelf Number

XX(520895.1)

Electronic Access

https://doi.org/10.1007/978-3-031-28035-1

Format:

Availability

Online Library~1

Available:
Copies:

190.

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

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

Author

Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520864.1)

Electronic Access

https://doi.org/10.1007/978-3-031-31476-6

Format:

Availability

Online Library~1

Available:
Copies:

191.

Cover image for 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

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

Author

Kashima, Hisashi. editor. Ide, Tsuyoshi. editor. Peng, Wen-Chih. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520947.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

192.

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

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

Author

Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520949.1)

Electronic Access

https://doi.org/10.1007/978-3-031-33620-1

Format:

Availability

Online Library~1

Available:
Copies:

193.

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

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

Author

Pang, Jun. editor. Niehren, Joachim. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521132.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42697-1

Format:

Availability

Online Library~1

Available:
Copies:

194.

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

Author

Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.

Preferred Shelf Number

XX(521062.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

195.

Prolog: The Next 50 Years

Author

Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.

Preferred Shelf Number

XX(521397.1)

Electronic Access

https://doi.org/10.1007/978-3-031-35254-6

Format:

Availability

Online Library~1

Available:
Copies:

196.

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

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

Author

Yang, Xiaochun. editor. Suhartanto, Heru. editor. Wang, Guoren. editor. Wang, Bin. editor. Jiang, Jing. editor.

Preferred Shelf Number

XX(521408.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

197.

Bridging the Semantic Gap in Image and Video Analysis

Author

Kwaśnicka, Halina. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

198.

The Handbook of Contemporary semantic theory

Author

Lappin, Shalom, editor. Fox, Chris, 1965- editor.

Preferred Shelf Number

ONLINE

Electronic Access

Wiley Online Library

Format:

Availability

Online Library~1

Available:
Copies:

199.

Recommender Systems Handbook

Author

Ricci, Francesco. editor. Rokach, Lior. editor. Shapira, Bracha. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518403.1)

Electronic Access

https://doi.org/10.1007/978-1-4899-7637-6

Format:

Availability

Online Library~1

Available:
Copies:

200.

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

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

Author

Denzer, Ralf. editor. Argent, Robert M. editor. Schimak, Gerald. editor. Hřebíček, Jiří. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518405.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

201.

Patterns of Intuition Musical Creativity in the Light of Algorithmic Composition

Author

Nierhaus, Gerhard. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518416.1)

Electronic Access

https://doi.org/10.1007/978-94-017-9561-6

Format:

Availability

Online Library~1

Available:
Copies:

202.

Conflict and Multimodal Communication Social Research and Machine Intelligence

Author

D'Errico, Francesca. editor. Poggi, Isabella. editor. Vinciarelli, Alessandro. editor. Vincze, Laura. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518455.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

203.

Language Production, Cognition, and the Lexicon

Author

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

Preferred Shelf Number

XX(518530.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

204.

Fundamentals of Service Systems

Author

Cardoso, Jorge. editor. Fromm, Hansjörg. editor. Nickel, Stefan. editor. Satzger, Gerhard. editor. Studer, Rudi. editor.

Preferred Shelf Number

XX(518682.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

205.

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

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

Author

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

Preferred Shelf Number

XX(518684.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

206.

Aspect-Oriented Security Hardening of UML Design Models

Author

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

Preferred Shelf Number

XX(518722.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

207.

Cover image for Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

Author

Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518775.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

208.

Cover image for Engineering Psychology and Cognitive Ergonomics 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings

Engineering Psychology and Cognitive Ergonomics 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings

Author

Harris, Don. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518935.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

209.

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

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

Author

de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.

Preferred Shelf Number

XX(518949.1)

Electronic Access

https://doi.org/10.1007/978-3-662-47709-0

Format:

Availability

Online Library~1

Available:
Copies:

210.

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

Author

Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518953.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

211.

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

Author

Atmanspacher, Harald. editor. Bergomi, Claudia. editor. Filk, Thomas. editor. Kitto, Kirsty. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518954.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

212.

Cover image for 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

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

Author

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

Preferred Shelf Number

XX(518980.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

213.

Cover image for High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

Author

Kunkel, Julian M. editor. Ludwig, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519086.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

214.

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

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

Author

Simperl, Elena. editor. Norton, Barry. editor. Mladenic, Dunja. editor. Della Valle, Emanuele. editor. Fundulaki, Irini. editor.

Preferred Shelf Number

XX(519089.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

215.

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

Author

Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519118.1)

Electronic Access

https://doi.org/10.1007/978-3-662-45824-2

Format:

Availability

Online Library~1

Available:
Copies:

216.

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

Author

van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519137.1)

Electronic Access

https://doi.org/10.1007/978-3-662-48561-3

Format:

Availability

Online Library~1

Available:
Copies:

217.

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

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

Author

Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519139.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

218.

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

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

Author

Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519146.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

219.

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

Author

ten Cate, Balder. editor. Mileo, Alessandra. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519157.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

220.

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

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

Author

Hinze, Ralf. editor. Voigtländer, Janis. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519158.1)

Electronic Access

https://doi.org/10.1007/978-3-319-19797-5

Format:

Availability

Online Library~1

Available:
Copies:

221.

Cover image for 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

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

Author

Pitts, Andrew. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(519161.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46678-0

Format:

Availability

Online Library~1

Available:
Copies:

222.

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

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

Author

Fred, Ana. editor. De Marsico, Maria. editor. Tabbone, Antoine. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519165.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

223.

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

Author

Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519168.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

224.

Cover image for 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

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

Author

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

Preferred Shelf Number

XX(519286.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

225.

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

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

Author

Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.

Preferred Shelf Number

XX(519299.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

226.

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

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

Author

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

Preferred Shelf Number

XX(518798.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

227.

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

Author

Bulling, Nils. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518814.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

228.

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Author

Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518840.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

229.

Cover image for Advances in Intelligent Data Analysis XIV 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings

Advances in Intelligent Data Analysis XIV 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings

Author

Fromont, Elisa. editor. De Bie, Tijl. editor. van Leeuwen, Matthijs. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518899.1)

Electronic Access

https://doi.org/10.1007/978-3-319-24465-5

Format:

Availability

Online Library~1

Available:
Copies:

230.

Cover image for Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.

Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.

Author

Lambrix, Patrick. editor. Hyvönen, Eero. editor. Blomqvist, Eva. editor. Presutti, Valentina. editor. Qi, Guilin. editor.

Preferred Shelf Number

XX(518853.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

231.

Cover image for Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Author

Falaschi, Moreno. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518861.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

232.

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

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

Author

Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518922.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

233.

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

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

Author

Gandon, Fabien. editor. Sabou, Marta. editor. Sack, Harald. editor. d'Amato, Claudia. editor. Cudré-Mauroux, Philippe. editor.

Preferred Shelf Number

XX(519030.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

234.

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

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

Author

Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519034.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

235.

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

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

Author

Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519040.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

236.

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

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

Author

Träff, Jesper Larsson. editor. Hunold, Sascha. editor. Versaci, Francesco. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519051.1)

Electronic Access

https://doi.org/10.1007/978-3-662-48096-0

Format:

Availability

Online Library~1

Available:
Copies:

237.

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

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

Author

Murata, Tsuyoshi. editor. Mineshima, Koji. editor. Bekki, Daisuke. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519061.1)

Electronic Access

https://doi.org/10.1007/978-3-662-48119-6

Format:

Availability

Online Library~1

Available:
Copies:

238.

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

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

Author

Gelbukh, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519079.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

239.

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

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

Author

Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519188.1)

Electronic Access

https://doi.org/10.1007/978-3-319-15702-3

Format:

Availability

Online Library~1

Available:
Copies:

240.

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

Author

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

Preferred Shelf Number

XX(519193.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

241.

Cover image for 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

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

Author

Vitek, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519237.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

242.

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

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

Author

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

Preferred Shelf Number

XX(519244.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

243.

Classical NEG raising an essay on the syntax of negation

Author

Collins, Chris, 1963- Postal, Paul Martin, 1936- Project Muse.

Preferred Shelf Number

ONLINE(322837.1)

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

244.

Foundations of fuzzy logic and semantic web languages

Author

Straccia, Umberto.

Preferred Shelf Number

ONLINE(342752.1)

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

245.

A syntax of substance

Author

Adger, David. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

246.

Why Russian aspectual prefixes aren't empty prefixes as verb classifiers

Author

Sokolova, Svetlana, 1980- Nesset, Tore. Makarova, Anastasii͡a, 1985- Li͡ashevskai͡a, O. N. (Olʹga Nikolaevna) Kuznet͡sova, I͡Ulii͡a, 1980-

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

247.

Subjunctive conditionals a linguistic analysis

Author

Ippolito, Michela, 1970- Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

248.

Reference and structure in the philosophy of language a defense of the Russellian orthodoxy

Author

Sullivan, Arthur, 1970-

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

249.

Handbook of finite state based models and applications

Author

Wang, Jiacun, editor of compilation.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

250.

Multi-source, Multilingual Information Extraction and Summarization

Author

Poibeau, Thierry. editor. Saggion, Horacio. editor. Piskorski, Jakub. editor. Yangarber, Roman. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333189.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28569-1

Format:

Availability

Online Library~1

Available:
Copies:

251.

Semantic Analysis of Verbal Collocations with Lexical Functions

Author

Gelbukh, Alexander. author. Kolesnikova, Olga. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333205.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28771-8

Format:

Availability

Online Library~1

Available:
Copies:

252.

Evolution of Semantic Systems

Author

Küppers, Bernd-Olaf. editor. Hahn, Udo. editor. Artmann, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333917.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34997-3

Format:

Availability

Online Library~1

Available:
Copies:

253.

Different Kinds of Specificity Across Languages

Author

Ebert, Cornelia. editor. Hinterwimmer, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335944.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-5310-5

Format:

Availability

Online Library~1

Available:
Copies:

254.

Studies in the Composition and Decomposition of Event Predicates

Author

Arsenijević, Boban. editor. Gehrke, Berit. editor. Marín, Rafael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336127.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-5983-1

Format:

Availability

Online Library~1

Available:
Copies:

255.

The Nature of Truth An updated approach to the meaning of truth ascriptions

Author

Frapolli, Maria Jose. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335763.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-4464-6

Format:

Availability

Online Library~1

Available:
Copies:

256.

Legal Argumentation Theory: Cross-Disciplinary Perspectives

Author

Dahlman, Christian. editor. Feteris, Eveline. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335798.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-4670-1

Format:

Availability

Online Library~1

Available:
Copies:

257.

On Chinese Modal Particle A () A Pragmatic and Semantic Study.

Author

Wang, Ying Xian.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=573775

Format:

Availability

Online Library~1

Available:
Copies:

258.

The Cambridge handbook of second language acquisition

Author

Herschensohn, Julia Rogers, 1945- editor. Young-Scholten, Martha, editor.

Preferred Shelf Number

P118.2 .C356 2013

Electronic Access

https://doi.org/10.1017/CBO9781139051729

Format:

Availability

Online Library~1

Available:
Copies:

259.

Machine learning in image steganalysis

Author

Schaathun, Hans Georg.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6331046

Format:

Availability

Online Library~1

Available:
Copies:

260.

Reinforcement and systemic machine learning for decision making

Author

Kulkarni, Parag.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6266787

Format:

Availability

Online Library~1

Available:
Copies:

261.

Semantic externalism

Author

Kallestrup, Jesper.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

262.

Irony, Misogyny and Interpretation Ambiguous Authority in Schopenhauer, Kierkegaard and Nietzsche.

Author

Grimwood, Tom.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=523763

Format:

Availability

Online Library~1

Available:
Copies:

263.

Logic: A Brief Course

Author

Mundici, Daniele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-2361-1

Format:

Availability

Online Library~1

Available:
Copies:

264.

Interpreting Imperatives

Author

Kaufmann, Magdalena. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-2269-9

Format:

Availability

Online Library~1

Available:
Copies:

265.

Handbook of Quantifiers in Natural Language

Author

Keenan, Edward L. editor. Paperno, Denis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-2681-9

Format:

Availability

Online Library~1

Available:
Copies:

266.

Generating language-based environments

Author

Reps, Thomas W. (Thomas William)

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325

Format:

Availability

Online Library~1

Available:
Copies:

267.

The Cambridge Handbook of Pragmatics

Author

Allan, Keith. Jaszczolt, Kasia M..

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

268.

Dynamic embodiment for social theory "I move therefore I am"

Author

Farnell, Brenda.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

269.

Statistical learning and data science

Author

Summa, Mireille Gettler.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

270.

Visualizing data with Microsoft Power View

Author

Larson, Brian.

Preferred Shelf Number

ONLINE

Electronic Access

Subscription required

Format:

Availability

Online Library~1

Available:
Copies:

271.

Redefining Indefinites

Author

Dobrovie-Sorin, Carmen. author. Beyssade, Claire. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-3002-1

Format:

Availability

Online Library~1

Available:
Copies:

272.

Pragmatics and Prosody in English Language Teaching

Author

Romero-Trillo, Jesús. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-3883-6

Format:

Availability

Online Library~1

Available:
Copies:

273.

Cantonese Particles and Affixal Quantification

Author

Lee, Peppina Po-lun. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-4387-8

Format:

Availability

Online Library~1

Available:
Copies:

274.

The unity of linguistic meaning

Author

Collins, John.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199694846.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

275.

Lexical Meaning in Context A Web of Words

Author

Asher, Nicholas.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

276.

Go figure energies, forms, and institutions in the early modern world

Author

Linton, Joan Pong. Anderson, Judith H. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

277.

Critical pragmatics an inquiry into reference and communication

Author

Korta, Kepa. Perry, John, 1943-

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=375919

Format:

Availability

Online Library~1

Available:
Copies:

278.

Logica: Metodo Breve

Author

Mundici, Daniele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-88-470-1884-6

Format:

Availability

Online Library~1

Available:
Copies:

279.

Semiotics of International Law Trade and Translation

Author

de Carvalho, Evandro Menezes. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9011-9

Format:

Availability

Online Library~1

Available:
Copies:

280.

Reasoning about Preference Dynamics

Author

Liu, Fenrong. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-1344-4

Format:

Availability

Online Library~1

Available:
Copies:

281.

Facilitating access to the web of data a guide for librarians

Author

Stuart, David (David Patrick)

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=558475

Format:

Availability

Online Library~1

Available:
Copies:

282.

Negative indefinites

Author

Penka, Doris.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199567263.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

283.

Japan's frames of meaning a hermeneutics reader

Author

Marra, Michael F. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

284.

Handbook of logic and language

Author

Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780444537263

Format:

Availability

Online Library~1

Available:
Copies:

285.

Spoken language understanding systems for extracting semantic information from speech

Author

Tur, Gokhan. De Mori, Renato.

Preferred Shelf Number

ONLINE

Electronic Access

https://www.lib.umn.edu/slog.phtml?url=http://onlinelibrary.wiley.com/book/10.1002/9781119992691
John Wiley http://dx.doi.org/10.1002/9781119992691
http://public.eblib.com/EBLPublic/PublicView.do?ptiID=699361
MyiLibrary, Table of contents http://www.myilibrary.com?id=340543&ref=toc

Format:

Availability

Online Library~1

Available:
Copies:

286.

The Grammar of French Quantification

Author

Baunaz, Lena. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0621-7

Format:

Availability

Online Library~1

Available:
Copies:

287.

Interpreted Languages and Compositionality

Author

Kracht, Marcus. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-2108-1

Format:

Availability

Online Library~1

Available:
Copies:

288.

Current issues in Chinese linguistics

Author

North American Conference on Chinese Linguistics (21st : 2009 : Bryant University) Xiao, Yun. Tao, Liang. Soh, Hooi Ling.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=531995

Format:

Availability

Online Library~1

Available:
Copies:

289.

Grammatical voice in Japanese a typological perspective

Author

Toyota, Junichi, 1973-

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=539770

Format:

Availability

Online Library~1

Available:
Copies:

290.

Lessons from a Quechua strongwoman ideophony, dialogue, and perspective

Author

Nuckolls, Janis B. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

291.

Reading Brandom on making it explicit

Author

Weiss, Bernhard. Wanderer, Jeremy.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

292.

Corpus-based contrastive studies of English and Chinese

Author

McEnery, Tony, 1964- Xiao, Richard.

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

293.

The primacy of grammar

Author

Mukherji, Nirmalangshu. Project Muse.

Preferred Shelf Number

ONLINE

Electronic Access

Full text available:

Format:

Availability

Online Library~1

Available:
Copies:

294.

Perceptual computing aiding people in making subjective judgments

Author

Mendel, Jerry M., 1938- Wu, Dongrui.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5599324

Format:

Availability

Online Library~1

Available:
Copies:

295.

Evolving intelligent systems methodology and applications

Author

Angelov, Plamen. Filev, Dimitar P., 1959- Kasabov, Nikola K.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5487867

Format:

Availability

Online Library~1

Available:
Copies:

296.

Linking The Geometry of Argument Structure

Author

Randall, Janet H. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

297.

Expression and Interpretation of Negation An OT Typology

Author

Swart, Henriëtte. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-3162-4

Format:

Availability

Online Library~1

Available:
Copies:

298.

Tense, aspect, and indexicality

Author

Higginbotham, James.

Preferred Shelf Number

ONLINE

Electronic Access

Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199239313.001.0001

Format:

Availability

Online Library~1

Available:
Copies:

299.

Blind obedience paradox and learning in the later Wittgenstein

Author

Williams, Meredith, 1947-

Preferred Shelf Number

ONLINE

Electronic Access

Click here to view

Format:

Availability

Online Library~1

Available:
Copies:

300.

The structure of language an introduction to grammatical analysis

Author

Pavey, Emma L.

Preferred Shelf Number

ONLINE

Electronic Access

EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=324113

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}