Search Results - "Maths for computer scientists" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Loading…

Foundations of Software Science and Computation Structures: 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Year of Publication 2025

Get full text

eBook

Loading…

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

by Kobayashi, Naoki, Worrell, James
Year of Publication 2024

Get full text

eBook

Loading…

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

by Kobayashi, Naoki, Worrell, James
Year of Publication 2024

Get full text

eBook

Loading…

Auf metrischen und differentialgeometrischen Konzepten basierende neue mathematische Algorithmen zur Sensordatenfusion mit Anwendungen in der Faser-Bragg-Gitter-Formsensorik

by Pauer, Hendrikje
Year of Publication 2021

Get full text

eBook

Loading…

The finite element method : a practical course

by Liu, G. R., Quek, S. S.
Year of Publication 2003

Get full text

eBook Book

Loading…

Information Security: 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings

by Bishop, Matt, Nascimento, Anderson C. a
Year of Publication 2016

Get full text

eBook Conference Proceeding

Loading…

Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers

by Silva, Alexandra, Staton, Sam, Sutton, Peter, Umbach, Carla
Year of Publication 2019

Get full text

eBook

Loading…

Imaginary Mathematics for Computer Science

by Vince, John
Year of Publication 2018

Get full text

eBook Book

Loading…

Tips and Tricks for Building Bayesian Networks for Scoring Game-Based Assessments

by Almond, Russell G.
Published in Advanced Methodologies for Bayesian Networks (2015)

Get full text

Book Chapter

Loading…

Transfer Operators, Endomorphisms, and Measurable Partitions

by Bezuglyi, Sergey
Year of Publication 2018

Get full text

eBook Book

Loading…

Learning Maximum Weighted (k+1)-Order Decomposable Graphs by Integer Linear Programming

by Pérez, Aritz, Blum, Christian, Lozano, Jose A.
Published in Probabilistic Graphical Models (2014)

Get full text

Book Chapter

Loading…

Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

by Black, Elizabeth, Modgil, Sanjay, Oren, Nir
Year of Publication 2018

Get full text

eBook

Loading…

The M/GI/ System Subject to Semi-Markovian Random Environment

Published in Information Technologies and Mathematical Modelling - Queueing Theory and Applications (2015)

Get full text

Book Chapter

Loading…

Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging: MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers

by Müller, Henning, Kelm, B. Michael, Arbel, Tal, Cai, Weidong, Cardoso, M. Jorge, Langs, Georg, Menze, Bjoern, Metaxas, Dimitris, Montillo, Albert, Wells III, William M
Year of Publication 2017

Get full text

eBook

Loading…

Distributed and Sequential Algorithms for Bioinformatics

by Erciyes, Kayhan
Year of Publication 2015

Get full text

eBook

Loading…

Random Walks, Random Fields, and Disordered Systems

by Bovier, Anton
Year of Publication 2015

Get full text

eBook Book

Loading…

Machine Learning and Interpretation in Neuroimaging: 4th International Workshop, MLINI 2014, Held at NIPS 2014, Montreal, QC, Canada, December 13, 2014, Revised Selected Papers

by Rish, Irina, Langs, Georg, Wehbe, Leila, Cecchi, Guillermo, Chang, Kai-min Kevin, Murphy, Brian
Year of Publication 2016

Get full text

eBook

Loading…

Graph Structures for Knowledge Representation and Reasoning: 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers

by Croitoru, Madalina, Marquis, Pierre, Rudolph, Sebastian, Stapelton, Gem
Year of Publication 2016

Get full text

eBook

Loading…

Polynomial Real Root Isolation by Means of Root Radii Approximation

by Pan, Victor Y., Zhao, Liang
Published in Computer Algebra in Scientific Computing (2015)

Get full text

Book Chapter

Loading…

Performance Analysis and Statistical Modeling of the Single-Server Non-reliable Retrial Queueing System with a Threshold-Based Recovery

by Efrosinin, Dmitry, Sztrik, Janos
Published in Information Technologies and Mathematical Modelling - Queueing Theory and Applications (01.01.2015)

Get full text

Book Chapter