Zoltán Ésik – författare
Visar alla böcker från författaren Zoltán Ésik. Handla med fri frakt och snabb leverans.
16 produkter
Recent Advances in Formal Languages and Applications
Av Zoltán Ésik, Carlos Martin-Vide m. fl.
Inbunden, 2006
1688 kr
Lägg i varukorg
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 …
Recent Advances in Formal Languages and Applications
Av Victor Mitrana, Carlos Martin-Vide m. fl.
E-bok, 2006
2111 kr
Lägg i varukorg
Developments in Language Theory
7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings
Häftad, 2003
551 kr
Lägg i varukorg
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 …
Developments in Language Theory
7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings
E-bok, 2003
710 kr
Lägg i varukorg
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 …
Computer Science Logic
20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Av Zoltán Ésik
Häftad, 2006
1128 kr
Lägg i varukorg
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 …
Computer Science Logic
20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Av Zoltan Esik
E-bok, 2006
1459 kr
Lägg i varukorg
Fundamentals of Computation Theory
9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings
Av Zoltan Esik
Häftad, 1993
568 kr
Lägg i varukorg
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- …
Fundamentals of Computation Theory
16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings
Av Erzsébet Csuhaj-Varjú, Zoltán Ésik
Häftad, 2007
1128 kr
Lägg i varukorg
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 …
Fundamentals of Computation Theory
16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings
Av Zoltan Esik, Erzsebet Csuhaj-Varju
E-bok, 2007
1459 kr
Lägg i varukorg
Recent Advances in Formal Languages and Applications
Av Zoltán Ésik, Carlos Martin-Vide m. fl.
Häftad, 2010
1639 kr
Lägg i varukorg
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 …
Iteration Theories
The Equational Logic of Iterative Processes
Av Zoltan Esik, Stephen L. Bloom
E-bok, 2012
1459 kr
Lägg i varukorg
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 …
Iteration Theories
The Equational Logic of Iterative Processes
Av Stephen L. Bloom, Zoltan Esik
Häftad, 2011
1095 kr
Lägg i varukorg
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 …
Mathematical Foundations of Computer Science 2014
39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
Av Ersébet Csuhaj-Varjú, Martin Dietzfelbinger m. fl.
Häftad, 2014
551 kr
Lägg i varukorg
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 …
Mathematical Foundations of Computer Science 2014
39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
Av Zoltan Esik, Martin Dietzfelbinger m. fl.
E-bok, 2014
734 kr
Lägg i varukorg
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 …
Mathematical Foundations of Computer Science 2014
39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
Av Ersébet Csuhaj-Varjú, Martin Dietzfelbinger m. fl.
Häftad, 2014
551 kr
Lägg i varukorg
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 …
Mathematical Foundations of Computer Science 2014
39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
Av Zoltan Esik, Martin Dietzfelbinger m. fl.
E-bok, 2014
734 kr
Lägg i varukorg
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 …
