» książki » Computers - Programming - General
topmenu
 |
International Symposium on Programming: 5th Colloquium, Turin, April 6-8, 1982. Proceedings
ISBN: 9783540114949 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
142,52 |
 |
Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings
ISBN: 9783540535904 / Angielski / Miękka / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of Tubingen in December 1989. Several recent extensions of definite Horn clause programming, especially those with a proof-theoretic background, have much in common. One common thread is a new emphasis on hypothetical reasoning, which is typically inspired by Gentzen-style sequent or natural deduction systems. This is not only of theoretical significance, but also bears upon computational issues. It was...
This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for N...
|
cena:
203,61 |
 |
Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings
ISBN: 9783540536864 / Angielski / Miękka / 569 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is the proceedings of a workshop on logics in AI. The main themes are: logic programming and automated theorem proving, computational semantics for natural language, applications of non-classical logics, partial and dynamic logics.
This volume is the proceedings of a workshop on logics in AI. The main themes are: logic programming and automated theorem proving, computational sema...
|
cena:
407,25 |
 |
Advances in Petri Nets 1992
ISBN: 9783540556107 / Angielski / Miękka / 476 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area. The ESPRIT Basic Research Action DEMON (DEsign Methods based On Nets) has been a focus of developments withinthe Petri net community for the last three years. The papers presented in this special volume...
The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advan...
|
cena:
203,61 |
 |
Distributed Algorithms: 6th International Workshop, WDAG '92, Haifa, Israel, November 2-4, 1992. Proceedings
ISBN: 9783540561880 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the Sixth Workshop on Distributed Algorithms (WDAG 92), held in Haifa, Israel in November 1992. WDAG provides a forum for researchers and other parties interested in distributed algorithms and their applications. The aim is to present recent research results, explore directions for future research, and identify common fundamental techniques that serve as building blocks in many distributed algorithms. Papers in the volume describe original results in all areas of distributed algorithms and their applications, including distributed graph algorithms,...
This volume presents the proceedings of the Sixth Workshop on Distributed Algorithms (WDAG 92), held in Haifa, Israel in November 1992. WDAG provides ...
|
cena:
203,61 |
 |
Making Things Happen: Mastering Project Management
ISBN: 9780596517717 / Angielski / Miękka / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the updated edition of this critically acclaimed and bestselling book, Microsoft project veteran Scott Berkun offers a collection of essays on field-tested philosophies and strategies for defining, leading, and managing projects. Each essay distills complex concepts and challenges into practical nuggets of useful advice, and the new edition now adds more value for leaders and managers of projects everywhere. In the updated edition of this critically acclaimed and bestselling book, Microsoft project veteran Scott Berkun offers a collection of essays on f... |
cena:
187,44 |
 |
Microsoft Exchange Server 2007 with SP1: Tony Redmond's Guide to Successful Implementation
ISBN: 9781555583552 / Angielski / Miękka / 1002 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Exchange 2007 represents the biggest advance in the history of Microsoft Exchange Server technology. Given Exchange's leap to x64 architecture and its wide array of new features, it isn't surprising that the SP1 release of 2007 would be particularly robust in terms of hotfixes, security enhancements and additional functionality. Tony Redmond's upgraded edition of his popular Microsoft Exchange Server 2007 bible features extensive coverage of the significant changes and additions offered with SP1. Every chapter has been updated, with particular focus on the most pivotal aspects of SP1,...
Exchange 2007 represents the biggest advance in the history of Microsoft Exchange Server technology. Given Exchange's leap to x64 architecture and its...
|
cena:
281,97 |
 |
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
ISBN: 9783540651918 / Angielski / Miękka / 538 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the Second International Conference on Formal Methods in Computer Aided Design, FMCAD '98, held in Palo Alto, California, USA, in November 1998. The 27 revised full papers presented were carefully reviewed and selected from a total of 55 submissions. Also included are four tools papers and four invited contributions. The papers present the state-of-the-art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software. From the methodological point of view, binary...
This volume constitutes the refereed proceedings of the Second International Conference on Formal Methods in Computer Aided Design, FMCAD '98, held in...
|
cena:
203,61 |
 |
Interacting Code Motion Transformations: Their Impact and Their Complexity
ISBN: 9783540655107 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Code motion techniques are integrated in many optimizing production and research compilers. They are still a major topic of ongoing research in program optimization, but traditional methods are restricted by a narrow focus on their immediate effects. A more ambitious approach is to investigate the interdependencies between distinct component transformations.
This monograph provides a comprehensive account of the methods most accepted in practice for program analysis and program transformation for imperative languages. It also develops a scenario, systematically and step by step, which... Code motion techniques are integrated in many optimizing production and research compilers. They are still a major topic of ongoing research in progra...
|
cena:
203,61 |
 |
Energy Minimization Methods in Computer Vision and Pattern Recognition: Second International Workshop, EMMCVPR'99, York, UK, July 26-29, 1999, Proceedings
ISBN: 9783540662945 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the Second International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition (EMMCVPR'99), held in York in July 1999. The book presents 11 revised full papers together with 11 papers presented at the meeting as posters. Those papers were selected from a total of 33 submissions. The book is divided into sections on shape, minimum description length, Markov random fields, contours, search and consistent labelling, tracking and video, and biomedical applications.
This volume constitutes the refereed proceedings of the Second International Workshop on Energy Minimization Methods in Computer Vision and Pattern Re...
|
cena:
203,61 |
 |
Practical Rails Plugins
ISBN: 9781590599938 / Angielski / Miękka / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Rails framework empowers developers with unprecedented levels of productivity by embracing principles such as "convention over configuration" and "don't repeat yourself." This paradigm is even apparent at the community level, where developers regularly share their custom framework extensions by way of Rails' plugins feature. Plugins offer a way for developers to extend the core Rails framework with their own custom features, allowing for rapid integration of features such as authentication, user ratings, and search. Practical Rails Plugins shows you how to capitalize... The Rails framework empowers developers with unprecedented levels of productivity by embracing principles such as "convention over configuration" a... |
cena:
138,44 |
 |
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
ISBN: 9783540646754 / Angielski / Miękka / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.
The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe... This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July ...
|
cena:
203,61 |
 |
Robustness and Usability in Modern Design Flows
ISBN: 9781402065354 / Angielski / Twarda / 166 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore, today s design ?ow has to be improved to achieve a higher productivity. In this book the current design methodology and ver- cation methodology are analyzed, a number of de?ciencies are identi?ed, and solutions are suggested. Improvements in the methodology as well as in the underlying algorithms are proposed. An in-depth presentation of preliminary concepts makes the book self-contained. Based on this foundation...
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up wi...
|
cena:
407,25 |
 |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings
ISBN: 9783540240587 / Angielski / Miękka / 532 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 24th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2004, held in Chennai, India, in December 2004. The 35 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 176 submissions. The papers address a broad variety of current issues in software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity... This book constitutes the refereed proceedings of the 24th International Conference on the Foundations of Software Technology and Theoretical Compu... |
cena:
203,61 |
 |
Grid Computing - GRID 2000: First IEEE/ACM International Workshop Bangalore, India, December 17, 2000 Proceedings
ISBN: 9783540414032 / Angielski / Miękka / 234 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to GRID 2000, the first annual IEEE/ACM international workshop on grid computing sponsored by the IEEE Computer Society s Task Force on Cluster Computing (TFCC) and the Association for Computing Machinery (ACM). The workshop has received generous sponsorship from the European Grid Forum (eGrid), the EuroTools SIG on Metacomputing, Microsoft Research (USA), Sun Microsystems (USA), and the Centre for Development of Advanced Computing (India). It is a sign of the current high levels of interest and activity in Grid computing that we have had contributions to the workshop from researchers...
Welcome to GRID 2000, the first annual IEEE/ACM international workshop on grid computing sponsored by the IEEE Computer Society s Task Force on Cluste...
|
cena:
203,61 |
 |
Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April
ISBN: 9783540418627 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the 10th European Symposium on Programming, ESOP 2001, held in Genova, Italy in April 2001. The 26 revised full papers presented together with two invited papers were carefully reviewed and selected from a total of 76 submissions. Among the topics covered are various programming paradigms (including functional, logic, concurrent, and object-oriented programming) and their integration development of correct, secure and efficient software and systems and type systems, program analysis, and program transformation.
This text constitutes the refereed proceedings of the 10th European Symposium on Programming, ESOP 2001, held in Genova, Italy in April 2001. The 26 r...
|
cena:
203,61 |
 |
Types in Compilation: Third International Workshop, Tic 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers
ISBN: 9783540421962 / Angielski / Miękka / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The importance of typed languages for building robust software systems is, by now, an undisputed fact. Years of research have led to languages with richly expressive, yet easy to use, type systems for high-level programming languages. Types provide not only a conceptual framework for language designers, but also a ord positive bene ts to the programmer, principally the ability to express and enforce levels of abstraction within a program. Early compilers for typed languages followed closely the methods used for their untyped counterparts. The role of types was limited to the earliest s- ges...
The importance of typed languages for building robust software systems is, by now, an undisputed fact. Years of research have led to languages with ri...
|
cena:
203,61 |
 |
ECOOP 2001 - Object-Oriented Programming: 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings
ISBN: 9783540422068 / Angielski / Miękka / 434 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001.
The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from 108 submissions. The book is organized in topical sections on sharing and encapsulation, type inference and static analysis, language design, implementation techniques, reflection and concurrency, and testing and design. This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, ...
|
cena:
203,61 |
 |
Intelligent Agents and Multi-Agent Systems: 5th Pacific Rim International Workshop on Multi-Agents, Prima 2002, Tokyo, Japan, August 18-19, 2002. Proc
ISBN: 9783540440260 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Autonomous agents and multi-agent systems are computational systems in which several (semi-)autonomous agents interact with each other or work together to perform some set of tasks or satisfy some set of goals. These systems may involve computational agents that are homogeneous or heterogeneous, they may involve activities on the part of agents having common or distinct goals, and they may involve participation on the part of humans and intelligent agents. This volume contains selected papers from PRIMA 2002, the 5th Paci?c Rim International Workshop on Multi-Agents, held in Tokyo, Japan, on...
Autonomous agents and multi-agent systems are computational systems in which several (semi-)autonomous agents interact with each other or work togethe...
|
cena:
203,61 |
 |
Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
ISBN: 9783540201014 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR 2003), heldonSeptember22 26,2003, inAlmaty, Kazakhstan, togetherwiththeFourth International Workshop on Implementation of Logics. There were 65 submissions, of which 8 belonged to the special submission category of experimental papers, intended to describe implementations or c- parisons of systems, or experiments with systems. Each submission was reviewed by at least three program committee members and an electronic program c-...
ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR 2003), hel...
|
cena:
203,61 |
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
