Deskriptivna teorija složenosti : verifikacija modela : magistarski rad

Autor: Botinčan, Matko
Impresum 2005

Anomalies in distributed branch-and-cut solving of the capacitated vehicle routing problem

Autor: Botinčan, Matko
Matična publikacija: ITI ... (Tisak) (2006)

A generic C++ library for solving path problems

Autor: Botinčan, Matko
Matična publikacija: CIT. Journal of computing and information technology (2004)

An enhancement of futures runtime in presence of cache memory hierarchy

Autor: Botinčan, Matko
Matična publikacija: CIT. Journal of computing and information technology (2008)

AsmL specification and verification of lamport's Bakery algorithm

Autor: Botinčan, Matko
Matična publikacija: CIT. Journal of computing and information technology (2005)

Lock-free stack and queue : Java vs .NET

Autor: Botinčan, Matko
Matična publikacija: ITI ... (Tisak) (2007)

Proceedings of the 10th International Conference on Operational Research - KOI 2004 : Trogir, Croatia, September 22-24, 2004

Autor: Scitovski, Rudolf, Jukić, Dragan
Impresum 2005