Author: Élodie Durand Publisher: IDW Publishing ISBN: 1684069599 Category : Comics & Graphic Novels Languages : en Pages : 228
Book Description
A triumph of graphic memoir, Parenthesis narrates the author’s experience with tumor-related epilepsy—losing herself, and finding herself again. Julie is barely out of her teens when a tumor begins pressing on her brain, ushering in a new world of seizures, memory gaps, and loss of self. Suddenly, the sentence of her normal life has been interrupted by the opening of a parenthesis that may never close. Based on the real experiences of cartoonist Élodie Durand, Parenthesis is a gripping testament of struggle, fragility, acceptance, and transformation which was deservedly awarded the Revelation Prize of the Angoulême International Comics Festival.
Author: Harry Lewis Publisher: Princeton University Press ISBN: 0691190615 Category : Mathematics Languages : en Pages :
Book Description
A more intuitive approach to the mathematical foundation of computer science Discrete mathematics is the basis of much of computer science, from algorithms and automata theory to combinatorics and graph theory. This textbook covers the discrete mathematics that every computer science student needs to learn. Guiding students quickly through thirty-one short chapters that discuss one major topic each, this flexible book can be tailored to fit the syllabi for a variety of courses. Proven in the classroom, Essential Discrete Mathematics for Computer Science aims to teach mathematical reasoning as well as concepts and skills by stressing the art of proof. It is fully illustrated in color, and each chapter includes a concise summary as well as a set of exercises. The text requires only precalculus, and where calculus is needed, a quick summary of the basic facts is provided. Essential Discrete Mathematics for Computer Science is the ideal introductory textbook for standard undergraduate courses, and is also suitable for high school courses, distance education for adult learners, and self-study. The essential introduction to discrete mathematics Features thirty-one short chapters, each suitable for a single class lesson Includes more than 300 exercises Almost every formula and theorem proved in full Breadth of content makes the book adaptable to a variety of courses Each chapter includes a concise summary Solutions manual available to instructors
Author: Shimon Even Publisher: Cambridge University Press ISBN: 1139504150 Category : Computers Languages : en Pages :
Book Description
Shimon Even's Graph Algorithms, published in 1979, was a seminal introductory book on algorithms read by everyone engaged in the field. This thoroughly revised second edition, with a foreword by Richard M. Karp and notes by Andrew V. Goldberg, continues the exceptional presentation from the first edition and explains algorithms in a formal but simple language with a direct and intuitive presentation. The book begins by covering basic material, including graphs and shortest paths, trees, depth-first-search and breadth-first search. The main part of the book is devoted to network flows and applications of network flows, and it ends with chapters on planar graphs and testing graph planarity.
Author: Janusz S. Kowalik Publisher: Springer Science & Business Media ISBN: 3642757715 Category : Computers Languages : en Pages : 416
Book Description
Supercomputing is an important science and technology that enables the scientist or the engineer to simulate numerically very complex physical phenomena related to large-scale scientific, industrial and military applications. It has made considerable progress since the first NATO Workshop on High-Speed Computation in 1983 (Vol. 7 of the same series). This book is a collection of papers presented at the NATO Advanced Research Workshop held in Trondheim, Norway, in June 1989. It presents key research issues related to: - hardware systems, architecture and performance; - compilers and programming tools; - user environments and visualization; - algorithms and applications. Contributions include critical evaluations of the state-of-the-art and many original research results.
Author: David 1895-1974 Jones Publisher: Hassell Street Press ISBN: 9781013653452 Category : Languages : en Pages : 260
Book Description
This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
Author: Shyamalendu Kandar Publisher: Pearson Education India ISBN: 9332516324 Category : Formal languages Languages : en Pages : 657
Book Description
Formal languages and automata theory is the study of abstract machines and how these can be used for solving problems. The book has a simple and exhaustive approach to topics like automata theory, formal languages and theory of computation. These descriptions are followed by numerous relevant examples related to the topic. A brief introductory chapter on compilers explaining its relation to theory of computation is also given.
Author: Ivor Horton Publisher: John Wiley & Sons ISBN: 0470428317 Category : Computers Languages : en Pages : 1394
Book Description
Proudly presenting the latest edition of one of the all-time bestselling books on the C++ language, successful author Ivor Horton repeats the formula that has made each previous edition so popular by teaching you both the standard C++ language and C++/CLI as well as Visual C++ 2008. Thoroughly updated for the 2008 release, this book shows you how to build real-world applications using Visual C++ and guides you through the ins and outs of C++ development. With this book by your side, you are well on your way to becoming a successful C++ programmer.
Author: Wei Li Publisher: Springer Science & Business Media ISBN: 3764399775 Category : Mathematics Languages : en Pages : 273
Book Description
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage. This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines.
Author: Adnan Aziz Publisher: EPI ISBN: Category : Computers Languages : en Pages : 455
Book Description
Have you ever... - Wanted to work at an exciting futuristic company? - Struggled with an interview problem that could have been solved in 15 minutes? - Wished you could study real-world computing problems? If so, you need to read Elements of Programming Interviews (EPI). EPI is your comprehensive guide to interviewing for software development roles. The core of EPI is a collection of over 250 problems with detailed solutions. The problems are representative of interview questions asked at leading software companies. The problems are illustrated with 200 figures, 300 tested programs, and 150 additional variants. The book begins with a summary of the nontechnical aspects of interviewing, such as strategies for a great interview, common mistakes, perspectives from the other side of the table, tips on negotiating the best offer, and a guide to the best ways to use EPI. We also provide a summary of data structures, algorithms, and problem solving patterns. Coding problems are presented through a series of chapters on basic and advanced data structures, searching, sorting, algorithm design principles, and concurrency. Each chapter stars with a brief introduction, a case study, top tips, and a review of the most important library methods. This is followed by a broad and thought-provoking set of problems. A practical, fun approach to computer science fundamentals, as seen through the lens of common programming interview questions. Jeff Atwood/Co-founder, Stack Overflow and Discourse
Author: Muriel Villanueva
Author: Élodie Durand
Author: Harry Lewis
Author: Shimon Even
Author: Janusz S. Kowalik
Author: David 1895-1974 Jones
Author: Shyamalendu Kandar
Author: Ivor Horton
Author: Wei Li
Author: Adnan Aziz