Limit Search Results
Author
SpringerLink (Online service)
(39)
Doya, Kenji. editor.
(4)
Hirose, Akira. editor.
(4)
Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121
(4)
Lee, Minho. editor.
(4)
Language
Publication Date
-
Subject
Computer Science Logic and Foundations of Programming.
(15)
Theory of Computation.
(11)
Software engineering.
(10)
Artificial intelligence.
(8)
Application software.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
40 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Emotion Recognition using Speech Features
Emotion Recognition using Speech Features
Author 
Rao, K. Sreenivasa. author. Koolagudi, Shashidhar G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331689.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5143-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Speaker Classification I Fundamentals, Features, and Methods
Speaker Classification I Fundamentals, Features, and Methods
Author 
Müller, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74200-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Robust Emotion Recognition using Spectral and Prosodic Features
Robust Emotion Recognition using Spectral and Prosodic Features
Author 
Rao, K. Sreenivasa. author. Koolagudi, Shashidhar G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332015.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6360-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction COST Action 2102 International Conference, Patras, Greece, October 29-31, 2007. Revised Papers
Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction COST Action 2102 International Conference, Patras, Greece, October 29-31, 2007. Revised Papers
Author 
Esposito, Anna. editor. Bourbakis, Nikolaos G. editor. Avouris, Nikolaos. editor. Hatzilygeroudis, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70872-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Oracle Database 11g New Features for DBAs and Developers
Oracle Database 11g New Features for DBAs and Developers
Author 
Alapati, Sam R. author. Kim, Charles. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0469-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Category Theory Using Haskell An Introduction with Moggi and Yoneda
Category Theory Using Haskell An Introduction with Moggi and Yoneda
Author 
Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68538-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Maximal Planar Graph Theory and the Four-Color Conjecture
Maximal Planar Graph Theory and the Four-Color Conjecture
Author 
Xu, Jin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4745-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Maths For Computing A Beginner's Guide
Maths For Computing A Beginner's Guide
Author 
Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69234-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Multi-valued Logic for Decision-Making Under Uncertainty
Multi-valued Logic for Decision-Making Under Uncertainty
Author 
Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74762-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73709-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Restarting Automata The Standard Type of Restarting Automaton and Its Variants
Restarting Automata The Standard Type of Restarting Automaton and Its Variants
Author 
Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70094-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action