Nie jesteś zalogowany | Zaloguj się

PL /
EN

Konferencja: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013)

Liczba publikacji: 1

2013

Sławomir Lasota , Piotr Hofman , Richard Mayr, Patrick Totzke, Simulation Over One-counter Nets is PSPACE-Complete, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013), 2013. Zobacz w PBN

Fundusze Europejskie

Europejski Fundusz Społeczny

Inicjatywa doskonałości – uczelnia badawcza

HR Excellence in Research

Zintegrowany Program Rozwoju

Narodowe Centrum Nauki

Uniwersytecki System Obsługi Studiów

Internetowa Rejestracja Kandydatów MOST

Erasmus Without Paper

Uniwersytecki System Obsługi Studiów

Internetowa Rejestracja Kandydatów MOST

Erasmus Without Paper