topmenu
• Nauka
[3090713]
[1812092]
[52353]
[156406]
• Komiksy
[36497]
[23076]
[611051]
• Hobby
[103270]
[1744]
[194823]
[382]
• Słowniki
[2994]
• Inne
[446649]
[242]
[166396]
[420635]
• Religia
[508575]
[545]
• Sport
[61132]
• Sztuka
[249371]
[3442]
[230899]
• Zdrowie
[98302]
[126]
• Zabawki
[2532]
[4027]
[273]
[8376]
Programowanie
ilość książek w kategorii: 16946
 |
Efficient Parallel Algorithms
ISBN: 9780521388412 / Angielski / Miękka / 1989 / 268 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This largely self-contained text is an introduction to the field of efficient parallel algorithms and to the techniques for efficient parallelism, that presumes no special knowledge of parallel computers or particular mathematics. The book emphasizes designing algorithms within the timeless and abstracted context of a high-level programming language rather than within highly specific computer architectures. This is an approach that concentrates on the essence of algorithmic theory, determining and taking advantage of the inherently parallel nature of certain types of problems. The authors...
This largely self-contained text is an introduction to the field of efficient parallel algorithms and to the techniques for efficient parallelism, tha...
|
cena:
231,24 |
 |
Term Rewriting Systems
ISBN: 9780521391153 / Angielski / Twarda / 2003 / 908 str. Termin realizacji zamówienia: ok. 16-18 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:
957,80 |
 |
Distributed Ada: Developments and Experiences: Proceedings of the Distributed ADA '89 Symposium, University of Southampton, 11-12 December 1989
ISBN: 9780521392518 / Angielski / Twarda / 1990 / 332 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book presents the proceedings of the Distributed Ada '89 Symposium held at the University of Southampton in December. The objective of the symposium was to provide a platform for developers and users with experience in the areas of distributed and parallel environments to reveal the advantages and difficulties encountered. The impact of Ada-9X and other enhancements to the language were also explored.
This book presents the proceedings of the Distributed Ada '89 Symposium held at the University of Southampton in December. The objective of the sympos...
|
cena:
540,65 |
 |
Modelling Brain Function: The World of Attractor Neural Networks
ISBN: 9780521421249 / Angielski / Miękka / 1992 / 524 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Exploring one of the most exciting and potentially rewarding areas of scientific research, the study of the principles and mechanisms underlying brain function, this book introduces and explains the techniques brought from physics to the study of neural networks and the insights they have stimulated. Substantial progress in understanding memory, the learning process, and self-organization by studying the properties of models of neural networks have resulted in discoveries of important parallels between the properties of statistical, nonlinear cooperative systems in physics and neural...
Exploring one of the most exciting and potentially rewarding areas of scientific research, the study of the principles and mechanisms underlying brain...
|
cena:
343,78 |
 |
An Introduction to the Modeling of Neural Networks
ISBN: 9780521424875 / Angielski / Miękka / 1992 / 492 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This text is a beginning graduate-level introduction to neural networks, focusing on current theoretical models, examining what these models can reveal about how the brain functions, and discussing the ramifications for psychology, artificial intelligence and the construction of a new generation of intelligent computers.
This text is a beginning graduate-level introduction to neural networks, focusing on current theoretical models, examining what these models can revea...
|
cena:
390,65 |
 |
Numerical Recipes in FORTRAN 77: Volume 1, Volume 1 of FORTRAN Numerical Recipes: The Art of Scientific Computing
ISBN: 9780521430647 / Angielski / Twarda / 1992 / 1010 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This is the greatly revised and greatly expanded Second Edition of the hugely popular Numerical Recipes: The Art of Scientific Computing. The product of a unique collaboration among four leading scientists in academic research and industry Numerical Recipes is a complete text and reference book on scientific computing. In a self-contained manner it proceeds from mathematical and theoretical considerations to actual practical computer routines. With over 100 new routines bringing the total to well over 300, plus upgraded versions of the original routines, this new edition remains the most...
This is the greatly revised and greatly expanded Second Edition of the hugely popular Numerical Recipes: The Art of Scientific Computing. The product ...
|
cena:
395,34 |
 |
Formal Specification and Design
ISBN: 9780521435925 / Angielski / Miękka / 2005 / 352 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics,...
Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logi...
|
cena:
300,51 |
 |
A Theory of Computer Semiotics
ISBN: 9780521448680 / Angielski / Miękka / 1997 / 460 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book introduces basic traditional semiotic concepts and adapts them so that they become useful for analyzing and designing computer systems in their symbolic context of work. It presents a novel approach to the subject, rich in examples, and is theoretically systematic but practical. The author refers to and reinterprets techniques already used, so that readers can deepen their understanding. In addition, it offers new techniques and a consistent perspective on computer systems that is particularly appropriate for new hardware and software whose main functions are presentation and...
This book introduces basic traditional semiotic concepts and adapts them so that they become useful for analyzing and designing computer systems in th...
|
cena:
235,98 |
 |
Parallel Computing: Principles and Practice
ISBN: 9780521451314 / Angielski / Twarda / 1994 / 360 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book sets out the principles of parallel computing, explaining why, where, and how parallel computing is used. It is unique in its coverage of both conventional and neural computing (which act in ways similar to human brains), and also covers such topics as the fundamental paradigms employed in the field, how systems are programmed or trained, technical aspects including connectivity and processing element complexity, and how system performance is estimated (and why doing so is difficult). The penultimate chapter comprises a set of case studies of archetypal parallel computers, each...
This book sets out the principles of parallel computing, explaining why, where, and how parallel computing is used. It is unique in its coverage of bo...
|
cena:
662,51 |
 |
C by Example
ISBN: 9780521456500 / Angielski / Miękka / 1994 / 384 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. At present, C is one of the most popular programming languages. It is not only flexible, but efficient and highly portable, and is now used for writing many different kinds of programs, from compilers and assemblers to spreadsheets and games. Assuming only familiarity with basic programming concepts such as variables and looping, this book covers all aspects of the C language, including a detailed look at file handling and pointers. The text is self-contained and contains a wealth of examples and exercises that test the understanding of the concepts developed in each chapter. Anybody who...
At present, C is one of the most popular programming languages. It is not only flexible, but efficient and highly portable, and is now used for writin...
|
cena:
292,22 |
 |
Perception as Bayesian Inference
ISBN: 9780521461092 / Angielski / Twarda / 1996 / 530 str. Termin realizacji zamówienia: ok. 16-18 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:
662,51 |
 |
Basic Simple Type Theory
ISBN: 9780521465182 / Angielski / Twarda / 1997 / 200 str. Termin realizacji zamówienia: ok. 16-18 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:
479,70 |
 |
Illustrating C
ISBN: 9780521468213 / Angielski / Miękka / 1994 / 228 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Using his unique formula--original and readable prose combined with graphics and calligraphy--Donald Alcock revolutionizes the teaching of the C programming language. A special feature of the layout of the book is the double-page spread: each one covers a particular topic making the book useful as a reference manual. This revised edition has benefited from many corrections and updates, and has now been printed in a wide-page format for ease of use. This book is an excellent introduction to standard (ANSI) C, and will provide a reference manual for beginning programmers, computer enthusiasts,...
Using his unique formula--original and readable prose combined with graphics and calligraphy--Donald Alcock revolutionizes the teaching of the C progr...
|
cena:
406,83 |
 |
Real-Time Computer Vision
ISBN: 9780521472784 / Angielski / Twarda / 1995 / 250 str. Termin realizacji zamówienia: ok. 16-18 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:
521,89 |
 |
The Muse Method for Usability Engineering
ISBN: 9780521474948 / Angielski / Twarda / 1994 / 352 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. MUSE is a method developed specifically to extend the scope of human factors contributions beyond late evaluation and thus increase their effectivness and uptake. This is accomplished by making inputs more explicit, early and continuous throughout the system development process. Since MUSE's scope spans user requirements to user interface design, it supports active human factors involvement in both design specification and evaluation. MUSE defines how, what and when particular human factor concerns should be addressed. It also specifies the procedures, notations, and documentation involved....
MUSE is a method developed specifically to extend the scope of human factors contributions beyond late evaluation and thus increase their effectivness...
|
cena:
601,58 |
 |
Concurrent Programming in ML
ISBN: 9780521480895 / Angielski / Twarda / 1999 / 326 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Concurrent Programming ML (CML), included as part of the SML of New Jersey (SML/NJ) distribution, combines the best features of concurrent programming and functional programming. This practical, "how-to" book focuses on the use of concurrency to implement naturally concurrent applications. In addition to a tutorial introduction to programming in CML, the book presents three extended examples using CML for practical systems programming: a parallel software build system, a simple concurrent window manager, and an implementation of distributed tuple spaces. This book also illustrates advanced...
Concurrent Programming ML (CML), included as part of the SML of New Jersey (SML/NJ) distribution, combines the best features of concurrent programming...
|
cena:
540,65 |
 |
Object-Oriented Programming Via FORTRAN 90/95
ISBN: 9780521524087 / Angielski / Miękka / 2003 / 362 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Writing technical applications in a modern object-oriented approach, using Fortran 90 or 95, can be problematic. This book teaches how to employ the principles of object-oriented programming to produce clear, highly efficient executable codes (rather than focusing on the traditional procedural abilities of Fortran). This text is an excellent harbinger to all the features of the finalized, fully object-oriented Fortran 200X. In addition to covering the OOP methodologies, the basic foundation of the language and solid programming skills are reviewed, making the book valuable also as a good...
Writing technical applications in a modern object-oriented approach, using Fortran 90 or 95, can be problematic. This book teaches how to employ the p...
|
cena:
320,34 |
 |
Qualified Types: Theory and Practice
ISBN: 9780521543262 / Angielski / Miękka / 2003 / 172 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, qualified types can be viewed as a generalization of type classes in the functional language Haskell and the theorem prover Isabelle. These in turn are extensions of equality types in Standard ML. Other applications of qualified types include extensible records and subtyping. Using a general formulation of qualified types, the author extends the Damas/Milner type inference algorithm to support qualified types, which in turn specifies the set of all...
This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading. For example, qualif...
|
cena:
245,03 |
 |
LISP in Small Pieces
ISBN: 9780521545662 / Angielski / Miękka / 2003 / 536 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This is a comprehensive account of the semantics and the implementation of the whole Lisp family of languages, namely Lisp, Scheme and related dialects. It describes 11 interpreters and 2 compilers, including very recent techniques of interpretation and compilation. The book is in two parts. The first starts from a simple evaluation function and enriches it with multiple name spaces, continuations and side-effects with commented variants, while at the same time the language used to define these features is reduced to a simple lambda-calculus. Denotational semantics is then naturally...
This is a comprehensive account of the semantics and the implementation of the whole Lisp family of languages, namely Lisp, Scheme and related dialect...
|
cena:
587,14 |
 |
COBOL Programmers Swing with Java
ISBN: 9780521546843 / Angielski / Miękka / 2004 / 282 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Featuring the development of graphical user interfaces (GUI's) using the latest in Java swing components, this new edition of Java for the COBOL Programmer (Cambridge, 1999) provides COBOL programmers a clear, easy transition to Java programming by drawing on the numerous similarities between COBOL and Java. The authors introduce the COBOL programmer to the history of Java and object-oriented programming and then delve into the details of the Java syntax, always contrasting them with their parallels in COBOL. A running case study permits the reader to have an overall view of application...
Featuring the development of graphical user interfaces (GUI's) using the latest in Java swing components, this new edition of Java for the COBOL Progr...
|
cena:
374,47 |
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
