Серія книг – Princeton Series in Computer Science

2 товари
2 товари
Паперова книга «Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach», автор Роберт П. Куршан – фото №1
0
0
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
Роберт П. Куршан Роберт П. Куршан
Немає в наявності
Паперова книга «Recent Advances in Global Optimization», автор Панос М. Пардалос – фото №1
0
0
Recent Advances in Global Optimization
Панос М. Пардалос Панос М. Пардалос
Немає в наявності