» książki » Computers - Programming - General
topmenu
 |
A Practical Theory of Programming
ISBN: 9781461264446 / Angielski / Miękka / 247 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. There are several theories of programming. The first usable theory, often called "Hoare's Logic," is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in...
There are several theories of programming. The first usable theory, often called "Hoare's Logic," is still probably the most widely known. In it, a sp...
|
cena:
201,24 |
 |
Memory Performance of PROLOG Architectures
ISBN: 9781461292029 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. One suspects that the people who use computers for their livelihood are growing more sophisticated as the field of computer science evolves. This view might be defended by the expanding use of languages such as C and Lisp in contrast to the languages such as FORTRAN and COBOL. This hypothesis is false however - computer languages are not like natural languages where successive generations stick with the language of their ancestors. Computer programmers do not grow more sophisticated - programmers simply take the time to muddle through the increasingly complex language semantics in an attempt...
One suspects that the people who use computers for their livelihood are growing more sophisticated as the field of computer science evolves. This view...
|
cena:
603,81 |
 |
Speech-To-Speech Translation: A Massively Parallel Memory-Based Approach
ISBN: 9781461361787 / Angielski / Miękka / 193 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Speech--to--Speech Translation: a Massively Parallel Memory-Based Approach describes one of the world's first successful speech--to--speech machine translation systems. This system accepts speaker-independent continuous speech, and produces translations as audio output. Subsequent versions of this machine translation system have been implemented on several massively parallel computers, and these systems have attained translation performance in the milliseconds range.
The success of this project triggered several massively parallel projects, as well as other massively... Speech--to--Speech Translation: a Massively Parallel Memory-Based Approach describes one of the world's first successful speech--to-...
|
cena:
644,07 |
 |
Multiprocessing: Trade-Offs in Computation and Communication
ISBN: 9781461364023 / Angielski / Miękka / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multiprocessing: Trade-Offs in Computation and Communication presents an in-depth analysis of several commonly observed regular and irregular computations for multiprocessor systems. This book includes techniques which enable researchers and application developers to quantitatively determine the effects of algorithm data dependencies on execution time, on communication requirements, on processor utilization and on the speedups possible.
Starting with simple, two-dimensional, diamond-shaped directed acyclic graphs, the analysis is extended to more complex and higher dimensional... Multiprocessing: Trade-Offs in Computation and Communication presents an in-depth analysis of several commonly observed regular and irregular...
|
cena:
402,53 |
 |
Performance Evaluation, Prediction and Visualization of Parallel Systems
ISBN: 9781461373438 / Angielski / Miękka / 319 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Performance Evaluation, Prediction and Visualization in Parallel Systems presents a comprehensive and systematic discussion of theoretics, methods, techniques and tools for performance evaluation, prediction and visualization of parallel systems. Chapter 1 gives a short overview of performance degradation of parallel systems, and presents a general discussion on the importance of performance evaluation, prediction and visualization of parallel systems. Chapter 2 analyzes and defines several kinds of serial and parallel runtime, points out some of the weaknesses of parallel...
Performance Evaluation, Prediction and Visualization in Parallel Systems presents a comprehensive and systematic discussion of theor...
|
cena:
603,81 |
 |
Genetic Programming and Data Structures: Genetic Programming + Data Structures = Automatic Programming!
ISBN: 9781461376255 / Angielski / Miękka / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computers that program themselves' has long been an aim of computer scientists. Recently genetic programming (GP) has started to show its promise by automatically evolving programs. Indeed in a small number of problems GP has evolved programs whose performance is similar to or even slightly better than that of programs written by people. The main thrust of GP has been to automatically create functions. While these can be of great use they contain no memory and relatively little work has addressed automatic creation of program code including stored data. This issue is the main focus of...
Computers that program themselves' has long been an aim of computer scientists. Recently genetic programming (GP) has started to show its promise by a...
|
cena:
603,81 |
 |
Human-Machine Interactive Systems
ISBN: 9781468458855 / Angielski / Miękka / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many hardware devices present either results or alternatives selected by computers to users. A few are video display terminals (VDTs), touch-tone telephones, and computer-generated speech systems. In part this book con cerns the impact and implications of such tools. Alternatively this is an attempt to provide material for researchers, students, and managers con cerned with computer interfaces. The subject of computer interfaces is at one level a technical subarea sharing common interests with the broad dis ciplines of computer science, psychology, and bioengineering. However, it is also a...
Many hardware devices present either results or alternatives selected by computers to users. A few are video display terminals (VDTs), touch-tone tele...
|
cena:
201,24 |
 |
Perl Para Geocientificos
ISBN: 9781490709345 / Hiszpański / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Perl, acronimo para Practical Extraction and Report Language, es un lenguaje de programacion interpretado, disenado por Larry Wall, quien libero la primera version en 1987. Es muy apropiado para escribir, desde aplicaciones sencillas hasta las mas complejas. En particular, en este libro se demuestra lo versatil que es Perl para manipular diferentes formatos usados en la industria, tanto en la sismica como en la petrolera, asi como tambien para manipular la gran cantidad de informacion que se genera durante programas de adquisicion de sismica. Tambien se muestran ejercicios para programar...
Perl, acronimo para Practical Extraction and Report Language, es un lenguaje de programacion interpretado, disenado por Larry Wall, quien libero la pr...
|
cena:
114,64 |
 |
The Foundations of Program Verification
ISBN: 9783322967541 / Niemiecki / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a textbook on program verification. It concentrates on those verification methods that have now become classic such as the inductive assertions method of Floyd, the axiomatic method of Hoare and Scott's fixpoint induction. The aim of the book is to present these different verification methods and to explain their mathemati cal background. The subject is treated with mathematical precision, and many examples are included. Throughout the book the same examples will reappear to illustrate how the different methods are related. The material is self-contained and accessible without prior...
This is a textbook on program verification. It concentrates on those verification methods that have now become classic such as the inductive assertion...
|
cena:
169,28 |
 |
Parallele Programmierung: Eine Einführung
ISBN: 9783528051426 / Niemiecki / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Lehrbuch gibt eine Einfuhrung in das Gebiet der parallelen Programmierung und richtet sich vor allem an Studenten der Informatik im Hauptstudium. Nach den Grundlagen folgen die Gebiete der "konventionellen" asynchronen parallelen Programmierung und der synchronen "massiv parallelen" oder daten-parallelen Programmierung mit tausend oder mehr Prozessoren. Den Abschluss bilden weitere parallele Modelle, die nicht einem dieser beiden Gebiete zugeordnet werden konnen, die automatische Parallelisierung und Vektorisierung sowie Leistungsbetrachtungen. Das Buch entstand aus dem Skript zur...
Dieses Lehrbuch gibt eine Einfuhrung in das Gebiet der parallelen Programmierung und richtet sich vor allem an Studenten der Informatik im Hauptstudiu...
|
cena:
187,92 |
 |
Object-Oriented Software for Manufacturing Systems
ISBN: 9789401060288 / Angielski / Miękka / 270 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. I must confess that I stumbled upon the object-oriented (00) world view during my explorations into the world of artificial intelligence (AI) in search of a new solution to the problem of building computer-integrated manufacturing systems (CIM). In 00 computing, I found the constructs to model the manufacturing enterprise in terms of information, a resource that is common to all activities in an organization. It offered a level of modularity, and the coupling/binding neces- sary for fostering integration without placing undue restrictions on what the individual applications can do. The...
I must confess that I stumbled upon the object-oriented (00) world view during my explorations into the world of artificial intelligence (AI) in searc...
|
cena:
201,24 |
 |
Advances in Computers: Volume 92
ISBN: 9780124202320 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of significant, lasting value in this rapidly expanding field.
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design... |
cena:
538,76 |
 |
So You Want to Be a Computer Programmer
ISBN: 9780615872773 / Angielski / Miękka / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is both practical and challenging It has been carefully designed to present both university and high school students with a large set of programming problems and introduce the student to five different programming languages. The text includes over 300 problems, which have been collected over a period of thirty years by author Dr. James Miller for use in computer problem solving competitions - a professor of mathematics and computer science at Transylvania University in Lexington, Ky., Dr. Miller has supervised teams of students who competed in university and high school computer...
This book is both practical and challenging It has been carefully designed to present both university and high school students with a large set of pr...
|
cena:
153,95 |
 |
Advanced Programming Techniques
ISBN: 9780983384021 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Packed with more than 100 working code examples, Advanced Programming Techniques will teach you new and innovative algorithms and techniques that you can use in nearly any computer programming language. This book includes multiple solutions to the same programming problems allowing you to compare the different solutions and learn the advantages and disadvantages of each programming technique. From this book you will learn how to write simpler, more precise, and more efficient code. The code examples include
Packed with more than 100 working code examples, Advanced Programming Techniques will teach you new and innovative algorithms and techniques... |
cena:
64,53 |
 |
Application-Driven Architecture Synthesis
ISBN: 9781461364252 / Angielski / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Application-Driven Architecture Synthesis describes the state of the art of architectural synthesis for complex real-time processing.
In order to deal with the stringent timing requirements and the intricacies of complex real-time signal and data processing, target architecture styles and target application domains have been adopted to make the synthesis approach feasible. These approaches are also heavily application-driven, which is illustrated by many realistic demonstrations, used as examples in the book. The focus is on domains where application-specific solutions are... Application-Driven Architecture Synthesis describes the state of the art of architectural synthesis for complex real-time processing.
In... |
cena:
603,81 |
 |
Code Connected Volume 1: Learning ZeroMQ
ISBN: 9781481262651 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
101,16 |
 |
Crea Aplicaciones Metro Style Con Html, CSS Y JavaScript
ISBN: 9781490463520 / Hiszpański / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
52,40 |
 |
C Programming for the PC the Mac and the Arduino Microcontroller System
ISBN: 9781491880500 / Angielski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
125,60 |
 |
Batch File: The Resource Guide to Batch File Code and commands
ISBN: 9781468132113 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
277,69 |
 |
Voice Application Development for Android
ISBN: 9781783285297 / Angielski / Miękka / 134 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A practical guide to develop advanced and exciting voice applications for Android using open source software Overview * A comprehensive guide containing all the best practices for voice application development for Android* Progress quickly from basic apps to more advanced topics* Written in an easy-to-follow style with detailed descriptions of the included code examples to help you learn quickly and efficiently* You can download the updated code here In Detail Speech technology has been around for some time now. However, it has only more recently captured the imagination of the general...
A practical guide to develop advanced and exciting voice applications for Android using open source software Overview * A comprehensive guide contain...
|
cena:
176,91 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
