Künstliche Intelligenz: Automatisierung von TerminierungsbeweisenChristoph Walther1 131 KčPoškozenáPoškozenáZobrazit detail
Leitfäden und Monographien der Informatik: Grundlagen der ProgrammiersprachenKurt Mehlhorn50 KčPoškozenáPoškozenáZobrazit detail
The Electrical Engineering Handbook: Circuits, Signals, and Speech and Image Processing - Third EditionFerenc SzidarovszkyVyprodánoPohlídat
Algorithms illuminated. Part 2, Graph algorithms and data structuresTim RoughgardenVyprodáno4,7Pohlídat
