Книги, программирование

[caml_programmer]

На работе подарили немного озоновских сертификатов, вот сижу, выбираю, каких бы книжек заказать.

Пока навыбирал две вот эти книжки:

Предметно-ориентированные языки программирования (Signature Series)
    http://www.williamspublishing.com/Books/978-5-8459-1738-6.html

NoSQL: новая методология разработки нереляционных баз данных
    http://www.williamspublishing.com/Books/978-5-8459-1829-1.html

Вроде ничего особо нового, но можно будет новым "программистам" ткнуть пальцем
  в книгу, вместо того, чтобы о чем-то разговаривать.

Ещё присматриваюсь к:

Model Checking:
    http://www.ozon.ru/context/detail/id/2182741/
    http://www.ozon.ru/context/detail/id/4797670/

Методы оптимизации:
    http://www.ozon.ru/context/detail/id/7106050/