Limit Search Results
Author
SpringerLink (Online service)
(2176)
Kim, Tai-hoon. editor.
(34)
Yung, Moti. editor.
(25)
Gervasi, Osvaldo. editor.
(22)
Apduhan, Bernady O. editor.
(20)
Language
Publication Date
-
2011
(346)
2010
(316)
2012
(308)
2013
(222)
2005
(176)
Subject
Computer science.
(2011)
Computer Communication Networks.
(873)
Artificial intelligence.
(857)
Software engineering.
(554)
Computational complexity.
(545)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2189 Results Found Subscribe to search results
000000000000DEFAULT
Print
1345. 
Cover image for Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Author 
Barringer, Howard. editor. Falcone, Ylies. editor. Finkbeiner, Bernd. editor. Havelund, Klaus. editor. Lee, Insup. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16612-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1346. 
Cover image for Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings
Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings
Author 
Brennan, Rob. editor. Fleck, Joel. editor. Meer, Sven. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16836-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1347. 
Cover image for Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010, Sao Paulo, Brazil, November 8-11, 2010. Proceedings
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010, Sao Paulo, Brazil, November 8-11, 2010. Proceedings
Author 
Bloch, Isabelle. editor. Cesar, Roberto M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16687-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1348. 
Cover image for Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part III
Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part III
Author 
Pan, Jeng-Shyang. editor. Chen, Shyi-Ming. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16696-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1349. 
Cover image for Mathematica in Action Problem Solving Through Visualization and Computation
Mathematica in Action Problem Solving Through Visualization and Computation
Author 
Wagon, Stan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75477-2
Format: 
Availability 
Online Library~1
Available:
Copies:
1350. 
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:
1351. 
Cover image for Handbook of Floating-Point Arithmetic
Handbook of Floating-Point Arithmetic
Author 
Muller, Jean-Michel. author. Brisebarre, Nicolas. author. de Dinechin, Florent. author. Jeannerod, Claude-Pierre. author. Lefèvre, Vincent. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4705-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1352. 
Cover image for Genetic Programming Theory and Practice VII
Genetic Programming Theory and Practice VII
Author 
Riolo, Rick. editor. O'Reilly, Una-May. editor. McConaghy, Trent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1626-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1353. 
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:
1354. 
Cover image for Mathematica®: A Problem-Centered Approach
Mathematica®: A Problem-Centered Approach
Author 
Hazrat, Roozbeh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-251-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1355. 
Cover image for Network Science Complexity in Nature and Technology
Network Science Complexity in Nature and Technology
Author 
Estrada, Ernesto. editor. Fox, Maria. editor. Higham, Desmond J. editor. Oppo, Gian-Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-396-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1356. 
Cover image for Notes on Introductory Combinatorics
Notes on Introductory Combinatorics
Author 
Pólya, George. author. Tarjan, Robert E. author. Woods, Donald R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4953-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action