» książki » Computers - Programming - Compilers
topmenu
 |
Concur 2000 - Concurrency Theory: 11th International Conference, University Park, Pa, Usa, August 22-25, 2000 Proceedings
ISBN: 9783540678977 / Angielski / Miękka / 613 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and...
This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA...
|
cena:
419,54 |
 |
Concur 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings
ISBN: 9783540440437 / Angielski / Miękka / 609 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These are the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 2002. The 32 revised full papers presented together with abstracts of seven invited contributions were reviewed and selected from 101 submissions. The papers are organized in topical sections on verification and model checking, logic, mobility, probabilistic systems, models of computation and process algebra, security, Petri nets, and bisimulation.
These are the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 200...
|
cena:
419,54 |
 |
Concur '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings
ISBN: 9783540648963 / Angielski / Miękka / 663 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998.
The 35 revised full papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. Among the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid systems, model checking, verification techniques, refinement, rewriting, typing systems and algorithms, etc.. This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in Septembe...
|
cena:
419,54 |
 |
Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Pra
ISBN: 9783642119569 / Angielski / Miękka / 632 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers, presented together with two invited talks (one abstract and one full), were carefully reviewed and selected from 121 full paper submissions. The topics addressed include programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for...
This book constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as par...
|
cena:
419,54 |
 |
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, 2010, Proceedings
ISBN: 9783642132438 / Angielski / Twarda / 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:
419,54 |
 |
Goal-Directed Proof Theory
ISBN: 9789048155262 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an...
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of whic...
|
cena:
419,54 |
 |
Exploring C for Microcontrollers: A Hands on Approach
ISBN: 9789048175253 / Angielski / Miękka / 157 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. If we accept the premise that an embedded engineer is made rather than born, then how does one go about making a good one? The authors ofthisbookExploring C for Microcontrollers: A Hands-on Approach are certainly good ones . Not only do they explore some of the in?uences thatshapedthemselvesbuttheyalsotrytoshape would-be embedded engineers. Research and developmental activities in embedded systems has grown in a signi?cant proportion in the recent past. Embedded so- ware design is not new to the world, but with the changing time, it has gained considerable momentum in the recent past, and...
If we accept the premise that an embedded engineer is made rather than born, then how does one go about making a good one? The authors ofthisbookExplo...
|
cena:
419,54 |
 |
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:
419,54 |
 |
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:
419,54 |
 |
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:
419,54 |
 |
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:
419,54 |
 |
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:
419,54 |
 |
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:
419,54 |
 |
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:
419,54 |
 |
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:
419,54 |
 |
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:
419,54 |
 |
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:
419,54 |
 |
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:
419,54 |
 |
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:
419,54 |
 |
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:
419,54 |
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
