5, ISBN: 9783319574189
This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017.The 17 r… Mehr…
| kobo.com E-Book zum download. Versandkosten: EUR 0.00 Details... |
2017, ISBN: 9783319574189
This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017. The 17 … Mehr…
| BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2017, ISBN: 9783319574189
16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings, eBook Download (EPUB), eBooks, [PU: Springer International Publishing]
| lehmanns.de Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
5, ISBN: 9783319574189
This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017.The 17 r… Mehr…
2017, ISBN: 9783319574189
This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017. The 17 … Mehr…
2017
ISBN: 9783319574189
16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings, eBook Download (EPUB), eBooks, [PU: Springer International Publishing]
Bibliographische Daten des bestpassenden Buches
Detailangaben zum Buch - Relational and Algebraic Methods in Computer Science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings Peter Höf
EAN (ISBN-13): 9783319574189
Erscheinungsjahr: 5
Herausgeber: Springer International Publishing Digital >16
Buch in der Datenbank seit 2017-11-18T20:27:57+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-12-02T15:34:43+01:00 (Berlin)
ISBN/EAN: 9783319574189
ISBN - alternative Schreibweisen:
978-3-319-57418-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hofner
Titel des Buches: computer science
Daten vom Verlag:
Autor/in: Peter Höfner; Damien Pous; Georg Struth
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
Verlag: Springer; Springer International Publishing
323 Seiten
Erscheinungsjahr: 2017-05-08
Cham; CH
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIV, 323 p. 24 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; big software; dynamic systems; open source software; probabilistic semantics; semantics; boolean algebra; coalgebras; concurrency; constraint satisfaction; graph transformation; information flow; information systems design; isabelle/hol; partial order; programming language; security; software development; source code; temporal logic; xml documents; C; Formal Languages and Automata Theory; Symbolic and Algebraic Manipulation; Computer Science Logic and Foundations of Programming; Software Engineering; Artificial Intelligence; Discrete Mathematics in Computer Science; Computer Science; Mathematik für Informatiker; Software Engineering; Künstliche Intelligenz; Diskrete Mathematik; BC
The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
Includes supplementary material: sn.pub/extras Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030435196 Relational and Algebraic Methods in Computer Science (Fahrenberg, Uli Jipsen, Peter Winter, Michael)
- 9783030435196 Relational and Algebraic Methods in Computer Science (Fahrenberg, Uli Jipsen, Peter Winter, Michael)
- 9783030435202 Relational and Algebraic Methods in Computer Science (Uli Fahrenberg; Peter Jipsen; Michael Winter)
- 9783030021481 Relational and Algebraic Methods in Computer Science (Jules Desharnais; Walter Guttmann; Stef Joosten)
- 9783030021498 Relational and Algebraic Methods in Computer Science: 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, (Jules Desharnais, Stef Joosten, Walter Guttmann)
- Relational and Algebraic Methods in Computer Science: 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings (Lecture Notes in Computer Science) (2015-12-16) (unknown)
< zum Archiv...