Zoltán Ésik – författare

Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.

16 produkter

Kategorier

16 produkter

Del 25 - Studies in Computational Intelligence
Recent Advances in Formal Languages and Applications
AvZoltán Ésik,Carlos Martin-Videm. fl.
Inbunden, Engelska, 2006
1 674 kr
Skickas inom 10-15 vardagar
The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: historical, hints for complete proofs or solutions to exercises and directions for further research. This volume contains applications which have not appeared in any collection of this type. The book is a general source of information in computation theory, at the undergraduate and research level.
Recent Advances in Formal Languages and Applications
AvVictor Mitrana,Carlos Martin-Videm. fl.
E-bok
PDF, Engelska, 2006
2 044 kr
Läs direkt efter köp
Developments in Language Theory
7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings
AvZoltán Ésik,Zoltán Fülöp
Häftad, Engelska, 2003
546 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 7th International Conference on Developments in Language Theory, DLT 2003, held in Szeged, Hungary, in July 2003.The 27 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 57 submissions. All current aspects in language theory are addressed, in particular grammars, acceptors, and transducers for strings, trees, graphs, arrays, etc; algebraic theories for automata and languages; combinatorial properties of words and languages; formal power series; decision problems; efficient algorithms for automata and languages; and relations to complexity theory and logic, picture description and analysis, DNA computing, quantum computing, cryptography, and concurrency.
Developments in Language Theory
7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings
AvZoltan Fulop,Zoltan Esik
E-bok
PDF, Engelska, 2003
710 kr
Läs direkt efter köp

This book constitutes the refereed proceedings of the 7th International Conference on Developments in Language Theory, DLT 2003, held in Szeged, Hungary, in July 2003.
The 27 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 57 submissions. All current aspects in language theory are addressed, in particular grammars, acceptors, and transducers for strings, trees, graphs, arrays, etc; algebraic theories for automata and languages; combinatorial properties of words and languages; formal power series; decision problems; efficient algorithms for automata and languages; and relations to complexity theory and logic, picture description and analysis, DNA computing, quantum computing, cryptography, and concurrency.
Computer Science Logic
20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
AvZoltán Ésik
Häftad, Engelska, 2006
1 118 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.
Computer Science Logic
20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
AvZoltan Esik
E-bok
PDF, Engelska, 2006
1 413 kr
Läs direkt efter köp
Fundamentals of Computation Theory
9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings
AvZoltan Esik
Häftad, Engelska, 1993
563 kr
Skickas inom 10-15 vardagar
This volume contains the proceedings of the Ninth Conferenceon Fundamentalsof Computation Theory (FCT 93) held inSzeged, Hungary, in August 1993. The conference was devotedto a broad range of topics including:- Semanticsand logical concepts in the theory of computingand formal specification- Automata and formal languages- Computational geometry, algorithmic aspects of algebra andalgebraic geometry, cryptography- Complexity (sequential, parallel, distributed computing,structure, lower bounds, complexity of analytical problems,general concepts)- Algorithms (efficient, probabilistic, parallel,sequential, distributed)- Counting and combinatorics in connection with mathematicalcomputer scienceThe volume contains the texts of 8 invitedlectures and 32short communications selected by the international programcommittee from a large number of submitted papers.
Fundamentals of Computation Theory
16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings
AvErzsébet Csuhaj-Varjú,Zoltán Ésik
Häftad, Engelska, 2007
1 118 kr
Skickas inom 10-15 vardagar
This book features the refereed proceedings of the 16th International Symposium on Fundamentals of Computation Theory. Thirty-nine full papers are presented along with four invited papers. The papers address all current topics in computation theory, including automata and formal languages, design and analysis of algorithms, computational and structural complexity, semantics, logic, circuits and networks, learning theory, and more.
Fundamentals of Computation Theory
16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings
AvZoltan Esik,Erzsebet Csuhaj-Varju
E-bok
PDF, Engelska, 2007
1 413 kr
Läs direkt efter köp
Del 25 - Studies in Computational Intelligence
Recent Advances in Formal Languages and Applications
AvZoltán Ésik,Carlos Martin-Videm. fl.
Häftad, Engelska, 2010
1 625 kr
Skickas inom 10-15 vardagar
The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: historical, hints for complete proofs or solutions to exercises and directions for further research. This volume contains applications which have not appeared in any collection of this type. The book is a general source of information in computation theory, at the undergraduate and research level.
Iteration Theories
The Equational Logic of Iterative Processes
AvZoltan Esik,Stephen L. Bloom
E-bok
PDF, Engelska, 2012
1 413 kr
Läs direkt efter köp
This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience consists of graduate students and research scientists interested in mathematical treatments of semantics. We assume the reader has a good mathematical background, although we provide some prelimi nary facts in Chapter 1. Written both for graduate students and research scientists in theoret ical computer science and mathematics, the book provides a detailed investigation of the properties of the fixed point or iteration operation. Iteration plays a fundamental role in the theory of computation: for example, in the theory of automata, in formal language theory, in the study of formal power series, in the semantics of flowchart algorithms and programming languages, and in circular data type definitions. It is shown that in all structures that have been used as semantical models, the equational properties of the fixed point operation are cap tured by the axioms describing iteration theories. These structures include ordered algebras, partial functions, relations, finitary and in finitary regular languages, trees, synchronization trees, 2-categories, and others.
Iteration Theories
The Equational Logic of Iterative Processes
AvStephen L. Bloom,Zoltan Esik
Häftad, Engelska, 2011
1 086 kr
Skickas inom 10-15 vardagar
This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience consists of graduate students and research scientists interested in mathematical treatments of semantics. We assume the reader has a good mathematical background, although we provide some prelimi nary facts in Chapter 1. Written both for graduate students and research scientists in theoret ical computer science and mathematics, the book provides a detailed investigation of the properties of the fixed point or iteration operation. Iteration plays a fundamental role in the theory of computation: for example, in the theory of automata, in formal language theory, in the study of formal power series, in the semantics of flowchart algorithms and programming languages, and in circular data type definitions. It is shown that in all structures that have been used as semantical models, the equational properties of the fixed point operation are cap tured by the axioms describing iteration theories. These structures include ordered algebras, partial functions, relations, finitary and in finitary regular languages, trees, synchronization trees, 2-categories, and others.
Mathematical Foundations of Computer Science 2014
39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
AvErsébet Csuhaj-Varjú,Martin Dietzfelbingerm. fl.
Häftad, Engelska, 2014
546 kr
Skickas inom 10-15 vardagar
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014. The 95 revised full papers presented together with 6 invited talks were carefully selected from 270 submissions. The focus of the conference was on following topics: Logic, Semantics, Automata, Theory of Programming, Algorithms, Complexity, Parallel and Distributed Computing, Quantum Computing, Automata, Grammars and Formal Languages, Combinatorics on Words, Trees and Games.
Mathematical Foundations of Computer Science 2014
39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
AvZoltan Esik,Martin Dietzfelbingerm. fl.
E-bok
PDF, Engelska, 2014
710 kr
Läs direkt efter köp
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014. The 95 revised full papers presented together with 6 invited talks were carefully selected from 270 submissions. The focus of the conference was on following topics: Logic, Semantics, Automata, Theory of Programming, Algorithms, Complexity, Parallel and Distributed Computing, Quantum Computing, Automata, Grammars and Formal Languages, Combinatorics on Words, Trees and Games.
Mathematical Foundations of Computer Science 2014
39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
AvErsébet Csuhaj-Varjú,Martin Dietzfelbingerm. fl.
Häftad, Engelska, 2014
546 kr
Skickas inom 10-15 vardagar
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014. The 95 revised full papers presented together with 6 invited talks were carefully selected from 270 submissions. The focus of the conference was on following topics: Logic, Semantics, Automata, Theory of Programming, Algorithms, Complexity, Parallel and Distributed Computing, Quantum Computing, Automata, Grammars and Formal Languages, Combinatorics on Words, Trees and Games.
Mathematical Foundations of Computer Science 2014
39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
AvZoltan Esik,Martin Dietzfelbingerm. fl.
E-bok
PDF, Engelska, 2014
710 kr
Läs direkt efter köp
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014. The 95 revised full papers presented together with 6 invited talks were carefully selected from 270 submissions. The focus of the conference was on following topics: Logic, Semantics, Automata, Theory of Programming, Algorithms, Complexity, Parallel and Distributed Computing, Quantum Computing, Automata, Grammars and Formal Languages, Combinatorics on Words, Trees and Games.

Företag, bibliotek eller offentlig verksamhet?

Zoltán Ésik – författare

Recent Advances in Formal Languages and Applications

Recent Advances in Formal Languages and Applications

Developments in Language Theory

Developments in Language Theory

Computer Science Logic

Computer Science Logic

Fundamentals of Computation Theory

Fundamentals of Computation Theory

Fundamentals of Computation Theory

Recent Advances in Formal Languages and Applications

Iteration Theories

Iteration Theories

Mathematical Foundations of Computer Science 2014

Mathematical Foundations of Computer Science 2014

Mathematical Foundations of Computer Science 2014

Mathematical Foundations of Computer Science 2014

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration