- Handbook of logic in computer science. Vol. 5: Logic and algebraic methods [5] AAVV Fri 10 April 2020
- Handbook of Graph Grammars and Computing by Graph Transformation AAVV Fri 10 April 2020
- Finite State Based Models and Applications AAVV Fri 10 April 2020
- Advances in Dynamic Game Theory - Numerical Methods, Algorithms, and Applications to Ecology and Economics AAVV Fri 10 April 2020
- Stochastic and Differential Games - Theory and Numerical Methods AAVV Fri 10 April 2020
- Dynamic Games: Theory and Applications AAVV Fri 10 April 2020
- Terese Lite AAVV Fri 10 April 2020
- History of Programming Languages AAVV Fri 10 April 2020
- Markov Decision Processes in Artificial Intelligence - MDPs, Beyond MDPs and Applications AAVV Fri 10 April 2020
- Logic Methodology and Philosophy of Science AAVV Fri 10 April 2020
- Writing History - Theory and Practice AAVV Fri 10 April 2020
- Ultimate Guide to Ableton Live AAVV Fri 10 April 2020
- Handbook of Process Algebra AAVV Fri 10 April 2020
- Handbook of Markov Decision Processes - Methods and Applications AAVV Fri 10 April 2020
- Automatic Program Development - A Tribute to Robert Paige AAVV Fri 10 April 2020
- A 25-Year Perspective on Logic Programming AAVV Fri 10 April 2020
- Modal Logic and Process Algebra - A Bisimulation Perspective AAVV Fri 10 April 2020
- Handbook of Theoretical Computer Science - Volume B - FORMAL MODELS AND SEMANTICS [B] AAVV Fri 10 April 2020
- Algorithmic Bioprocesses AAVV Fri 10 April 2020
- Lectures in Game Theory for Computer Scientists AAVV Fri 10 April 2020
Library Size: 80G (3743 books), Last Updated: Apr 09, 2026, 18:31:04,
Build Time: N/A
