Yazar
Jacques Loeckx
11 cilt bulundu.
Cilt sonuçları
Computability and decidability
Jacques Loeckx · Springer
76 sayfa · 1972
Turing machines / Sequential machine theory / Machines séquentielles (Théorie) / Machines Turing / Berechenbarkeit
The Foundations of Program Verification
Jacques Loeckx, Kurt Sieber, Ryan Stansifer · Vieweg+Teubner Verlag
Sayfa sayısı yok · 1987
Kategori yok
Grundlagen der Programmiersprachen
Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm · Vieweg+Teubner Verlag
Sayfa sayısı yok · 1986
Programmiersprachen / Programmiersprache
Algorithmentheorie
Jacques Loeckx · Springer-Verlag
223 sayfa · 1976
Turing machines / Recursive functions / Algorithms / Formal languages
Mechanical construction of bounded-context parsers for Chomsky O-type languages
Jacques Loeckx · Philips Research Laboratories
92 sayfa · 1969
Formal languages / Parsing (Computer grammar)