» książki » Computers - Computer Science
topmenu
 |
Next Generation Information Technologies and Systems: 5th International Workshop, Ngits 2002, Caesarea, Israel, June 24-25, 2002. Proceedings
ISBN: 9783540438199 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. NGITS2002 was the ?fth workshop of its kind, promoting papers that discuss new technologies in information systems. Following the success of the four p- vious workshops (1993, 1995, 1997, and 1999), the ?fth NGITS Workshop took place on June 24-25, 2002, in the ancient city of Caesarea. In response to the Call for Papers, 22 papers were submitted. Each paper was evaluated by three Program Committee members. We accepted 11 papers from 3 continents and 5 countries, Israel (5 papers), US (3 papers), Germany, Cyprus, and The Netherlands (1 paper from each). The workshop program consisted of ?ve...
NGITS2002 was the ?fth workshop of its kind, promoting papers that discuss new technologies in information systems. Following the success of the four ...
|
cena:
205,02 |
 |
Information Security and Privacy: 7th Australian Conference, Acisp 2002 Melbourne, Australia, July 3-5, 2002 Proceedings
ISBN: 9783540438618 / Angielski / Miękka / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Seventh Australasian Conference in Information Security and Privacy (ACISP) was held in Melbourne, 3-5July, 2002. The conference was sponsored by Deakin University and iCORE, Alberta, Canada and the Australian Com- ter Society. The aims of the annual ACISP conferences have been to bring together people working in di?erent areas of computer, communication, and information security from universities, industry, and government institutions. The conferences give the participants the opportunity to discuss the latest developments in the rapidly growing area of information security and privacy....
The Seventh Australasian Conference in Information Security and Privacy (ACISP) was held in Melbourne, 3-5July, 2002. The conference was sponsored by ...
|
cena:
410,09 |
 |
Neural Nets: 13th Italian Workshop on Neural Nets, Wirn Vietri 2002, Vietri Sul Mare, Italy, May 30-June 1, 2002. Revised Papers
ISBN: 9783540442653 / Angielski / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Compiled from the post-proceedings of the 13th Italian Workshop on Neural Nets, WIRN VIETRI 2002, held in Vietri sul Mare, Italy, in May/June 2002, this book contains 21 revised full papers and three invited papers. The papers are organized in topical sections on architectures and algorithms, image and signal processing applications, and learning in neural networks.
Compiled from the post-proceedings of the 13th Italian Workshop on Neural Nets, WIRN VIETRI 2002, held in Vietri sul Mare, Italy, in May/June 2002, th...
|
cena:
205,02 |
 |
Practice and Theory of Automated Timetabling: First International Conference, Edinburgh, Uk, August 29 - September 1, 1995. Selected Papers
ISBN: 9783540617945 / Angielski / Miękka / 389 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains a selection of strictly refereed papers presented at the First International Conference on the Practice and Theory of Automated Timetabling, held in Edinburgh, UK, August/September 1995.
This is the first book entirely devoted to automated timetabling and meets the clear need for a wide-ranging survey of the state of the art in the area. The book contains four survey papers by leading experts together with 19 revised full papers presenting new results; the papers are organized in topical sections on reasoning about constraints, genetic algorithms, complexity issues, and... This book contains a selection of strictly refereed papers presented at the First International Conference on the Practice and Theory of Automated Tim...
|
cena:
205,02 |
 |
Solving Irregularly Structured Problems in Parallel: 5th International Symosium, Irregular'98, Berkeley, California, Usa, August 9-11, 1998. Proceedin
ISBN: 9783540648093 / Angielski / Miękka / 414 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'98, held in Berkeley, California, in August 1998.
The 26 revised full papers presented were carefully reviewed and selected for inclusion from several dozen submissions. Also included are abstracts of four invited talks and 6 invited presentations given during minisymposia held in parallel. The book presents a unique overview on algorithmic, applicational, and systems aspects arising in the development of efficient parallel solutions to... This book constitutes the refereed proceedings of the 5th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'98...
|
cena:
205,02 |
 |
Algorithmic Number Theory: 4th International Symposium, Ants-IV Leiden, the Netherlands, July 2-7, 2000 Proceedings
ISBN: 9783540676959 / Angielski / Miękka / 612 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Algorithmic Number Theory Symposium, ANTS-IV, held in Leiden, The Netherlands, in July 2000.The book presents 36 contributed papers which have gone through a thorough round of reviewing, selection and revision. Also included are 4 invited survey papers. Among the topics addressed are gcd algorithms, primality, factoring, sieve methods, cryptography, linear algebra, lattices, algebraic number fields, class groups and fields, elliptic curves, polynomials, function fields, and power sums.
This book constitutes the refereed proceedings of the 4th International Algorithmic Number Theory Symposium, ANTS-IV, held in Leiden, The Netherlands,...
|
cena:
410,09 |
 |
Torus Actions on Symplectic Manifolds
ISBN: 9783764321765 / Angielski / Twarda / 342 str. Termin realizacji zamówienia: 22 dni roboczych How I have (re-)written this book The book the reader has in hand was supposed to be a new edition of 14]. I have hesitated quite a long time before deciding to do the re-writing work-the first edition has been sold out for a few years. There was absolutely no question of just correcting numerous misprints and a few mathematical errors. When I wrote the first edition, in 1989, the convexity and Duistermaat-Heckman theorems together with the irruption of toric varieties on the scene of symplectic geometry, due to Delzant, around which the book was organized, were still rather recent (less...
How I have (re-)written this book The book the reader has in hand was supposed to be a new edition of 14]. I have hesitated quite a long time before ...
|
389,13 |
 |
Data Refinement: Model-Oriented Proof Methods and Their Comparison
ISBN: 9780521641708 / Angielski / Twarda / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The topics of Hoare Logic and the Refinement Calculus are introduced and a general theory of simulations is developed and related to them. Accessibility and...
The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and t...
|
cena:
600,47 |
 |
Strong Family and Low Fertility: A Paradox?: New Perspectives in Interpreting Contemporary Family and Reproductive Behaviour
ISBN: 9781402028366 / Angielski / Twarda / 173 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. New perspectives in interpreting contemporary family and reproductive - haviour of Mediterranean Europe 1. THE NEW GEOGRAPHY OF FERTILITY AND THE FAMILY IN EUROPE The countries of southern Europe have begun to reduce conjugal fertility at a later date compared to most other nations in the west. This has been - plained by means of the category of delay: the backwardness of the pr- esses of accumulation and economic development being seen as the cause of the maintaining of the reproductive models of the past. Moreover, the inf- ence of the Catholic Church in Italy, Spain and Portugal is...
New perspectives in interpreting contemporary family and reproductive - haviour of Mediterranean Europe 1. THE NEW GEOGRAPHY OF FERTILITY AND THE FAMI...
|
cena:
410,09 |
 |
Software Engineering for Large-Scale Multi-Agent Systems: Research Issues and Practical Applications
ISBN: 9783540087724 / Angielski / Miękka / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Nowadays, engineering large-scale software systems means dealing with complex systems composed of pervasive software components that move around and adapt to nondeterministic and open environments, like the Internet, in order to achieve systems design goals through the coordination of autonomously distributed services. The agent metaphor, in particular software agents and multi-agent systems (MAS), constitutes a promising approach for covering most of the software development life cycle, from conceptual modeling and requirements specification to architectural definition, design, and... Nowadays, engineering large-scale software systems means dealing with complex systems composed of pervasive software components that move around an... |
cena:
205,02 |
 |
Advances in Cryptology: Proceedings of Crypto '85
ISBN: 9783540164630 / Angielski / Miękka / 552 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the summer of 1981 Allen Gersho organized the first major open co,ifcrcncc c~ci devoted to cryptologic research This meeting, Crypto '81, was held at the Universitc nl California campus in Santa Barbara Since then the Crypto' conference has become dii annual event These are the proceedings of the fifth1 of these confercnces, Crypt0 XS Each section of this volume corresponds to a session at the meeting. Thr paperk were accepted by the program committee, sometimes on the basis of an abstract only. and appear here without having been otherwise refereed. The last section contains papers lor...
In the summer of 1981 Allen Gersho organized the first major open co,ifcrcncc c~ci devoted to cryptologic research This meeting, Crypto '81, was held ...
|
cena:
205,02 |
 |
Advances in Cryptology - Eurocrypt '87: Workshop on the Theory and Application of Cryptographic Techniques, Amsterdam, the Netherlands, April 13-15, 1
ISBN: 9783540191025 / Angielski / Miękka / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is our pleasure to thank dl those uho contributed to nialing thew proceeding possible: the authors. progriimme committee. organihing committee, I4C.K otticfrh and directors, and all the attendees. We were all deeplq saddened nhen ne lemied th, it Tore Ilerle tam. J member 01 the programme committee, had died unexpsctedl Thi olunie I dedicated to liim Amsterdum, the Netherlirnds London, Englund Junuur, 1988 __ . .. . I. Advances in C'r>ptolog?: .A Report on C'RY t'TO Si. Allen Cirrlio. k.d.. L 04. Department of P.lectrica1 and ('omputcr Engineering, S'iiita Harhara 2. C'ryptography:...
It is our pleasure to thank dl those uho contributed to nialing thew proceeding possible: the authors. progriimme committee. organihing committee, I4C...
|
cena:
205,02 |
 |
Theoretical Computer Science: 8th Italian Conference, Ictcs 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings
ISBN: 9783540202165 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Theoretical Computer Science, ICTCS 2003, held in Bertinoro, Italy in October 2003. The 27 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on program design-models and analysis, algorithms and complexity, semantics and formal languages, and security and cryptography.
This book constitutes the refereed proceedings of the 8th International Conference on Theoretical Computer Science, ICTCS 2003, held in Bertinoro, Ita...
|
cena:
205,02 |
 |
Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings
ISBN: 9783540203636 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2003, held in L'Aquila, Italy in October 2003.The 24 revised full papers and 8 short papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on software verification, automata based methods, processor verification, specification methods, theorem proving, bounded model checking, and model checking and applications.
This book constitutes the refereed proceedings of the 12th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verificati...
|
cena:
205,02 |
 |
Privacy Enhancing Technologies: Third International Workshop, Pet 2003, Dresden, Germany, March 26-28, 2003, Revised Papers
ISBN: 9783540206101 / Angielski / Miękka / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Privacy Enhancing Technologies, PET 2002, held in Dresden, Germany in March 2003.The 14 revised full papers presented were carefully selected from 52 submissions during two rounds of reviewing and improvement. Among the topics addressed are mix-networks, generalized mixes, unlinkability, traffic analysis prevention, face recognition, privacy legislation, Web censorship, anonymous networking, personalized Web-based systems, and privacy in enterprises.
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Privacy Enhancing Technologies, PET 2002, held i...
|
cena:
205,02 |
 |
Sofsem 2004: Theory and Practice of Computer Science: 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Repub
ISBN: 9783540207795 / Angielski / Miękka / 385 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 30th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, held in Merin, Czech Republic, in January 2004. The volume presents 10 invited lectures and 22 full papers selected from 136 submissions. Among the topics covered are computer science theory, programming theory, database systems, information systems, cognitive technologies and Web technologies.
This book constitutes the refereed proceedings of the 30th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, held ...
|
cena:
205,02 |
 |
Theory and Applications of Relational Structures as Knowledge Instruments: Cost Action 274, Tarski, Revised Papers
ISBN: 9783540207801 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Relational structures abound in our daily environment: relational databases, data mining, scaling procedures, preference relations, etc. As the documentation of scientific results achieved within the European COST Action 274, TARSKI, this book advances the understanding of relational structures and the use of relational methods in various application fields. The 12 revised full papers were carefully reviewed and selected for presentations. The papers are devoted to mechanization of relational reasoning, relational scaling and preferences, and algebraic and logical foundations of... Relational structures abound in our daily environment: relational databases, data mining, scaling procedures, preference relations, etc. As the doc... |
cena:
205,02 |
 |
Approximation and Online Algorithms: First International Workshop, Waoa 2003, Budapest, Hungary, September 16-18, 2003, Revised Papers
ISBN: 9783540210795 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Workshop on Approximation and Online Algorithms (WAOA 2003) focused on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems have a large number of applications ar- ing from a variety of ?elds. The workshop also covered experimental research on approximation and online algorithms. WAOA 2003 took place in Budapest, Hungary, from September 16 to September 18. The workshop was part of the ALGO 2003 event, which also hosted ESA 2003, WABI 2003, and ATMOS 2003. TopicsofinterestforWAOA2003were: competitiveanalysis, inapproximab- ityresults,...
The Workshop on Approximation and Online Algorithms (WAOA 2003) focused on the design and analysis of algorithms for online and computationally hard p...
|
cena:
205,02 |
 |
Stacs 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings
ISBN: 9783540212362 / Angielski / Miękka / 660 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Symposium on Theoretical Aspects of Computer Science (STACS) is alt- nately held in France and in Germany. The conference of March 25 27, 2004 at the Corum, Montpellier was the twenty-?rst in this series. Previous meetings took place in Paris (1984), Saarbruc ] ken (1985), Orsay (1986), Passau (1987), Bordeaux (1988), Paderborn (1989), Rouen (1990), Hamburg (1991), Cachan (1992), Wurzburg ] (1993), Caen(1994), Munc ] hen(1995), Grenoble(1996), Lub ] eck (1997), Paris (1998), Trier (1999), Lille (2000), Dresden (2001), Antibes (2002), and Berlin (2003). The symposium looks back at a...
The Symposium on Theoretical Aspects of Computer Science (STACS) is alt- nately held in France and in Germany. The conference of March 25 27, 2004 at ...
|
cena:
410,09 |
 |
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
ISBN: 9783540213772 / Angielski / Miękka / 548 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4 7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent. Kent is situated in the southeast of England, and the university sits on a hill overlooking the city of Canterbury and its world-renowned cathedral. The UniversityofKentwasgranteditsRoyalCharterin1965.Todaytherearealmost 10,000 full-time and part-time students, with over 110...
The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4 7 April 2004. The confe...
|
cena:
205,02 |
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
