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 ...
Lire la suite
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 ...
Lire la suite
SAT 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
Lire la suite
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 ...
Lire la suite
Spectroscopy for Materials Characterization / Simonpietro Agnello
In Spectroscopy for Materials Characterization, accomplished researcher Simonpietro Agnello delivers a practical and accessible ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suiteThe 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 ...
Lire la suite
Unifying Themes in Complex Systems, Vol. IIIA: Overview
This volume contains selected transcripts from presentations given at the conference. Speakers include: Chris Adami, Kenneth ...
Lire la suiteUrban 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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
