تحسين النتائح
ترتيب حسب
من
الى
الصفحة 1
الصفحة 1
Logics of Specification Languages
Dedicated chapters address : the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.
LEGO® MINDSTORMS® NXT-G Programming Guide
LEGO MINDSTORMS NXT-G Programming Guide provides programming techniques simple enough to be understood by young programmers, ages 10 and up, and provides a test robot (with instructions) in the appendix for running the programs
Julia - Bit by Bit : Programming for Beginners
The main goal of this book is to teach fundamental programming principles to beginners using Julia, one of the fastest growing programming languages today. Julia can be classified as a "modern" language, possessing many features not available in more popular languages like C and Java.
Complexity of Constraints : An Overview of Current Research Themes
This state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International Dagstuhl-Seminar on Complexity of Constraints, held in Dagstuhl Castle, Germany, in October 2006.
Beginning Object-Oriented Programming with VB 2005 : From novice to professional
Beginning Object-Oriented Programming with VB 2005 is a comprehensive resource of correct coding procedures. Author Daniel Clark takes you through all the stages of a programming project, including analysis, modeling, and development, all using object-oriented programming techniques and Visual Basic .NET. Clark explores the structure of classes and their hierarchies, as well as inheritance and interfaces. He also introduces the .NET Framework and the Visual Studio integrated development environment, or IDE. A real-world case study walks you through the design of a solution. You can then transform the design into a functional VB .NET application. The application includes a graphical user interface (GUI), a business logic class library, and integration with a back-end database. Throughout the book, you'll explore the fundamentals of software design, object-oriented programming, Visual Basic .NET 2.0, and the Unified Modeling Language (UML).
Beginning IntelliJ IDEA : Integrated development environment for Java programming
Shows you how to leverage IntelliJ’s tools to develop clean, efficient Java applications. The last portion of the book focuses on application testing and deployment, and language- and framework- specific guidelines. After reading this book and working through its freely available source code, you'll be up to speed with this powerful IDE for today's Java development. You will: Use IntelliJ IDEA to build Java applications / Set up your IDE and project / Work with source code / Extend your Java application to data science and other kinds of applications / Test and deploy your application and much more
Bad programming practices 101 : Become a better coder by learning how (Not) to program
Takes a humorous slant on the programming practice manual by reversing the usual approach: under the pretence of teaching you how to become the world’s worst programmer who generally causes chaos, the book teaches you how to avoid the kind of bad habits that introduce bugs or cause code contributions to be rejected.
Automatic program development : A tribute to Robert Paige
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.
Applications of evolutionary computing ; EvoWorkshops 2008 : EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings
This volume presents a careful selection of relevant EC examples combined with a thorough examination of the techniques used in EC. The papers in the volume illustrate the current state of the art in the application of EC and should help and - spire researchers and professionals to develop e?cient EC methods for design and problem solving.
Ant Colony Optimization and Swarm Intelligence ; 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Workshop on Ant Colony Optimization and Swarm Intelligence, ANTS 2008, held in Brussels, Belgium, in September 2008.
Android Application Development for the Intel® Platform
The number of Android devices running on Intel processors has increased since Intel and Google announced, in late 2011, that they would be working together to optimize future versions of Android for Intel Atom processors. Today, Intel processors can be found in Android smartphones and tablets made by some of the top manufacturers of Android devices, such as Samsung, Lenovo, and Asus.
Algorithms in Bioinformatics ; 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 8th International Workshop on Algorithms in Bioinformatics, WABI 2008, held in Karlsruhe, Germany, in September 2008 as part of the ALGO 2008 meeting.
Algorithms and Programming : Problems and Solutions
This book containing classical and well-known problems supplemented by clear and in-depth explanations. The material covered includes such topics as combinatorics, sorting, searching, queues, grammar and parsing, selected well-known algorithms and much more.
Algorithms and data structures : The Basic Toolbox
This book is a concise introduction addressed to students and professionals familiar with programming and basic mathematical language.
Algebraic Methodology and Software Technology ; 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.
3D Mesh processing and character animation : with examples using OpenGL, OpenMesh and Assimp
Focusses specifically on topics that are important in three-dimensional modelling, surface design and real-time character animation. It provides an in-depth coverage of data structures and popular methods used in geometry processing, keyframe and inverse kinematics animations and shader based processing of mesh objects. It also introduces two powerful and versatile libraries, OpenMesh and Assimp, and demonstrates their usefulness through implementations of a wide range of algorithms in mesh processing and character animation respectively. This Textbook is written for students at an advanced undergraduate or postgraduate level who are interested in the study and development of graphics algorithms for three-dimensional mesh modeling and analysis, and animations of rigged character models.
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
Algoritmi : Lo spirito dell’informatica = Algorithms : The spirit of information technology
Algorithms are the heart of computer science and mathematics, since without them the use of computers would not be possible. In this book, which in its English edition has been a longtime bestseller, Harel and Feldmann answer all questions relating to this topic. They talk about the evaluation, correctness and effectiveness of algorithms, but also clarify some doubts about programming techniques and also refer to the very current discussion on quantum computing. The book is useful both as a basic text for an introductory university course in computer science, and as a general introduction to natural sciences, mathematics or engineering.
Algorithms for Fuzzy Clustering : Methods in c-Means Clustering with Applications
The main subject of this book is the fuzzy c-means proposed by Dunn and Bezdek and their variations including recent studies. We emphasize in this book is a family of algorithms using entropy or entropy-regularized methods which are less known, but we consider the entropy-based method to be another useful method of fuzzy c-means.
