Buy books written by Alexandra Silva Available at Bookswagon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Alexandra Silva

Alexandra SilvaAlexandra Silva is Professor of Algebra, Semantics, and Computation at University College London. A theoretical computer scientist with contributions in the areas of semantics of programming languages, concurrency theory, and probabilistic network veification, her work has been recognized by multiple awards, including the Needham Award 2018, the Presburger Award 2017, the Leverhulme Prize 2016, and an ERC Starting Grant in 2015. Read More Read Less

28 results found
List viewGrid view
Sort By:
1.
Logic and Program Semantics
Logic and Program Semantics
By: Robert L. Constable, Alexandra Silva
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED268
Binding:
Paperback
Release:
11 Apr 2012
Language:
English
International Edition
Ships within 16-18 Days Explain..
2.
Language, Logic, and Computation
Language, Logic, and Computation
By: Alexandra Silva, Carla Umbach, Peter Sutton, Sam Staton
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
AED253
Binding:
Paperback
Release:
04 Jul 2019
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Methods and Procedures for Building Sustainable Farming Systems
Methods and Procedures for Building Sustainable Farming Systems
By: Ana Alexandra Marta-Costa, Emiliana L. D. G. Soares Da Silva
Publisher: Springer
No Review Yet
AED506
Binding:
Hardback
Release:
17 Oct 2012
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Methods and Procedures for Building Sustainable Farming Systems
Methods and Procedures for Building Sustainable Farming Systems
By: Ana Alexandra Marta-Costa, Emiliana L. D. G. Soares Da Silva
Publisher: Springer
No Review Yet
AED506
Binding:
Paperback
Release:
09 Nov 2014
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Neopets: The Discarded Magical Blue Grundo Plushie of Prosperity
Neopets: The Discarded Magical Blue Grundo Plushie of Prosperity
By: Luiz Fernando Da Silva, Rebecca Mix, Sabrina Alexandra Hutchings
Publisher: Andrews McMeel Publishing
No Review Yet
AED56
Binding:
Paperback
Release:
04 Dec 2025
Language:
English
International Edition
Ships within 22-24 Days Explain..
6.
Advances in Tangible and Embodied Interaction for Virtual and Augmented Reality
Advances in Tangible and Embodied Interaction for Virtual and Augmented Reality
By: Paula Alexandra Silva, Jorge C S Cardoso, André Perrotta
Publisher: Mdpi AG
No Review Yet
AED264
Binding:
Hardback
Release:
30 May 2023
Language:
English
International Edition
Ships within 12-14 Days Explain..
7.
Computer Aided Verification
Computer Aided Verification
By: K. Rustan M. Leino, Alexandra Silva
Publisher: Springer Nature Switzerland AG
No Review Yet
AED237
Binding:
Paperback
Release:
18 Jul 2021
Language:
English
International Edition
Ships within 18-20 Days Explain..
8.
Computer Aided Verification
Computer Aided Verification
By: K. Rustan M. Leino, Alexandra Silva
Publisher: Springer Nature Switzerland AG
No Review Yet
AED237
Binding:
Paperback
Release:
17 Jul 2021
Language:
English
International Edition
Ships within 18-20 Days Explain..
9.
Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
By: Ruy De Queiroz, Alexandra Silva, Renata Wassermann
Publisher: Springer Nature Switzerland AG
No Review Yet
AED378
Binding:
Paperback
Release:
06 Oct 2021
Language:
English
International Edition
Ships within 16-18 Days Explain..
10.
The Siren Sings
The Siren Sings
By: Maxine Alexandra Silva
Publisher: Independently Published
No Review Yet
AED109
Binding:
Paperback
Release:
23 May 2020
Language:
English
International Edition
Ships within 12-14 Days Explain..
11.
Luiz
Luiz
By: Thais Alexandra Silva
Publisher: Independently Published
No Review Yet
AED42
Binding:
Paperback
Release:
11 Mar 2020
Language:
Portuguese
International Edition
Ships within 12-14 Days Explain..
12.
Dissertação de Mestrado do MECAI (ICMC - USP)
Dissertação de Mestrado do MECAI (ICMC - USP)
By: Alexandra Virginia Valente Da Silva
Publisher: Novas Edicoes Academicas
No Review Yet
AED234
Binding:
Paperback
Release:
23 Apr 2020
Language:
Portuguese
International Edition
Ships within 14-16 Days Explain..
13.
Dislexia
Dislexia
By: Patrícia Alexandra Da Silva Sacramento
Publisher: Novas Edicoes Academicas
No Review Yet
AED234
Binding:
Paperback
Release:
21 Apr 2020
Language:
Portuguese
International Edition
Ships within 14-16 Days Explain..
14.
Foundations of Probabilistic Programming
Foundations of Probabilistic Programming
By: Joost-Pieter Katoen, Gilles Barthe, Alexandra Silva
Publisher: Cambridge University Press
No Review Yet
AED284
Binding:
Hardback
Release:
03 Dec 2020
Language:
English
Available
Ships within 2-4 Days Explain..
15.
Health and Medicine in Ancient Egypt
Health and Medicine in Ancient Egypt
By: Paula Alexandra Da Silva Veiga
Publisher: BAR Publishing
No Review Yet
AED158
Binding:
Paperback
Release:
15 Jul 2009
Language:
English
International Edition
Ships within 14-16 Days Explain..
16.
Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
By: Ahmed Bouajjani, Alexandra Silva
Publisher: Springer International Publishing AG
No Review Yet
AED253
Binding:
Paperback
Release:
28 May 2017
Language:
English
Available
Ships within 12-14 Days Explain..
17.
Creativity and HCI: From Experience to Design in Education
Creativity and HCI: From Experience to Design in Education
By: William Wong, Alan Dix, Paula Alexandra Silva, Joaquim Jorge, Paula Kotzé
Publisher: Springer-Verlag New York Inc.
No Review Yet
AED506
Binding:
Paperback
Release:
08 Dec 2010
Language:
English
Available
Ships within 12-14 Days Explain..
loadingLoading more results