Limit Search Results
Author
SpringerLink (Online service)
(52)
Aher, Martin. editor.
(1)
Alhadidi, Dima. author.
(1)
Argent, Robert M. editor.
(1)
Atmanspacher, Harald. editor.
(1)
Language
Subject
Semantics.
(3)
ANLAMBİLİM.
(2)
Artificial intelligence.
(2)
Computational intelligence.
(2)
Electronic Circuits and Systems.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
63 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Semantically Based Clinical TCM Telemedicine Systems
Semantically Based Clinical TCM Telemedicine Systems
Author 
Wong, Allan K. Y. author. Wong, Jackei H.K. author. Lin, Wilfred W. K. author. Dillon, Tharam S. author. Chang, Elizabeth J. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46024-5
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering
Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering
Author 
Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06773-5
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.
Author 
ten Cate, Balder. editor. Mileo, Alessandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519157.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22002-4
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Author 
Hinze, Ralf. editor. Voigtländer, Janis. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519158.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19797-5
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(519161.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519237.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46669-8
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Pattern Recognition Applications and Methods Third International Conference, ICPRAM 2014, Angers, France, March 6-8, 2014, Revised Selected Papers
Pattern Recognition Applications and Methods Third International Conference, ICPRAM 2014, Angers, France, March 6-8, 2014, Revised Selected Papers
Author 
Fred, Ana. editor. De Marsico, Maria. editor. Tabbone, Antoine. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519165.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25530-9
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
Author 
Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519168.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21042-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers
New Frontiers in Artificial Intelligence JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers
Author 
Murata, Tsuyoshi. editor. Mineshima, Koji. editor. Bekki, Daisuke. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519061.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48119-6
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for SVA: The Power of Assertions in SystemVerilog
SVA: The Power of Assertions in SystemVerilog
Author 
Cerny, Eduard. author. Dudani, Surrendra. author. Havlicek, John. author. Korchemny, Dmitry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07139-8
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Author 
Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518980.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19282-6
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Author 
Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519146.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action