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
1117. 
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:
1118. 
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:
1119. 
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:
1120. 
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:
1121. 
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:
1122. 
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:
1123. 
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:
1124. 
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:
1125. 
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:
1126. 
Cover image for Children and Emotion : New Insights into Developmental Affective Science
Children and Emotion : New Insights into Developmental Affective Science
Author 
Lagattuta, K.H., editor.
Preferred Shelf Number 
XX(548726.1)
Electronic Access 
https://karger.com/book/doi/10.1159/isbn.978-3-318-02489-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1127. 
Cover image for Stochastic Chemical Kinetics Theory and (Mostly) Systems Biological Applications
Stochastic Chemical Kinetics Theory and (Mostly) Systems Biological Applications
Author 
Érdi, Péter. author. Lente, Gábor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-0387-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1128. 
Cover image for Surface Microscopy with Low Energy Electrons
Surface Microscopy with Low Energy Electrons
Author 
Bauer, Ernst. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-0935-3
Format: 
Availability 
Online Library~1
Available:
Copies: