- Noncommutative rational series with applications Jan Berstel Christophe Reutenauer Fri 10 April 2020
- Automata for Branching and Layered Temporal Structures G. Puppis Fri 10 April 2020
- Probability and Measure Patrick Billingsley Fri 10 April 2020
- Convergence of Probability Measures Patrick Billingsley Fri 10 April 2020
- Game Theory - A Very Short Introduction Ken Binmore Fri 10 April 2020
- Introduction to Functional Programming Richard Bird Philip Wadler Fri 10 April 2020
- Software Engineering 1 - Abstraction and Modelling Dines Bjorner Fri 10 April 2020
- Software Engineering 2 - Specification of Systems and Languages Dines Bjorner Fri 10 April 2020
- Software Engineering 3 - Domains, Requirements, and Software Design Dines Bjorner Fri 10 April 2020
- Modal Logic Patrick Blackburn Maarten de Rijke Yde Venema Fri 10 April 2020
- Singing with your Whole Self - The Feldenkrais Method and Voice Elizabeth Blades-Zeller Fri 10 April 2020
- A denotational engineering of programming languages Andrzej Jacek Blikle Fri 10 April 2020
- Iteration Theories - The Equational Logic of Iterative Processes Stephen L. Bloon Zoltán Ésik Fri 10 April 2020
- Complexity and real computation Lenore Blum Felipe Cucker Michael Shub Steve Smale Fri 10 April 2020
- Logic, Algebra \& Geometry Achim Blumensath Fri 10 April 2020
- Slightly Infinite Sets Mikołaj Bojańczyk Fri 10 April 2020
- Computation in sets with atoms [DRAFT] Mikołaj Bojańczyk Fri 10 April 2020
- Formal Models of Communicating Systems Benedikt Bollig Fri 10 April 2020
- Modern Graph Theory Bela Bollobas Fri 10 April 2020
- String-rewriting Systems Ronald V. Book Friedrich Otto Fri 10 April 2020
Library Size: 80G (3743 books), Last Updated: Apr 09, 2026, 18:31:04,
Build Time: N/A
