Kategoria:Teoretyczne konferencje informatyczne
Strony w kategorii „Teoretyczne konferencje informatyczne”
M
- Międzynarodowa konferencja na temat rozwoju teorii języka
- Międzynarodowa konferencja na temat technik i zastosowań przepisywania
- Międzynarodowa konferencja na temat teorii i zastosowań modeli obliczeniowych
- Międzynarodowa konferencja na temat zastosowań i teorii sieci Petriego i współbieżności
- Międzynarodowa konferencja na temat zautomatyzowanego wnioskowania za pomocą tablic analitycznych i metod pokrewnych
- Międzynarodowa wspólna konferencja na temat automatycznego wnioskowania
- Międzynarodowe Sympozjum Matematyczne Podstawy Informatyki
- Międzynarodowe Warsztaty Dowodzenia Twierdzeń Pierwszego Porządku
- Międzynarodowe kolokwium na temat automatów, języków i programowania
- Międzynarodowe sympozjum na temat obliczeń symbolicznych i algebraicznych
- Międzynarodowe sympozjum na temat podstaw teorii obliczeń
- Międzynarodowe sympozjum na temat przetwarzania rozproszonego
- Międzynarodowe sympozjum na temat rysowania wykresów
R
S
- Symposium on Theory of Computing
- Sympozjum Algorytmicznej Teorii Liczb
- Sympozjum na temat algorytmów dyskretnych
- Sympozjum na temat geometrii obliczeniowej
- Sympozjum na temat logiki w informatyce
- Sympozjum na temat podstaw informatyki
- Sympozjum na temat równoległości w algorytmach i architekturach
- Sympozjum na temat teoretycznych aspektów informatyki
- Sympozjum na temat zasad przetwarzania rozproszonego