 |
|
|
 Multiparadigm Constraint Programming Languages (Cognitive Technologies)
"Modeling" has become one of the primary concerns in modern Software
Engineering. The reason is simple: starting development processes from clear
and succinct models has proven to foster not only quality but also productivity.
With the advance of modeling there also came a desire for automatic code
generation from models.... |  |  |  |  Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland
ICALP 2011, the 38th edition of the International Colloquium on Automata,
Languages and Programming, was held in Z¨urich, Switzerland, during July
4–8, 2011. ICALP is a series of annual conferences of the European Association
for Theoretical Computer Science (EATCS) which first took place in 1972. This
year, the ICALP... |
|
 |  |  The Cryptoclub: Using Mathematics to Make and Break Secret CodesJoin the Cryptokids as they apply basic mathematics to make and break secret codes. This book has many hands-on activities that have been tested in both classrooms and informal settings. Classic coding methods are discussed, such as Caesar, substitution, Vigenère, and multiplicative ciphers as well as the modern RSA. Math topics covered... |  |  The Design of Climate Policy (CESifo Seminar Series)Debates over post-Kyoto Protocol climate change policy often take note of two issues: the feasibility and desirability of international cooperation on climate change policies, given the failure of the United States to ratify Kyoto and the very limited involvement of developing countries, and the optimal timing of climate policies. In this book... |
|
|
Result Page: 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 |