Mathematical Foundations Springer
Springer (9783319058153)
Springer (9781848009394) | Formal Languages, Automata and Groups
Springer (9781848003217) | Computer Science
Springer (9781848002289) | Line Drawing Interpretation
Springer (9781846280214) | Theoretical Introduction to Programming
Springer (9781493922994)
Springer (9781461457459) | Course on Mathematical Logic
Springer (9781461268093) | Texts in Computer Science
Springer (9781441994783) | Undergraduate Texts in Mathematics
Springer (9781441974419) | Cp-theory Problem
Springer (9781441931573) | Model theory
Springer (9781402016561) | Applied Logic
Springer (9781402012709)
Springer (9781402006043)
Springer (9780792366072) | Multi-Criteria Decision Making Methods, Multi-Criteria Decision
Springer (9780792358343) | Applications in Mathematics
Springer (9780387986005) | Descriptive Complexity
Springer (9780387401157)
Springer (9780387360331)
Springer (9780387244181)
Springer (9789400777583) | David Makinson
Springer (9789048153893)
Springer (9780792361497) | Temporal Logic, Applied Logic Series, Advances in Temporal, Verification of computer, Disciplines of computer, Temporal systems, User interaction, Tools for verification & Interaction of Temporal reasoning
Springer (9789402406634) - Spine width: 23 mm | David Makinson
Springer (9781402007637)
Springer (9783030102944)
Springer (9783030213121)
(9780387402932 / 10 black & white illustrations, biograph)
Springer (9789400717350 / 8 black & white tables) | Intuitionistic type theory, Type theory
Springer (9789400713468 / biography)
(9783319972978) - Roman Kossak
(9783319305257)