Limit Search Results
Author
SpringerLink (Online service)
(43)
Moura Oliveira, Paulo. editor. (orcid)0000-0003-4283-1243
(2)
Novais, Paulo. editor. (orcid)0000-0002-3549-0754
(2)
Reis, Luís Paulo. editor. (orcid)0000-0002-4709-1718
(2)
Adamatzky, Andrew. editor.
(1)
Language
Publication Date
-
Subject
Algorithms.
(43)
Application software.
(8)
Computer science.
(8)
Optical data processing.
(8)
Computers.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
44 Results Found Subscribe to search results
00000000DEFAULT
Print
37. 
Cover image for Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Author 
Alpuente, María. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20551-4
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Experimental Algorithms 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings
Experimental Algorithms 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings
Author 
Pardalos, Panos M. editor. Rebennack, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20662-7
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Digital Signal Processing in Power System Protection and Control
Digital Signal Processing in Power System Protection and Control
Author 
Rebizant, Waldemar. author. Szafran, Janusz. author. Wiszniewski, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-802-7
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
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:
41. 
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:
42. 
Cover image for Differential Evolution In Search of Solutions
Differential Evolution In Search of Solutions
Author 
Feoktistov, Vitaliy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36896-2
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for New Developments in Parsing Technology
New Developments in Parsing Technology
Author 
Bunt, Harry. editor. Carroll, John. editor. Satta, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2295-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for An introduction to computational learning theory
An introduction to computational learning theory
Author 
Kearns, Michael J. Vazirani, Umesh Virkumar.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267405
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets