Limit Search Results
Author
Constanda, Christian. editor.
(4)
Widlund, Olof. editor.
(4)
Garau, Chiara. editor. (orcid)
(3)
Gervasi, Osvaldo. editor. (orcid)
(3)
Kahl, Wolfram. editor.
(3)
Language
Publication Date
-
Subject
Computer science.
(22)
Mathematics.
(18)
Artificial intelligence.
(11)
Computer science -- Mathematics.
(10)
Logic design.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
71 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
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:
20. 
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:
21. 
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:
22. 
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:
23. 
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:
24. 
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:
Select an Action