Home Advanced Search

Advanced Search - Page 1

Kleene Coalgebra [PhD thesis]
  • PDF
  • English
  • Year: 2010
  • Author: Alexandra Silva
Health and Medicine in Ancient Egypt: Magic and science
  • PDF
  • English
  • Year: 2009
  • Author: Paula Alexandra da Silva Veiga
Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Alexandra Silva, K. Rustan M. Leino
Foundations of Probabilistic Programming
  • PDF
  • English
  • Year: 2021
  • Author: Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach
Foundations of probabilistic programming
  • PDF
  • English
  • Year: 2021
  • Author: Alexandra Silva; Joost-Pieter Katoen; Gilles Barthe (eds.)
Intelligent Technologies for Interactive Entertainment: 9th International Conference, INTETAIN 2017, Funchal, Portugal, June 20-22, 2017, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Yoram Chisik,Jussi Holopainen,Rilla Khaled,José Luis Silva,Paula Alexandra Silva (eds.)
Methods and Procedures for Building Sustainable Farming Systems: Application in the European Context
  • PDF
  • English
  • Year: 2013
  • Author: Emiliana Silva, Ana Alexandra Marta-Costa (auth.), Ana Alexandra Marta-Costa, Emiliana L. D. G. Soares da Silva (eds.)
Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Ruy J. G. B. de Queiroz (editor); Alexandra Martins da Silva (editor); Renata Wassermann (editor)
De Ketting
  • EPUB
  • Dutch
  • Year: 2023
  • Author: Alexandra .
search