Limit Search Results
Author
SpringerLink (Online service)
(27)
Bekki, Daisuke. editor.
(2)
Benslimane, Djamal. editor.
(2)
Damiani, Ernesto. editor.
(2)
Debruyne, Christophe. editor.
(2)
Language
Publication Date
-
Subject
Formal Languages and Automata Theory.
(27)
Artificial intelligence.
(16)
Computer science.
(13)
Software engineering.
(12)
Computer Science Logic and Foundations of Programming.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
27 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Chinese Lexical Semantics 17th Workshop, CLSW 2016, Singapore, Singapore, May 20-22, 2016, Revised Selected Papers
Chinese Lexical Semantics 17th Workshop, CLSW 2016, Singapore, Singapore, May 20-22, 2016, Revised Selected Papers
Author 
Dong, Minghui. editor. Lin, Jingxia. editor. Tang, Xuri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49508-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Metadata and Semantic Research 18th Research Conference, MTSR 2024, Athens, Greece, November 19-22, 2024, Revised Selected Papers
Metadata and Semantic Research 18th Research Conference, MTSR 2024, Athens, Greece, November 19-22, 2024, Revised Selected Papers
Author 
Sfakakis, Michalis. editor. (orcid)0000-0003-2973-7455 Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Damigos, Matthew. editor. (orcid)0000-0003-0431-1482 Salaba, Athena. editor. (orcid)0000-0002-1694-4052 Papatheodorou, Christos. editor. (orcid)0000-0002-9025-6469
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81974-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Metadata and Semantic Research 17th Research Conference, MTSR 2023, Milan, Italy, October 25-27, 2023, Revised Selected Papers
Metadata and Semantic Research 17th Research Conference, MTSR 2023, Milan, Italy, October 25-27, 2023, Revised Selected Papers
Author 
Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634 Sartori, Fabio. editor. (orcid)0000-0002-5038-9785 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-65990-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for New Frontiers in Artificial Intelligence JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers
New Frontiers in Artificial Intelligence JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers
Author 
Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X Ohta, Yuiko. editor. Arai, Sachiyo. editor. Satoh, Ken. editor. Bekki, Daisuke. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61572-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Natural Language Processing and Information Systems 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Liège, Belgium, June 21-23, 2017, Proceedings
Natural Language Processing and Information Systems 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Liège, Belgium, June 21-23, 2017, Proceedings
Author 
Frasincar, Flavius. editor. (orcid)0000-0002-8031-758X Ittoo, Ashwin. editor. Nguyen, Le Minh. editor. (orcid)0000-0002-2265-1010 Métais, Elisabeth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59569-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II
Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II
Author 
Benslimane, Djamal. editor. Damiani, Ernesto. editor. Grosky, William I. editor. Hameurlain, Abdelkader. editor. Sheth, Amit. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64471-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
Cover image for New Frontiers in Artificial Intelligence JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers
New Frontiers in Artificial Intelligence JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers
Author 
Otake, Mihoko. editor. Kurahashi, Setsuya. editor. (orcid)0000-0002-3388-109X Ota, Yuiko. editor. Satoh, Ken. editor. Bekki, Daisuke. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50953-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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: