 |
|
|
 Thinking as Computation: A First Course (MIT Press)
This book guides students through an exploration of the idea that thinking might be understood as a form of computation. Students make the connection between thinking and computing by learning to write computer programs for a variety of tasks that require thought, including solving puzzles, understanding natural language, recognizing objects... |  |  Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers (Lecture Notes in Computer Science)
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010.
The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited... |  |  Controlled Natural Language: Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers (Lecture Notes in Computer Science)
This book constitutes the refereed proceedings of the Second International Workshop on Controlled Natural Language, C.N.L. 2010, held in Marettimo Island, Italy, in September 2010. The 9 revised papers presented in this volume, together with 1 tutorial, were carefully reviewed and selected from 17 initial submissions. They broadly cover the... |
|
 Elements of Modern Algebra
ELEMENTS OF MODERN ALGEBRA 7e, with its user-friendly format, provides you with the tools you need to get succeed in abstract algebra and develop mathematical maturity as a bridge to higher-level mathematics courses.. Strategy boxes give you guidance and explanations about techniques and enable you to become more proficient at constructing... |  |  Executive Intelligence: The Leader's Edge
Executive Intelligence zeros in on leadership smarts and notes that in all lists compiled by leadership experts, head hunters, and boards of directors the one and only trait that appears in all is intelligence. Obvious? No, because typically leadership savvy regularly trumps smarts.... |  |  Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings (Lecture Notes in Computer Science)
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and... |
|
 |  |  Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings (Lecture Notes in Computer Science)
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract... |  |  |
|
| Result Page: 56 55 54 53 52 51 50 49 48 47 46 45 44 43 42 41 40 39 38 |