Limit Search Results
Author
SpringerLink (Online service)
(53)
Lopez, Cesar. author.
(9)
Abramsky, Samson. editor.
(2)
Aceto, Luca. editor.
(2)
Albers, Susanne. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(44)
Algorithm Analysis and Problem Complexity.
(30)
Mathematical Logic and Formal Languages.
(23)
Software engineering.
(20)
Logic design.
(19)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
54 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Author 
Schulte, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334980.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40627-0
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings
OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings
Author 
Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334990.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40698-0
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Author 
Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335003.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40787-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
Author 
Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335023.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40885-4
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings
Algorithmic Learning Theory 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings
Author 
Jain, Sanjay. editor. Munos, Rémi. editor. Stephan, Frank. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335030.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40935-6
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Author 
Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335046.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41036-9
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Author 
Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335072.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41202-8
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers
Combinatorial Algorithms 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers
Author 
Lecroq, Thierry. editor. Mouchard, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335202.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45278-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
Author 
Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335206.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45293-2
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
Author 
Mogavero, Fabio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336496.1)
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-95-4
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Guide to Programming and Algorithms Using R
Guide to Programming and Algorithms Using R
Author 
Ergül, Özgür. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331192.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5328-3
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
Author 
Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334724.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39071-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets