Rakuten Kobo

Skip side bar filters

Frontiers of Combining Systems

11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

Edited by Clare Dixon, Marcelo Finger ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017.The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, ... Read more

$62.99 USD

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017.The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT,
... Read more

Developments in Language Theory

20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Edited by Srečko Brlek, Christophe Reutenauer ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016.The 32 full papers and 4 abstracts of invited papers presented were carefully reviewed and selected from 48 submissions. This volume presents current developments in formal languages and automata, especially from the following topics ... Read more

$49.49 USD

This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016.The 32 full papers and 4 abstracts of invited papers presented were carefully reviewed and selected from 48 submissions. This volume presents current developments in formal languages and automata, especially from the following topics
... Read more
Descriptional Complexity of Formal Systems

17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

Edited by Jeffrey Shallit, Alexander Okhotin ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. The 23 full papers presented together with 2 invited talks were carefully reviewed and selected from 29 submissions. The subject of the workshop was descriptional complexity. Roughly speaking, this field is ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. The 23 full papers presented together with 2 invited talks were carefully reviewed and selected from 29 submissions. The subject of the workshop was descriptional complexity. Roughly speaking, this field is
... Read more
Business Process Management

15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings

Edited by Josep Carmona, Gregor Engels, Akhil Kumar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Conference on Business Process Management, BPM 2017, held in Barcelona, Spain, in September 2017.The 19 revised full papers papers presented were carefully reviewed and selected from 116 initial submissions. The topics selected by the authors demonstrate an increasing interest of the research community in the area of process mining, ... Read more

$49.49 USD

This book constitutes the proceedings of the 15th International Conference on Business Process Management, BPM 2017, held in Barcelona, Spain, in September 2017.The 19 revised full papers papers presented were carefully reviewed and selected from 116 initial submissions. The topics selected by the authors demonstrate an increasing interest of the research community in the area of process mining,
... Read more
Descriptional Complexity of Formal Systems

18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Edited by Cezar Câmpeanu, Florin Manea, Jeffrey Shallit ...

Series series Springer Nature Proceedings Computer Science
his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016. The 13 full papers presented together with 4 invited talks were carefully reviewed and selected from 21 submissions.Descriptional Complexity is a ﬁeld in Computer Science that deals with the size of all kind of ... Read more

$49.49 USD

his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016. The 13 full papers presented together with 4 invited talks were carefully reviewed and selected from 21 submissions.Descriptional Complexity is a ﬁeld in Computer Science that deals with the size of all kind of
... Read more
Theory and Applications of Models of Computation

12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

Edited by Rahul Jain, Sanjay Jain, Frank Stephan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and
... Read more
Developments in Language Theory

21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

Edited by Émilie Charlier, Julien Leroy, Michel Rigo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 21st International Conference on Developments in Language Theory, DLT 2017, held in Liège, Belgium, in August 2017.The 24 full papers and 6 (abstract of) invited papers were carefully reviewed and selected from 47 submissions. The papers cover the following topics and areas: combinatorial and algebraic properties of words and languages; grammars ... Read more

$49.49 USD

This book constitutes the proceedings of the 21st International Conference on Developments in Language Theory, DLT 2017, held in Liège, Belgium, in August 2017.The 24 full papers and 6 (abstract of) invited papers were carefully reviewed and selected from 47 submissions. The papers cover the following topics and areas: combinatorial and algebraic properties of words and languages; grammars
... Read more
Theory and Applications of Models of Computation

14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Edited by Silvia Steila, T.V. Gopal, Gerhard Jäger ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017, held in Bern, Switzerland, in April 2017.The 45 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 103 submissions. The main themes of TAMC 2017 have been computability, computer science logic, complexity, ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017, held in Bern, Switzerland, in April 2017.The 45 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 103 submissions. The main themes of TAMC 2017 have been computability, computer science logic, complexity,
... Read more
Graph Transformation

8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

Edited by Francesco Parisi-Presicce, Bernhard Westfechtel ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on foundations; applications: technical papers, and tool presentations. ... Read more

$49.49 USD

This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on foundations; applications: technical papers, and tool presentations.
... Read more
Machines, Computations, and Universality

7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings

Edited by Benedek Nagy, Jerome Durand-Lose ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on Machines, Computations, and Universality, MCU 2015, held in Famagusta, North Cyprus, in September 2015.The 10 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 23 submissions. MCU explores computation in the setting of various discrete models (Turing machines, ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 7th International Conference on Machines, Computations, and Universality, MCU 2015, held in Famagusta, North Cyprus, in September 2015.The 10 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 23 submissions. MCU explores computation in the setting of various discrete models (Turing machines,
... Read more
KI 2017: Advances in Artificial Intelligence

40th Annual German Conference on AI, Dortmund, Germany, September 25–29, 2017, Proceedings

Edited by Gabriele Kern-Isberner, Johannes Fürnkranz, Matthias Thimm ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 40th Annual German Conference on Artificial Intelligence, KI 2017 held in Dortmund, Germany in September 2017.The 20 revised full technical papers presented together with 16 short technical communications were carefully reviewed and selected from 73 submissions.The conference cover a range of topics from, e. g., agents, robotics, cognitive ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 40th Annual German Conference on Artificial Intelligence, KI 2017 held in Dortmund, Germany in September 2017.The 20 revised full technical papers presented together with 16 short technical communications were carefully reviewed and selected from 73 submissions.The conference cover a range of topics from, e. g., agents, robotics, cognitive
... Read more
Logical Foundations of Computer Science

International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Edited by Sergei Artemov, Anil Nerode ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata,
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Springer Nature Proceedings Computer Science

Frontiers of Combining Systems

People who read this also enjoyed

Developments in Language Theory

Descriptional Complexity of Formal Systems

Business Process Management

Descriptional Complexity of Formal Systems

Theory and Applications of Models of Computation

Developments in Language Theory

Theory and Applications of Models of Computation

Graph Transformation

Machines, Computations, and Universality

KI 2017: Advances in Artificial Intelligence

Logical Foundations of Computer Science

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Springer Nature Proceedings Computer Science

Show:

People who read this also enjoyed