wyszukanych pozycji: 23
Half-century of Automata Theory
ISBN: 9789810245900 / Angielski / Twarda / 2001 / 164 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This volume gathers lectures by eight distinguished pioneers of automata theory, including two Turing Award winners. In each contribution, the early developments of automata theory are reminisced about and future directions are suggested. Although some of the contributions go into rather intriguing technical details, most of the book is accessible to a wide audience interested in the progress of the age of computers. The book provides valuable reading for professionals in theoretical computer science and related areas of mathematics. For students in these areas it provides an exceptionally...
This volume gathers lectures by eight distinguished pioneers of automata theory, including two Turing Award winners. In each contribution, the early d...
|
|
cena:
337,16 zł |
Computation and Automata
ISBN: 9780521177337 / Angielski / Miękka / 2011 / 300 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This introduction to certain mathematical topics central to theoretical computer science treats computability and recursive functions, formal languages and automata, computational complexity, and cruptography. The presentation is essentially self-contained with detailed proofs of all statements provided. Although it begins with the basics, it proceeds to some of the most important recent developments in theoretical computer science.
This introduction to certain mathematical topics central to theoretical computer science treats computability and recursive functions, formal language...
|
|
cena:
464,38 zł |
Public-Key Cryptography
ISBN: 9783642082542 / Angielski / Miękka / 2010 / 275 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Cryptography, secret writing, is enjoying a scientific renaissance following the seminal discovery in 1977 of public-key cryptography and applications in computers and communications. This book gives a broad overview of public-key cryptography - its essence and advantages, various public-key cryptosystems, and protocols - as well as a comprehensive introduction to classical cryptography and cryptoanalysis. The second edition has been revised and enlarged especially in its treatment of cryptographic protocols. From a review of the first edition: "This is a comprehensive review ... there can be...
Cryptography, secret writing, is enjoying a scientific renaissance following the seminal discovery in 1977 of public-key cryptography and applications...
|
|
cena:
191,40 zł |
Public-Key Cryptography
ISBN: 9783540613565 / Angielski / Twarda / 1996 / 275 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Cryptography, secret writing, is enjoying a scientific renaissance following the seminal discovery in 1977 of public-key cryptography and applications in computers and communications. This book gives a broad overview of public-key cryptography - its essence and advantages, various public-key cryptosystems, and protocols - as well as a comprehensive introduction to classical cryptography and cryptoanalysis. The second edition has been revised and enlarged especially in its treatment of cryptographic protocols. From a review of the first edition: "This is a comprehensive review ... there can be...
Cryptography, secret writing, is enjoying a scientific renaissance following the seminal discovery in 1977 of public-key cryptography and applications...
|
|
cena:
191,40 zł |
Automata-Theoretic Aspects of Formal Power Series
ISBN: 9781461262664 / Angielski / Miękka / 2011 / 171 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book develops a theory of formal power series in noncommuting variables, the main emphasis being on results applicable to automata and formal language theory. This theory was initiated around 196O-apart from some scattered work done earlier in connection with free groups-by M. P. Schutzenberger to whom also belong some of the main results. So far there is no book in existence concerning this theory. This lack has had the unfortunate effect that formal power series have not been known and used by theoretical computer scientists to the extent they in our estimation should have been. As...
This book develops a theory of formal power series in noncommuting variables, the main emphasis being on results applicable to automata and formal lan...
|
|
cena:
191,40 zł |
Formale Sprachen
ISBN: 9783540090304 / Niemiecki / Miękka / 1978 / 316 str. Termin realizacji zamówienia: ok. 20 dni roboczych. In diesem Buch wird eine Theorie der formalen Sprachen yom Standpunkt der Erzeugungsverfahren, hauptslichlich der Gramma tiken aus entwickelt. Erkennungsverfahren, also Automaten, wer den nur als eine zweite Moglichkeit eingefiihrt und im Rahmen von Ersetzungssystemen vorgestellt. Das Hauptgewicht liegt auf den mathematischen Aspekten der formalen Sprachen und nicht auf ihren Anwendungen. Wer nur an Anwendungen aufProgrammiersprachen (bzw. narurliche Spra chen) interessiert ist, wiirde sicherlich eine ausfiihrlichere Diskus sion von Themen wie LR(k)-Grammatiken (bzw. Transformations...
In diesem Buch wird eine Theorie der formalen Sprachen yom Standpunkt der Erzeugungsverfahren, hauptslichlich der Gramma tiken aus entwickelt. Erkennu...
|
|
cena:
196,76 zł |
Current Trends in Theoretical Computer Science: Essays and Tutorials
ISBN: 9789810214623 / Angielski / Twarda / 1993 / 640 str. Termin realizacji zamówienia: ok. 22 dni roboczych. A collection of articles in theoretical computer science, written by leading authorities in the field. The topics range from algorithms and complexity to algebraic specifications, and from formal languages and language-theoretic modelling to computational geometry.
A collection of articles in theoretical computer science, written by leading authorities in the field. The topics range from algorithms and complexity...
|
|
cena:
757,30 zł |
Current Trends in Theoretical Computer Science: The Challenge of the New Century - Volume 2: Formal Models and Semantics
ISBN: 9789812389657 / Angielski / Twarda / 2004 / 644 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000-2003. It presents many of the most active current research lines in theoretical computer science. The material appears in two volumes, “Algorithms and Complexity” and “Formal Models and Semantics”, reflecting the traditional division of the field.The list of contributors includes many of the well-known researchers in theoretical computer science. Most of the articles are reader-friendly and do not...
This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the ...
|
|
cena:
529,07 zł |
The Oxford Handbook of Membrane Computing
ISBN: 9780199556670 / Angielski / Twarda / 2010 / 696 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Part of the broader research field of natural computing, Membrane Computing is an area within computing science that aims to abstract computing ideas and models from the structure and functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. It studies models of computation (known as P systems) inspired by the biochemistry of cells, in particular by the role of membranes in the compartmentalization of living cells into "protected reactors."
This handbook provides both a comprehensive survey of available knowledge and established... Part of the broader research field of natural computing, Membrane Computing is an area within computing science that aims to abstract computing ideas ...
|
|
cena:
595,98 zł |
Developments in Language Theory: At the Crossroads of Mathematics, Computer Sci and Biology
ISBN: 9789810216450 / Angielski / Twarda / 1994 / 504 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
|
cena:
829,92 zł |
DNA Computing: New Computing Paradigms
ISBN: 9783540641964 / Angielski / Twarda / 1998 / 400 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The authors are much indebted to many friends and collaborators whose con tributions to automata and language theory approach to DNA computing can be recognized in the present book. The bibliography specifies their names and we shall not repeat them here. Some of them have also read previous versions of various chapters, suggesting modifications which have improved the readability of the text. Many thanks are due in this respect to Tom Head, Hendrik Jan Hoogeboom, Vincenzo Manca, Alexandru Mateescu, Victor Mi trana, Andrei Paun, and Nike van Vugt. In particular, we are grateful to our...
The authors are much indebted to many friends and collaborators whose con tributions to automata and language theory approach to DNA computing can be ...
|
|
cena:
325,26 zł |
Developments in Language Theory II, at the Crossroads of Mathematics, Computer Science and Biology
ISBN: 9789810226824 / Angielski / Twarda / 1996 / 504 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The proceedings in this text cover all parts of the theory of formal languages, from pure theoretical investigations to applications to programming languages. Main topics include combinatorial properties of words, and sequences of words and sets of words.
The proceedings in this text cover all parts of the theory of formal languages, from pure theoretical investigations to applications to programming la...
|
|
cena:
829,92 zł |
DNA Computing: New Computing Paradigms
ISBN: 9783642083884 / Angielski / Miękka / 2010 / 400 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This text discusses DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecules. It starts with an introduction to DNA computing, exploring the power of complementarity, the basics of biochemistry, and language and computation theory.
This text discusses DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecul...
|
|
cena:
325,26 zł |
Developments in Language Theory: 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers
ISBN: 9783540434535 / Angielski / Miękka / 2002 / 389 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Developments in Language Theory, DLT 2001, held in Vienna, Austria, in July 2001. The 24 revised full papers presented together with 10 revised invited papers were carefully selected during two rounds of reviewing and revision from a total of 64 papers submitted. Among the topics covered are grammars and acceptors, efficient algorithms for languages, combinatorial and algebraic properties, decision problems, relations to complexity theory, logic, picture description and analysis, DNA...
This volume constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Developments in Language Theory, DLT 2001, hel...
|
|
cena:
191,40 zł |
Computation and Automata
ISBN: 9780521302456 / Angielski / Twarda / 1985 / 300 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This introduction to certain mathematical topics central to theoretical computer science treats computability and recursive functions, formal languages and automata, computational complexity, and cruptography. The presentation is essentially self-contained with detailed proofs of all statements provided. Although it begins with the basics, it proceeds to some of the most important recent developments in theoretical computer science.
This introduction to certain mathematical topics central to theoretical computer science treats computability and recursive functions, formal language...
|
|
cena:
640,21 zł |
Handbook of Formal Languages: Volume 3. Beyond Words
ISBN: 9783540606499 / Angielski / Twarda / 2002 / 625 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This third volume of the Handbook of Formal Languages discusses language theory beyond linear or string models: trees, graphs, grids, pictures, computer graphics. Many chapters offer an authoritative self-contained exposition of an entire area. Special emphasis is on interconnections with logic.
This third volume of the Handbook of Formal Languages discusses language theory beyond linear or string models: trees, graphs, grids, pictures, comput...
|
|
cena:
540,94 zł |
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg
ISBN: 9783540431909 / Angielski / Miękka / 2002 / 436 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Assessing the state of the art in some of the most active research areas in theoretical computer science, this book presents research papers and survey articles written on the occasion of Grzegorz Rozenberg's 60th birthday. The topics covered range from basic decidability and the notion of information to graph grammars and graph transformations, and from trees and traces to aqueous algorithms, DNA encoding, and self-assembly.
Assessing the state of the art in some of the most active research areas in theoretical computer science, this book presents research papers and surve...
|
|
cena:
191,40 zł |
Multiset Processing: Mathematical, Computer Science, and Molecular Computing Points of View
ISBN: 9783540430636 / Angielski / Miękka / 2001 / 364 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The multiset, as a set with multiplicities associated with its elements in the form of natural numbers, is a notation which has appeared again and again in various areas of mathematics and computer science. As a data structure, multisets stand in-between strings/lists, where a linear ordering of symbols/items is present, and sets, where no ordering and no multiplicity is considered.
The multiset, as a set with multiplicities associated with its elements in the form of natural numbers, is a notation which has appeared again and aga...
|
|
cena:
191,40 zł |
Membrane Computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers
ISBN: 9783540690887 / Angielski / Miękka / 2006 / 556 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The present volume contains a selection of papers presented at the Seventh Workshop on Membrane Computing, WMC7, which took place in Leiden, The Netherlands, during July 17-21, 2006. The ?rst three workshops on membrane computing were organized in Curtea de Arge, s, Romania - they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science, volume2235), in August 2001(with a selection of papers published asa special issue of Fundamenta Informaticae, volume 49, numbers 1-3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer...
The present volume contains a selection of papers presented at the Seventh Workshop on Membrane Computing, WMC7, which took place in Leiden, The Nethe...
|
|
cena:
191,40 zł |
Membrane Computing: 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
ISBN: 9783642367502 / Angielski / Miękka / 2013 / 425 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Membrane Computing, CMC 2012, held in Budapest, Hungary, in August 2012. The 21 revised selected papers presented together with 6 invited lectures were carefully reviewed and selected from 25 papers presented at the conference. The book also deals with membrane systems, also called P systems, which are distributed and parallel algebraic models processing multisets of objects in a localized manner (evolution rules and evolving objects are encapsulated into compartments delimited by...
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Membrane Computing, CMC 2012, held i...
|
|
cena:
191,40 zł |