11 results for 'hiranandani verif'

NEWBERY HONOR BOOK • A poignant, personal, and hopeful tale of India's partition—and of one girl's journey to find a new home in a divided country."A gripping, nuanced story of the human cost of...

An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics...

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be...

An indispensable guide for telling fact from fiction on the internet—often in less than 30 seconds.The internet brings information to our fingertips almost instantly. The result is that we often jump...

Recent poems by the Pulitzer prize winning author deal with time, death, and our relationship to the natural world

Arguing that legal rules can be implemented beyond national boundaries, this volume examines compliance beyond the nation-state. Four contributors compare compliance with regulations that have been...

Classical computer science textbooks tell us that some problems are 'hard'. Yet many areas, from machine learning and computer vision to theorem proving and software verification, have defined their...

What is the history of knowledge? This engaging and accessible introduction explains what is distinctive about the new field of the history of knowledge (or, as some scholars say, ‘knowledges in the...

Rhetorical training was the central component of an elite Roman man's education. Controversiae (declamations), imaginary courtroom speeches in the character of a fictional or historical individual,...

Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have proven relevant and useful to computer...

This book describes a revolutionary new approach to determining low energy routes for spacecraft and comets by exploiting regions in space where motion is very sensitive (or chaotic). It also...