Limit Search Results
Author
SpringerLink (Online service)
(6)
Taylor and Francis.
(3)
Boulanger, Jean-Louis, editor.
(2)
IEEE Xplore (Online Service), distributor.
(2)
MIT Press, publisher.
(2)
Language
Subject
Electronic books.
(5)
Artificial intelligence.
(2)
Computer logic.
(2)
Formal methods (Computer science)
(2)
Mathematical logic.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
32 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
Author 
Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14896-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
Author 
Höfner, Peter. editor. Jipsen, Peter. editor. Kahl, Wolfram. editor. Müller, Martin Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06251-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Author 
Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44124-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Monte Carlo simulation and rasampling : methods for social science
Monte Carlo simulation and rasampling : methods for social science
Author 
Carsey, Thomas M. Harden, Jeffrey J.
Preferred Shelf Number 
HA29 C33 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Science in elementary education methods, concepts and inquiries
Science in elementary education methods, concepts and inquiries
Author 
Peters, Joseph M. Stout, David L.
Preferred Shelf Number 
LB1585 G4 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Advanced Computational Methods for Knowledge Engineering Proceedings of the 2nd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2014)
Advanced Computational Methods for Knowledge Engineering Proceedings of the 2nd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2014)
Author 
Do, Tien. editor. Thi, Hoai An Le. editor. Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06569-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Techniques for virtual palaeontology
Techniques for virtual palaeontology
Author 
Sutton, M. D. (Mark D.), author. Rahman, Imran A., author. Garwood, Russell J., author.
Preferred Shelf Number 
ONLINE(341605.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118591192
123Library.org http://www.123library.org/book_details/?id=114868
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Using R for Numerical Analysis in Science and Engineering
Using R for Numerical Analysis in Science and Engineering
Author 
Bloomfield, Victor A., author. Taylor and Francis.
Preferred Shelf Number 
 Q183.9
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Growth Curve Analysis and Visualization Using R
Growth Curve Analysis and Visualization Using R
Author 
Mirman, Daniel, author. Taylor and Francis.
Preferred Shelf Number 
QH324.2
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Ultra performance liquid chromatography mass spectrometry : evaluation and applications in food analysis
Ultra performance liquid chromatography mass spectrometry : evaluation and applications in food analysis
Author 
Naushad, Mu, editor. of c ompilation. Khan, Mohammad Rizwan, editor. of compilation.
Preferred Shelf Number 
TX548.2 .L55 U58 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Aquifer Systems Management: Darcys Legacy in a World of Impending Water Shortage : Selected Papers on Hydrogeology 10
Aquifer Systems Management: Darcys Legacy in a World of Impending Water Shortage : Selected Papers on Hydrogeology 10
Author 
Chery, Laurence, editor. de Marsily, Ghislain, editor.
Preferred Shelf Number 
GB1199 .A685 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Multi-agent machine learning : a reinforcement approach
Multi-agent machine learning : a reinforcement approach
Author 
Schwartz, Howard M., author.
Preferred Shelf Number 
ONLINE(341941.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118362082.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1775207
ebrary http://site.ebrary.com/id/10921255
John Wiley http://dx.doi.org/10.1002/9781118884614
MyiLibrary http://www.myilibrary.com?id=640727
Format: 
Availability 
Online Library~1
Available:
Copies: