Search | bibliotek.dk

Subscribe to Search feed

Refine your search

Search result

SOFSEM 2021, theory and practice of computer science : 47th international conference on current trends in theory and practice of computer science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021 : proceedings (engelsk)

Tomas Bures

Concise guide to quantum computing : algorithms, exercises, and implementations (engelsk)

Sergei Kurgalin

Attractor Dimension Estimates for Dynamical Systems: Theory and Computation : Dedicated to Gennady Leonov (engelsk)

Nikolay Kuznetsov

Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings (engelsk)

Variable Domain-specific Software Languages with DjDSL : Design and Implementation (engelsk)

Stefan Sobernig

Graph Transformation for Software Engineers : With Applications to Model-Based Development and Domain-Specific Language Engineering (engelsk)

Reiko Heckel

Universal time-series forecasting with mixture predictors (engelsk)

Daniil Ryabko

Construction of Fundamental Data Structures for Strings (engelsk)

Felipe A. Louza

Understanding Programming Languages (engelsk)

Cliff B. Jones

A Guided Tour of Artificial Intelligence Research : Volume II: AI Algorithms (engelsk)