SAT (ujednoznacznienie): Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
dodano odnośnik do problemu SAT (problemu spełnialności formuł zdaniowych) |
SAT Sp. z o.o., polska firma robót drogowych |
||
Linia 13: | Linia 13: | ||
* [[SIM Application Toolkit]] – część systemu GSM definiująca zestaw komend i procedur do komunikacji karty [[SIM]] z telefonem |
* [[SIM Application Toolkit]] – część systemu GSM definiująca zestaw komend i procedur do komunikacji karty [[SIM]] z telefonem |
||
* [[Problem spełnialności|Problem SAT]] - pierwszy problem, którego NP-zupełność pokazano |
* [[Problem spełnialności|Problem SAT]] - pierwszy problem, którego NP-zupełność pokazano |
||
* [[SAT Sp.]] z o.o., polska firma robót drogowych |
Wersja z 02:03, 12 sie 2016
Edukacja:
- SAT – test dla uczniów szkół średnich w Stanach Zjednoczonych
Lotnictwo:
- SAT Airlines – rosyjskie linie lotnicze
Związki zawodowe:
Inne:
- SIM Application Toolkit – część systemu GSM definiująca zestaw komend i procedur do komunikacji karty SIM z telefonem
- Problem SAT - pierwszy problem, którego NP-zupełność pokazano
- SAT Sp. z o.o., polska firma robót drogowych