Matematik til informatikfag

Gem søgning

Formal Methods for Multicore Programming

Formal Methods for Multicore Programming View_Book

Computer Science - Theory and Applications

Computer Science - Theory and Applications View_Book

Modern Fortran Explained

Mr Malcolm Cohen, Dr John Reid, Dr Reinhold of the Bavarian Academy of Sciences Bader, Mr Michael Metcalf Modern Fortran Explained View_Book

Mathematical Foundations of Software Engineering

Gerard O'Regan Mathematical Foundations of Software Engineering View_Book

Codes, Cryptology, and Information Security

Codes, Cryptology, and Information Security View_Book

Chinese Remainder Theorem: Applications In Computing, Coding, Cryptography

Dingyi Pei, Arto Salomaa, Cunsheng Ding Chinese Remainder Theorem: Applications In Computing, Coding, Cryptography View_Book

Math For Security

Daniel Reilly Math For Security View_Book

Adolescent Brain Cognitive Development Neurocognitive Prediction

Adolescent Brain Cognitive Development Neurocognitive Prediction View_Book

Logic, Rationality, and Interaction

Logic, Rationality, and Interaction View_Book

Rigorous Methods for Software Construction and Analysis

Rigorous Methods for Software Construction and Analysis View_Book

Computer Algebra With Symbolicc++

Willi-Hans Steeb, Yorick Hardy, Kiat Shi Tan Computer Algebra With Symbolicc++ View_Book

Finite Difference Methods,Theory and Applications

Finite Difference Methods,Theory and Applications View_Book

Mathematics of Program Construction

Mathematics of Program Construction View_Book

Integration of AI and OR Techniques in Constraint Programming

Integration of AI and OR Techniques in Constraint Programming View_Book

Information Security and Cryptology - ICISC 2014

Information Security and Cryptology - ICISC 2014 View_Book

Computer Algebra and Polynomials

Computer Algebra and Polynomials View_Book

Mathematical Structures for Computer Graphics

Steven J. Janke Mathematical Structures for Computer Graphics View_Book

Rewriting and Typed Lambda Calculi

Rewriting and Typed Lambda Calculi View_Book

Principles of Distributed Systems

Principles of Distributed Systems View_Book

Automata, Languages, and Programming

Automata, Languages, and Programming View_Book

Advances in Cryptology – CRYPTO 2013

Advances in Cryptology – CRYPTO 2013 View_Book

SOFSEM 2013: Theory and Practice of Computer Science

SOFSEM 2013: Theory and Practice of Computer Science View_Book

Energy Minimization Methods in Computer Vision and Pattern Recognition

Energy Minimization Methods in Computer Vision and Pattern Recognition View_Book

LATIN 2018: Theoretical Informatics

LATIN 2018: Theoretical Informatics View_Book

Coding Theory and Applications

Coding Theory and Applications View_Book

Theoretical Computer Science and Discrete Mathematics

Theoretical Computer Science and Discrete Mathematics View_Book

High Performance Computing for Computational Science – VECPAR 2016

High Performance Computing for Computational Science – VECPAR 2016 View_Book

Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging

Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging View_Book

Foundational and Practical Aspects of Resource Analysis

Foundational and Practical Aspects of Resource Analysis View_Book

Theoretical Aspects of Computing – ICTAC 2016

Theoretical Aspects of Computing – ICTAC 2016 View_Book