Limit Search Results
Author
SpringerLink (Online service)
(87)
Wiley InterScience (Online service)
(13)
Constanda, Christian. editor.
(4)
Nguyen, Ngoc Thanh. editor.
(4)
Widlund, Olof. editor.
(4)
Language
Publication Date
-
Subject
Computer science.
(23)
Mathematics.
(19)
Artificial intelligence.
(13)
Formal methods (Computer science)
(13)
Computer science -- Mathematics.
(12)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
206 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Linguistic Science in the Nineteenth Century : Methods and Results
Linguistic Science in the Nineteenth Century : Methods and Results
Author 
Pedersen, Holger, author. Spargo, John Webster.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.4159/harvard.9780674184381
https://www.degruyter.com/isbn/9780674184381
Cover https://www.degruyter.com/cover/covers/9780674184381.jpg
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Modernization Science The Principles and Methods of National Advancement
Modernization Science The Principles and Methods of National Advancement
Author 
He, Chuanqi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25459-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for You want me to teach what? sure-fire methods for teaching physical science and math
You want me to teach what? sure-fire methods for teaching physical science and math
Author 
LaFave, Norman J. (Norman Joseph), 1958-
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=464777
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
Author 
Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25929-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
Author 
Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28525-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
Author 
Pattinson, Dirk. editor. Schröder, Lutz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32784-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
Author 
Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33314-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for The handbook of work analysis methods, systems, applications and science of work measurement in organizations
The handbook of work analysis methods, systems, applications and science of work measurement in organizations
Author 
Wilson, Mark A. (Mark Alan), 1952-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
Author 
Swart, Harrie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21070-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Conducting research in conservation social science methods and practice
Conducting research in conservation social science methods and practice
Author 
Newing, Hellen. Watson, C. W. Puri, R. K. Eagle, C. M.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Domain Decomposition Methods in Science and Engineering XIX
Domain Decomposition Methods in Science and Engineering XIX
Author 
Huang, Yunqing. editor. Kornhuber, Ralf. editor. Widlund, Olof. editor. Xu, Jinchao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11304-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Integral Methods in Science and Engineering Computational and Analytic Aspects
Integral Methods in Science and Engineering Computational and Analytic Aspects
Author 
Constanda, Christian. editor. Harris, Paul J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-8238-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action