Limit Search Results
Author
SpringerLink (Online service)
(31)
Debruyne, Christophe. editor.
(3)
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
(3)
Ardagna, Claudio Agostino. editor. (orcid)0000-0001-7426-4795
(2)
Bekki, Daisuke. editor.
(2)
Language
Subject
Artificial intelligence.
(18)
Formal Languages and Automata Theory.
(14)
Machine theory.
(14)
Computer science.
(12)
Software engineering.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
38 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Syntax and semantics
Syntax and semantics
Author 
Summer Linguistics Conference / University of California, Santa Cruz, 1971. Kimball, John P., ed.
Preferred Shelf Number 
P 291 S8 1972- V.1
Format: 
Availability 
Beytepe Library~5
Available:
Copies:
2. 
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:
3. 
Cover image for Natural language processing and computational linguistics 2 : semantics, discourse and applications
Natural language processing and computational linguistics 2 : semantics, discourse and applications
Author 
Kurdi, Mohamed Zakaria, author.
Preferred Shelf Number 
QA76.9 .N38
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119419686
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Semantic theory
Semantic theory
Author 
Kempson, Ruth M.
Preferred Shelf Number 
P 325 K44 1977
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Machine Learning and Knowledge Extraction First IFIP TC 5, WG 8.4, 8.9, 12.9 International Cross-Domain Conference, CD-MAKE 2017, Reggio, Italy, August 29 - September 1, 2017, Proceedings
Machine Learning and Knowledge Extraction First IFIP TC 5, WG 8.4, 8.9, 12.9 International Cross-Domain Conference, CD-MAKE 2017, Reggio, Italy, August 29 - September 1, 2017, Proceedings
Author 
Holzinger, Andreas. editor. Kieseberg, Peter. editor. Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Weippl, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66808-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers
On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers
Author 
Ciuciu, Ioana. editor. Debruyne, Christophe. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Weichhart, Georg. editor. Bollen, Peter. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55961-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
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:
10. 
Cover image for Spatio-Temporal Graph Data Analytics
Spatio-Temporal Graph Data Analytics
Author 
Gunturi, Venkata M. V. author. Shekhar, Shashi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67771-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for The handbook of linguistics
The handbook of linguistics
Author 
Aronoff, Mark, editor. Rees-Miller, Janie, editor.
Preferred Shelf Number 
P121 .H324 2017 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119072256
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Real-time embedded systems
Real-time embedded systems
Author 
Wang, Jiacun, 1963- author.
Preferred Shelf Number 
TK7895 .E42
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action