» książki » Computers - Languages - General
 |
Constraint Handling Rules
ISBN: 9780521877763 / Angielski / Twarda / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written by the creator of CHR, describes the theory of CHR and how to use it in practice. It is supported by a website containing teaching materials, online demos, and free downloads of the language. After a basic tutorial, the author describes in detail the CHR language and discusses guaranteed properties of CHR programs. The author then compares CHR with other formalisms and languages and illustrates how it can capture their essential features....
Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a practical programming language based on rules. This book, written...
|
cena:
241,49 |
 |
Intelligent Active Directory Integration
ISBN: 9783639137026 / Angielski / Miękka / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The fundamental proposition of this thesis is that
(a) existing Active Directory APIs are restrictive, that (b) a better programming approach to the integration of Active Directory exists and that (c) visual programming paradigms can be effectively applied to achieve the goal of on-time software delivery. Allowing the user to program using domain-specific visual languages creates an intuitive interface and, in addition, generates an underlying framework to perform validation with security checks on the visual elements. Such a framework stimulates rapid application development. Since the... The fundamental proposition of this thesis is that
(a) existing Active Directory APIs are restrictive, that (b) a better programming approach ... |
cena:
263,91 |
 |
The Scheme Programming Language, Fourth Edition
ISBN: 9780262512985 / Angielski / Miękka / 491 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Scheme is a general-purpose programming language, descended from Algol and Lisp, widely used in computing education and research and a broad range of industrial applications. This thoroughly updated edition of The Scheme Programming Language provides an introduction to Scheme and a definitive reference for standard Scheme, presented in a clear and concise manner. Written for professionals and students with some prior programming experience, it begins by leading the programmer gently through the basics of Scheme and continues with an introduction to some of the more advanced features... Scheme is a general-purpose programming language, descended from Algol and Lisp, widely used in computing education and research and a broad range ... |
cena:
325,58 |
 |
Formal Methods in Human-Computer Interaction
ISBN: 9780521448673 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. First published in 1990, this book discusses the application of formal methods to the human-computer interface.
First published in 1990, this book discusses the application of formal methods to the human-computer interface.
|
cena:
266,87 |
 |
A Framework for Testing Concurrent Programs
ISBN: 9783639150742 / Angielski / Miękka / 124 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Incremental, test-driven development is sweeping the software industry, elevating testing from an ancillary activity to an integral part of the programming process. Unfortunately, in our recent experience developing production programs in Java, unit testing has only proven effective in assuring the reliability of code with a single thread of control; it is much less effective in concurrent programs. To facilitate the development of concurrent programs, we have developed: 1. An extension of the JUnit framework that actively supports the developer by treating tests that could silently ignore...
Incremental, test-driven development is sweeping the software industry, elevating testing from an ancillary activity to an integral part of the progra...
|
cena:
263,91 |
 |
Portability of Parallel and Distributed Applications
ISBN: 9783639157857 / Angielski / Miękka / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Portability has become an important consideration in parallel application design. The word portable, or portability, has been widely and often used in the parallel processing community. However, there is no adequate, commonly accepted definition of portability evaluation available. Portability evaluation of parallel application is difficult to quantify, evaluate, and compare. This work is an attempt to establish a framework called Scalable Portability Evaluation Methodology (SPEM) for analyzing the parallel portability. The novelty of SPEM methodology is in its ability to compare, evaluate,...
Portability has become an important consideration in parallel application design. The word portable, or portability, has been widely and often used in...
|
cena:
219,18 |
 |
An Optimization Framework for Auto-Modify Addressing Modes
ISBN: 9783639160024 / Angielski / Miękka / 108 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains a Master's Thesis completed in December 2004 for compiler optimizations in the field of offset assignment, using the auto-increment and auto-decrement addressing modes provided by a number of embedded processors. Legacy Optimizations: Stan Liao's SOA (Simple Offset Assignment) and GOA (General Offset Assignment). Previously Published Optimizations by Chok: Coalescence-Based Offset Assignment (Courtesy of Chok's Professor, Santosh Pande). Newly-Invented Optimizations by Chok in this work: Post-Pre Optimization, Inter-Basic-Block Offset Assignment, and Offset Registers...
This book contains a Master's Thesis completed in December 2004 for compiler optimizations in the field of offset assignment, using the auto-increment...
|
cena:
219,18 |
 |
Semantic Anchoring
ISBN: 9783639147100 / Angielski / Miękka / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book proposes an affordable technology that can
facilitate formal Domain-Specific Modeling Language design with precise syntax and semantics definition and to build a solid semantic anchoring infrastructure for the Model-Integrated Computing approach. A semantic anchoring infrastructure facilitates the transformational specification of Domain-Specific Modeling Language semantics. It is based on the observation that, in the embedded software and systems domain, there is a finite set of basic behavioral categories, such as Finite State Machine, Timed Automata, Discrete Event... This book proposes an affordable technology that can
facilitate formal Domain-Specific Modeling Language design with precise syntax and sema... |
cena:
304,16 |
 |
Software Verification Based on Game Semantics and Process Algebra
ISBN: 9783639163834 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. One of the major challenges in computer science is
to put programming on a firmer mathematical basis, in order to improve the correctness of programs. This book presents a semantic framework for verifying safety properties of open sequential programs. The presentation is focused on an Algol- like language that embodies many of the core ingredients of imperative and functional languages and incorporates data abstraction in its syntax. Game semantics is used to obtain a compositional, incremental way of generating accurate models of programs. Model-checking is made possible by giving... One of the major challenges in computer science is
to put programming on a firmer mathematical basis, in order to improve the correctness of... |
cena:
353,37 |
 |
Controlling Visibility of Class Extensions
ISBN: 9783639165180 / Angielski / Miękka / 156 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
263,91 |
 |
Identifying Relevant Information for Testing Technique Selection: An Instantiated Characterization Schema
ISBN: 9781461350675 / Angielski / Miękka / 281 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Engineering tasks are supposed to achieve defined goals under certain project constraints. Example goals of software engineering tasks include achieving a certain functionality together with some level of reliability or performance. Example constraints of software engineering tasks include budget and time limitations or experience limitations of the developers at hand. Planning of an engineering project requires the selection of techniques, methods and tools suited to achieve stated goals under given project constraints. This assumes sufficient knowledge regarding the process-product...
Engineering tasks are supposed to achieve defined goals under certain project constraints. Example goals of software engineering tasks include achievi...
|
cena:
402,53 |
 |
The Mood Cure: Take Charge of Your Emotions in 24 Hours Using Food and Supplements
ISBN: 9780007323692 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the food and nutritional answer to mood disorders - Patrick Holford, the founder of the Institute of Optimum Nutrition, praised it as 'working better than any anti-depressant'. Written by one of the most successful names in nutrient therapy, The Mood Cure shows you how you can permanently lift dark moods and emotions in less than 24 hours.
This is the food and nutritional answer to mood disorders - Patrick Holford, the founder of the Institute of Optimum Nutrition, praised it as 'working...
|
cena:
85,50 |
 |
Software-Entwicklung in FORTRAN 90
ISBN: 9783211824504 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fortran, die seit vierzig Jahren fuhrende Programmiersprache der Numerischen Datenverarbeitung (des Scientific Computing), hat vor kurzem eine radikale Modernisierung erfahren: Fortran 90, das die bisherige Version FORTRAN 77 vollstandig umfasst und daruber hinaus neue, machtige Sprachkonstrukte enthalt, die eine Grundlage fur die Entwicklung qualitativ hochstehender numerischer Software bilden. Es scheint keine sehr gewagte Prognose zu sein, auch fur die kommenden Jahre (evtl. sogar Jahrzehnte) eine Fortsetzung der dominanten Rolle von Fortran vorauszusagen. Teil 1 des Buches ist den...
Fortran, die seit vierzig Jahren fuhrende Programmiersprache der Numerischen Datenverarbeitung (des Scientific Computing), hat vor kurzem eine radikal...
|
cena:
206,88 |
 |
Funktionale Programmierung: Sprachdesign Und Programmiertechnik
ISBN: 9783540209591 / Niemiecki / Miękka / 492 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Gegenstand dieses Werkes sind die Theorie und Praxis der modernen funktionalen Programmierung. Dabei betrachten die Autoren aber nicht nur das, was mittels der heute implementierten Sprachen wie HASKELL, OPAL, ML usw. machbar ist, sondern weisen auch auf aktuelle Entwicklungen hin. Zum einen werden fortgeschrittene Programmiertechniken vorgestellt, wie z.B. die Verwendung unendlicher Datenstrukturen, Parser als Funktionen hoherer Ordnung, Approximations-Algorithmen, Losung von Gleichungssystemen usw. Zum anderen werden aber auch Sprachkonzepte diskutiert, wie z.B. eine systematische... Gegenstand dieses Werkes sind die Theorie und Praxis der modernen funktionalen Programmierung. Dabei betrachten die Autoren aber nicht nur das, was... |
cena:
124,11 |
 |
SOA and Web Services Interface Design: Principles, Techniques, and Standards
ISBN: 9780123748911 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In SOA and Web Services Interface Design, data architecture guru James Bean teaches you how to design web service interfaces that are capable of being extended to accommodate ever changing business needs and promote incorporation simplicity. The book first provides an overview of critical SOA principles, thereby offering a basic conceptual summary. It then provides explicit, tactical, and real-world techniques for ensuring compliance with these principles. Using a focused, tutorial-based approach the book provides working syntactical examples - described by Web services standards such...
In SOA and Web Services Interface Design, data architecture guru James Bean teaches you how to design web service interfaces that are capable o...
|
cena:
204,40 |
 |
Semantics and Logics of Computation
ISBN: 9780521118460 / Angielski / Miękka / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Summer school lecture courses on modern logic and computation are presented here.
Summer school lecture courses on modern logic and computation are presented here.
|
cena:
248,78 |
 |
Modernism and the Culture of Market Society
ISBN: 9780521120111 / Angielski / Miękka / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. John Xiros Cooper asserts that the avant-garde is actually one of the defining instances of capitalist culture: part of the brash, new capitalist culture in the early twentieth century. The Modernist avant-garde exemplified the impact of capitalism on everyday life in their personal relationships, gender roles and sexual contacts. Cooper explores this provocative theme across a wide range of Modernist authors.
John Xiros Cooper asserts that the avant-garde is actually one of the defining instances of capitalist culture: part of the brash, new capitalist cult...
|
cena:
203,54 |
 |
Using Activity Domain Theory for Managing Complex Systems
ISBN: 9781605661926 / Angielski / Twarda / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Offering a new approach towards managing the coordination of complex system development tasks, this book combines a deep understanding of concrete, everyday conditions of the telecom industry with innovative theoretical development of the Activity Domain Theory (ADT).
Offering a new approach towards managing the coordination of complex system development tasks, this book combines a deep understanding of concrete, ev...
|
cena:
909,96 |
 |
AI algorithms for a prototype game software in Java 1.6
ISBN: 9783639171587 / Angielski / Miękka / 100 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The games industry is evolving and expanding very
rapidly. New game hardware platforms from big vendors are frequently released in the hope of further expanding the market. Niche markets such as the casual games market are also evolving and expanding rapidly, with the internet as their primary medium for presentation and distribution. Dot Red Games Ltd. (www.dotredgames.com) is a newly formed innovative game software company which has been working to develop a new game engine based on Java 1.6 promoted through the casual market mentioned above. The engine incorporates all the latest... The games industry is evolving and expanding very
rapidly. New game hardware platforms from big vendors are frequently released in the hope of... |
cena:
219,18 |
 |
Python 3 - Intensivkurs: Projekte Erfolgreich Realisieren
ISBN: 9783642043765 / Niemiecki / Miękka / 351 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Python ist eine ubersichtliche Programmiersprache, die objektorientierte und strukturierte Programmierung ermoglicht sowie Aspekt-orientierte und funktionale Features besitzt. In den letzten Jahren kamen immer mehr Python-programmierte Anwendungen hinzu. Mit Python 3 steht nun eine Version zur Verfugung, die wesentliche Anderungen zu fruheren Versionen enthalt. In Python 3 - Intensivkurs gibt der amerikanische Python-Spezialist Mark Pilgrim eine praxisorientierte Einfuhrung, die die Werkzeuge und Programmiermoglichkeiten von Python 3 umfassend erlautert. Jedes Kapitel beginnt mit... Python ist eine ubersichtliche Programmiersprache, die objektorientierte und strukturierte Programmierung ermoglicht sowie Aspekt-orientierte und f... |
cena:
225,72 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
