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