Springer Nature Switzerland AG Forlag
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Intelligent Systems: 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20–23, 2020, Proceedings, Part II (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Intelligent Systems: 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20–23, 2020, Proceedings, Part I (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I (Bog, Paperback / softback, Engelsk)
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Social, Cultural, and Behavioral Modeling: 13th International Conference, SBP-BRiMS 2020, Washington, DC, USA, October 18–21, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
A wide number of disciplines are represented including computer science, psychology, sociology, communication science, public health, bioinformatics, political science, and organizational science.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Knowledge Engineering and Knowledge Management: 22nd International Conference, EKAW 2020, Bolzano, Italy, September 16–20, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 22nd International Conference on Knowledge Engineering and Knowledge Management, EKAW 2020, held in Bolzano, Italy, in September 2020. The special theme of EKAW 2020 is „Ethical and Trustworthy Knowledge Engineering".
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Cloud Computing, Big Data & Emerging Topics: 8th Conference, JCC-BD&ET 2020, La Plata, Argentina, September 8-10, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the revised selected papers of the 8th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Involutive Category Theory (Bog, Paperback / softback, Engelsk)
This monograph introduces involutive categories and involutive operads, featuring applications to the GNS construction and algebraic quantum field theory.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Procedural Safeguards for Suspects and Accused Persons in Criminal Proceedings: Good Practices Throughout the European Union (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Interpretable and Annotation-Efficient Learning for Medical Image Computing: Third International Workshop, iMIMIC 2020, Second International Workshop, MIL3ID 2020, and 5th International Workshop, LABELS 2020, Held in Conjunction with MICCAI 2020, Lima, Pe (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Lectures on Factorization Homology, 8-Categories, and Topological Field Theories (Bog, Paperback / softback, Engelsk)
This book provides an informal and geodesic introduction to factorization homology, focusing on providing intuition through... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Business Information Systems Workshops: BIS 2020 International Workshops, Colorado Springs, CO, USA, June 8–10, 2020, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Advanced Communication Systems and Information Security: Second International Conference, ACOSIS 2019, Marrakesh, Morocco, November 20–22, 2019, Revised Selected Papers (Bog, Paperback / softback, Engelsk)
This book constitutes selected papers of the Second International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
