Systemanalyse og systemdesign
-
Computational Logistics: 11th International Conference, ICCL 2020, Enschede, The Netherlands, September 28–30, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 11th International Conference on Computational Logistics, ICCL 2020, held in Enschede, The Netherlands, in September 2020.The 49 papers included in this book were carefully reviewed and selected from 73 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Computer Algebra in Scientific Computing: 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, held in Linz, Austria, in September 2020.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
HCI International 2020 – Late Breaking Papers: Interaction, Knowledge and Social Media: 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
The conference was planned to take place in Copenhagen, Denmark, but had... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Electronic Voting: 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 5th International Conference on Electronic Voting, E-Vote-ID 2020, held online -due to COVID -19- in Bregenz, Austria, in October 2020.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Swarm Intelligence: 12th International Conference, ANTS 2020, Barcelona, Spain, October 26–28, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the proceedings of the 12th International Conference on Swarm Intelligence, ANTS 2020, held online -due to COVID-19- in Barcelona Spain, in October 2020.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Embedded Computer Systems: Architectures, Modeling, and Simulation: 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 20th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Web and Wireless Geographical Information Systems: 18th International Symposium, W2GIS 2020, Wuhan, China, November 13–14, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
The 8 full papers presented together with 15 progress papers or short papers in the volume were carefully reviewed and selected from 40 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Software Foundations for Data Interoperability and Large Scale Graph Data Analytics: 4th International Workshop, SFDI 2020, and 2nd International Workshop, LSGDA 2020, held in Conjunction with VLDB 2020, Tokyo, Japan, September 4, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes refereed proceedings of the 4th International Workshop on Software Foundations for Data Interoperability, SFDI 2020, and 2nd International Workshop on Large Scale Graph Data Analytics, LSGDA 2020, held in Conjunction with VLDB 2020, in September 2020.
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) -
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III (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) -
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II (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) -
Hybrid Artificial Intelligent Systems: 15th International Conference, HAIS 2020, Gijon, Spain, November 11-13, 2020, Proceedings (Bog, Paperback / softback, Engelsk)
This book constitutes the refereed proceedings of the 15th International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
