wyszukanych pozycji: 6
Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the Eacsl, Szeged, Hungary, September 25-29, 2006, Pr
ISBN: 9783540454588 / Angielski / Miękka / 2006 / 627 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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. This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised... |
|
cena:
389,09 zł |
Fundamentals of Computation Theory: 9th International Conference, Fct '93, Szeged, Hungary, August 23-27, 1993. Proceedings
ISBN: 9783540571636 / Angielski / Miękka / 1993 / 476 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of the Ninth Conference on Fundamentals of Computation Theory (FCT 93) held in Szeged, Hungary, in August 1993. The conference was devoted to a broad range of topics including: semantics and logical concepts in the theory of computing and formal specification; automata and formal languages; computational geometry, algorithmic aspects of algebra and algebraic geometry, and cryptography; complexity (sequential, parallel, distributed computing, structure, lower bounds, complexity of analytical problems, general concepts); algorithms (efficient, probabilistic,...
This volume contains the proceedings of the Ninth Conference on Fundamentals of Computation Theory (FCT 93) held in Szeged, Hungary, in August 1993. T...
|
|
cena:
194,52 zł |
Developments in Language Theory: 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings
ISBN: 9783540404347 / Angielski / Miękka / 2003 / 436 str. Termin realizacji zamówienia: ok. 20 dni roboczych.
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;...
This book constitutes the refereed proceedings of the 7th International Conference on Developments in Language Theory, DLT 2003, held in S... |
|
cena:
194,52 zł |
Recent Advances in Formal Languages and Applications
ISBN: 9783540334606 / Angielski / Twarda / 2006 / 373 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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. The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: histori... |
|
cena:
583,65 zł |
Mathematical Foundations of Computer Science 2014: 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
ISBN: 9783662444641 / Angielski / Miękka / 2014 / 640 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Founda...
|
|
cena:
194,52 zł |
Recent Advances in Formal Languages and Applications
ISBN: 9783642070099 / Angielski / Miękka / 2010 / 373 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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. The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: histori... |
|
cena:
583,65 zł |