Limit Search Results
Author
SpringerLink (Online service)
(87)
Wiley InterScience (Online service)
(13)
Taylor and Francis.
(7)
Constanda, Christian. editor.
(4)
Nguyen, Ngoc Thanh. editor.
(4)
Language
Publication Date
-
Subject
Computer science.
(23)
Object-oriented methods (Computer science)
(22)
Mathematics.
(21)
Electronic books.
(16)
Formal methods (Computer science)
(14)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
400 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Author 
Glück, Roland. editor. Santocanale, Luigi. editor. Winter, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28083-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2
Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21438-7
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Handbook of Convex Optimization Methods in Imaging Science
Handbook of Convex Optimization Methods in Imaging Science
Author 
Monga, Vishal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61609-4
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Scattering methods and their application in colloid and interface science
Scattering methods and their application in colloid and interface science
Author 
Glatter, Otto.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128135808
ScienceDirect http://www.sciencedirect.com/science/book/9780128135808
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Author 
Desharnais, Jules. editor. (orcid)0000-0002-4780-2698 Guttmann, Walter. editor. (orcid)0000-0003-2969-1688 Joosten, Stef. editor. (orcid)0000-0001-8308-0189 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02149-8
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Laboratory statistics : methods in chemistry and health science
Laboratory statistics : methods in chemistry and health science
Author 
Kallner, Anders, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128143483
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers
Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers
Author 
Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00389-0
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Advanced Computational Methods for Knowledge Engineering Proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017
Advanced Computational Methods for Knowledge Engineering Proceedings of the 5th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2017
Author 
Le, Nguyen-Thinh. editor. van Do, Tien. editor. Nguyen, Ngoc Thanh. editor. Thi, Hoai An Le. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61911-8
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
Author 
Kahl, Wolfram. editor. Winter, Michael. editor. Oliveira, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24704-5
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Advanced Computational Methods for Knowledge Engineering Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015
Advanced Computational Methods for Knowledge Engineering Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015
Author 
Le Thi, Hoai An. editor. Nguyen, Ngoc Thanh. editor. Do, Tien Van. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17996-4
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Mathematical Problems in Data Science Theoretical and Practical Methods
Mathematical Problems in Data Science Theoretical and Practical Methods
Author 
Chen, Li M. author. Su, Zhixun. author. Jiang, Bo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25127-1
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Nano/Micro Science and Technology in Biorheology Principles, Methods, and Applications
Nano/Micro Science and Technology in Biorheology Principles, Methods, and Applications
Author 
Kita, Rio. editor. Dobashi, Toshiaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-54886-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action