close menu
Bookswagon-24x7 online bookstore
close menu
My Account
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

34 results found
List viewGrid view
Sort By:
1.
Logic, Language, Information, and Computation37 %
No Review Yet
₹8,102
₹5,104
Binding:
Paperback
Release:
06 Oct 2021
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Computer Aided Verification36 %
No Review Yet
₹4,379
₹2,803
Binding:
Paperback
Release:
17 Jul 2021
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Computer Aided Verification36 %
No Review Yet
₹4,379
₹2,803
Binding:
Paperback
Release:
18 Jul 2021
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Foundations of Probabilistic Programming43 %
No Review Yet
₹7,192
₹4,099
Binding:
Hardback
Release:
03 Dec 2020
Language:
English
Available
Ships within 8-10 Days Explain..
5.
Language, Logic, and Computation36 %
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
04 Jul 2019
Language:
English
Available
Ships within 14-16 Days Explain..
6.
Grid Electrified Vehicles
No Review Yet
₹7,467
Binding:
Hardback
Release:
01 Dec 2013
Language:
English
Available
Ships within 10-12 Days Explain..
7.
Methods and Procedures for Building Sustainable Farming Systems37 %
Publisher: Springer
No Review Yet
₹10,949
₹6,898
Binding:
Paperback
Release:
09 Nov 2014
Language:
English
Available
Ships within 14-16 Days Explain..
8.
Methods and Procedures for Building Sustainable Farming Systems37 %
Publisher: Springer
No Review Yet
₹10,949
₹6,898
Binding:
Hardback
Release:
17 Oct 2012
Language:
English
Available
Ships within 14-16 Days Explain..
9.
Formal Techniques for Distributed Objects, Components, and Systems36 %
No Review Yet
₹5,474
₹3,503
Binding:
Paperback
Release:
28 May 2017
Language:
English
Available
Ships within 14-16 Days Explain..
10.
Creativity and HCI: From Experience to Design in Education37 %
No Review Yet
₹10,949
₹6,898
Binding:
Hardback
Release:
21 Nov 2008
Language:
English
Available
Ships within 14-16 Days Explain..
11.
Creativity and HCI: From Experience to Design in Education37 %
No Review Yet
₹10,949
₹6,898
Binding:
Paperback
Release:
08 Dec 2010
Language:
English
Available
Ships within 14-16 Days Explain..
12.
Intelligent Technologies for Interactive Entertainment36 %
Available
Ships within 14-16 Days Explain..
13.
Neopets: The Discarded Magical Blue Grundo Plushie of Prosperity43 % NR
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
14.
Advances in Tangible and Embodied Interaction for Virtual and Augmented Reality18 % NR
Publisher: Mdpi AG
No Review Yet
₹6,620
₹5,428
Binding:
Hardback
Release:
30 May 2023
Language:
English
International Edition
Ships within 16-18 Days Explain..
Free Shipping in India and low cost Worldwide.
loadingLoading more results
ASK VIDYA