A Master Class on Recursion von Verhoeff, Tom

Volltext

The spurs of D. H. Lehmer von Verhoeff, Tom

Volltext

The spurs of D. H. Lehmer: Hamiltonian paths in neighbor-swap graphs of permutations von Verhoeff, Tom

Volltext

The IOI is (not) a Science Olympiad von Verhoeff, Tom

Volltext

Settling Multiple Debts Efficiently: An Invitation to Computing Science von Verhoeff, Tom

Volltext

Exploration of modularity and reusability of domain-specific languages: an expression DSL in MetaMod von Şutîi, Ana Maria, Brand, Mark van den, Verhoeff, Tom

Volltext

A Survey of Open Source Multiphysics Frameworks in Engineering von Babur, Önder, Smilauer, Vit, Verhoeff, Tom, van den Brand, Mark

Volltext

Finding the median under IOI condition von HORVÁTH, Gyula, VERHOEFF, Tom

Volltext

A Master Class Software Engineering for Secondary Education von Verhoeff, Tom

Volltext

Handling Sub-symmetry in Integer Programming using Activation Handlers von Hojny, Christopher, Verhoeff, Tom, Wessel, Sten

Volltext bestellen

Numerical Difficulties in Pre-University Informatics Education and Competitions von Verhoeff, Tom, Horváth, Gyula

Volltext

Delay-insensitive codes-An overview von VERHOEFF, T

Volltext

Handling Sub-symmetry in Integer Programming using Activation Handlers von Hojny, Christopher, Verhoeff, Tom, Wessel, Sten

Volltext

An updated table of minimum-distance bounds for binary linear codes von Brouwer, A.E., Verhoeff, T.

Volltext

Handling Sub-symmetry in Integer Programming using Activation Handlers von Hojny, Christopher, Verhoeff, Tom, Wessel, Sten

Volltext

An updated table of minimum-distance bounds for binary linear codes von Verhoeff, T.

Volltext

Finding the Median under IOI Conditions von Verhoeff, Tom, Horváth, Gyula

Volltext

A Generic Solution for Syntax-Driven Model Co-evolution von van den Brand, Mark, Protić, Zvezdan, Verhoeff, Tom

Volltext

Halting Still Standing – Programs versus Specifications von Huizing, Cornelis, Kuiper, Ruurd, Verhoeff, Tom

Volltext

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy,... von Bernardo, Marco, Cortellessa, Vittorio, Pierantonio, Alfonso

Volltext