» książki » Computers - Programming - Compilers
topmenu
 |
The Sun Technology Papers
ISBN: 9780387971452 / Angielski / Miękka / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Technology of Sun M icrosystems Two years ago, Sun Microsystems began publishing a quarterly tech nical journal, Sun Technology: The Journal for Sun Users. Since then, its pages have explored in detail diverse technology and products relating to Sun. The journal's technically sophisticated readers are likely to apply the information published in the journal to their work. Sun Technology has been written by technologists for technologists. In the pages of The Sun Technology Papers, you will find an extensive selection of those articles. No other single volume offers you such a broad view...
The Technology of Sun M icrosystems Two years ago, Sun Microsystems began publishing a quarterly tech nical journal, Sun Technology: The Journal for S...
|
cena:
415,76 |
 |
Instruction Sequences for Computer Science
ISBN: 9789491216640 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 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...
|
cena:
415,76 |
 |
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:
415,76 |
 |
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:
415,76 |
 |
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:
415,76 |
 |
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:
415,76 |
 |
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:
415,76 |
 |
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:
415,76 |
 |
Open Source Systems: Long-Term Sustainability: 8th Ifip Wg 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012, Proceedi
ISBN: 9783642334412 / Angielski / Twarda / 406 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 8th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2012, held in Hammamet, Tunisia, in September 2012.
Constitutes the refereed proceedings of the 8th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2012, held in Hammamet, Tunisia, in ...
|
cena:
415,76 |
 |
Data Types and Persistence
ISBN: 9783642648700 / Angielski / Miękka / 294 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. There is a growing interest in integrating databases and programming languages. In recent years the programming language community has developed new models of computation such as logic programming, object-oriented programming and functional programming, to add to the well established von Neumann model. The data base community has almost independently developed more and more sophisticated data models to solve the problems of large scale data organisation. To make use of these new models in programming languages there must be an awareness of the problems of large scale data. The data base...
There is a growing interest in integrating databases and programming languages. In recent years the programming language community has developed new m...
|
cena:
415,76 |
 |
Open Source Systems: Long-Term Sustainability: 8th Ifip Wg 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012, Proceedi
ISBN: 9783642428791 / Angielski / Miękka / 406 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2012, held in Hammamet, Tunisia, in September 2012. The 15 revised full papers presented together with 17 lightning talks, 2 tool demonstration papers, 6 short industry papers, 5 posters and 2 workshop papers were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on collaboration and forks in OSS projects, community issues, open education and peer-production models, integration and architecture, business ecosystems,...
This book constitutes the refereed proceedings of the 8th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2012, held in Hammamet, Tu...
|
cena:
415,76 |
 |
Open Source Software: New Horizons: 6th International Ifip Wg 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, In, Usa, May 30 - June 2,
ISBN: 9783642422447 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the 6th International Conference on Open Source Systems of the IFIP Working Group 2. 13. This year was the ?rst time this international conf- ence was held in North America. We had a large number of high-quality papers, highlyrelevantpanelsandworkshops, acontinuationofthepopulardoctoralc- sortium, and multiple distinguished invited speakers. The success of OSS 2010 was only possible because an Organizing Committee, a Program Committee, Workshop and Doctoral Committees, and authors of research manuscripts from over 25 countries contributed their time and interest to OSS 2010. In the...
Welcome to the 6th International Conference on Open Source Systems of the IFIP Working Group 2. 13. This year was the ?rst time this international con...
|
cena:
415,76 |
 |
Common LISP Recipes: A Problem-Solution Approach
ISBN: 9781484211779 / Angielski / Miękka / 744 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Find solutions to problems and answers to questions you are likely to encounter when writing real-world applications in Common Lisp. This book covers areas as diverse as web programming, databases, graphical user interfaces, integration with other programming languages, multi-threading, and mobile devices as well as debugging techniques and optimization, to name just a few. Written by an author who has used Common Lisp in many successful commercial projects over more than a decade, Common Lisp Recipes is also the first Common Lisp book to tackle such advanced topics as... Find solutions to problems and answers to questions you are likely to encounter when writing real-world applications in Common Lisp. This book cove... |
cena:
415,76 |
 |
Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Pra
ISBN: 9783662544334 / Angielski / Miękka / 992 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions.
This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, hel...
|
cena:
415,76 |
 |
Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity
ISBN: 9783030731403 / Angielski / Miękka / 95 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
415,76 |
 |
Applied Mathematics with F#
ISBN: 9789819696338 / Angielski / Twarda / 11-02-2027 / 244 str. Książka dostępna od: 11-02-2027 |
|
Termin ukazania się książki: 11-02-2027
Książkę można już zamówić z rabatem 5% |
|
399,70 |
 |
Introduction to Automata Theory and Formal Languages: A Logic Building and Problem-Solving Approach
ISBN: 9781041109570 / Angielski / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
423,84 |
 |
Compiling with Continuations
ISBN: 9780521033114 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations.
This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations...
|
cena:
427,25 |
 |
Agile Software Development with C# 4th Edition
ISBN: 9781088022849 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
445,86 |
 |
SQL and NoSQL Database Fourth Edition
ISBN: 9798295762482 / Angielski / Miękka / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
445,86 |
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
