Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers /

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers /

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from th...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Cerone, Antonio (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Roveri, Marco (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Έκδοση:	1st ed. 2018.
Σειρά:	Programming and Software Engineering ; 10729
Θέματα:	Computer logic. Computer organization. Software engineering. Artificial intelligence. Computers. Computer hardware. Logics and Meanings of Programs. Computer Systems Organization and Communication Networks. Software Engineering/Programming and Operating Systems. Artificial Intelligence. Computing Milieux. Computer Hardware.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings /
Έκδοση: (2018)

Formal Hardware Verification Methods and Systems in Comparison /
Έκδοση: (1997)

Concurrency and Hardware Design Advances in Petri Nets /
Έκδοση: (2002)

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4-6, 2019, Revised Selected Papers /
Έκδοση: (2019)

Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings /
Έκδοση: (1999)

Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /
Έκδοση: (2003)

Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /
Έκδοση: (2004)

Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings /
Έκδοση: (2000)

Interactive Systems: Design, Specification, and Verification 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers /
Έκδοση: (2001)

Formal Methods in Computer-Aided Design 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings /
Έκδοση: (2002)

Formal Methods in Computer-Aided Design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings /
Έκδοση: (1998)

Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings /
Έκδοση: (2001)

Reliable Software Technologies - Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings /
Έκδοση: (2018)

Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings /
Έκδοση: (2001)

Network and Parallel Computing 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23-24, 2019, Proceedings /
Έκδοση: (2019)

Parallel and Distributed Processing 11th IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing San Juan, Puerto Rico, USA, April 12-16, 1999 Proceedings /
Έκδοση: (1999)

Computer Vision - ACCV 2018 Workshops 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, Revised Selected Papers /
Έκδοση: (2019)

Field Programmable Logic and Applications 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings. /
Έκδοση: (1997)

MMIXware A RISC Computer for the Third Millennium /
ανά: Knuth, Donald E., κ.ά.
Έκδοση: (1999)

Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3-7, 2019, Proceedings /
Έκδοση: (2019)

Parallel and Distributed Processing 10th International IPPS/SPDP'98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998, Proceedings /
Έκδοση: (1998)

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers /
Έκδοση: (2019)

Computer and Information Sciences - ISCIS 2004 19th International Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings /
Έκδοση: (2004)

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday /
Έκδοση: (2018)

Power-Aware Computer Systems First International Workshop, PACS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers /
Έκδοση: (2001)

DNA Computing 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers /
Έκδοση: (2002)

Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings /
Έκδοση: (2019)

High Performance Computing for Computational Science - VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers /
Έκδοση: (2019)

The Innovation in Computing Companion A Compendium of Select, Pivotal Inventions /
ανά: O'Regan, Gerard, κ.ά.
Έκδοση: (2018)

VLSI Design and Test 22nd International Symposium, VDAT 2018, Madurai, India, June 28-30, 2018, Revised Selected Papers /
Έκδοση: (2019)

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings /
Έκδοση: (2018)

System and Architecture Proceedings of CSI 2015 /
Έκδοση: (2018)

Power-Aware Computer Systems Second International Workshop, PACS 2002 Cambridge, MA, USA, February 2, 2002, Revised Papers /
Έκδοση: (2003)

Advanced Parallel Processing Technologies 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings /
Έκδοση: (2003)

Handbook of Memristor Networks
Έκδοση: (2019)

Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings /
Έκδοση: (2019)

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8-12, 2018, Proceedings /
Έκδοση: (2018)

Engineering Psychology and Cognitive Ergonomics 16th International Conference, EPCE 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings /
Έκδοση: (2019)

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings /
Έκδοση: (2019)

Job Scheduling Strategies for Parallel Processing IPDPS 2000 Workshop, JSSPP 2000, Cancun, Mexico, May 1, 2000 Proceedings /
Έκδοση: (2000)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών