Trefferliste "Logic In Computer Science" - alle Bücher

Ihre Suche nach "Logic In Computer Science" (Bücher) ergab 23 Treffer.

SOFSEM 2025: Theory and Practice of Computer Science

This book constitutes the proceedings of the 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, held in Bratislava, Slovak Republic, during January 20…

lieferbar innerhalb 2-3 Wochen

Buch

SOFSEM 2025: Theory and Practice of Computer Science

lieferbar innerhalb 2-3 Wochen

Buch

Logics and Type Systems in Theory and Practice

This Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Herman Geuvers is a full professor at Radboud University …

lieferbar innerhalb 2-3 Wochen

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.