Limit Search Results
Author
SpringerLink (Online service)
(71)
Wiley InterScience (Online service)
(13)
Constanda, Christian. editor.
(4)
Widlund, Olof. editor.
(4)
Dorst, Leo, 1958-
(3)
Language
Publication Date
-
Subject
Computer science.
(23)
Object-oriented methods (Computer science)
(22)
Mathematics.
(20)
Formal methods (Computer science)
(14)
Computer science -- Mathematics.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
309 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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:
50. 
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:
51. 
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:
52. 
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:
53. 
Cover image for Activating assessment for all students differentiated instruction and informative methods in math and science
Activating assessment for all students differentiated instruction and informative methods in math and science
Author 
Hamm, Mary.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=522078
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Handbook of Coherent-Domain Optical Methods Biomedical Diagnostics, Environmental Monitoring, and Materials Science
Handbook of Coherent-Domain Optical Methods Biomedical Diagnostics, Environmental Monitoring, and Materials Science
Author 
Tuchin, Valery V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331699.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5176-1
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Integral Methods in Science and Engineering Progress in Numerical and Analytic Techniques
Integral Methods in Science and Engineering Progress in Numerical and Analytic Techniques
Author 
Constanda, Christian. editor. Bodmann, Bardo E.J. editor. Velho, Haroldo F. de Campos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332355.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-7828-7
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Author 
Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.
Preferred Shelf Number 
ONLINE(334106.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36046-6
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Food Consumer Science Theories, Methods and Application to the Western Balkans
Food Consumer Science Theories, Methods and Application to the Western Balkans
Author 
Barjolle, Dominique. editor. Gorton, Matthew. editor. Milošević Đorđević, Jasna. editor. Stojanović, Žaklina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336115.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5946-6
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Mathematical and statistical methods in food science and technology
Mathematical and statistical methods in food science and technology
Author 
Granato, Daniel, editor of compilation. Ares, Gaston, editor of compilation.
Preferred Shelf Number 
ONLINE(341539.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1584990
John Wiley http://dx.doi.org/10.1002/9781118434635
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Domain Decomposition Methods in Science and Engineering XX
Domain Decomposition Methods in Science and Engineering XX
Author 
Bank, Randolph. editor. Holst, Michael. editor. Widlund, Olof. editor. Xu, Jinchao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333957.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35275-1
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
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:
Select an Action