Search Results - "Heinz Peter Gumm"

EFFICIENT AND MODULAR COALGEBRAIC PARTITION REFINEMENT.

Authors: WISSMANN, THORSTEN DORSCH, ULRICH MILIUS, STEFAN et al.

Source: Logical Methods in Computer Science (LMCS); 2020, Vol. 16 Issue 1, p1-63, 63p, 8 Graphs

On difunctionality of class relations.

Authors: Hoefnagel, Michael Janelidze, Zurab Rodelo, Diana

Source: Algebra Universalis. May2020, Vol. 81 Issue 2, p1-15. 15p.

SEL Series Expansion and Generalized Model Construction for the Real Number System via Series of Rationals.

Authors: Singthongla, Patiwat Kanasri, Narakorn Rompurk

Source: International Journal of Mathematics & Mathematical Sciences. 2014, p1-8. 8p.

Programming in Scala

Authors: Odersky, Martin Spoon, Lex Venners, Bill

Resource Type: eBook.

Subjects: Programming languages (Electronic computers), Scala (Computer program language), Computer programming

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Object Oriented, COMPUTERS / Programming / Open Source

Fachsprachen / Languages for Special Purposes. 1. Halbband

Authors: Lothar Hoffmann Hartwig Kalverkämper Herbert Ernst Wiegand

Resource Type: eBook.

Subjects: Language and languages

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General