» książki » Computers - Programming - General
topmenu
 |
Logic Programming - New Frontiers
ISBN: 9780792315469 / Angielski / Twarda / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A collection of papers from the Second Conference of the Association for Logic Programming. It contains contributions from leading researchers on the theory, applications and implementations of logic programming. The work should be of interest to researchers in logic programming, Prolog programmers and computer scientists generally.
A collection of papers from the Second Conference of the Association for Logic Programming. It contains contributions from leading researchers on the ...
|
cena:
407,16 |
 |
Programmiermethodik
ISBN: 9783540054467 / Niemiecki / Miękka / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Ausbildung zum Programmierer kann bisher nur ein Grund wissen vermitteln, welches im wesentlichen auf Hardware-, Software und Logikinformationen ausgerichtet ist. AIle anderen Informatio nen, z. B. wie man effektiv arbeitet, welche Moglichkeiten existieren, wann welches Hilfsmittel zweckmaBig einzusetzen ist usw., werden der Erfahrung des Programmierers iiberlassen. Dies bedeutet, daB der Niveauunterschied zwischen einem erfahrenen und einem Anfangsprogrammierer erheblich ist und erst nach einem Jahr Tatigkeit ausgeglichener wird. Diese Zeitspanne solI durch dieses Buch verkiirzt werden....
Die Ausbildung zum Programmierer kann bisher nur ein Grund wissen vermitteln, welches im wesentlichen auf Hardware-, Software und Logikinformationen a...
|
cena:
206,88 |
 |
Informatik: Grundlagen Mit Einer Einführung in Pascal
ISBN: 9783540574149 / Niemiecki / Miękka / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch gibt eine kompakte Einfuhrung sowohl in den Aufbau und die Funktionsweise von Computersystemen, als auch in deren Programmierung in einer problemorientierten Programmiersprache (PASCAL). Es wendet sich in erster Linie an Studierende, die Informatik lediglich in Form einer praxisorientierten Einfuhrung benotigen. Gleichwohl bietet es den Studenten der Informatik die Moglichkeit, sich fruhzeitig einen Uberblick uber wichtige Gebiete der Informatik zu verschaffen, die im Laufe ihres Studiums noch vertieft werden."
Dieses Buch gibt eine kompakte Einfuhrung sowohl in den Aufbau und die Funktionsweise von Computersystemen, als auch in deren Programmierung in einer ...
|
cena:
187,92 |
 |
Der Turing Omnibus: Eine Reise Durch Die Informatik Mit 66 Stationen
ISBN: 9783540577805 / Niemiecki / Miękka / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch bietet, wie kaum ein anderes, eine breite, sorgfaltige und verstandliche Einfuhrung in die Welt der Computer und der Informatik. Der Turing Omnibus enthalt 66 pragnante, exzellent geschriebene Beitrage zu den interessantesten Themen aus der Informatik, Computertechnologie und ihren Anwendungen. Einige "Haltestellen": Algorithmen, Primzahlsuche, nicht-berechenbare Funktionen, die Mandelbrot-Menge, generische Algorithmen, die Newton-Raphson-Methode, lernende neuronale Netzwerke, das DOS-System und Computerviren.
Fur jeden, der sich beruflich, in der Ausbildung oder als... Dieses Buch bietet, wie kaum ein anderes, eine breite, sorgfaltige und verstandliche Einfuhrung in die Welt der Computer und der Informatik. Der Tu...
|
cena:
225,72 |
 |
Werkzeuge der Programmiertechnik: GI-Arbeitstagung Karlsruhe, 16.–17. März 1981. Proceedings
ISBN: 9783540107255 / Niemiecki / Miękka / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die hier vorgestellten Ergebnisse beruhen auf einer Untersuchung von etwa 20 Ansatzen zu SOftware-Produktions-Umgebungen, abgekurzt SPUen [Haus81c]. Diese Ergebnisse wurden beeinflusst vom "Symposium on Software Engineering Environments (S2 E2)", das von der GMD im Juni 1980 in Lahnstein veranstaltet wurde [Hunk31]. Die ausgewahlten Systeme (so- wie die Auswahlkriterien) werden im Anhang A kurz beschrieben. Ausserdem enthalt dieser Anhung die im Text verwendeten Abkurzungen fur SPUen und fur jede SPU Literaturhinweise. 1.1 Bedeutung des Begriffs Software-Produkt ions-Umgebung Der Begriff...
Die hier vorgestellten Ergebnisse beruhen auf einer Untersuchung von etwa 20 Ansatzen zu SOftware-Produktions-Umgebungen, abgekurzt SPUen [Haus81c]. D...
|
cena:
206,88 |
 |
Graph-Based Proof Procedures for Horn Clauses
ISBN: 9780817635305 / Angielski / Miękka / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A large part of the monograph is devoted to detailed proofs that the methods we present are sound and complete, which in the context of the logic programming, means that the operational and denotational semantics agree.
A large part of the monograph is devoted to detailed proofs that the methods we present are sound and complete, which in the context of the logic prog...
|
cena:
201,24 |
 |
Object-Oriented Software for Manufacturing Systems (Intelligent Manufacturing)
ISBN: 9780412397509 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work introduces the benefits of object-oriented programming and discusses how the technology can be used to improve productivity in building software systems in the manufacturing domain. It addresses a wide range of issues from languages, design principles, research examples through to industrial applications and management issues. In essence, the main objective of the book is to interpret and apply object-oriented concepts in the context of designing manufacturing systems applications.
This work introduces the benefits of object-oriented programming and discusses how the technology can be used to improve productivity in building soft...
|
cena:
407,16 |
 |
So You Want to Learn to Program?
ISBN: 9781456329044 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learn to program a computer without the jargon and complexity of many programming books. Suitable for anybody age 10 to 100+ who wants to learn and is ready to experiment. This book engages through media (sound, color, shapes, and text to speech) and then introduces the concepts of structured programming (loops, conditions, variables...). You will learn to program as you make animations, games, and fun applications. Full source code to example programs are given to start experimentation and self exploration.
Learn to program a computer without the jargon and complexity of many programming books. Suitable for anybody age 10 to 100+ who wants to learn and is...
|
cena:
100,95 |
 |
Introduction to Computer Programming
ISBN: 9781451536744 / Angielski / Miękka / 94 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a simple, practical book that anyone can understand. It is written to talk the reader through the wonderful world of computer programming. When I was a lecturer at a computer programming school, it always turned out that the students who achieved the highest marks in the class were the ones that grasped the concepts of programming. They understood the fundamentals of what programming languages can do and thereafter they just had to learn the rules on how to apply them. There are many different computer programming languages but generally, they all apply the same concepts. It's like...
This is a simple, practical book that anyone can understand. It is written to talk the reader through the wonderful world of computer programming. Whe...
|
cena:
48,55 |
 |
Sleep 2.1 Manual
ISBN: 9781438227238 / Angielski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sleep is a Java-based scripting language heavily inspired by Perl. It started life during a weekend long hack fest in April 2002. Some 6 years later this is the result. Sleep provides advanced programming features including continuations, first-class functions, a built-in debugger, taint mode security, access to the Java class library, and cryptic Perl syntax. This manual includes the Sleep 2.1 language tutorial, a guide on how to extend and embed Sleep from Java, and a reference of all built-in functions.
Sleep is a Java-based scripting language heavily inspired by Perl. It started life during a weekend long hack fest in April 2002. Some 6 years later t...
|
cena:
121,18 |
 |
Research Directions in Parallel Functional Programming
ISBN: 9781852330927 / Angielski / Miękka / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Programming is hard. Building a large program is like constructing a steam locomotive through a hole the size of a postage stamp. An artefact that is the fruit of hundreds of person-years is only ever seen by anyone through a lOO-line window. In some ways it is astonishing that such large systems work at all. But parallel programming is much, much harder. There are so many more things to go wrong. Debugging is a nightmare. A bug that shows up on one run may never happen when you are looking for it - but unfailingly returns as soon as your attention moves elsewhere. A large fraction of the...
Programming is hard. Building a large program is like constructing a steam locomotive through a hole the size of a postage stamp. An artefact that is ...
|
cena:
402,53 |
 |
Symbolic Rewriting Techniques
ISBN: 9783764359010 / Angielski / Twarda / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure of the solutions. Such techniques appear in many important areas of research within computer algebra: the Knuth-Bendix completion for groups, monoids and general term-rewriting systems; the Buchberger algorithm for Grobner bases; the Ritt-Wu characteristic set method for ordinary differential equations; and the Riquier-Janet method for partial differential equations. This volume contains invited and contributed papers to the "Symbolic Rewriting...
Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure o...
|
cena:
480,69 |
 |
How to Write a Short Story (and Think about It)
ISBN: 9781137517050 / Angielski / Twarda / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Packed with wisdom about the art of fiction, filled with writing exercises, and stressing the importance of reading and reflecting on your own work, this book will equip you with a portfolio of key fiction-writing skills - whether you are a student, a would-be professional author, or a general reader who simply likes to write for pleasure. Packed with wisdom about the art of fiction, filled with writing exercises, and stressing the importance of reading and reflecting on your own work... |
cena:
386,66 |
 |
How to Write a Short Story (and Think about It)
ISBN: 9781137517067 / Angielski / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Packed with wisdom about the art of fiction, filled with writing exercises, and stressing the importance of reading and reflecting on your own work, this book will equip you with a portfolio of key fiction-writing skills - whether you are a student, a would-be professional author, or a general reader who simply likes to write for pleasure. Packed with wisdom about the art of fiction, filled with writing exercises, and stressing the importance of reading and reflecting on your own work... |
cena:
123,68 |
 |
Guide to Computer Viruses: How to Avoid Them, How to Get Rid of Them, and How to Get Help
ISBN: 9780387946634 / Angielski / Mixed media product / 422 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For those who didn't buy the first edition, welcome aboard. For those who did buy the first edition, welcome back, and thanks for making the second edition possible. For those who bought the first edition and are standing in the book store wondering whether to buy the second, what's in it for you? Well, for one thing, it's smaller. (No, no Don't leave ) I tried to make the first edition a kind of master reference for antiviral protection. That meant I included a lot of stuff that I thought might possibly be helpful, even if I had some doubts about it. This time I've tried to be a little more...
For those who didn't buy the first edition, welcome aboard. For those who did buy the first edition, welcome back, and thanks for making the second ed...
|
cena:
350,20 |
 |
Simulation of Suicide Bombing: Using Computers to Save Lives
ISBN: 9781440194412 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces BlastSim - a physics-based simulation platform to model and simulate suicide bombing events. The BlastSim software is designed to test, analyze, and validate the results of different explosive and injury model combinations under various conditions with different sets of parameters, such as explosive and crowd formation characteristics, blockage and human shielding effects, fragmentation and shrapnel, and the bomber's position in 2- and 3-dimensional environments. The suicide bombing event can also be re-created for forensic analysis. The number of fatalities and injured...
This book introduces BlastSim - a physics-based simulation platform to model and simulate suicide bombing events. The BlastSim software is designed to...
|
cena:
57,61 |
 |
Concurrent Zero-Knowledge: With Additional Background by Oded Goldreich
ISBN: 9783642069499 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly contradictory de?nition; ze- knowledge proofs are convincing and yet yield nothing beyond the validity of the assertion being proved. Their applicability in the domain of cryptography is vast; they are typically used to force malicious parties to behave according to a predetermined protocol. In addition to their direct applicability in cr- tography, zero-knowledge proofs serve as a good benchmark for the study of...
Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly contradictory de?nition; ze-...
|
cena:
402,53 |
 |
Algorithms for Fuzzy Clustering: Methods in c-Means Clustering with Applications
ISBN: 9783642097539 / Angielski / Miękka / 247 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recently many researchers are working on cluster analysis as a main tool for exploratory data analysis and data mining. A notable feature is that specialists in di?erent ?elds of sciences are considering the tool of data clustering to be useful. A major reason is that clustering algorithms and software are ?exible in thesensethatdi?erentmathematicalframeworksareemployedinthealgorithms and a user can select a suitable method according to his application. Moreover clusteringalgorithmshavedi?erentoutputsrangingfromtheolddendrogramsof agglomerativeclustering to more recent self-organizingmaps....
Recently many researchers are working on cluster analysis as a main tool for exploratory data analysis and data mining. A notable feature is that spec...
|
cena:
603,81 |
 |
Cognitive Models and Intelligent Environments for Learning Programming
ISBN: 9783642081569 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. At present, there is a general consensus on the nature of learning programming, but there are different opinions on what forms an effective environment for it. It is generally recognized that the development of a mental model is a formidable task for the student and that learning programming is a complex activity that depends heavily on metacognitive skills. This book, based on a NATO workshop, presents both pure cognitive models and experimental learning environments, and discusses what characteristics can make a learning model effective, especially in relation to the learning environment...
At present, there is a general consensus on the nature of learning programming, but there are different opinions on what forms an effective environmen...
|
cena:
603,81 |
 |
Unfoldings: A Partial-Order Approach to Model Checking
ISBN: 9783642096051 / Angielski / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concurrent components. In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer a gentle introduction to the basics of the method, and in particular they detail an unfolding-based... Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in fin... |
cena:
402,53 |
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
