Limit Search Results
Author
SpringerLink (Online service)
(592)
Du, Ding-Zhu. editor.
(9)
Rießinger, Thomas. author.
(8)
Apduhan, Bernady O. editor.
(6)
Falcão, Maria Irene. editor.
(6)
Language
Publication Date
-
2014
(175)
2019
(128)
2006
(43)
2012
(35)
2005
(34)
Subject
Computer science.
(186)
Artificial intelligence.
(149)
Computer software.
(143)
Computational complexity.
(115)
Mathematics.
(100)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
592 Results Found Subscribe to search results
000000000000DEFAULT
Print
61. 
Cover image for Natural Deduction, Hybrid Systems and Modal Logics
Natural Deduction, Hybrid Systems and Modal Logics
Author 
Indrzejczak, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8785-0
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Semantics-Oriented Natural Language Processing Mathematical Models and Algorithms
Semantics-Oriented Natural Language Processing Mathematical Models and Algorithms
Author 
Fomichov A., Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-72926-8
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Linear Optimization The Simplex Workbook
Linear Optimization The Simplex Workbook
Author 
Hurlbert, Glenn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-79148-7
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Mathematics for Multimedia
Mathematics for Multimedia
Author 
Wickerhauser, Mladen Victor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4880-0
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for The P=NP Question and Gödel’s Lost Letter
The P=NP Question and Gödel’s Lost Letter
Author 
Lipton, Richard J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7155-5
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Algorithms and Programming Problems and Solutions
Algorithms and Programming Problems and Solutions
Author 
Shen, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1748-5
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Random Trees An Interplay between Combinatorics and Probability
Random Trees An Interplay between Combinatorics and Probability
Author 
Drmota, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-75357-6
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Algorithmic Composition Paradigms of Automated Music Generation
Algorithmic Composition Paradigms of Automated Music Generation
Author 
Nierhaus, Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-75540-2
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings
Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings
Author 
Vahrenhold, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02011-7
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Mathematik für Ingenieure Eine anschauliche Einführung für das praxisorientierte Studium
Mathematik für Ingenieure Eine anschauliche Einführung für das praxisorientierte Studium
Author 
Rießinger, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89206-9
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Übungsaufgaben zur Mathematik für Ingenieure Mit durchgerechneten und erklärten Lösungen
Übungsaufgaben zur Mathematik für Ingenieure Mit durchgerechneten und erklärten Lösungen
Author 
Rießinger, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89210-6
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Author 
Hanus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00515-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action