» książki » Computers - Computer Science
topmenu
 |
Advances in Computing Science - Asian'99: 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings
ISBN: 9783540668565 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th Asian Computing Science Conference, ASIAN'99, held in Phuket, Thailand, in December 1999.The 28 revised full papers presented together with two invited contributions and 11 short presentations were carefully reviewed and selected from a total of 114 submissions. Among the topics addressed are programming theory, formal methods, automated reasoning, verification, embedded systems, real-time systems, distributed systems, and mobile computing.
This book constitutes the refereed proceedings of the 5th Asian Computing Science Conference, ASIAN'99, held in Phuket, Thailand, in December 1999.The...
|
cena:
203,13 |
 |
Digital Watermarking: First International Workshop, Iwdw 2002, Seoul, Korea, November 21-22, 2002, Revised Papers
ISBN: 9783540012177 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 1st International Workshop on Digital Watermarking (IWDW), the con- rence covering all aspects of digital watermarking, was held at the Hotel Riviera situated along the beautiful Han River in Seoul, Korea from November 21 to 22, 2002. These proceedings contain 21 papers that were accepted for presentation at the conference. These papers were selected from 67 submissions including 3 invited papers. They went through a thorough review process by the Program Committee and were selected on the basis of excellence and novelty. The following is a brief description of the history of this...
The 1st International Workshop on Digital Watermarking (IWDW), the con- rence covering all aspects of digital watermarking, was held at the Hotel Rivi...
|
cena:
203,13 |
 |
Data Base Systems: Proceedings, 5th Informatik Symposium, IBM Germany, Bad Homburg V. D. H., September 24 - 26, 1975
ISBN: 9783540076124 / Niemiecki / Miękka / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
70,26 |
 |
Automata, Languages and Programming: Eighth Colloquium, Acre (Akko), Israel, July 13-17, 1981
ISBN: 9783540108436 / Angielski / Miękka / 554 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
203,13 |
 |
Mathematical Foundations of Computer Science 1981: 10th Symposium Strbske Pleso, Czechoslovakia, August 31- September 4, 1981. Proceedings
ISBN: 9783540108566 / Angielski / Miękka / 590 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
203,13 |
 |
Conlan Report
ISBN: 9783540122753 / Angielski / Miękka / 178 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
203,13 |
 |
How to Multiply Matrices Faster
ISBN: 9783540138662 / Angielski / Miękka / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
93,42 |
 |
Stacs 85: 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985
ISBN: 9783540139126 / Angielski / Miękka / 375 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
142,18 |
 |
Aspects and Prospects of Theoretical Computer Science: 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-
ISBN: 9783540534143 / Angielski / Miękka / 299 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the texts of the tutorial lecture, five invited lectures and twenty short communications contributed for presentation at the Sixth International Meeting of Young Computer Scientists, IMYCS '90. The aim of these meetings is threefold: (1) to inform on newest trends, results, and problems in theoretical computer science and related fields through a tutorial and invited lectures delivered by internationally distinguished speakers, (2) to provide a possibility for beginners in scientific work to present and discuss their results, and (3) to create an adequate opportunity for...
This volume contains the texts of the tutorial lecture, five invited lectures and twenty short communications contributed for presentation at the Sixt...
|
cena:
203,13 |
 |
Baltic Computer Science: Selected Papers
ISBN: 9783540541318 / Angielski / Miękka / 626 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents recent computer science work from the Baltic Republics of Estonia, Latvia and Lithuania. The following topics are addressed: synthesis of programs, automatic test case generation, specification and verification of distributed systems.
This volume presents recent computer science work from the Baltic Republics of Estonia, Latvia and Lithuania. The following topics are addressed: synt...
|
cena:
406,31 |
 |
Mathematical Foundations of Computer Science 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings
ISBN: 9783540543459 / Angielski / Miękka / 437 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of a Polish/Czechoslovakian symposium on topics including parallel and distributed computing, software specification and development, logic and semantics of programs, algorithms, complexity and computability theory.
This volume contains the proceedings of a Polish/Czechoslovakian symposium on topics including parallel and distributed computing, software specificat...
|
cena:
203,13 |
 |
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
ISBN: 9783540544777 / Angielski / Miękka / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the second workshop on Computer Aided Verification, held at Rutgers University, USA. It features theoretical results that lead to new or more powerful verification methods. Among these are advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations and proof-checking in controller verification. The motivation for holding a workshop on computer aided verification was to bring together work on effective algorithms or methodologies for formal verification, as distinguished from attributes of logics or...
This volume contains the proceedings of the second workshop on Computer Aided Verification, held at Rutgers University, USA. It features theoretical r...
|
cena:
203,13 |
 |
Distributed Algorithms: 5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991. Proceedings
ISBN: 9783540552369 / Angielski / Miękka / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the fifth International Workshop on Distributed Algorithms (WDAG '91) held in Delphi, Greece, in October 1991. The workshop provided a forum for researchers and others interested in distributed algorithms, communication networks, and decentralized systems. The aim was to present recent research results, explore directions for future research, and identify common fundamental techniques that serve as building blocks in many distributed algorithms. The volume contains 23 papers selected by the Program Committee from about fifty extended abstracts on the...
This volume contains the proceedings of the fifth International Workshop on Distributed Algorithms (WDAG '91) held in Delphi, Greece, in October 1991....
|
cena:
203,13 |
 |
Data Structures and Efficient Algorithms: Final Report on the DFG Special Joint Initiative
ISBN: 9783540554882 / Angielski / Miękka / 395 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Algorithms are a central concept in computer science. The German Science Foundation (DFG) started a Special Joint Initiative on data structures and efficient algorithms in 1986 with the aim of encouraging collaborative research on algorithms. For a period of five years, about a dozen projects were funded with an emphasis on algorithms and data structures for geometric problems on the one hand, and parallel and distributed algorithms on the other."
Algorithms are a central concept in computer science. The German Science Foundation (DFG) started a Special Joint Initiative on data structures and ef...
|
cena:
203,13 |
 |
Theory of Computing and Systems: Istcs '92, Israel Symposium, Haifa, Israel, May 27-28, 1992. Proceedings
ISBN: 9783540555537 / Angielski / Miękka / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ISTCS '92 the Israel Symposium on the Theory of Computing and Systems, came about spontaneously as a result of informal interaction between a group of people who viewed the conference as an appropriate expression of Israeli strength in theoretical aspects of computing and systems. the enthusiasm that the symposium created resulted in the submission of a large number of extremely high quality papers, which led in turn to strict acceptance criteria. This volume contains 19 selected papers representing the cream of Israeli talent in the field, on a variety of active and interesting topics in the...
ISTCS '92 the Israel Symposium on the Theory of Computing and Systems, came about spontaneously as a result of informal interaction between a group of...
|
cena:
203,13 |
 |
Combinatorial Pattern Matching: Third Annual Symposium, Tucson, Arizona, Usa, April 29 - May 1, 1992. Proceedings
ISBN: 9783540560241 / Angielski / Miękka / 293 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the 22 papers accepted for presentation at the Third Annual Symposium on Combinatorial Pattern Matching held April 29 to May 1, 1992, in Tucson, Arizona; it constitutes the first conference proceedings entirely devoted to combinatorial pattern matching (CPM). CPM deals withissues of searching and matching of strings and other more complicated patterns such as trees, regular expressions, extended expressions, etc. in order to derive combinatorial properties for such structures. As an interdisciplinary field of growing interest, CPM is related to research in information...
This volume contains the 22 papers accepted for presentation at the Third Annual Symposium on Combinatorial Pattern Matching held April 29 to May 1, 1...
|
cena:
190,94 |
 |
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,13 |
 |
Future Tendencies in Computer Science, Control and Applied Mathematics: International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992. Proceedings
ISBN: 9783540563204 / Angielski / Miękka / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the International Conference on Research in Computer Science and Control, held on the occasion of the 25th anniversary of INRIA in December 1992. The objective of this conference was to bring together a large number of the world's leading specialists in information technology who are particularly active in the field covered by INRIA research programmes, to present the state of the art and a prospective view of future research. The contributions in the volume are organized into the following areas: parallel processing, databases, networks, and...
This volume contains the proceedings of the International Conference on Research in Computer Science and Control, held on the occasion of the 25th ann...
|
cena:
203,13 |
 |
Stacs 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings
ISBN: 9783540565031 / Angielski / Miękka / 730 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the tenth annual Symposium on Theoretical Aspects of Computer Science (STACS '93), held in W}rzburg, February 25-27, 1993. The STACS symposia are held alternately in Germany and France, and organized jointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI) and theSpecial Interest Group for Applied Mathematics of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (afcet). The volume includes the three invited talks which opened the three days of the symposium:...
This volume contains the proceedings of the tenth annual Symposium on Theoretical Aspects of Computer Science (STACS '93), held in W}rzburg, February ...
|
cena:
406,31 |
 |
Fundamentals of Computation Theory: 9th International Conference, Fct '93, Szeged, Hungary, August 23-27, 1993. Proceedings
ISBN: 9783540571636 / Angielski / Miękka / 476 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Ninth Conference on Fundamentals of Computation Theory (FCT 93) held in Szeged, Hungary, in August 1993. The conference was devoted to a broad range of topics including: semantics and logical concepts in the theory of computing and formal specification; automata and formal languages; computational geometry, algorithmic aspects of algebra and algebraic geometry, and cryptography; complexity (sequential, parallel, distributed computing, structure, lower bounds, complexity of analytical problems, general concepts); algorithms (efficient, probabilistic,...
This volume contains the proceedings of the Ninth Conference on Fundamentals of Computation Theory (FCT 93) held in Szeged, Hungary, in August 1993. T...
|
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
