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 and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

PDF
English
Year: 2012
Author: Hajnal Andréka, Szabolcs Mikulás, István Németi (auth.), Robert L. Constable, Alexandra Silva (eds.)

Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

PDF
English
Year: 2012
Author: Hajnal Andréka, Szabolcs Mikulás, István Németi (auth.), Robert L. Constable, Alexandra Silva (eds.)