» książki » Computers - Computer Science
topmenu
 |
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
ISBN: 9783540544876 / Angielski / Miękka / 402 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains 24 papers presented at a workshop held in Heidelberg in October 1990. The papers cover a wide range of topics in computer science logic.
This volume contains 24 papers presented at a workshop held in Heidelberg in October 1990. The papers cover a wide range of topics in computer science...
|
cena:
201,24 |
 |
ISA '91 Algorithms: 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991. Proceedings
ISBN: 9783540549451 / Angielski / Miękka / 401 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of an international symposium on algorithms held in Taiwan in December 1991. Topics include computational geometry, graph algorithms, complexity theory, parallel algorithms, distributed computing and computational algebra.
This volume presents the proceedings of an international symposium on algorithms held in Taiwan in December 1991. Topics include computational geometr...
|
cena:
201,24 |
 |
Latin '92: 1st Latin American Symposium on Theoretical Informatics, Sao Paulo, Brazil, April 6-10, 1992. Proceedings
ISBN: 9783540552840 / Angielski / Miękka / 547 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of LATIN '92, a theoretical computer science symposium (Latin American Theoretical Informatics) held in S o Paulo, Brazil in April 1992. LATIN is intended to be a comprehensive symposium in the theory of computing, but for this first meeting the following areas were chosen for preferential coverage: algorithms and data structures, automata and formal languages, computability and complexity theory, computational geometry, cryptography, parallel and distributed computation, symbolic and algebraic computation, and combinatorial and algebraic aspects of...
This volume contains the proceedings of LATIN '92, a theoretical computer science symposium (Latin American Theoretical Informatics) held in S o Paulo...
|
cena:
201,24 |
 |
Application and Theory of Petri Nets 1992: 13th International Conference, Sheffield, Uk, June 22-26, 1992. Proceedings
ISBN: 9783540556763 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 13th International Conference onApplication and Theory of Petri Nets, held in Sheffield, England, in June 1992. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 150-200 participants, one third of these coming from industry and the rest from universities and research institutions. The 1992 conference was organized by the School of Computing and Management Sciences at Sheffield City Polytechnic, England. The volume contains twoinvited papers,...
This volume contains the proceedings of the 13th International Conference onApplication and Theory of Petri Nets, held in Sheffield, England, in June ...
|
cena:
201,24 |
 |
Algorithm Theory - Swat '92: Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992. Proceedings
ISBN: 9783540557067 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The papers in this volume were presented at SWAT 92, the Third Scandinavian Workshop on Algorithm Theory. The workshop, which continues the tradition ofSWAT 88, SWAT 90, and the Workshop on Algorithms and Data Structures (WADS 89, WADS 91), is intended as an international forum for researchers in the area of design and analysis of algorithms. The volume contains invited papers by L.G. Valiant (Direct bulk-synchronous parallel algorithms), A.A. Razborov (On small depth threshold circuits), G. Gonnet (Efficient two-dimensional searching), and E. Welzl (New results on linear programming and...
The papers in this volume were presented at SWAT 92, the Third Scandinavian Workshop on Algorithm Theory. The workshop, which continues the tradition ...
|
cena:
201,24 |
 |
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
ISBN: 9783540557074 / Angielski / Miękka / 517 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a series of international symposia on logical foundations of computer science held in Russia. The meeting is a joint efort of scholars from both the former Soviet Union and the West, and indicates a new era of international co-operation. Sponsors of the meeting include: the Association for Computing Machinery, the Association for Symbolic Logic, and the Committee on Mathematical Foundations of Computer Science of IEEE. The book is a unique source of...
This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a ser...
|
cena:
201,24 |
 |
Hyperedge Replacement: Grammars and Languages
ISBN: 9783540560050 / Angielski / Miękka / 221 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph introduces hyperedge-replacement grammars as a device for generating hypergraph languages, including graph and string languages. This concept combines a context-free rewriting with a comparatively large generative power.
This monograph introduces hyperedge-replacement grammars as a device for generating hypergraph languages, including graph and string languages. This c...
|
cena:
201,24 |
 |
Foundations of Software Technology and Theoretical Computer Science: 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings
ISBN: 9783540562870 / Angielski / Miękka / 409 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The proceedings of a meeting held at the Tata Institute of Fundamental Research, Bombay, in June 1992. Selected papers are included in this volume, along with invited essays on developments in algorithms for the maximum-flow problem and system specification in temporal logic.
The proceedings of a meeting held at the Tata Institute of Fundamental Research, Bombay, in June 1992. Selected papers are included in this volume, al...
|
cena:
201,24 |
 |
Foundations of Software Technology and Theoretical Computer Science: 13th Conference, Bombay, India, December 15-17, 1993. Proceedings
ISBN: 9783540575290 / Angielski / Miękka / 462 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume of conference proceedings contains papers grouped into sections on type theory, parallel algorithms, term rewriting, logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms and learning theory.
This volume of conference proceedings contains papers grouped into sections on type theory, parallel algorithms, term rewriting, logic programming, co...
|
cena:
201,24 |
 |
An Extended Entity-Relationship Model: Fundamentals and Pragmatics
ISBN: 9783540576488 / Angielski / Miękka / 141 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text presents a comprehensive introduction to an extended Entity-Relationship model both on a conceptual and on a formal, mathematicallevel. In addition to the primitives given by the data model the text introduces a language for the formulation of constraints in order to restrict database states to consistent ones. The text explains an implementation of the approach chosen in the logic programing language PROLOG and discusses in this context the computational power of the proposedcalculus. The extended Entity-Relationship calculus is used to define the meaning of the relational query...
This text presents a comprehensive introduction to an extended Entity-Relationship model both on a conceptual and on a formal, mathematicallevel. In a...
|
cena:
201,24 |
 |
Fast Software Encryption: Cambridge Security Workshop, Cambridge, U.K., December 9 - 11, 1993. Proceedings
ISBN: 9783540581086 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the refereed papers presented at the International Workshop on Software Encryption Algorithms, held at Cambridge University, U.K. in December 1993.
The collection of papers by representatives of all relevant research centers gives a thorough state-of-the-art report on all theoretical aspects of encryption algorithms and takes into account the new demands from new applications, as for example from the data-intensive multimedia applications. The 26 papers are organized in sections on block ciphers, stream ciphers, software performance, cryptanalysis, hash functions and... This volume contains the refereed papers presented at the International Workshop on Software Encryption Algorithms, held at Cambridge University, U.K....
|
cena:
201,24 |
 |
Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings
ISBN: 9783540581314 / Angielski / Miękka / 449 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is dedicated to Professor Arto Salomaa on the occasion of his 60th birthday. The 32 invited papers contained in the volume were presented at the festive colloquium, organized by Hermann Maurer at Graz, Austria, in June 1994; the contributing authors are well-known scientists with special relations to Professor Salomaa as friends, Ph.D. students, or co-authors. The volume reflects the broad spectrum of Professor Salomaa's research interests in theoretical computer science and mathematics with contributions particularly to automata theory, formal language theory, mathematical logic,...
This volume is dedicated to Professor Arto Salomaa on the occasion of his 60th birthday. The 32 invited papers contained in the volume were presented ...
|
cena:
201,24 |
 |
Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings
ISBN: 9783540581529 / Angielski / Miękka / 592 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 1994. The annual Petri net conferences are usually visited by some 150 - 200 Petri net experts coming from academia and industry all over the world.
The 28 full papers were selected out of in total 85 submissions from 18 countries. Together with the 3 invited contributions, these papers give a state-of-the-art report on all relevant aspects of Petri nets. This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 199...
|
cena:
201,24 |
 |
Numerical Integration: on Advanced Computer Systems
ISBN: 9783540584100 / Angielski / Miękka / 349 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph is a comprehensive treatment of the theoretical and computational aspects of numerical integration.
The authors give a unique overview of the topic by bringing into line many recent research results not yet presented coherently; the extensive bibliography lists 268 items. Particular emphasis is given to the potential parallelism of numerical integration problems and to utilizing it by means of dynamic load distribution techniques. The book discusses the basics and provides methodologies for producing efficient and reliable software for numerical integration on advanced... This monograph is a comprehensive treatment of the theoretical and computational aspects of numerical integration.
The authors give a unique overv... |
cena:
201,24 |
 |
Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings
ISBN: 9783540587156 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS-14, held in Madras, India in December 1994.
Besides the five invited papers by well-known researchers, it includes 31 full refereed research papers selected out of a total of 140 submissions. The papers contribute to the whole area of theoretical computer science with an emphasis on algorithms and complexity. Other topics covered are program semantics, program verification, formal logic, computational geometry, concurrency,... This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, ...
|
cena:
201,24 |
 |
Towards a CSCW Framework for Scientific Cooperation in Europe
ISBN: 9783540588443 / Angielski / Miękka / 274 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph presents the still young, but already large and very active interdisciplinary realm of computer supported cooperative work (CSCW) in a systematic and well-balanced way. Besides technical progress also the cultural, social, legal, psychological and economic aspects of CSCW are discussed. The book makes accessible a wealth of information and culminates in the development and detailed discussion of a "Collaboratory" suitable to fulfil the needs of scientific cooperation in Europe.
The book addresses CSCW research and development professionals as well as the general scientist... This monograph presents the still young, but already large and very active interdisciplinary realm of computer supported cooperative work (CSCW) in a ...
|
cena:
201,24 |
 |
Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
ISBN: 9783540590477 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994.
The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are... This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the F...
|
cena:
201,24 |
 |
Efficient Graph Rewriting and Its Implementation
ISBN: 9783540600558 / Angielski / Miękka / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called UBS-GRS, where the complexity of a rewriting step is linear instead of NP, showing for example that visual programming is possible by UBS graph rewriting. Second, an abstract machine for graph rewriting is defined providing an instruction set sufficient for the execution of GRS.
The basic definitions of GRS in the algorithmic approach are introduced and extended by attribution and control structures to comprise a formalism for an operational... This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called U...
|
cena:
201,24 |
 |
Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings
ISBN: 9783540603603 / Angielski / Miękka / 431 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 1995. Static Analysis is increasingly recognized as a foundation for high-performance implementations and verification systems of high-level programming languages.
22 full revised papers selected from a total of 55 submissions are presented; they address static analysis issues for different programming paradigms; in particular concurrent, constraint, functional, imperative, logic, and object-oriented programming are addressed. In addition there... This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 19...
|
cena:
201,24 |
 |
Engineering Stochastic Local Search Algorithms: Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2007 Brussels,
ISBN: 9783540744450 / Angielski / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Stochastic local search (SLS) algorithms enjoy great popularity as powerful and versatile tools for tackling computationally hard decision and optimization pr- lems from many areas of computer science, operations research, and engineering. To a large degree, this popularity is based on the conceptual simplicity of many SLS methods and on their excellent performance on a wide gamut of problems, ranging from rather abstract problems of high academic interest to the very s- ci?c problems encountered in many real-world applications. SLS methods range from quite simple construction procedures and...
Stochastic local search (SLS) algorithms enjoy great popularity as powerful and versatile tools for tackling computationally hard decision and optimiz...
|
cena:
201,24 |
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
