» książki » Computers - Programming - Compilers
topmenu
 |
Instruction Sequences for Computer Science
ISBN: 9789491216640 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: 22 dni roboczych Demonstrates that the concept of an instruction sequence offers a useful viewpoint on issues relating to diverse subjects in computer science. This title investigates selected issues relating to well-known subjects from the theory of computation and the area of computer architecture in terms of a common model of computation.
Demonstrates that the concept of an instruction sequence offers a useful viewpoint on issues relating to diverse subjects in computer science. This ti...
|
297,54 |
 |
Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
ISBN: 9783642304729 / Angielski / Miękka / 177 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences.
Constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 201...
|
cena:
203,13 |
 |
Reliable Software Technologies -- Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June
ISBN: 9783642305979 / Angielski / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012.
Constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stock...
|
cena:
203,13 |
 |
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz
ISBN: 9783642307423 / Angielski / Miękka / 594 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Festschrift published in honour of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect the breadth and the depth of the work of Vladimir Lifschitz in logic programming, circumscription, default logic, action theory, causal reasoning and answer set programming.
This Festschrift published in honour of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the w...
|
cena:
203,13 |
 |
Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
ISBN: 9783642311123 / Angielski / Miękka / 363 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012.
Constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in ...
|
cena:
203,13 |
 |
Central European Functional Programming School: 4th Summer School, Cefp 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
ISBN: 9783642320958 / Angielski / Miękka / 533 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains papers presented at the First International Conference on Cable-Driven Parallel Robots, held in 2012. It details essential topics for cable-driven robots, from kinematics to hardware/prototype development.
This book contains papers presented at the First International Conference on Cable-Driven Parallel Robots, held in 2012. It details essential topics f...
|
cena:
203,13 |
 |
Evaluation of Novel Approaches to Software Engineering: 6th International Conference, Enase 2011, Beijing, China, June 8-11, 2011. Revised Selected Pa
ISBN: 9783642323409 / Angielski / Miękka / 219 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains a collection of thoroughly refereed papers presented at the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2011, held in Beijing, China, in June 2011. The 18 revised and extended full papers presented together with 10 revised short papers were carefully reviewed and selected from 75 initial submissions. The papers cover a wide range of topics, such as software quality and testing, requirements engineering, programming, software processes and methods, software tools and environments, business process and services modeling,...
This book contains a collection of thoroughly refereed papers presented at the 6th International Conference on Evaluation of Novel Approaches to Softw...
|
cena:
203,13 |
 |
Adventure in PROLOG
ISBN: 9781461280071 / Angielski / Miękka / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Not long ago" Dennis Merritt wrote one of the best books that I know of about implementing expert systems in Prolog, and I was very glad he published it in our series. The only problem is there are still some unfortunate people around who do not know Prolog and are not sufficiently prepared either to read Merritt's book, or to use this extremely productive language, be it for knowledge-based work or even for everyday programming. Possibly this last statement may surprise you if you were under the impression that Prolog was an "artificial intelligence language" with very limited application...
Not long ago" Dennis Merritt wrote one of the best books that I know of about implementing expert systems in Prolog, and I was very glad he published ...
|
cena:
203,13 |
 |
The News Book: An Introduction to the Network/Extensible Window System
ISBN: 9781461281757 / Angielski / Miękka / 235 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is an introduction to NeWS: the Networked, Extensible, Window System from Sun Microsystems. It is oriented towards people who have a basic knowledge of programming and window systems who would like to understand more about window systems in general and NeWS in particular. A significant portion of the book is devoted to an overview and history of window systems. While there is enough detail here to allow readers to write simple NeWS applications, the NeWS Reference Manual SUN87a] should be consulted for a more complete treatment. This book was written to refer to the NeWS 1. 1...
This book is an introduction to NeWS: the Networked, Extensible, Window System from Sun Microsystems. It is oriented towards people who have a basic k...
|
cena:
406,31 |
 |
Building Expert Systems in PROLOG
ISBN: 9781461389132 / Angielski / Miękka / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. When I compare the books on expert systems in my library with the production expert systems I know of, I note that there are few good books on building expert systems in Prolog. Of course, the set of actual production systems is a little small for a valid statistical sample, at least at the time and place of this writing - here in Gennany, and in the first days of 1989. But there are at least some systems I have seen running in real life commercial and industrial environments, and not only at trade shows. I can observe the most impressive one in my immediate neighborhood. It is installed in...
When I compare the books on expert systems in my library with the production expert systems I know of, I note that there are few good books on buildin...
|
cena:
406,31 |
 |
Programming with Sets: An Introduction to Setl
ISBN: 9781461395775 / Angielski / Miękka / 493 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The programming language SETL is a relatively new member of the so-called "very-high-level" class of languages, some of whose other well-known mem bers are LISP, APL, SNOBOL, and PROLOG. These languages all aim to reduce the cost of programming, recognized today as a main obstacle to future progress in the computer field, by allowing direct manipulation of large composite objects, considerably more complex than the integers, strings, etc., available in such well-known mainstream languages as PASCAL, PL/I, ALGOL, and Ada. For this purpose, LISP introduces structured lists as data objects, APL...
The programming language SETL is a relatively new member of the so-called "very-high-level" class of languages, some of whose other well-known mem ber...
|
cena:
406,31 |
 |
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
ISBN: 9781461396871 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Topics what this book is about, its intended audience, what the reader ought to know, how the book is organized, acknowledgements. Specifications express information about a program that is not normally part of the program, and often cannot be expressed in a programming lan guage. In the past, the word "specification" has sometimes been used to refer to somewhat vague documentation written in English. But today it indicates a precise statement, written in a machine processable language, about the purpose and behavior of a program. Specifications are written in languages that are just as...
Topics what this book is about, its intended audience, what the reader ought to know, how the book is organized, acknowledgements. Specifications expr...
|
cena:
203,13 |
 |
The Ada(r) Generic Library: Linear List Processing Packages
ISBN: 9781468470918 / Angielski / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Ada Generic Library provides an extensive well-documented library of generic packages whose use can substantially increase software productivity and reliability. The construction of the library follows a new approach whose principles include the following: - Extensive use of generic algorithms, such as generic sort and merge. - Building up functionality in layers. - Obtaining high efficiency in spite of the layering through the use of Ada's inline compiler directive. This volume contains eight Ada packages, with over 170 subprograms for various linear data...
The Ada Generic Library provides an extensive well-documented library of generic packages whose use can substantially increase software product...
|
cena:
406,31 |
 |
The Logic of Partial Information
ISBN: 9783642781629 / Angielski / Miękka / 715 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. One must be able to say at all times - in stead of points, straight lines, and planes - tables, chairs and beer mugs. (David Hilbert) One service mathematics has rendered the human race. It has put common sense back where it belongs, on the topmost shelf next to the dusty canister labelled "discarded nonsense. " (Eric T. Bell) This book discusses reasoning with partial information. We investigate the proof theory, the model theory and some applications of reasoning with par tial information. We have as a goal a general theory for combining, in a principled way, logic formulae expressing...
One must be able to say at all times - in stead of points, straight lines, and planes - tables, chairs and beer mugs. (David Hilbert) One service math...
|
cena:
406,31 |
 |
Proof and Computation
ISBN: 9783642793639 / Angielski / Miękka / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal...
Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of P...
|
cena:
406,31 |
 |
Kooperation Und Konkurrenz: Nebenläufige, Verteilte Und Echtzeitabhängige Programmsysteme
ISBN: 9783642978524 / Niemiecki / Miękka / 480 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Informatik, Naturwissenschaften und alle Ingenieurdisziplinen, insbesondere Betriebssysteme, Verteilte Systeme, Prozessdatenverarbeitung, Rechnerarchitektur, Rechnernetze, Produktionstechnik, Buroautomation Die Programmierung nebenlaufiger, verteilter und echtzeitabhangiger Systeme erlangte zunehmende Bedeutung nicht nur in der Informatik, sondern vor allem auch in zahlreichen Anwendungsbereichen. Ursprunglich musste man sich mit ihr nur beim Betriebssystembau und in der Prozessdatenverarbeitung beschaftigen. Heute ist sie aufgrund neuartiger...
Informatik, Naturwissenschaften und alle Ingenieurdisziplinen, insbesondere Betriebssysteme, Verteilte Systeme, Prozessdatenverarbei...
|
cena:
297,62 |
 |
Concur 2012- Concurrency Theory: 23rd International Conference, Concur 2012, Newcastle Upon Tyne, September 4-7, 2012. Proceedings
ISBN: 9783642329395 / Angielski / Miękka / 582 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis; qualitative and timed systems; behavioural equivalences; temporal logics; session types; abstraction; mobility and space in process algebras; stochastic systems; probabilistic systems; Petri nets and non-sequential...
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle u...
|
cena:
203,13 |
 |
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
ISBN: 9783642332951 / Angielski / Miękka / 227 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice.
Constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-locate...
|
cena:
186,92 |
 |
The World of Programming Languages
ISBN: 9780387964409 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The earth, viewed through the window of an airplane, shows a regularity and reptition of features, for example, hills, valleys, rivers, lakes, and forests. Nevertheless, there is great local variation; Vermont does not look like Utah. Similarly, if we rise above the details of a few programming languages, we can discern features that are common to many languages. This is the programming language landscape; the main features include variables, types, control structures, and input/output. Again, there is local variation; Pascal does not look like Basic. This work is a broad and comprehensive...
The earth, viewed through the window of an airplane, shows a regularity and reptition of features, for example, hills, valleys, rivers, lakes, and for...
|
cena:
487,58 |
 |
Einführung in Pascal: Skriptum Für Hörer Aller Fachrichtungen AB 1. Semester
ISBN: 9783528033422 / Niemiecki / Miękka / 136 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. - v 0 R W 0 R T ------------- ------------- Das vorliegende Skriptum entstand aus Vorlesungen Uber PASCAL, die der Verfasser von 1978 bis 1980 an der Universitat Hamburg fUr Studierende al ler Fachrichtungen gehalten hat. PASCAL ( Revised Report) wurde 1972 von N. Wirth in einem Be richt der TH ZUrich vereffentlicht. 1975 erschien ein PASCAL User Manual von K. Jensen und N. Wirth zum Revised Report. Heute gehert PASCAL mit zum Standardsoftware - Angebot der Gr- rechenanlagen- Herstel ler und es wird zunehmend auch fUr Klein rechner PASCAL imp(ementiert. Unter den modernen universellen und fUr...
- v 0 R W 0 R T ------------- ------------- Das vorliegende Skriptum entstand aus Vorlesungen Uber PASCAL, die der Verfasser von 1978 bis 1980 an der ...
|
cena:
208,82 |
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
