Programming Languages: Principles and Paradigms / Maurizio Gabbrielli, Simone Martini
Programming Languages is a self-contained approach to the topic, and differentiates between the design, implementation and ...
Lee mas
Retrofitting Cities for Tomorrow's World / Malcolm Eames, Tim Dixon, Miriam Hunt, Simon Lannon
A groundbreaking exploration of the most promising new ideas for creating the sustainable cities of tomorrow. Reviews the ...
Lee mas
SAT 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Lee mas
Signals and Systems / Simon Haykin and Barry Van Veen
Design and MATLAB concepts have been integrated in text. Integrates applications as it relates signals to a remote sensing ...
Lee mas
Spectroscopy for Materials Characterization / Simonpietro Agnello
In Spectroscopy for Materials Characterization, accomplished researcher Simonpietro Agnello delivers a practical and accessible ...
Lee mas
Tensors: The Mathematics of Relativity Theory and Continuum Mechanics
Tensors: The Mathematics of Relativity Theory and Continuum Mechanics, by Anadijiban Das, emerged from courses taught over ...
Lee mas
The Digital Marketing Handbook : deliver Powerful Digital Campaigns / Simon Kingsnorth
Guides the reader step by step through building, implementing and optimizing the components of digital marketing such as ...
Lee masThe Power of Difference : Where the Complexities of Diversity and Inclusion Meet Practical Solutions / Simon Fanshawe
Learn how to create true diversity and inclusion by combining our differences, having open conversations and listening to ...
Lee mas
Unifying Themes in Complex Systems, Vol. IIIA: Overview
This volume contains selected transcripts from presentations given at the conference. Speakers include: Chris Adami, Kenneth ...
Lee masUrban Operating Systems: Producing the Computational City
A new wave of enthusiasm for smart cities, urban data, and the Internet of Things has created the impression that computation ...
Lee mas
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Lee mas
matematica e cultura 2008 = mathematics and culture 2008
In this new book, the tenth of the series that began in Venice with the meetings "Mathematics and culture" that many have ...
Lee mas
