- Ebooks (Sách điện tử)
Authors : Hoda, Rashina (2019) - This open access book constitutes the research workshops, doctoral symposium and panel summaries presented at the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss ...
|
- Ebooks (Sách điện tử)
Authors : Tagliaferri, Lisa (2018) - This educational book introduces emerging developers to computer programming through the Python software development language, and serves as a reference book for experienced developers looking to learn a new language or re-familiarize themselves with computational logic and syntax.
|
- Ebooks (Sách điện tử)
Authors : Ivanov, Vladimir (2021) - This book constitutes the refereed proceedings of the 16th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2020, held in Innopolis, Russia, in May 2020.* The 12 revised full papers and 8 short papers presented were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics in the field of free/libre open source software (FLOSS) and discuss theories, practices, experiences, and tools on&#x...
|
- Ebooks (Sách điện tử)
Authors : Solem, Jan Erik (2012) - The mathematical prerequisites are minimal: no particular mathematical concepts beyond what is taught in a typical undergraduate calculus sequence are assumed. The computer science prerequisites are also quite minimal: it is assumed that the reader is proficient in programming, and has had some exposure to the analysis of algorithms, essentially at the level of an undergraduate course on algorithms and data structures.
|
- Ebooks (Sách điện tử)
Authors : Solem, Jan Erik (2012) - If you want a basic understanding of computer vision's underlying theory and algorithms, this hands-on introduction is the ideal place to start. You'll learn techniques for object recognition, 3D reconstruction, stereo imaging, augmented reality, and other computer vision applications as you follow clear examples written in Python. Programming Computer Vision with Python explains computer vision in broad terms that won't bog you down in theory. You...
|
- Ebooks (Sách điện tử)
Authors : Linge, Svein (2016) - This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springer book TCSE 6: A Primer on Scientific Programming with Python (by Langtangen), but the style is more accessible and concise, in keeping with the needs of engineering students. The book outlines the shortest possible path from no previous&#x...
|
- Book
Authors : Caires, Luís (2019) - Program Verification Time Credits and Time Receipts in Iris . Meta-FI: Proof Automation with SMT, Tactics, and Metaprograms. Semi-automated Reasoning About Non-determinism in C Expressions. Language Design
Codata in Action. Composing Bidirectional Programs Monadically. Program Semantics, Extended call-by-push-value: Reasoning About Effectful Programs and Evaluation Order. Types Handling Polymorphic Algebraic Effects. Security and Incremental Computation Robustly Safe Compilation. Concurrency ...
|
- Ebooks (Sách điện tử)
Authors : Downey, Allen B. (2018) - Complexity science uses computation to explore the physical and social sciences. In Think Complexity, you'll use graphs, cellular automata, and agent-based models to study topics in physics, biology, and economics. Whether you're an intermediate-level Python programmer or a student of computational modeling, you'll delve into examples of complex systems through a series of worked examples, exercises, case studies, and easy-to-understand explanations. In this upd...
|
