Search Results for Semantics. - Narrowed by: Electronic Library

Vector Semantics

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Dynamic Semantics

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Introducing semantics

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Semantics a coursebook

2024-12-12T17:02:03Z

Author Hurford, James R. Heasley, Brendan. ebrary, Inc.
Preferred Shelf Number ONLINE
Electronic Access http://site.ebrary.com/lib/hacettepe/Doc?id=10178167
Format: Electronic Resources
Availability Online Library~1

Semantics in Acquisition

2024-12-12T17:02:03Z

Author Geenhoven, Veerle van. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4485-2
Format: Electronic Resources
Availability Online Library~1

Semantics vs. pragmatics

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Reactive Kripke Semantics

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Metadata and Semantics

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Semantics and social science

2024-12-12T17:02:03Z

Author Macdonald, Graham. Pettit, Philip, 1945-
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Existence: Semantics and Syntax

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Between syntax and semantics

2024-12-12T17:02:03Z

Author Huang, Cheng-Teh James.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Foundations of intensional semantics

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Refinement Semantics, Languages and Applications

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Software Languages Syntax, Semantics, and Metaprogramming

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Efficient computation of argumentation semantics

2024-12-12T17:02:03Z

Author Liao, Beishui.
Preferred Shelf Number ONLINE(356080.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780124104068
Format: Electronic Resources
Availability Online Library~1

Concrete Semantics With Isabelle/HOL

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Mathematical aspects of logic programming semantics

2024-12-12T17:02:03Z

Author Hitzler, Pascal. Seda, Anthony.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Multimedia semantics metadata, analysis, and interaction

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Journal on Data Semantics XV

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Lexical semantics, syntax, and event structure

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Journal on Data Semantics XII

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Journal on Data Semantics XIV

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

UML 2 semantics and applications

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Journal on Data Semantics XIII

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

The semantics of the future

2024-12-12T17:02:03Z

Author Copley, Bridget.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Journal on Data Semantics X

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Multimedia Semantics — The Role of Metadata

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Journal on Data Semantics XI

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Journal on Data Semantics VIII

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Semantics with Applications: An Appetizer

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Journal on Data Semantics IX

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Journal on Data Semantics VI

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Syntax and Semantics of Prepositions

2024-12-12T17:02:03Z

Author Saint-Dizier, Patrick. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3873-9
Format: Electronic Resources
Availability Online Library~1

Journal on Data Semantics V

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Journal on Data Semantics VII

2024-12-12T17:02:03Z

Author Spaccapietra, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11890591
Format: Electronic Resources
Availability Online Library~1

Service-oriented computing semantics, processes, agents

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Journal on Data Semantics II

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Journal on Data Semantics IV

2024-12-12T17:02:03Z

Author Spaccapietra, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11603412
Format: Electronic Resources
Availability Online Library~1

Journal on Data Semantics III

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Formal semantics the essential readings

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Indeterminate identity metaphysics and semantics

2024-12-12T17:02:03Z

Author Parsons, Terence.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198250449.001.0001
Format: Electronic Resources
Availability Online Library~1

Algebraic semantics of imperative programs

2024-12-12T17:02:03Z

Author Goguen, Joseph. Malcolm, Grant.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468
Format: Electronic Resources
Availability Online Library~1

Compositionality in formal semantics selected papers of Barbara Partee

2024-12-12T17:02:03Z

Author Partee, Barbara Hall. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470751305
Format: Electronic Resources
Availability Online Library~1

Structuring events a study in the semantics of lexical aspect

2024-12-12T17:02:03Z

Author Rothstein, Susan Deborah. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470759127
Format: Electronic Resources
Availability Online Library~1

Semantics of Probabilistic Processes An Operational Approach

2024-12-12T17:02:03Z

Author Deng, Yuxin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45198-4
Format: Electronic Resources
Availability Online Library~1

Operational Semantics and Verification of Security Protocols

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Taking scope the natural semantics of quantifiers

2024-12-12T17:02:03Z

Author Steedman, Mark. Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Mere possibilities : metaphysical foundations of modal semantics

2024-12-12T17:02:03Z

Author Stalnaker, Robert.
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt7sd1g
Format: Electronic Resources
Availability Online Library~1

HTML5 Mastery: Semantics, Standards, and Styling

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

The semantics and metaphysics of natural kinds

2024-12-12T17:02:03Z

Author Beebee, Helen. Sabbarton-Leary, Nigel, 1981-
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Neuromimetic semantics coordination, quantification, and collective predicates

2024-12-12T17:02:03Z

Author Howard, Harry (Harry duBignon)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444502087
Format: Electronic Resources
Availability Online Library~1

Geometry of meaning : semantics based on conceptual spaces

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Deep semantics and the evolution of new scientific theories and discoveries

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Semantics in Adaptive and Personalised Systems Methods, Tools and Applications

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Leveraging Biomedical and Healthcare Data : Semantics, Analytics and Knowledge

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Operators for Similarity Search Semantics, Techniques and Usage Scenarios

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Programming Languages and Operational Semantics A Concise Overview

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Uncertainty Modeling for Data Mining A Label Semantics Approach

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

Author Majkić, Zoran. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04156-8
Format: Electronic Resources
Availability Online Library~1

A Rigorous Semantics for BPMN 2.0 Process Diagrams

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Semantic Acquisition Games Harnessing Manpower for Creating Semantics

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Social Semantics The Search for Meaning on the Web

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Current formal aspects of Spanish syntax and semantics

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Mexico-United States relations the semantics of sovereignty

2024-12-12T17:02:03Z

Author Santa Cruz, Arturo.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Context and Semantics for Knowledge Management Technologies for Personal Productivity

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Logic with a probability semantics including solutions to some philosophical problems

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Visual Analysis of Behaviour From Pixels to Semantics

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

Author Goldblatt, Robert.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Computational Linguistics and Talking Robots Processing Content in Database Semantics

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

The semantics of analogy rereading Cajetan's De nominum analogia

2024-12-12T17:02:03Z

Author Hochschild, Joshua P., 1972- Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Semantics in Adaptive and Personalized Services Methods, Tools and Applications

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Political correctness a history of semantics and culture

2024-12-12T17:02:03Z

Author Hughes, Geoffrey, 1939- Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9781444314960
Format: Electronic Resources
Availability Online Library~1

Semantics-Oriented Natural Language Processing Mathematical Models and Algorithms

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

Author Dorais, Louis-Jacques, 1945-
Preferred Shelf Number ONLINE
Electronic Access http://www.jstor.org/stable/10.2307/j.ctt80t0m
Format: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Emergent semantics : interoperability in large-scale decentralized information systems

2024-12-12T17:02:03Z

Author Cudr-̌Mauroux, Philippe.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

The Semantic Web Semantics for Data and Services on the Web

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Modal logic an introduction to its syntax and semantics

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

Author Eder, Johann. editor. Dustdar, Schahram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11837862
Format: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Knowledge Representation and the Semantics of Natural Language

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

Author Hausser, Roland. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-35477-8
Format: Electronic Resources
Availability Online Library~1

Insensitive semantics a defense of semantic minimalism and speech act pluralism

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

Author Rust, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135629
Format: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

Author McComb, Dave.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781558609174
Format: Electronic Resources
Availability Online Library~1

Foundations of object-oriented languages types and semantics

2024-12-12T17:02:03Z

Author Bruce, Kim B.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267232
Format: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

The formal semantics of programming languages an introduction

2024-12-12T17:02:03Z

Author Winskel, G. (Glynn)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

Author Gallin, Daniel.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444110022
Format: Electronic Resources
Availability Online Library~1

Sense and sensitivity how focus determines meaning

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

The proper treatment of events

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Indefinites and the type of sets

2024-12-12T17:02:03Z

Author Landman, Fred. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470759318
Format: Electronic Resources
Availability Online Library~1

Large Scale Data Analytics

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Optimized Cloud Based Scheduling

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Fate, time, and language an essay on free will

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Searchable Encryption From Concepts to Systems

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Representation Learning for Natural Language Processing

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Terminology, Ontology and their Implementations

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Prolog: The Next 50 Years

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Bridging the Semantic Gap in Image and Video Analysis

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

The Handbook of Contemporary semantic theory

2024-12-12T17:02:03Z

Author Lappin, Shalom, editor. Fox, Chris, 1965- editor.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Recommender Systems Handbook

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Patterns of Intuition Musical Creativity in the Light of Algorithmic Composition

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Conflict and Multimodal Communication Social Research and Machine Intelligence

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Aspect-Oriented Security Hardening of UML Design Models

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Language Production, Cognition, and the Lexicon

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Fundamentals of Service Systems

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Classical NEG raising an essay on the syntax of negation

2024-12-12T17:02:03Z

Author Collins, Chris, 1963- Postal, Paul Martin, 1936- Project Muse.
Preferred Shelf Number ONLINE(322837.1)
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Foundations of fuzzy logic and semantic web languages

2024-12-12T17:02:03Z

Author Straccia, Umberto.
Preferred Shelf Number ONLINE(342752.1)
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Handbook of finite state based models and applications

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Multi-source, Multilingual Information Extraction and Summarization

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Semantic Analysis of Verbal Collocations with Lexical Functions

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Evolution of Semantic Systems

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Legal Argumentation Theory: Cross-Disciplinary Perspectives

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Subjunctive conditionals a linguistic analysis

2024-12-12T17:02:03Z

Author Ippolito, Michela, 1970- Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

A syntax of substance

2024-12-12T17:02:03Z

Author Adger, David. Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Different Kinds of Specificity Across Languages

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Studies in the Composition and Decomposition of Event Predicates

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

The Cambridge handbook of second language acquisition

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

Author Sullivan, Arthur, 1970-
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Machine learning in image steganalysis

2024-12-12T17:02:03Z

Author Schaathun, Hans Georg.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6331046
Format: Electronic Resources
Availability Online Library~1

Reinforcement and systemic machine learning for decision making

2024-12-12T17:02:03Z

Author Kulkarni, Parag.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6266787
Format: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

Author Farnell, Brenda.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Statistical learning and data science

2024-12-12T17:02:03Z

Author Summa, Mireille Gettler.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Visualizing data with Microsoft Power View

2024-12-12T17:02:03Z

Author Larson, Brian.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Interpreting Imperatives

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Handbook of Quantifiers in Natural Language

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Redefining Indefinites

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Pragmatics and Prosody in English Language Teaching

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Generating language-based environments

2024-12-12T17:02:03Z

Author Reps, Thomas W. (Thomas William)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325
Format: Electronic Resources
Availability Online Library~1

The Cambridge Handbook of Pragmatics

2024-12-12T17:02:03Z

Author Allan, Keith. Jaszczolt, Kasia M..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Semantic externalism

2024-12-12T17:02:03Z

Author Kallestrup, Jesper.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Logic: A Brief Course

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Cantonese Particles and Affixal Quantification

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Logica: Metodo Breve

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Critical pragmatics an inquiry into reference and communication

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Spoken language understanding systems for extracting semantic information from speech

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Facilitating access to the web of data a guide for librarians

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Current issues in Chinese linguistics

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Grammatical voice in Japanese a typological perspective

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Lexical Meaning in Context A Web of Words

2024-12-12T17:02:03Z

Author Asher, Nicholas.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Handbook of logic and language

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

The Grammar of French Quantification

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Reasoning about Preference Dynamics

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Japan's frames of meaning a hermeneutics reader

2024-12-12T17:02:03Z

Author Marra, Michael F. Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Semiotics of International Law Trade and Translation

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

The unity of linguistic meaning

2024-12-12T17:02:03Z

Author Collins, John.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199694846.001.0001
Format: Electronic Resources
Availability Online Library~1

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

2024-12-12T17:02:03Z

Author Linton, Joan Pong. Anderson, Judith H. Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Negative indefinites

2024-12-12T17:02:03Z

Author Penka, Doris.
Preferred Shelf Number ONLINE
Electronic Access Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199567263.001.0001
Format: Electronic Resources
Availability Online Library~1

Interpreted Languages and Compositionality

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Lessons from a Quechua strongwoman ideophony, dialogue, and perspective

2024-12-12T17:02:03Z

Author Nuckolls, Janis B. Project Muse.
Preferred Shelf Number ONLINE
Electronic Access Full text available:
Format: Electronic Resources
Availability Online Library~1

Perceptual computing aiding people in making subjective judgments

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Evolving intelligent systems methodology and applications

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Text, Time, and Context Selected Papers of Carlota S. Smith

2024-12-12T17:02:03Z

Author Meier, Richard P. editor. Aristar-Dry, Helen. editor. Destruel, Emilie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-2617-0
Format: Electronic Resources
Availability Online Library~1

Reading Brandom on making it explicit

2024-12-12T17:02:03Z

Author Weiss, Bernhard. Wanderer, Jeremy.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

The structure of language an introduction to grammatical analysis

2024-12-12T17:02:03Z

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: Electronic Resources
Availability Online Library~1

Lexical meaning

2024-12-12T17:02:03Z

Author Murphy, M. Lynne.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=337705
Format: Electronic Resources
Availability Online Library~1

Discourse dynamics

2024-12-12T17:02:03Z

Author Sánchez Lozano, Sara.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=524311
Format: Electronic Resources
Availability Online Library~1

CAD and GIS integration

2024-12-12T17:02:03Z

Author Karimi, Hassan A. Akinci, Burcu.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Quantification

2024-12-12T17:02:03Z

Author Szabolcsi, Anna, 1953-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=357428
Format: Electronic Resources
Availability Online Library~1

Introduction to Arabic natural language processing

2024-12-12T17:02:03Z

Author Habash, Nizar Y.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440399
Format: Electronic Resources
Availability Online Library~1