10 libri per 10 euro qui
Bookbot

Bart Jacobs

    Foundations of software science and computation structures
    Introduction to Coalgebra
    The Grand Spring Hunt
    Origins of a Creole
    • Origins of a Creole

      The History of Papiamentu and Its African Ties

      • 401pagine
      • 15 ore di lettura

      The study explores the origins of Papiamentu, a Caribbean creole language, challenging existing hypotheses and offering new interdisciplinary evidence. It posits that Papiamentu is genetically linked to Portuguese-based creoles from the Cape Verde Islands and Guinea-Bissau, influenced by the arrival of native speakers to Curaçao in the 17th century. The research highlights a significant relexification process towards Spanish, while maintaining original phonological, morphological, and syntactic features. This work aims to establish new standards in creole studies and contact linguistics.

      Origins of a Creole
    • The Grand Spring Hunt

      • 200pagine
      • 7 ore di lettura

      Focusing on hunting techniques, the book provides insights on effectively outsmarting wild turkeys. It features detailed descriptions and illustrations of the five main subspecies found in the U.S. and Mexico, along with an exploration of their four distinct behavioral stages during the spring season.

      The Grand Spring Hunt
    • Introduction to Coalgebra

      • 494pagine
      • 18 ore di lettura

      This book offers a clear and approachable introduction to coalgebra, emphasizing mathematical clarity through detailed explanations. It includes numerous examples and exercises designed to reinforce understanding, making it suitable for both beginners and those looking to deepen their knowledge in this area of mathematics.

      Introduction to Coalgebra
    • This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 31 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: types; recursion and fixed-points; verification and program analysis; automata, logic, games; probabilistic and timed systems; proof theory and lambda calculus; algorithms for infinite systems; and monads.

      Foundations of software science and computation structures