Rakuten Kobo

Skip side bar filters

Hybrid Systems Biology

Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers

Edited by Oded Maler, Ádám Halász, Thao Dang, Carla Piazza ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Hybrid Systems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina, Italy, in September 2013; and the Third International Workshop on Hybrid Systems Biology, HSB 2014, held as part of CAV 2014, in Vienna, Austria, in July 2014.This volume presents 8 full papers together ... Read more

$40.49 USD

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Hybrid Systems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina, Italy, in September 2013; and the Third International Workshop on Hybrid Systems Biology, HSB 2014, held as part of CAV 2014, in Vienna, Austria, in July 2014.This volume presents 8 full papers together
... Read more

Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Edited by Cyrille Artho, Peter Csaba Ölveczky ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway
... Read more
Computational Methods in Systems Biology

13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings

Edited by Jérémie Bourdon, Olivier Roux ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Computational Methods in Systems Biology, CMSB 2015, held in Nantes, France, in September 2015. The 20 full papers and 2 short papers presented were carefully reviewed and selected from 43 full and 4 short paper submissions. The papers cover a wide range of topics in the analysis of biological systems, networks ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 13th International Conference on Computational Methods in Systems Biology, CMSB 2015, held in Nantes, France, in September 2015. The 20 full papers and 2 short papers presented were carefully reviewed and selected from 43 full and 4 short paper submissions. The papers cover a wide range of topics in the analysis of biological systems, networks
... Read more
Quantitative Evaluation of Systems

14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Edited by Nathalie Bertrand, Luca Bortolussi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and ... Read more

$49.49 USD

This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and
... Read more
Leveraging Applications of Formal Methods, Verification, and Validation

6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Edited by Anna-Lena Lamprecht ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012.The 9 revised full papers presented were carefully reviewed and selected from 22 ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012.The 9 revised full papers presented were carefully reviewed and selected from 22
... Read more
Quantitative Evaluation of Systems

12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

Edited by Javier Campos, Boudewijn R. Haverkort ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing ... Read more

$49.49 USD

This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing
... Read more
Hybrid Systems Biology

Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers

Edited by Alessandro Abate, David Safranek ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly referred post-workshop proceedings of the 4th International Workshop on Hybrid Systems biology, HSB 2015, held as part of the Madrid Meet 2015 event, in Madrid, Spain in September 2015. The volume presents 13 full papers together with 2 abstracts of invited sessions from 18 submissions. The scope of the HSB workshop is the general area of dynamical models in ... Read more

$49.49 USD

This book constitutes the thoroughly referred post-workshop proceedings of the 4th International Workshop on Hybrid Systems biology, HSB 2015, held as part of the Madrid Meet 2015 event, in Madrid, Spain in September 2015. The volume presents 13 full papers together with 2 abstracts of invited sessions from 18 submissions. The scope of the HSB workshop is the general area of dynamical models in
... Read more
Cellular Automata and Discrete Complex Systems

20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers

Edited by Teijiro Isokawa, Katsunobu Imai, Nobuyuki Matsui, Ferdinand Peper, Hiroshi Umeo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 20th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2014, held in Himeji, Japan, in July 2014.The 10 regular papers included in this volume were carefully reviewed and selected from a total of 25 submissions. It also contains one invited talk in full paper length. ... Read more

$49.49 USD

This book constitutes revised selected papers from the 20th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2014, held in Himeji, Japan, in July 2014.The 10 regular papers included in this volume were carefully reviewed and selected from a total of 25 submissions. It also contains one invited talk in full paper length.
... Read more
Learning and Intelligent Optimization

10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

Edited by Paola Festa, Meinolf Sellmann, Joaquin Vanschoren ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Learning and Optimization, LION 10, which was held on Ischia, Italy, in May/June 2016.The 14 full papers presented together with 9 short papers and 2 GENOPT papers were carefully reviewed and selected from 47 submissions. The papers address all fields between machine learning, ... Read more

$49.49 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Learning and Optimization, LION 10, which was held on Ischia, Italy, in May/June 2016.The 14 full papers presented together with 9 short papers and 2 GENOPT papers were carefully reviewed and selected from 47 submissions. The papers address all fields between machine learning,
... Read more
Quantitative Evaluation of Systems

13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

Edited by Gul Agha, Benny Van Houdt ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016.The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. They are organized in topical sections entitled: Markov processes; tools; sampling, inference, and optimization ... Read more

$49.49 USD

This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016.The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. They are organized in topical sections entitled: Markov processes; tools; sampling, inference, and optimization
... Read more
Transactions on Computational Collective Intelligence XXII

Edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk ...

Series series Computer Science (R0)
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition ... Read more

$49.49 USD

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition
... Read more
Cellular Automata and Discrete Complex Systems

22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

Edited by Matthew Cook, Turlough Neary ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed proceedings of the 22nd IFIP WG 1.5International Workshop on Cellular Automata and Discrete ComplexSystems, AUTOMATA 2016, held in Zurich, Switzerland, in June 2016.This volume contains 3 invited talks in full-paper length and 12 regularpapers, which were carefully reviewed and selected from a total of 23submissions. The papers feature research on ... Read more

$49.49 USD

This volume constitutes the thoroughly refereed proceedings of the 22nd IFIP WG 1.5International Workshop on Cellular Automata and Discrete ComplexSystems, AUTOMATA 2016, held in Zurich, Switzerland, in June 2016.This volume contains 3 invited talks in full-paper length and 12 regularpapers, which were carefully reviewed and selected from a total of 23submissions. The papers feature research on
... 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

Hybrid Systems Biology

People who read this also enjoyed

Formal Techniques for Safety-Critical Systems

Computational Methods in Systems Biology

Quantitative Evaluation of Systems

Leveraging Applications of Formal Methods, Verification, and Validation

Quantitative Evaluation of Systems

Hybrid Systems Biology

Cellular Automata and Discrete Complex Systems

Learning and Intelligent Optimization

Quantitative Evaluation of Systems

Transactions on Computational Collective Intelligence XXII

Cellular Automata and Discrete Complex Systems

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