» książki » Computers - Computer Science
topmenu
 |
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings
ISBN: 9783540562825 / Angielski / Miękka / 351 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden, June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledge representation and belief systems, and programme transformation and analysis in logic. Particular topics include belief revision systems, intensional deduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programmes, semantics of the vanilla metainterpreter,...
This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden, ...
|
cena:
203,13 |
 |
Advances in Cryptology - Crypto '97: 17th Annual International Cryptology Conference, Santa Barbara, California, Usa, August 17-21, 1997, Proceedings
ISBN: 9783540633846 / Angielski / Miękka / 546 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 17th Annual International Cryptology Conference, CRYPTO'97, held in Santa Barbara, California, USA, in August 1997 under the sponsorship of the International Association for Cryptologic Research (IACR).
The volume presents 35 revised full papers selected from 160 submissions received. Also included are two invited presentations. The papers are organized in sections on complexity theory, cryptographic primitives, lattice-based cryptography, digital signatures, cryptanalysis of public-key cryptosystems, information theory, elliptic curve... This book constitutes the refereed proceedings of the 17th Annual International Cryptology Conference, CRYPTO'97, held in Santa Barbara, California, U...
|
cena:
406,31 |
 |
Advances in Cryptology - Crypto '98: 18th Annual International Cryptology Conference, Santa Barbara, California, Usa, August 23-27, 1998, Proceedings
ISBN: 9783540648925 / Angielski / Miękka / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 18th Annual International Cryptology Conference, CRYPTO'98, held in Santa Barbara, California, USA, in August 1998. The book presents 33 revised full papers selected from a total of 144 submissions received. Also included are two invited presentations. The papers are organized in topical sections on chosen ciphertext security, cryptanalysis of hash functions and block ciphers, distributed cryptography, zero knowledge, and implementation.
This book constitutes the refereed proceedings of the 18th Annual International Cryptology Conference, CRYPTO'98, held in Santa Barbara, California, U...
|
cena:
203,13 |
 |
Lectures on Petri Nets II: Applications: Advances in Petri Nets
ISBN: 9783540653073 / Angielski / Miękka / 487 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area.
Together with its companion volume "Lectures on Petri Nets I: Basic Models" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications... The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, add...
|
cena:
203,13 |
 |
Advances in Computing Science - Asian'98: 4th Asian Computing Science Conference, Manila, the Philippines, December 8-10, 1998, Proceedings
ISBN: 9783540653882 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th Asian Computing Science Conference, ASIAN'98, held in Manila, The Philippines, in December 1998.The 17 revised full papers presented were carefully reviewed and selected from a total of 43 submissions. Also included are a few invited contributions. Among the topics covered are automated deduction, proof theory, rewriting systems, program semantics, distributed processing, algorithms, and graph-theoretical aspects.
This book constitutes the refereed proceedings of the 4th Asian Computing Science Conference, ASIAN'98, held in Manila, The Philippines, in December 1...
|
cena:
203,13 |
 |
Stacs 99: 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 Proceedings
ISBN: 9783540656913 / Angielski / Miękka / 590 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work constitutes the refereed proceedings of the 16th Annual Symposium on Theoretical Aspects of Computer Science, STACS 99, held in Trier, Germany in March 1999. The 51 revised full papers presented were selected from a total of 146 submissions. Also included are three invited papers. The volume is divided in topical sections on complexity, parallel algorithms, computational geometry, algorithms and data structures, automata and formal languages, verification, algorithmic learning, and logic in computer science.
This work constitutes the refereed proceedings of the 16th Annual Symposium on Theoretical Aspects of Computer Science, STACS 99, held in Trier, Germa...
|
cena:
406,31 |
 |
New Directions in Rough Sets, Data Mining, and Granular-Soft Computing: 7th International Workshop, Rsfdgrc'99, Yamaguchi, Japan, November 9-11, 1999
ISBN: 9783540666455 / Angielski / Miękka / 566 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers selected for presentation at the Seventh Int- national Workshop on Rough Sets, Fuzzy Sets, Data Mining, and Granular-Soft Computing (RSFDGrC 99) held in the Yamaguchi Resort Center, Ube, Y- aguchi, Japan, November 9-11, 1999. The workshop was organized by Inter- tional Rough Set Society, BISC Special Interest Group on Granular Comp- ing (GrC), Polish-JapaneseInstitute of Information Technology, and Yamaguchi University. RSFDGrC 99providedaninternationalforumforsharingoriginalresearch results and practical development experiences among experts in these emerging...
This volume contains the papers selected for presentation at the Seventh Int- national Workshop on Rough Sets, Fuzzy Sets, Data Mining, and Granular-S...
|
cena:
406,31 |
 |
High Performance Computing - HiPC'99: 6th International Conference, Calcutta, India, December 17-20, 1999 Proceedings
ISBN: 9783540669074 / Angielski / Miękka / 418 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These are the proceedings of the Sixth International Conference on High Performance Computing (HiPC'99) held December 17-20 in Calcutta, India. The meeting serves as a forum for presenting current work by researchers from around the world as well as highlighting activities in Asia in the high performance computing area. The meeting emphasizes both the design and the analysis of high performance computing systems and their scientific, engineering, and commercial applications. Topics covered in the meeting series include: Parallel Algorithms Scientific Computation Parallel Architectures...
These are the proceedings of the Sixth International Conference on High Performance Computing (HiPC'99) held December 17-20 in Calcutta, India. The me...
|
cena:
203,13 |
 |
Lineare Algebra Für Informatiker: I. Grundlagen, Diskrete Mathematik. II. Lineare Algebra
ISBN: 9783540675334 / Niemiecki / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Buch bietet eine auf die Belange der mathematischen Grundausbildung der Informatiker zugeschnittene Einfuhrung in die Lineare Algebra, die den Leser bis hin zu den Euklidischen Vektorraumen und der Hauptachsentransformation fuhrt. Besonders interessant sind Anwendungen der Vektorrechnung in der Codierungstheorie, Anwendungen der Matrizenrechnung auf lineare Gleichungssysteme und elementare Rechenmethoden zur Invertierung und Zerlegung von Matrizen und zur Bestimmung von Eigenwerten. Dem Teil uber Lineare Algebra geht ein breit angelegter Teil uber Grundlagen der Mathematik und...
Das vorliegende Buch bietet eine auf die Belange der mathematischen Grundausbildung der Informatiker zugeschnittene Einfuhrung in die Lineare Algebra,...
|
cena:
113,90 |
 |
Rational Unified Process Kompakt
ISBN: 9783827418364 / Niemiecki / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. Rational Unified Process kompakt stellt die wichtigsten Inhalte und Konzepte des RUP in ubersichtlicher Form dar. Es wendet sich an alle Beteiligten in der Softwareentwicklung, die den RUP kennenlernen wollen, sei es zur Evaluierung eines Softwareentwicklungsprozesses oder zur Information uber Grundinhalte, -gedanken und -aufbau des RUP. Die 2. Auflage berucksichtigt neben kleineren Erweiterungen eine komplette Neuerung aus den Jahren 2005/2006 zur Terminologie und Anpassung des RUP."
Rational Unified Process kompakt stellt die wichtigsten Inhalte und Konzepte des RUP in ubersichtlicher Form dar. Es wendet sich an alle Beteiligten i...
|
cena:
75,90 |
 |
Analog and Mixed-Signal Hardware Description Language
ISBN: 9780792398752 / Angielski / Twarda / 158 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hardware description languages (HDL) such as VHDL and Verilog have found their way into almost every aspect of the design of digital hardware systems. Since their inception they gradually proved to be an essential part of modern design methodologies and design automation tools, ever exceeding their original goals of being description and simulation languages. Their use for automatic synthesis, formal proof, and testing are good examples.
So far, HDLs have been mainly dealing with digital systems. However, integrated systems designed today require more and more analog parts such as A/D... Hardware description languages (HDL) such as VHDL and Verilog have found their way into almost every aspect of the design of digital hardware systems....
|
cena:
406,31 |
 |
Evolutionary Computing: Aisb Workshop, Brighton, U.K., April 1 - 2, 1996. Selected Papers
ISBN: 9783540617495 / Angielski / Miękka / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains a selection of papers presented at a workshop on evolutionary computing sponsored by the Society for the Study of Artificial Intelligence and Simulation of Behaviour, AISB, at the University of Sussex in Brighton, UK, in April 1996.
The 22 revised full papers included in the book, together with one invited contribution, were carefully reviewed by the program committee. Twelve contributions investigate applications of evolutionary computing in various areas, such as learning, scheduling, searching, genetic programming, image processing, and robotics. Eleven papers are... This book contains a selection of papers presented at a workshop on evolutionary computing sponsored by the Society for the Study of Artificial Intell...
|
cena:
203,13 |
 |
Graph-Theoretic Concepts in Computer Science: 22nd International Workshop, Wg '96, Cadenabbia, Italy, June 12-14, 1996, Proceedings
ISBN: 9783540625599 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the carefully refereed post-proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG '96, held in Cadenabbia, Italy, in June 1996.
The 30 revised full papers presented in the volume were selected from a total of 65 submissions. This collection documents the state of the art in the area. Among the topics addressed are graph algorithms, graph rewriting, hypergraphs, graph drawing, networking, approximation and optimization, trees, graph computation, and others. This book constitutes the carefully refereed post-proceedings of the 22nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG '...
|
cena:
203,13 |
 |
Fundamentals of Computation Theory: 11th International Symposium, Fct '97, Krakow, Poland, September 1-3, 1997. Proceedings
ISBN: 9783540633860 / Angielski / Miękka / 484 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Symposium on Fundamentals of Computer Theory, FCT'97, held in Krakow, Poland, in September 1997.
The 34 revised full papers presented in the volume were selected from a total of 72 submissions. Also included are six invited papers by leading scientists. The papers address a variety of current topics in theoretical computer science including models of computation, concurrency, algorithms, complexity theory, programming theory, formal languages, graph theory and discrete mathematics, networking, automata theory, term... This book constitutes the refereed proceedings of the 11th International Symposium on Fundamentals of Computer Theory, FCT'97, held in Krakow, Poland,...
|
cena:
203,13 |
 |
Graph-Theoretic Concepts in Computer Science: 23rd International Workshop, WG'97, Berlin, Germany, June 18-20, 1997. Proceedings
ISBN: 9783540637578 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed post-workshop proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'97, held in Berlin, Germany in June 1997.
The volume presents 28 revised full papers carefully selected for inclusion in the book from 42 submissions. The papers address a variety of graph-theoretic issues relevant from the computer science point of view such as graph algorithms, cycles, graph decompositions, interconnection networks, local search, graph orderings, graph matching, graph languages, tree-width computation, etc. This book constitutes the strictly refereed post-workshop proceedings of the 23rd International Workshop on Graph-Theoretic Concepts in Computer Scien...
|
cena:
203,13 |
 |
Sofsem '97: Theory and Practice of Informatics: 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November
ISBN: 9783540637745 / Angielski / Miękka / 582 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Based on the 24th Seminar on Current Trends in Theory and Practice of Informatics, this volume presents 22 invited contributions by experts, together with 24 revised contributed papers selected from 63 submissions. The invited presentations are organized in topical sections on foundations, distributed and parallel computing, software engineering and methodology, and databases and information systems.
Based on the 24th Seminar on Current Trends in Theory and Practice of Informatics, this volume presents 22 invited contributions by experts, together ...
|
cena:
203,13 |
 |
Algorithms and Computation: 8th International Symposium, ISAAC'97, Singapore, December 17-19, 1997, Proceedings.
ISBN: 9783540638902 / Angielski / Miękka / 435 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 42 revised full papers presented were selected from a total of 98 submissions. The scope of the volume spans the whole area of algorithms from discrete mathematics and complexity theory to algorithms design and evaluation in a variety of applicational areas. Among the topics addressed are scheduling and logistics, networking and routing, combinatorial optimization, graph-computations, algorithmic learning, computational geometry, etc.
The 42 revised full papers presented were selected from a total of 98 submissions. The scope of the volume spans the whole area of algorithms from dis...
|
cena:
203,13 |
 |
LATIN'98: Theoretical Informatics: Third Latin American Symposium, Campinas, Brazil, April 20-24, 1998, Proceedings
ISBN: 9783540642756 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third Latin American Symposium on Theoretical Informatics, LATIN'98, held in Campinas, Brazil, in April 1998.
The 28 revised full papers presented together with five invited surveys were carefully selected from a total of 53 submissions based on 160 referees' reports. The papers are organized in sections on algorithms and complexity; automata, transition systems and combinatorics on words; computational geometry and graph drawing; cryptography; graph theory and algorithms on graphs; packet routing; parallel algorithms; and pattern... This book constitutes the refereed proceedings of the Third Latin American Symposium on Theoretical Informatics, LATIN'98, held in Campinas, Brazil, i...
|
cena:
203,13 |
 |
Mathematics of Program Construction: 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
ISBN: 9783540645917 / Angielski / Miękka / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text presents the refereed proceedings of the 4th International Conference on Mathematics of Program Construction (MPC'98), held in Marstrand in Sweden. The 17 revised full papers presented were selected from 57 submissions. Also included are three invited papers. The volume is devoted to the use of clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware. Various approaches to formal methods for systems design and analysis are covered.
This text presents the refereed proceedings of the 4th International Conference on Mathematics of Program Construction (MPC'98), held in Marstrand in ...
|
cena:
203,13 |
 |
Discovery Science: Second International Conference, DS'99, Tokyo, Japan, December 6-8, 1999 Proceedings
ISBN: 9783540667131 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the Second International Conf- ence on Discovery Science (DS 99), held in Tokyo, Japan, December 6-8, 1999. The conference was colocated with the Tenth International Conference on Al- rithmic Learning Theory (ALT 99). This conference was organized as part of the activities of the Discovery S- ence Project sponsored by Grant-in-Aid for Scienti c Research on Priority Area fromthe MinistryofEducation, Science, SportsandCulture (MESSC)ofJapan. This is a three-year project starting from 1998 that aims to (1) develop new methods for knowledge discovery,...
This volume contains the papers presented at the Second International Conf- ence on Discovery Science (DS 99), held in Tokyo, Japan, December 6-8, 199...
|
cena:
203,13 |
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
