Advanced Topics in Term Rewriting
ISBN: 9780387952505 / Angielski / Twarda / 414 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data types), in programming languages (e.g., functional-logic programming), in computer algebra (e.g., symbolic computations, Grabner bases), in pro gram verification (e.g., automatically proving termination of programs), in automated theorem proving (e.g., equational unification), and in algebra (e.g., Boolean algebra, group theory). In other words, term rewriting has applications in practical computer science, theoretical computer science, and...
Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data t...
|
|
cena:
194,97 zł |
Computer Logic: Design Principles and Applications
ISBN: 9780387953045 / Angielski / Twarda / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An understanding of modern computer logic-incorporating core knowledge of number systems, number conversions, Boolean algebra, memories, and logic circuits-is fundamental to further study of computer architectures, system software, and computer networks. Computer Logic: Design Principles and Applications introduces and describes the relevant concepts, principles and applications of modern computer logic design. The book is self-contained, with an introductory chapter that concisely covers the history of computing devices, as well as number systems, number conversions, signed and unsigned...
An understanding of modern computer logic-incorporating core knowledge of number systems, number conversions, Boolean algebra, memories, and logic cir...
|
|
cena:
194,97 zł |
The Origin of Concurrent Programming: From Semaphores to Remote Procedure Calls
ISBN: 9780387954011 / Angielski / Twarda / 534 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a collection of original papers written by the computer scientists who made the major breakthroughs in concurrent programming. It covers the pioneering era of the field, from the semaphores of the mid 1960s to the remote procedure calls of the late 1970s. "The Origin of Concurrent Programming" presents 19 seminal papers by E. W. Dijkstra, P. Brinch Hansen, and C. A. R. Hoare. While focusing on contributions of major and lasting importance, the book: * Features an essay that summarizes the papers and puts them in historical perspective. * Builds on fundamental programming...
This book is a collection of original papers written by the computer scientists who made the major breakthroughs in concurrent programming. It covers ...
|
|
cena:
389,98 zł |
Algorithms and Parallel VLSI Architectures III
ISBN: 9780444821065 / Angielski / Twarda / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A comprehensive overview of the current evolution of research in algorithms, architectures and compilation for parallel systems is provided by this publication.
The contributions focus specifically on domains where embedded systems are required, either oriented to application-specific or to programmable realisations. These are crucial in domains such as audio, telecom, instrumentation, speech, robotics, medical and automotive processing, image and video processing, TV, multimedia, radar and sonar. The book will be of particular interest to the academic community because of the detailed... A comprehensive overview of the current evolution of research in algorithms, architectures and compilation for parallel systems is provided by this pu...
|
|
cena:
1840,86 zł |
Tree Automata and Languages: Volume 10
ISBN: 9780444890269 / Angielski / Twarda / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The theory of tree languages, founded in the late Sixties and still active in the Seventies, was much less active during the Eighties. Now there is a simultaneous revival in several countries, with a number of significant results proved in the past five years. A large proportion of them appear in the present volume.
The editors of this volume suggested that the authors should write comprehensive half-survey papers. This collection is therefore useful for everyone interested in the theory of tree languages as it covers most of the recent questions which are not treated in the very few rather... The theory of tree languages, founded in the late Sixties and still active in the Seventies, was much less active during the Eighties. Now there is a ...
|
|
cena:
1186,53 zł |
Puzzles for Programmers and Pros
ISBN: 9780470121689 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
|
|
cena:
87,81 zł |
Program Construction: Calculating Implementations from Specifications
ISBN: 9780470848821 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
|
|
cena:
263,32 zł |
Agile Documentation: A Pattern Guide to Producing Lightweight Documents for Software Projects
ISBN: 9780470856178 / Angielski / Miękka / 226 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software documentation forms the basis for all communication relating to a software project. To be truly effective and usable, it should be based on what needs to be known. Agile Documentation provides sound advice on how to produce lean and lightweight software documentation. It will be welcomed by all project team members who want to cut out the fat from this time consuming task. Guidance given in pattern form, easily digested and cross-referenced, provides solutions to common problems.
Straightforward advice will help you to judge:
Software documentation forms the basis for all communication relating to a software project. To be truly effective and usable, it should be based on w...
|
|
cena:
137,29 zł |
Embedded System Design: A Unified Hardware / Software Introduction
ISBN: 9780471386780 / Angielski / Twarda / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces a modern approach to embedded system design, presenting software design and hardware design in a unified manner. It covers trends and challenges, introduces the design and use of single-purpose processors ("hardware") and general-purpose processors ("software"), describes memories and buses, illustrates hardware/software tradeoffs using a digital camera example, and discusses advanced computation models, controls systems, chip technologies, and modern design tools. For courses found in EE, CS and other engineering departments.
This book introduces a modern approach to embedded system design, presenting software design and hardware design in a unified manner. It covers trends...
|
|
cena:
982,71 zł |
The 123s of ABC in SAP: Using SAP R/3 to Support Activity-Based Costing
ISBN: 9780471397007 / Angielski / Twarda / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Incorporate the Benefits of Activity-Based Costing into the Efficiencies of Your SAP R/3 System
Given SAP's dominance in the enterprise resource planning (ERP) market, many companies and their managers encounter SAP AG applications in some form or another. Many of these organizations have recognized the value of utilizing Activity-Based Costing/Management concepts to perform more accurate cost assignments or drive performance initiatives. Managers are then faced with trying to determine how Activity-Based Costing can be incorporated into the SAP environment. The 123s of ABC in SAP... Incorporate the Benefits of Activity-Based Costing into the Efficiencies of Your SAP R/3 System
Given SAP's dominance in the enterprise reso... |
|
cena:
521,69 zł |
Independent Verification and Validation: A Life Cycle Engineering Process for Quality Software
ISBN: 9780471570110 / Angielski / Twarda / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Comprehensive and up-to-date, it covers the most vital part of software development, independent verification and validation. Presents a variety of methods that will ensure better quality, performance, cost and reliability of technical products and systems.
Comprehensive and up-to-date, it covers the most vital part of software development, independent verification and validation. Presents a variety of me...
|
|
cena:
878,37 zł |
Karel the Robot: A Gentle Introduction to the Art of Programming
ISBN: 9780471597254 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Get a Fast, Clear Understanding of the Concepts and Skills of Good Programming Karel the Robot, Second Edition Karel the Robot teaches you the fundamental concepts and skills of programming quickly and easily By emphasizing logic and structure over calculation, it provides a nonthreatening introduction to the central ideas in programming the same ideas that apply to all computer programming languages. This widely-praised guide begins by introducing Karel, a literal-minded robot whose built-in capabilities allow him to explore his world and manipulate simple objects in it. It then introduces...
Get a Fast, Clear Understanding of the Concepts and Skills of Good Programming Karel the Robot, Second Edition Karel the Robot teaches you the fundam...
|
|
cena:
337,73 zł |
UML 2.0 Models
ISBN: 9780471727835 / Angielski / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A practical approach to enhancing quality in software models using UML Version 2.0
"Despite its increasing usage, many companies are not taking the best advantage of UML and, occasionally, individuals have experienced frustration in applying its standards. Perhaps this is because they have not yet read this book " -From the Foreword by Prof. Brian Henderson-Sellers This book presents a practical checklist approach to enhancing the quality of software models created with the Unified Modeling Language (UML) Version 2.0. The foundation for quality is set by the... A practical approach to enhancing quality in software models using UML Version 2.0
"Despite its increasing usage, many companies are not ... |
|
cena:
609,28 zł |
An Illustrated Guide to Linear Programming
ISBN: 9780486262581 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. -I would not hesitate to recommend the book.- -- Industrial Engineering -I would not hesitate to recommend the book.- -- Industrial Engineering |
|
cena:
65,30 zł |
Deductive and Declarative Programming
ISBN: 9780521032513 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive theories of suitable data type specifications and exploit both classical theorem-proving and term rewriting. Detailed examples accompany the development of the methods, and their use is supported by a prototyping system that is documented at the end of the book.
In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive...
|
|
cena:
291,03 zł |
Program Construction
ISBN: 9780521318839 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail. The authors show how, given the formal specification of a program, data structure and program structure diagrams are drawn and then converted into a procedural program in a program design language (PDL). They demonstrate the conversion of PDL into a variety of real programming languages...
This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction fr...
|
|
cena:
223,71 zł |
Term Rewriting Systems
ISBN: 9780521391153 / Angielski / Twarda / 908 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Term rewriting systems, which developed out of mathematical logic, consist of sequences of discrete steps where one term is replaced with another. Their many applications range from automatic theorem proving systems to computer algebra. This book begins with several examples, followed by a chapter on basic notions that provides a foundation for the rest of the work. First-order and higher-order theories are presented, with much of the latter material appearing for the first time in book form. Subjects treated include orthogonality, termination, lambda calculus and term graph rewriting. There...
Term rewriting systems, which developed out of mathematical logic, consist of sequences of discrete steps where one term is replaced with another. The...
|
|
cena:
970,06 zł |
Perception as Bayesian Inference
ISBN: 9780521461092 / Angielski / Twarda / 530 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In recent years, Bayesian probability theory has emerged not only as a powerful tool for building computational theories of vision, but also as a general paradigm for studying human visual perception. This book provides an introduction to and critical analysis of the Bayesian paradigm. Leading researchers in computer vision and experimental vision science describe general theoretical frameworks for modeling vision, detailed applications to specific problems and implications for experimental studies of human perception. The book provides a dialogue between different perspectives both within...
In recent years, Bayesian probability theory has emerged not only as a powerful tool for building computational theories of vision, but also as a gene...
|
|
cena:
673,52 zł |
Basic Simple Type Theory
ISBN: 9780521465182 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. By concentrating on the principles that make the theory work in practice, the author covers all the key ideas without getting involved in the complications of more advanced systems. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's...
Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its t...
|
|
cena:
485,66 zł |
Real-Time Computer Vision
ISBN: 9780521472784 / Angielski / Twarda / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer vision is a rapidly developing and highly interdisciplinary field of computer science and engineering in which researchers are attempting to create vision algorithms that can analyze dynamic images at real-time rates. Real-time vision is needed for automated systems to keep pace with real-world activities and thus control or respond appropriately to them. This is the first book devoted to the subject of real-time computer vision, and it includes articles by some of the leading researchers in the world. The focus is on algorithms for interpreting visual input at video rates and on...
Computer vision is a rapidly developing and highly interdisciplinary field of computer science and engineering in which researchers are attempting to ...
|
|
cena:
549,96 zł |