Limit Search Results
Author
SpringerLink (Online service)
(67)
Huang, De-Shuang. editor.
(7)
Premaratne, Prashan. editor.
(6)
Hussain, Abir. editor.
(5)
Jin, Baohua. editor.
(5)
Language
Publication Date
-
Subject
Machine theory.
(20)
Electronic books.
(9)
Sequential machine theory.
(8)
COMPUTERS -- Hardware -- General.
(5)
COMPUTERS -- Machine Theory.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
128 Results Found Subscribe to search results
000000000000DEFAULT
Print
73. 
Cover image for Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Author 
Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519043.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22102-1
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II
Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II
Author 
Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518913.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46803-6
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I
Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I
Author 
Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519188.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15702-3
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Knowledge Science, Engineering and Management 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings
Knowledge Science, Engineering and Management 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings
Author 
Zhang, Songmao. editor. (orcid) Wirsing, Martin. editor. Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519231.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25159-2
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Clinical Systems Neuroscience
Clinical Systems Neuroscience
Author 
Kansaku, Kenji. editor. Cohen, Leonardo G. editor. Birbaumer, Niels. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520120.1)
Electronic Access 
https://doi.org/10.1007/978-4-431-55037-2
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Formal languages, automata and numeration systems. 1, Introduction to combinatorics on words
Formal languages, automata and numeration systems. 1, Introduction to combinatorics on words
Author 
Rigo, Michel.
Preferred Shelf Number 
ONLINE(342165.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781119008200
John Wiley http://dx.doi.org/10.1002/9781119042853
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Data clustering : algorithms and applications
Data clustering : algorithms and applications
Author 
Aggarwal, Charu C., editor of compilation. Reddy, Chandan K., 1980- editor of compilation.
Preferred Shelf Number 
ONLINE(342865.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Modeling and analysis of communicating systems
Modeling and analysis of communicating systems
Author 
Groote, J. F. (Jan Friso), 1965-, author. Mousavi, Mohammad Reza, 1978-, author. IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number 
ONLINE(364967.1)
Electronic Access 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6895438
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Multi-agent machine learning : a reinforcement approach
Multi-agent machine learning : a reinforcement approach
Author 
Schwartz, Howard M., author.
Preferred Shelf Number 
ONLINE(341941.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118362082.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1775207
ebrary http://site.ebrary.com/id/10921255
John Wiley http://dx.doi.org/10.1002/9781118884614
MyiLibrary http://www.myilibrary.com?id=640727
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for The Cambridge handbook of multimedia learning
The Cambridge handbook of multimedia learning
Author 
Mayer, Richard E., 1947- editor.
Preferred Shelf Number 
LB1028.5 .C283 2014
Electronic Access 
https://doi.org/10.1017/CBO9781139547369
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Paradoxes in scientific inference
Paradoxes in scientific inference
Author 
Chang, Mark.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Automatic defense against zero-day polymorphic worms in communication networks
Automatic defense against zero-day polymorphic worms in communication networks
Author 
Mohammed, Mohssen, 1982- Pathan, Al-Sakib Khan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets