Inbunden, Spanska, 2023
388 kr
Skickas inom 5-8 vardagar
Carlos Cañal – författare
Visar alla böcker från författaren Carlos Cañal. Handla med fri frakt och snabb leverans.
11 produkter
11 produkter
- Inbunden, Spanska, 2023
385 kr
Skickas inom 5-8 vardagar
- Häftad, Spanska, 2023
244 kr
Skickas inom 5-8 vardagar
- Häftad, Spanska, 2023
222 kr
Skickas inom 5-8 vardagar
- Del 8938 - Lecture Notes in Computer Science
Software Engineering and Formal Methods
SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Häftad, Engelska, 2015571 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014. - E-bokPDF, Engelska, 2015
734 kr
Läs direkt efter köp
This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014. - Del 393 - Communications in Computer and Information Science
Advances in Service-Oriented and Cloud Computing
Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers
Häftad, Engelska, 2013571 kr
Skickas inom 10-15 vardagar
This book contains the proceedings of the five high-quality workshops organized at the Second European Conference on Service-Oriented and Cloud Computing, ESOCC 2013, held in Malaga, Spain, in September 2013. The workshops are: Cloud for IoT (CLIoT 2013), CLOUd Storage Optimization (CLOUSO 2013), 12th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2013), First Workshop on Mobile Cloud and Social Perspectives (MoCSoP 2013), and the 3rd International Workshop on Adaptive Services for the Future Internet (WAS4FI 2013). The 29 papers presented were carefully reviewed and selected from 51 submissions. They focus on specific topics in service-oriented and cloud computing domains: cloud environments, smart connectivity, context-aware computation, cloud for IoT, storage clouds, coordination languages, formal approaches to modeling and reasoning, self-systems, services for mobile devices, wireless sensor networks. - E-bokPDF, Engelska, 2013
739 kr
Läs direkt efter köp
This book contains the proceedings of the five high-quality workshops organized at the Second European Conference on Service-Oriented and Cloud Computing, ESOCC 2013, held in Malaga, Spain, in September 2013. The workshops are: Cloud for IoT (CLIoT 2013), CLOUd Storage Optimization (CLOUSO 2013), 12th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2013), First Workshop on Mobile Cloud and Social Perspectives (MoCSoP 2013), and the 3rd International Workshop on Adaptive Services for the Future Internet (WAS4FI 2013). The 29 papers presented were carefully reviewed and selected from 51 submissions. They focus on specific topics in service-oriented and cloud computing domains: cloud environments, smart connectivity, context-aware computation, cloud for IoT, storage clouds, coordination languages, formal approaches to modeling and reasoning, self-systems, services for mobile devices, wireless sensor networks. - Häftad, Spanska, 2023
236 kr
Skickas inom 5-8 vardagar
- Häftad, Spanska, 2025
287 kr
Skickas inom 5-8 vardagar
- Häftad, Engelska, 2026
1 176 kr
Kommande
This book constitutes the papers of the satellite events and artificats which were held in conjunction with the 23rd International Conference on Service-Oriented Computing, ICSOC 2025, held in Shenzhen, China, during December 1–4, 2025.The 25 full papers included in this book were carefully reviewed and selected from 124 submissions. They are organized into the following topical sections: Symposium on Generative AI and Services; PhD symposium; Demonstrations; and Artifacts.
