- Ebooks (Sách điện tử)
Authors : Rojas, Sergio (2016) - Este libro está dirigido, principalmente, a Estudiantes y Docentes que quieren aprender a programarcomo forma de fortalecer sus capacidades cognoscitivas y así obtener un beneficio adicional de su computador para lograr un mejor provecho de sus estudios. Dada la orientación del libro respecto a programar para resolver problemas asociados a las Ciencias e Ingenierías, el requisito mínimo de matemáticas que hemos elegido para presentar el contenido del mis...
|
- Ebooks (Sách điện tử)
Authors : Dillig, Isil (2019) - This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems;...
|
- Book
Authors : Lahiri, Shuvendu K. (2020) - Model Checking Automata Tutor v3, Seminator 2 Can Complement Generalized Büchi Automata via Improved
Semi-determinization, RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft, Software Verification
Code2Inv: A Deep Learning Framework for Program Verification. Stochastic Systems Maximum Causal Entropy Specification Inference from Demonstrations. Certifying Certainty and Uncertainty in Approximate Membership
Query Structures. Synthesis Good-Enough Synthesis, Synthesizing JIT Compilers ...
|
- Book
Authors : Stemkoski, Lee (2021) - Developing Graphics Frameworks with Python and OpenGL shows you how to create software for rendering complete three-dimensional scenes. The authors explain the foundational theoretical concepts as well as the practical programming techniques that will enable you to create your own animated and interactive computer-generated worlds. You will learn how to combine the power of OpenGL, the most widely adopted cross-platform API for GPU programming, with the acces...
|
- Ebooks (Sách điện tử)
Authors : Jorgensen, Ed (2018) - Computers are everywhere in our daily lives. Between the desktop, laptop, phone, bank, and vehicle, it is difficult to completely get away from computers. It only makes sense to learn a little about how a computer really works. This text provides an introduction to programming and problem solving using the Fortran 95/2003/2008 programming language. This introduction is geared for non-computer science majors. The primary focus is on an intr...
|
- Book
Authors : Saghafinia, Ali (2018) - Chapter 1 Introductory Chapter: MATLAB Applications in Power System. Chapter 2 MatLab Simulink Modeling for Network-Harmonic Impedance Assessment: Useful Tool to Estimate Harmonics Amplification. Chapter 3 Dynamic Modeling for Open- and Closed-loop Control of PMSG based WECS with Fuzzy Logic Controllers. Chapter 4 High Voltage Transmission Line Vibration: Using MATLAB to Implement the Finite Element Model of a
Wind-Induced Power-Line Conductor Vibration.
|
- Ebooks (Sách điện tử)
Authors : Bohm, Wolfgang (2021) - This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advan...
|
- Ebooks (Sách điện tử)
Authors : Poritz, Jonathan A. (2021) - This version uses Python and some standard cryptographic libraries in Python to explore
these cryptological ideas. It should be accessible to students with a solid basic comfort
level with Python – but could also be used as a way to solidify Python knowledge
in more beginning users of that language, particularly if those beginners had a friendly
instructor or peers with whom to collaborate.
|
- 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 : - (2016) - This book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software library. Using a series of examples, including the Poisson equation, the equations of linear elasticity, the incompressible Navier-Stokes equations, and systems of nonlinear advection-diffusion-reaction equations, it guides readers through the essential steps to quickly solving a PDE in FEniCS, such as how to define a finite variatio...
|
- Ebooks (Sách điện tử)
Authors : downey, Allen (2012) - Expand your Python skills by working with data structures and algorithms in a refreshing contextthrough an eye-opening exploration of complexity science. Whether youre an intermediate-level Python programmer or a student of computational modeling, youll delve into examples of complex systems through a series of exercises, case studies, and easy-to-understand explanations. Youll work with graphs, algorithm analysis, scale-free networks, and cellular automata, using advanced ...
|
- Ebooks (Sách điện tử)
Authors : downey, Allen (2016) - Currently used at many colleges, universities, and high schools, this hands-on introduction to computer science is ideal for people with little or no programming experience. The goal of this concise book is not just to teach you Java, but to help you think like a computer scientist. You'll learn how to program-a useful skill by itself-but you'll also discover how to use programming as a means to an end. Authors Allen Downey&#x...
|
- Ebooks (Sách điện tử)
Authors : Mayfield, Chris (2020) - Think Java is a hands-on introduction to computer science and programming used by many universities and high schools around the world. Its conciseness, emphasis on vocabulary, and informal tone make it particularly appealing for readers with little or no experience. The book starts with the most basic programming concepts and gradually works its way to advanced object-oriented techniques. In this fully updated and expanded edition, authors Allen Downey&#...
|
