Search Results for Semantics. - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSemantics.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-04-02T21:02:41Z
Reactive Kripke Semantics
ent://SD_ILS/0/SD_ILS:335100
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Gabbay, Dov M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335100.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41389-6">http://dx.doi.org/10.1007/978-3-642-41389-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metadata and Semantics
ent://SD_ILS/0/SD_ILS:167518
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Sicilia, Miguel-Angel. editor. Lytras, Miltiadis D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-77745-0">http://dx.doi.org/10.1007/978-0-387-77745-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Journal on Data Semantics XV
ent://SD_ILS/0/SD_ILS:195088
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Spaccapietra, Stefano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22630-4">http://dx.doi.org/10.1007/978-3-642-22630-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Journal on Data Semantics XII
ent://SD_ILS/0/SD_ILS:189773
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Spaccapietra, Stefano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00685-2">http://dx.doi.org/10.1007/978-3-642-00685-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Journal on Data Semantics XIII
ent://SD_ILS/0/SD_ILS:190519
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Spaccapietra, Stefano. editor. Zimányi, Esteban. editor. Song, Il-Yeol. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03098-7">http://dx.doi.org/10.1007/978-3-642-03098-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Journal on Data Semantics XIV
ent://SD_ILS/0/SD_ILS:191406
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Spaccapietra, Stefano. editor. Delcambre, Lois. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10562-3">http://dx.doi.org/10.1007/978-3-642-10562-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Journal on Data Semantics X
ent://SD_ILS/0/SD_ILS:187948
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Spaccapietra, Stefano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77688-8">http://dx.doi.org/10.1007/978-3-540-77688-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Journal on Data Semantics XI
ent://SD_ILS/0/SD_ILS:189387
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Spaccapietra, Stefano. editor. Pan, Jeff Z. editor. Thiran, Philippe. editor. Halpin, Terry. editor. Staab, Steffen. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92148-6">http://dx.doi.org/10.1007/978-3-540-92148-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Journal on Data Semantics IX
ent://SD_ILS/0/SD_ILS:187330
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Spaccapietra, Stefano. editor. Atzeni, Paolo. editor. Fages, François. editor. Hacid, Mohand-Saïd. editor. Kifer, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74987-5">http://dx.doi.org/10.1007/978-3-540-74987-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics with Applications: An Appetizer
ent://SD_ILS/0/SD_ILS:175514
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Nielson, Hanne Riis. author. Nielson, Flemming. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-692-6">http://dx.doi.org/10.1007/978-1-84628-692-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Journal on Data Semantics VIII
ent://SD_ILS/0/SD_ILS:186019
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Spaccapietra, Stefano. editor. Atzeni, Paolo. editor. Fages, François. editor. Hacid, Mohand-Saïd. editor. Kifer, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70664-9">http://dx.doi.org/10.1007/978-3-540-70664-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Journal on Data Semantics VI
ent://SD_ILS/0/SD_ILS:184461
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Spaccapietra, Stefano. editor. Aberer, Karl. editor. Cudré-Mauroux, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11803034">http://dx.doi.org/10.1007/11803034</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Journal on Data Semantics VII
ent://SD_ILS/0/SD_ILS:184922
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Spaccapietra, Stefano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11890591">http://dx.doi.org/10.1007/11890591</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Journal on Data Semantics V
ent://SD_ILS/0/SD_ILS:182626
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Spaccapietra, Stefano. editor. Atzeni, Paolo. editor. Chu, Wesley W. editor. Catarci, Tiziana. editor. Sycara, Katia P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11617808">http://dx.doi.org/10.1007/11617808</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Journal on Data Semantics III
ent://SD_ILS/0/SD_ILS:182730
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Spaccapietra, Stefano. editor. Zimányi, Esteban. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137098">http://dx.doi.org/10.1007/b137098</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Journal on Data Semantics II
ent://SD_ILS/0/SD_ILS:182364
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Spaccapietra, Stefano. editor. Bertino, Elisa. editor. Jajodia, Sushil. editor. King, Roger. editor. McLeod, Dennis. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104761">http://dx.doi.org/10.1007/b104761</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Journal on Data Semantics IV
ent://SD_ILS/0/SD_ILS:182638
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Spaccapietra, Stefano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11603412">http://dx.doi.org/10.1007/11603412</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Operational Semantics and Verification of Security Protocols
ent://SD_ILS/0/SD_ILS:188195
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Cremers, Cas. author. Mauw, Sjouke. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78636-8">http://dx.doi.org/10.1007/978-3-540-78636-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HTML5 Mastery: Semantics, Standards, and Styling
ent://SD_ILS/0/SD_ILS:171635
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Bradford, Anselm. author. Haine, Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3862-1">http://dx.doi.org/10.1007/978-1-4302-3862-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:603744
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Bekki, Daisuke. editor. (orcid)0000-0002-9988-1260 Mineshima, Koji. editor. (orcid)0000-0002-2801-9171 McCready, Elin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60878-0">https://doi.org/10.1007/978-3-031-60878-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Chinese Lexical Semantics 18th Workshop, CLSW 2017, Leshan, China, May 18–20, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400900
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Wu, Yunfang. editor. Hong, Jia-Fei. editor. Su, Qi. editor. (orcid)0000-0002-4769-2812 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73573-3">https://doi.org/10.1007/978-3-319-73573-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics
ent://SD_ILS/0/SD_ILS:611240
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Draheim, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55198-7">https://doi.org/10.1007/978-3-642-55198-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization
ent://SD_ILS/0/SD_ILS:613437
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Draheim, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69868-7">https://doi.org/10.1007/978-3-319-69868-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
ent://SD_ILS/0/SD_ILS:617743
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27810-0">https://doi.org/10.1007/978-3-319-27810-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics
ent://SD_ILS/0/SD_ILS:489273
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Majkić, Zoran. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04156-8">https://doi.org/10.1007/978-3-319-04156-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics in Data and Knowledge Bases 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334099
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334099.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36008-4">http://dx.doi.org/10.1007/978-3-642-36008-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Chinese Lexical Semantics 13th Workshop, CLSW 2012, Wuhan, China, July 6-8, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334180
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Ji, Donghong. editor. Xiao, Guozheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334180.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36337-5">http://dx.doi.org/10.1007/978-3-642-36337-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web: Semantics and Big Data 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334576
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Cimiano, Philipp. editor. Corcho, Oscar. editor. Presutti, Valentina. editor. Hollink, Laura. editor. Rudolph, Sebastian. editor.<br/>Preferred Shelf Number ONLINE(334576.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38288-8">http://dx.doi.org/10.1007/978-3-642-38288-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social Semantics The Search for Meaning on the Web
ent://SD_ILS/0/SD_ILS:331289
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Halpin, Harry. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331289.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1885-6">http://dx.doi.org/10.1007/978-1-4614-1885-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metadata and Semantics Research 7th Research Conference, MTSR 2013, Thessaloniki, Greece, November 19-22, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:332974
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Garoufallou, Emmanouel. editor. Greenberg, Jane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332974.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03437-9">http://dx.doi.org/10.1007/978-3-319-03437-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Chinese Lexical Semantics 14th Workshop, CLSW 2013, Zhengzhou, China, May 10-12, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:335193
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Liu, Pengyuan. editor. Su, Qi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335193.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45185-0">http://dx.doi.org/10.1007/978-3-642-45185-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
ent://SD_ILS/0/SD_ILS:197102
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Moot, Richard. author. Retoré, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31555-8">http://dx.doi.org/10.1007/978-3-642-31555-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:196711
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29485-3">http://dx.doi.org/10.1007/978-3-642-29485-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metadata and Semantics Research 6th Research Conference, MTSR 2012, Cádiz, Spain, November 28-30, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197581
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Dodero, Juan Manuel. editor. Palomo-Duarte, Manuel. editor. Karampiperis, Pythagoras. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35233-1">http://dx.doi.org/10.1007/978-3-642-35233-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Linguistics and Talking Robots Processing Content in Database Semantics
ent://SD_ILS/0/SD_ILS:195025
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Hausser, Roland. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22432-4">http://dx.doi.org/10.1007/978-3-642-22432-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
GeoSpatial Semantics 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194435
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Claramunt, Christophe. editor. Levashkin, Sergei. editor. Bertolotto, Michela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20630-6">http://dx.doi.org/10.1007/978-3-642-20630-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Context and Semantics for Knowledge Management Technologies for Personal Productivity
ent://SD_ILS/0/SD_ILS:194067
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Warren, Paul. editor. Davies, John. editor. Simperl, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19510-5">http://dx.doi.org/10.1007/978-3-642-19510-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics in Data and Knowledge Bases 4th International Workshops, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195343
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23441-5">http://dx.doi.org/10.1007/978-3-642-23441-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geospatial Semantics and the Semantic Web Foundations, Algorithms, and Applications
ent://SD_ILS/0/SD_ILS:173212
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Ashish, Naveen. editor. Sheth, Amit P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9446-2">http://dx.doi.org/10.1007/978-1-4419-9446-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Visual Analysis of Behaviour From Pixels to Semantics
ent://SD_ILS/0/SD_ILS:168565
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Gong, Shaogang. author. Xiang, Tao. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-670-2">http://dx.doi.org/10.1007/978-0-85729-670-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:190857
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04164-8">http://dx.doi.org/10.1007/978-3-642-04164-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Web Semantics I Ontologies, Web Services and Applied Semantic Web
ent://SD_ILS/0/SD_ILS:189336
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Dillon, Tharam S. editor. Chang, Elizabeth. editor. Meersman, Robert. editor. Sycara, Katia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89784-2">http://dx.doi.org/10.1007/978-3-540-89784-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
GeoSpatial Semantics Third International Conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191366
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Janowicz, Krzysztof. editor. Raubal, Martin. editor. Levashkin, Sergei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10436-7">http://dx.doi.org/10.1007/978-3-642-10436-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing: Agents, Semantics, and Engineering AAMAS 2009 International Workshop SOCASE 2009, Budapest, Hungary, May 11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191461
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Kowalczyk, Ryszard. editor. Vo, Quoc Bao. editor. Maamar, Zakaria. editor. Huhns, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10739-9">http://dx.doi.org/10.1007/978-3-642-10739-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management Workshops BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188060
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Hofstede, Arthur. editor. Benatallah, Boualem. editor. Paik, Hye-Young. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78238-4">http://dx.doi.org/10.1007/978-3-540-78238-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web Semantics for Data and Services on the Web
ent://SD_ILS/0/SD_ILS:187618
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Kashyap, Vipul. author. Bussler, Christoph. author. Moran, Matthew. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76452-6">http://dx.doi.org/10.1007/978-3-540-76452-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics in Data and Knowledge Bases Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189085
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Schewe, Klaus-Dieter. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88594-8">http://dx.doi.org/10.1007/978-3-540-88594-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive Multimedia Retrieval: Retrieval, User, and Semantics 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188525
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Boujemaa, Nozha. editor. Detyniecki, Marcin. editor. Nürnberger, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79860-6">http://dx.doi.org/10.1007/978-3-540-79860-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing: Agents, Semantics, and Engineering AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188544
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Kowalczyk, Ryszard. editor. Huhns, Michael. editor. Klusch, Matthias. editor. Maamar, Zakaria. editor. Vo, Quoc Bao. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79968-9">http://dx.doi.org/10.1007/978-3-540-79968-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing: Agents, Semantics, and Engineering AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186603
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Huang, Jingshan. editor. Kowalczyk, Ryszard. editor. Maamar, Zakaria. editor. Martin, David. editor. Müller, Ingo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72619-7">http://dx.doi.org/10.1007/978-3-540-72619-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:186408
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Maicher, Lutz. editor. Sigel, Alexander. editor. Garshol, Lars Marius. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71945-8">http://dx.doi.org/10.1007/978-3-540-71945-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
GeoSpatial Semantics Second International Conference, GeoS 2007, Mexico City, Mexico, November 29-30, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187711
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Fonseca, Frederico. editor. Rodríguez, M. Andrea. editor. Levashkin, Sergei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76876-0">http://dx.doi.org/10.1007/978-3-540-76876-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Computational Model of Natural Language Communication Interpretation, Inference, and Production in Database Semantics
ent://SD_ILS/0/SD_ILS:184265
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Hausser, Roland. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-35477-8">http://dx.doi.org/10.1007/3-540-35477-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management Workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM, semantics4ws, Vienna, Austria, September 4-7, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184682
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Eder, Johann. editor. Dustdar, Schahram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11837862">http://dx.doi.org/10.1007/11837862</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics, Web and Mining Joint International Workshops, EWMF 2005 and KDO 2005, Porto, Portugal, October 3-7, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185033
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Ackermann, Markus. editor. Berendt, Bettina. editor. Grobelnik, Marko. editor. Hotho, Andreas. editor. Mladenič, Dunja. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11908678">http://dx.doi.org/10.1007/11908678</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Representation and the Semantics of Natural Language
ent://SD_ILS/0/SD_ILS:182202
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Helbig, Hermann. author. Gabbay, Dov M. editor. Siekmann, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29966-1">http://dx.doi.org/10.1007/3-540-29966-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Multimedia First International Conference on Semantics and Digital Media Technologies, SAMT 2006, Athens, Greece, December 6-8, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185192
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Avrithis, Yannis. editor. Kompatsiaris, Yiannis. editor. Staab, Steffen. editor. O’Connor, Noel E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11930334">http://dx.doi.org/10.1007/11930334</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Structures: Common Semantics for Sharing Knowledge 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182971
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Dau, Frithjof. editor. Mugnier, Marie-Laure. editor. Stumme, Gerd. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-31885-9">http://dx.doi.org/10.1007/978-3-540-31885-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
GeoSpatial Semantics First International Conference, GeoS 2005, Mexico City, Mexico, November 29-30, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183269
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Rodríguez, M. Andrea. editor. Cruz, Isabel. editor. Levashkin, Sergei. editor. Egenhofer, Max J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11586180">http://dx.doi.org/10.1007/11586180</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
ent://SD_ILS/0/SD_ILS:183076
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Rust, Heinrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135629">http://dx.doi.org/10.1007/b135629</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ent://SD_ILS/0/SD_ILS:608168
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85352-4">https://doi.org/10.1007/978-3-031-85352-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
ent://SD_ILS/0/SD_ILS:605987
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75775-4">https://doi.org/10.1007/978-3-031-75775-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
ent://SD_ILS/0/SD_ILS:605988
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75783-9">https://doi.org/10.1007/978-3-031-75783-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606244
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78116-2">https://doi.org/10.1007/978-3-031-78116-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
ent://SD_ILS/0/SD_ILS:609023
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75778-5">https://doi.org/10.1007/978-3-031-75778-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:607116
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78709-6">https://doi.org/10.1007/978-3-031-78709-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:607214
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78750-8">https://doi.org/10.1007/978-3-031-78750-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The French School of Programming
ent://SD_ILS/0/SD_ILS:603390
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604788
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68150-9">https://doi.org/10.1007/978-3-031-68150-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603567
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2300-3">https://doi.org/10.1007/978-981-97-2300-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Creative approaches towards development of computing and multidisciplinary IT solutions for society
ent://SD_ILS/0/SD_ILS:599371
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Bijalwan, Anchit, editor.<br/>Preferred Shelf Number QA76 .C74 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency XVII
ent://SD_ILS/0/SD_ILS:602326
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-68191-6">https://doi.org/10.1007/978-3-662-68191-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:603150
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57228-9">https://doi.org/10.1007/978-3-031-57228-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:603166
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57231-9">https://doi.org/10.1007/978-3-031-57231-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613742
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68953-1">https://doi.org/10.1007/978-3-319-68953-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611523
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55696-3">https://doi.org/10.1007/978-3-319-55696-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612253
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72044-9">https://doi.org/10.1007/978-3-319-72044-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Process Algebras for Petri Nets The Alphabetization of Distributed Systems
ent://SD_ILS/0/SD_ILS:615659
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Gorrieri, Roberto. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55559-1">https://doi.org/10.1007/978-3-319-55559-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616320
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53733-7">https://doi.org/10.1007/978-3-319-53733-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616714
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611151
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71237-6">https://doi.org/10.1007/978-3-319-71237-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:617841
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617856
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617812
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611111
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32582-8">https://doi.org/10.1007/978-3-319-32582-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:613640
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613470
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Amblard, Maxime. editor. de Groote, Philippe. editor. Pogodalla, Sylvain. editor. Retoré, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53826-5">https://doi.org/10.1007/978-3-662-53826-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Finitely Supported Mathematics An Introduction
ent://SD_ILS/0/SD_ILS:615413
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Alexandru, Andrei. author. Ciobanu, Gabriel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42282-4">https://doi.org/10.1007/978-3-319-42282-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:616634
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Cornélio, Márcio. editor. Roscoe, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29473-5">https://doi.org/10.1007/978-3-319-29473-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613063
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47958-3">https://doi.org/10.1007/978-3-319-47958-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616148
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53042-9">https://doi.org/10.1007/978-3-662-53042-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-source, Multilingual Information Extraction and Summarization
ent://SD_ILS/0/SD_ILS:333189
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Poibeau, Thierry. editor. Saggion, Horacio. editor. Piskorski, Jakub. editor. Yangarber, Roman. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333189.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28569-1">http://dx.doi.org/10.1007/978-3-642-28569-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolution of Semantic Systems
ent://SD_ILS/0/SD_ILS:333917
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Küppers, Bernd-Olaf. editor. Hahn, Udo. editor. Artmann, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333917.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34997-3">http://dx.doi.org/10.1007/978-3-642-34997-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic: A Brief Course
ent://SD_ILS/0/SD_ILS:204617
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Mundici, Daniele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-2361-1">http://dx.doi.org/10.1007/978-88-470-2361-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reinforcement and systemic machine learning for decision making
ent://SD_ILS/0/SD_ILS:249381
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Kulkarni, Parag.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6266787">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6266787</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logica: Metodo Breve
ent://SD_ILS/0/SD_ILS:204542
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Mundici, Daniele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-1884-6">http://dx.doi.org/10.1007/978-88-470-1884-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interpreted Languages and Compositionality
ent://SD_ILS/0/SD_ILS:206265
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Kracht, Marcus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-2108-1">http://dx.doi.org/10.1007/978-94-007-2108-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Games: Unifying Logic, Language, and Philosophy
ent://SD_ILS/0/SD_ILS:170517
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9374-6">http://dx.doi.org/10.1007/978-1-4020-9374-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rigid Flexibility The Logic of Intelligence
ent://SD_ILS/0/SD_ILS:169355
2026-04-02T21:02:41Z
2026-04-02T21:02:41Z
Author Wang, Pei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-5045-3">http://dx.doi.org/10.1007/1-4020-5045-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>