• 

  Mechanical Verification of Parameterized Real-Time Systems

  Mechanical Verification of Parameterized Real-Time Systems ab 89.99 € als Taschenbuch: A Formal Framework and its Application to a Real-Time Operating System Scheduler. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,

  • Shop: hugendubel
  • Price: 89.99 EUR excl. shipping
• 

  Parameterized Risk Model for the Bay of Bengal Coast

  Parameterized Risk Model for the Bay of Bengal Coast ab 61.99 € als Taschenbuch: An Integrated Geophysical Perspective to Coastal Hazards. Aus dem Bereich: Bücher, Wissenschaft, Geowissenschaft,

  • Shop: hugendubel
  • Price: 61.99 EUR excl. shipping
• 

  Parameterized SOC Design for Battery Powered Portable Systems

  Parameterized SOC Design for Battery Powered Portable Systems ab 48.99 € als Taschenbuch: A study to increase the life-time of battery powered portable systems. Aus dem Bereich: Bücher, Wissenschaft, Technik,

  • Shop: hugendubel
  • Price: 48.99 EUR excl. shipping
• 

  Kernelization

  Kernelization ab 50.99 € als epub eBook: Theory of Parameterized Preprocessing. Aus dem Bereich: eBooks, Belletristik, Erzählungen,

  • Shop: hugendubel
  • Price: 50.99 EUR excl. shipping
• 

  The Guide to Pamir

  The Guide to Pamir ab 39.99 € als Taschenbuch: Theory and Use of Parameterized Adaptive Multidimensional Integration Routines. Aus dem Bereich: Bücher, Taschenbücher, Naturwissenschaft,

  • Shop: hugendubel
  • Price: 39.99 EUR excl. shipping
• 

  Cognition and Intractability

  Cognition and Intractability ab 30.49 € als epub eBook: A Guide to Classical and Parameterized Complexity Analysis. Aus dem Bereich: eBooks, Belletristik, Erzählungen,

  • Shop: hugendubel
  • Price: 30.49 EUR excl. shipping
• 

  The Guide to Pamir

  The Guide to Pamir ab 75.49 € als gebundene Ausgabe: Theory and Use of Parameterized Adaptive Multidimensional Integration Routines. Aus dem Bereich: Bücher, Wissenschaft, Mathematik,

  • Shop: hugendubel
  • Price: 75.49 EUR excl. shipping
• 

  Programming with OpenSCAD

  Programming with OpenSCAD is a STEM-focused, learn-to-code book for beginners that introduces core computational thinking concepts through the design of 3D-printable objects. Develop coding skills as you build increasingly complex 3D models and print them into fun games, puzzles, and more.OpenSCAD is freely available open source software that enables nondesigners to easily create 3D designs using a text-based programming language. It s a great language for beginners because the instant 3D visualization gives you immediate feedback on the results of your code. This book channels OpenSCAD s visual benefits and user-friendliness into a STEAM-focused, project-based tutorial that teaches the basics of coding, 3D printing, and computational thinking while you develop your spatial reasoning by creating 3D designs with OpenSCAD.Presuming no prior experience with either programming or 3D design, each chapter builds a scaffolded understanding of core concepts. You ll start by defining, drawing and displaying geometric primitives with text-based code, then expand your creative toolbox with transformation operations like rotating, reflecting, scaling, and combining shapes.As the projects become more sophisticated, so will your programming skills; you ll use loops for replicating objects, if statements for differentiating your designs, and parameterized, self-contained modules to divide longer scripts into separate files. Along the way, you'll learn 3D printing tips so that you can produce physical mementos of your progress and get physical feedback that lets you correct mistakes in real time. In addition, the book provides hands-on and accessible design exercises at the end of each chapter so that you can practice applying new concepts immediately after they are introduced.You ll learn: Programming basics like working with variables, loops, conditional statements, and parameterized modules Transformation operations, such as rotate, reflect, and scale, to create complex shapes Extrusion techniques for turning 2D shapes into elaborate 3D designs Computational-thinking concepts, including decomposition, abstraction, and pattern recognition OpenSCAD s Boolean, Minkowski and hull operations for combining multiple 3D shapes into one 3D design fundamentals, like navigating the xyz-axis, orthogonal vs. perspective views, and constructive solid geometry Organizing bigger designs into separate files to make code more readable and collaborativeAccessibly written for a wide audience (advanced middle schoolers, high school students, college students, artists, makers and lifelong-learners alike), this is the perfect guide to becoming proficient at programming in general and 3D modeling in particular.

  • Shop: buecher
  • Price: 18.99 EUR excl. shipping
• 

  Deep Generative Modeling (eBook, PDF)

  This textbook tackles the problem of formulating AI systems by combining probabilistic modeling and deep learning. Moreover, it goes beyond typical predictive modeling and brings together supervised learning and unsupervised learning. The resulting paradigm, called deep generative modeling, utilizes the generative perspective on perceiving the surrounding world. It assumes that each phenomenon is driven by an underlying generative process that defines a joint distribution over random variables and their stochastic interactions, i.e., how events occur and in what order. The adjective "deep" comes from the fact that the distribution is parameterized using deep neural networks. There are two distinct traits of deep generative modeling. First, the application of deep neural networks allows rich and flexible parameterization of distributions. Second, the principled manner of modeling stochastic dependencies using probability theory ensures rigorous formulation and prevents potential flaws in reasoning. Moreover, probability theory provides a unified framework where the likelihood function plays a crucial role in quantifying uncertainty and defining objective functions. Deep Generative Modeling is designed to appeal to curious students, engineers, and researchers with a modest mathematical background in undergraduate calculus, linear algebra, probability theory, and the basics in machine learning, deep learning, and programming in Python and PyTorch (or other deep learning libraries). It will appeal to students and researchers from a variety of backgrounds, including computer science, engineering, data science, physics, and bioinformatics, who wish to become familiar with deep generative modeling. To engage the reader, the book introduces fundamental concepts with specific examples and code snippets. The full code accompanying the book is available on github. The ultimate aim of the book is to outline the most important techniques in deep generative modeling and, eventually, enable readers to formulate new models and implement them.

  • Shop: buecher
  • Price: 60.95 EUR excl. shipping
• 

  Learn Powershell in a Month of Lunches: Covers Windows, Linux, and Macos

  Designed for busy IT professionals, this innovative guide will take you from the basics to PowerShell proficiency through 25 tutorials you can do in your lunch break. In Learn PowerShell in a Month of Lunches, Fourth Edition you will learn: Discoverability with the Help system Background jobs and automation techniques Simple scripting to automate repetitive tasks Managing cloud services from major cloud providers Extending PowerShell with commands Common syntax and commands cheat sheet Learn PowerShell in a Month of Lunches, Fourth Edition is a task-focused guide for administering your systems using PowerShell. It covers core language features and admin tasks, with each chapter a mini-tutorial you can easily complete in under an hour. Discover how PowerShell works on different operating systems, and start automating tasks so they take just a few seconds to complete. No previous scripting experience required. The book is based on the bestselling Learn Windows PowerShell in a Month of Lunches by community legends Don Jones and Jeffery Hicks. PowerShell team members Travis Plunk and Tyler Leonhardt and Microsoft MVP James Petty have updated this edition to the latest version of PowerShell, including its multi-platform expansion into Linux and macOS. Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications. About the technology PowerShell gives you complete command line control over admin tasks like adding users, exporting data, and file management. Whether you're writing one-liners or building complex scripts to manage cloud resources and CI/CD pipelines, PowerShell can handle the task. And now that PowerShell is truly cross-platform, you don't have to switch scripting languages when you move between Windows, Linux, and macOS. About the book Learn PowerShell in a Month of Lunches, Fourth Edition is a new edition of the bestseller that introduced PowerShell to over 100,000 readers. With bite-sized lessons and hands-on exercises, this amazing book guides you from your first command to writing and debugging reusable scripts for Windows, Linux, and macOS. Set aside just an hour a day and you'll soon be tackling increasingly complex automation tasks with PowerShell. What's inside Discoverability with the Help system PowerShell on macOS and Linux Background jobs and automation techniques Managing cloud services from major cloud providers Common syntax and commands cheat sheet About the reader No previous experience with PowerShell or Bash required. About the author James Petty is CEO of PowerShell.org and The DevOps Collective, and a Microsoft MVP. Travis Plunk is an engineer on the PowerShell team. Tyler Leonhardt is an engineer on Visual Studio Code. Don Jones and Jeffery Hicks are the original authors of Learn Windows PowerShell in a Month of Lunches. Table of Contents 1 Before you begin 2 Meet PowerShell 3 Using the help system 4 Running commands 5 Working with providers 6 The pipeline: Connecting commands 7 Adding commands 8 Objects: Data by another name 9 A practical interlude 10 The pipeline, deeper 11 Formatting: And why it's done on the right 12 Filtering and comparisons 13 Remote control: One-to-one and one-to-many 14 Multitasking with background jobs 15 Working with many objects, one at a time 16 Variables: A place to store your stuff 17 Input and output 18 Sessions: Remote control with less work 19 You call this scripting? 20 Improving your parameterized script 21 Using regular expressions to parse text files 22 Using someone else's script 23 Adding logic and loops 24 Handling errors 25 Debugging techniques 26 Tips, tricks, and techniques 27 Never the end

  • Shop: buecher
  • Price: 40.99 EUR excl. shipping

---

---