Reihe Theoretical Computer Science and General Issues Leveraging Applications of Formal Methods, Verification and Validation10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 20Springer International PublishingSoftcover202174,89 € Unconventional Computation and Natural Computation19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, ProceedingsSpringer International PublishingeBook202158,84 € Leveraging Applications of Formal Methods, Verification and Validation10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 20Springer International PublishingeBook202174,89 € Logic, Language, Information, and Computation27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, ProceedingsSpringer International PublishingSoftcover202179,17 € Job Scheduling Strategies for Parallel Processing24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected PapersSpringer International PublishingSoftcover202169,54 € Information Retrieval27th China Conference, CCIR 2021, Dalian, China, October 29–31, 2021, ProceedingsSpringer International PublishingSoftcover202169,54 € Logic, Language, Information, and Computation27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, ProceedingsSpringer International PublishingeBook202178,10 € Job Scheduling Strategies for Parallel Processing24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected PapersSpringer International PublishingeBook202169,54 € Information Retrieval27th China Conference, CCIR 2021, Dalian, China, October 29–31, 2021, ProceedingsSpringer International PublishingeBook202169,54 € Logic, Rationality, and Interaction8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021, ProceedingsSpringer International PublishingSoftcover202162,05 €4.772 Treffer 1 2 3 4 5 6 7 8 9 10 11 ...
