Formal Methods: Foundations and Applications | Programming and Software Engineering

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Herausgegeben von:Cavalheiro, Simone|Fiadeiro, José

Buch (broschiert)ca. 91.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

November 2017, ca. 305 Seiten, Programming and Software Engineering , Lecture Notes in Computer Science, Englisch

Springer EN

978-3-319-70847-8

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

November 2017, ca. 305 Seiten, Programming and Software Engineering , Lecture Notes in Computer Science, Englisch

Springer EN

978-3-319-70847-8

Weitere Titel der Reihe: Programming and Software Engineering

Computer Safety, Reliability, and Security

SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

Romanovsky, Alexander|Troubitsyna, Elena|Gashi, Ilir

Springer EN, 2019

978-3-030-26249-5

ca. 92.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

OpenMP: Conquering the Full Hardware Spectrum

15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Fan, Xing|de Supinski, Bronis R.|Sinnen, Oliver

Springer EN, 2019

978-3-030-28595-1

ca. 92.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Computer Safety, Reliability, and Security

38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

Romanovsky, Alexander|Troubitsyna, Elena|Bitsch, Friedemann

Springer EN, 2019

978-3-030-26600-4

ca. 82.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Search-Based Software Engineering

11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Nejati, Shiva|Gay, Gregory

Springer EN, 2019

978-3-030-27454-2

ca. 70.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Formal Methods for Industrial Critical Systems

24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Larsen, Kim Guldstrand|Willemse, Tim

Springer EN, 2019

978-3-030-27007-0

ca. 70.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

End-User Development

7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

Malizia, Alessio|Valtolina, Stefano|Morch, Anders

Springer EN, 2019

978-3-030-24780-5

ca. 82.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Services Computing – SCC 2019

16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Ferreira, Joao Eduardo|Musaev, Aibek|Zhang, Liang-Jie

Springer EN, 2019

978-3-030-23553-6

ca. 70.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Reuse in the Big Data Era

18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

Peng, Xin|Ampatzoglou, Apostolos|Bhowmik, Tanmay

Springer EN, 2019

978-3-030-22887-3

ca. 70.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Services – SERVICES 2019

15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Xia, Yunni|Zhang, Liang-Jie

Springer EN, 2019

978-3-030-23380-8

ca. 70.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Web Services – ICWS 2019

26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

Miller, John|Stroulia, Eleni|Lee, Kisung

Springer EN, 2019

978-3-030-23498-0

ca. 70.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Coordination Models and Languages

21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Riis Nielson, Hanne|Tuosto, Emilio

Springer EN, 2019

978-3-030-22396-0

ca. 70.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Intelligent Tutoring Systems

15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings

Coy, Andre|Hayashi, Yugo|Chang, Maiga

Springer EN, 2019

978-3-030-22243-7

ca. 82.00 CHF

lieferbar in ca. 20-45 Arbeitstagen

Weitere Titel zum Thema

Managing Sustainable Operations of Logistics and Supply Chain Management

Trends and Future Challenges

Mathiyazhagan, K.|Dadsena, Krishna Kumar|Gupta Rajesh Kumar

Wiley, 2026

978-1-394-23851-4

ca. 275.00 CHF

erscheint im Januar

Data-Driven Modeling

Mondal, Arindam|Ganguli, Souvik

Wiley, 2026

978-1-394-28789-5

ca. 279.00 CHF

erscheint im Januar

Diachronic divergences in West Iberian languages

Delicado Cantero, Manuel|Tejedo-Herrero, Fernando|Amaral, Patrícia

De Gruyter, 2026

978-3-11-127350-1

148.00 CHF

lieferbar

Deep Learning in Computer Vision

Sharma, Abhinav|Sharma Abhishek|Malan, Nitesh

Wiley, 2026

978-1-394-28823-6

ca. 279.00 CHF

erscheint im Januar

Green Federated Learning for Sustainable Smart Computing

Hsiung Pao-Ann|A, John|Poongodi, T.

Wiley, 2026

978-1-394-35565-5

ca. 279.00 CHF

erscheint im Januar

AI-Driven Smart Healthcare

Powered by Hyperscale Computing and Next Generation Networks

Pratap Ajay|Narayan Yadav, Ram|Singh Patel, Yashwant

Wiley, 2026

978-1-394-29703-0

ca. 165.00 CHF

erscheint im Januar

The Shortest History of AI

Old Street Publishing, 2026

978-1-917532-11-2

ca. 18.50 CHF

erscheint im Januar

Deep Learning Models towards Health Informatics Management

Foundations, Challenges and Opportunities

Kumar, T. Ananth|Rajmohan, R.|M, Niranjanamurthy

Taylor and Francis, 2026

978-1-032-39292-9

ca. 225.00 CHF

erscheint im Januar

Artificial Intelligence in Cybersecurity for Banking and Finance

Singh, Suraj Kumar|Chauhan, Kapil|Goyal, Priyanshi

Wiley, 2026

978-1-394-33572-5

ca. 349.00 CHF

erscheint im Februar

Deep Learning Meets FPGA

Efficient Signal Processing Solutions

Pathak, Jyotirmoy|Kumar Abhishek|Kandpal, Jyoti

Wiley, 2026

978-1-394-35771-0

ca. 199.00 CHF

erscheint im Juni

Machine Learning For Dummies

Wiley, 2026

978-1-394-37322-2

ca. 46.90 CHF

erscheint im Januar

Wendepunkte in der Analogen und Digitalen Welt

Bruderer, Herbert

De Gruyter, 2026

978-3-11-914626-5

ca. 159.00 CHF

erscheint im Januar