Limit Search Results
Author
SpringerLink (Online service)
(72)
Pardalos, Panos M. editor.
(4)
Dueck, Gunter. author.
(3)
Köppen, Mario. editor.
(3)
Sako, Kazue. editor.
(3)
Language
Publication Date
-
Subject
Information systems.
(39)
Computer science.
(31)
Artificial intelligence.
(21)
Engineering.
(19)
Engineering mathematics.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
72 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Author 
Kauers, Manuel. editor. Kerber, Manfred. editor. Miner, Robert. editor. Windsteiger, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73086-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Combinatorial and Algorithmic Aspects of Networking 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised Papers
Combinatorial and Algorithmic Aspects of Networking 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised Papers
Author 
Janssen, Jeannette. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77294-1
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM’06 Conference held in Ustrón, Poland, June 19-22, 2006
Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM’06 Conference held in Ustrón, Poland, June 19-22, 2006
Author 
Kłopotek, Mieczysław A. editor. Wierzchoń, Sławomir T. editor. Trojanowski, Krzysztof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-33521-8
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Author 
Kohlhase, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11618027
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Soft Computing in Ontologies and Semantic Web
Soft Computing in Ontologies and Semantic Web
Author 
Ma, Zongmin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-33473-6
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Das Sintflutprinzip Ein Mathematik-Roman
Das Sintflutprinzip Ein Mathematik-Roman
Author 
Dueck, Gunter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-33874-8
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Applications of Soft Computing Recent Trends
Applications of Soft Computing Recent Trends
Author 
Tiwari, Ashutosh. editor. Roy, Rajkumar. editor. Knowles, Joshua. editor. Avineri, Erel. editor. Dahal, Keshav. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-36266-1
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings
Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings
Author 
Borwein, Jonathan M. editor. Farmer, William M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11812289
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy
Author 
Kohlhase, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11826095
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Combinatorial and Algorithmic Aspects of Networking Third Workshop, CAAN 2006, Chester, UK, July 2, 2006. Revised Papers
Combinatorial and Algorithmic Aspects of Networking Third Workshop, CAAN 2006, Chester, UK, July 2, 2006. Revised Papers
Author 
Erlebach, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11922377
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Production Planning by Mixed Integer Programming
Production Planning by Mixed Integer Programming
Author 
Pochet, Yves. author. Wolsey, Laurence A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-33477-7
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Foundations and Applications of Mis A Model Theory Approach
Foundations and Applications of Mis A Model Theory Approach
Author 
Takahara, Yasuhiko. author. Liu, Yongmei. author. Klir, George J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-35840-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action