![]() |
Mathematical Foundations of Computer Science 1977: 6th Symposium, Tatranska Lomnica September 5-9, 1977. Proceedings
ISBN: 9783540083535 / Angielski / Miękka / 599 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
405,36 |
![]() |
Modeling Decisions for Artificial Intelligence: First International Conference, Mdai 2004, Barcelona, Spain, August 2-4, 2004, Proceedings
ISBN: 9783540225553 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2004, held in Barcelona, Spain in August 2004. The 26 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 53 submissions. The papers are devoted to topics like models for information fusion, aggregation operators, model selection, fuzzy integrals, fuzzy sets, fuzzy multisets, neural learning, rule-based classification systems, fuzzy association rules, algorithmic learning, diagnosis, text... This book constitutes the refereed proceedings of the First International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2004, ... |
cena:
202,66 |
![]() |
On the Move to Meaningful Internet Systems 2004: Otm 2004 Workshops: Otm Confederated International Workshops and Posters, Gada, Jtres, Mios, Worm, Wo
ISBN: 9783540236641 / Angielski / Miękka / 888 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the joint refereed proceedings of seven international workshops held as part of OTM 2004 in Agia Napa, Cyprus in October 2004. The 73 revised papers presented together with 31 abstracts of posters from the OTM main conferences were carefully reviewed and selected from more than 150 submissions. In accordance with the 7 workshops, the papers are organized in topical sections on grid computing and its applications to data analysis; Java technologies for real-time and embedded systems; modeling inter-organizational systems; regulatory ontologies; ontologies, semantics... This book constitutes the joint refereed proceedings of seven international workshops held as part of OTM 2004 in Agia Napa, Cyprus in October 2004... |
cena:
405,36 |
![]() |
Transactions on Computational Systems Biology III
ISBN: 9783540308836 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the last few decades, advances in molecular biology and in the research - frastructure in this ?eld has given rise to the omics revolution in molecular biology, alongwiththeexplosionofdatabases: fromgenomicstotranscriptomics, proteomics, interactomics, and metabolomics. However, the huge amount of b- logicalinformationavailablehasleftabottleneckindataprocessing: information over?ow has called for innovative techniques for their visualization, modelling, interpretationandanalysis.The manyresultsfromthe ?eldsofcomputerscience andengineeringhavethenmetwithbiology, leadingto new,...
In the last few decades, advances in molecular biology and in the research - frastructure in this ?eld has given rise to the omics revolution in molec...
|
cena:
202,66 |
![]() |
Graph-Theoretic Concepts in Computer Science: 16th International Workshop Wg '90, Berlin, Germany, June 20-22, 1990
ISBN: 9783540538325 / Angielski / Miękka / 367 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume gives the proceedings of WG '90, the 16th in a series of workshops. The aim of the workshop series is to contribute to integration in computer science by applying graph-theoretic concepts. The workshops are unusual in that they combine theoretical aspects with practice and applications. The volume is organized into sections on: - Graph algorithms and complexity, - VLSI layout, - Multiprocessor systems and concurrency, - Computational geometry, - Graphs, languages and databases, - Graph grammars. The volume contains revised versions of nearly all the papers presented at the...
This volume gives the proceedings of WG '90, the 16th in a series of workshops. The aim of the workshop series is to contribute to integration in comp...
|
cena:
202,66 |
![]() |
CONCUR '91: 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
ISBN: 9783540544302 / Angielski / Miękka / 549 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. CONCUR '91 is the second international conference on concurrency theory, organized in association with the NFI project, Transfer. This proceedings volume contains four invited and thirty selected papers on all aspects of concurrency.
CONCUR '91 is the second international conference on concurrency theory, organized in association with the NFI project, Transfer. This proceedings vol...
|
cena:
202,66 |
![]() |
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:
202,66 |
![]() |
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:
202,66 |
![]() |
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:
202,66 |
![]() |
Informatik 2: Eine Einführende Übersicht
ISBN: 9783540555674 / Niemiecki / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Informatik. Eine einfuhrende Ubersicht hat sich als Standardwerk fur das Studium der Informatik bewahrt. Der vorliegende zweite Teil steht unter dem Leitgedanken "Strukturen," der das Grundthema "Algorithmen" des ersten Teils erganzt. Zunachst werden Programmstrukturen und Datenstrukturen einschliesslich der Techniken ihrer Implementierung behandelt. Sodann werden formale (Sprach-)Systeme, die zur Beschreibung solcher Strukturen dienen, auf relationentheoretischer Grundlage dargestellt. Ein weiteres Kapitel behandelt die Formalisierung der Syntax und der Semantik algorithmischer...
Informatik. Eine einfuhrende Ubersicht hat sich als Standardwerk fur das Studium der Informatik bewahrt. Der vorliegende zweite Teil steht unte...
|
cena:
113,63 |
![]() |
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:
202,66 |
![]() |
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:
202,66 |
![]() |
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:
202,66 |
![]() |
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:
202,66 |
![]() |
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:
202,66 |
![]() |
Application and Theory of Petri Nets 1993: 14th International Conference, Chicago, Illinois, Usa, June 21-25, 1993. Proceedings
ISBN: 9783540568636 / Angielski / Miękka / 598 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 14th International Conference on the Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. The volume includes three invited papers, Modelling and Enactment of Workflow Systems, Interleaving Functional and Performance Structural Analysis of Net Models and FSPNs: Fluid Stochastic Petri Nets, together with 26 full papers (selected from 102 submissions) and 6 project papers.
This volume contains the proceedings of the 14th International Conference on the Application and Theory of Petri Nets. The aim of the Petri net confer...
|
cena:
405,36 |
![]() |
Automata, Languages and Programming: 20th International Colloquium, Icalp 93, Lund, Sweden, July 5-9, 1993. Proceedings
ISBN: 9783540569398 / Angielski / Miękka / 703 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for Theoretical Computer Science (EATCS). It is intended to cover all important areas of theoretical computer science, such as: computability, automata, formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification,...
The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for T...
|
cena:
405,36 |
![]() |
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:
202,66 |
![]() |
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:
202,66 |
![]() |
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:
202,66 |