
















Simulated Evolution and Learning
1 124,-

Automated Deduction - CADE-25
584,-

A Journey from Process Algebra via Timed Automata to Model Learning
584,-

Design, User Experience, and Usability: Theory and Practice
1 340,-

Machine Learning and Knowledge Discovery in Databases. Research Track
854,-

Machine Learning and Knowledge Discovery in Databases. Research Track
854,-

Machine Learning and Knowledge Discovery in Databases. Research Track
854,-

Machine Learning and Knowledge Discovery in Databases. Research Track
854,-

Automated Deduction – CADE 29
431,-

Deductive Software Verification - The KeY Book
1 340,-

Simulated Evolution and Learning
1 124,-

Automated Deduction - CADE-25
584,-

A Journey from Process Algebra via Timed Automata to Model Learning
584,-

Design, User Experience, and Usability: Theory and Practice
1 340,-

Machine Learning and Knowledge Discovery in Databases. Research Track
854,-

Machine Learning and Knowledge Discovery in Databases. Research Track
854,-

Machine Learning and Knowledge Discovery in Databases. Research Track
854,-

Machine Learning and Knowledge Discovery in Databases. Research Track
854,-

Automated Deduction – CADE 29
431,-

Deductive Software Verification - The KeY Book
1 340,-