Limit Search Results
Author
Language
Publication Date
-
Subject
Electronic books.
(5)
COMPUTERS.
(4)
Programming languages (Electronic computers) -- Semantics.
(4)
sémantique.
(4)
Logic programming -- Congresses.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
28 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Semantic web for effective healthcare systems
Semantic web for effective healthcare systems
Author 
Jain, Vishal, editor.
Preferred Shelf Number 
TK5105.88815
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119764175
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Social network analysis : theory and applications
Social network analysis : theory and applications
Author 
Galety, Mohammad Gouse, editor.
Preferred Shelf Number 
HM742 .S63 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119836759
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Tools, languages, methodologies for representing semantics on the web of things
Tools, languages, methodologies for representing semantics on the web of things
Author 
Mehta, Shikha, editor.
Preferred Shelf Number 
TK1505.88815
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394171460
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Data science with semantic technologies : theory, practice, and application
Data science with semantic technologies : theory, practice, and application
Author 
Patel, Archana, editor. Debnath, Narayan C., editor. Bhusan, Bharat, editor.
Preferred Shelf Number 
QA76.5913 .D38 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119865339
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Concepts and semantics of programming languages. 1 : a semantical approach with OCaml and Python
Concepts and semantics of programming languages. 1 : a semantical approach with OCaml and Python
Author 
Hardin, Therese. Jaume, Mathieu. Pessaux, François. Donzeau-Gouge, Véronique.
Preferred Shelf Number 
QA76.7
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119824121
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java
Concepts and semantics of programming languages 2 : modular and object-oriented constructs with Ocaml, Python, C++, Ada and Java
Author 
Hardin, Thérèse, author. Jaume, Mathieu, author. Pessaux, Francois, author. Donzeau-Gouge, Véronique, author.
Preferred Shelf Number 
QA76.7
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119851196
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Formal semantics in modern type theories
Formal semantics in modern type theories
Author 
Chatzikyriakidis, Stergios, author. Luo, Zhaohui, author.
Preferred Shelf Number 
QA76.5913
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119489252
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Wittgenstein, meaning and mind
Wittgenstein, meaning and mind
Author 
Hacker, P. M. S. (Peter Michael Stephan), author.
Preferred Shelf Number 
B3376 .W563
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118951781
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118951835
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for WordNet an electronic lexical database
WordNet an electronic lexical database
Author 
Fellbaum, Christiane.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267389
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Author 
Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Algebraic semantics of imperative programs
Algebraic semantics of imperative programs
Author 
Goguen, Joseph. Malcolm, Grant.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Logic programming proceedings of the eleventh International Conference on Logic Programming
Logic programming proceedings of the eleventh International Conference on Logic Programming
Author 
Van Hentenryck, Pascal.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351
Format: 
Availability 
Online Library~1
Available:
Copies: