Search in the blog:
2010-05-05
Formal methods
"Formal methods will never have a significant impact until they can be used by people that don't understand them." - (attributed to) Tom Melham
Subscribe to:
Post Comments (Atom)
Blog Archive
-
▼
2010
(358)
-
▼
May
(30)
- МиниTSL: отпечатки пальцев
- Бензин, бензин...
- Google Maps: бан (продолжение)
- Билайн - в сад
- Грузите грузики бочками
- Пятно контакта
- Jimny vs Jimny
- Фонарик Fenix LD20
- Mitsubishi T200
- Interco Super Swamper TSL 29x8.50-15LT (SAM-25): з...
- Samsung NX-10, прошивка 01.15
- Аккумуляторы-AA
- Про изменения в ПДД
- Android 2.2
- Sony NEX
- МайOFFка 2010: опыт выкапывания
- МайOFFка 2010: результаты
- Interco Super Swamper TSL 29x8.50-15LT (SAM-25): в...
- Про софтинку
- МайOFFка 2010
- UAZ Patriot Sport
- T91MT: Wi-fi
- ASUS Eee PC Touch T101MT: Win 7 Starter
- Софтинка для набивания географических точек 0.4
- ASUS EEE T91MT (фото и сравнение с 900)
- Formal methods
- ASUS Eee PC Touch T101MT: просто комментарии
- ASUS Eee PC Touch T91MT vs Eee PC 900
- Google Maps: сервер-посредник
- Иркутская область: обновление Google Maps
-
▼
May
(30)
0 comments:
Post a Comment