Тема, жанр, tags: Computer Science,Software Engineering/Programming and Operating Systems,Logics and Meanings of Progr » Page 8 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computer Science,Software Engineering/Programming and Operating Systems,Logics and Meanings of Progr » Page 8

book 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

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

pdf

Author: Tiziana Margaria Bernhard Steffen
Language: English
Year: 2020

00

07.02.2024

0

0

book Cloud Computing, Big Data & Emerging Topics: 8th Conference, JCC-BD&ET 2020, La Plata, Argentina, September 8-10, 2020, Proceedings

Cloud Computing, Big Data & Emerging Topics: 8th Conference, JCC-BD&ET 2020, La Plata, Argentina, September 8-10, 2020, Proceedings

pdf

Author: Enzo Rucci Marcelo Naiouf Franco Chichizola Laura De Giusti
Language: English
Year: 2020

00

07.02.2024

0

0

book Embedded Computer Systems: Architectures, Modeling, and Simulation: 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings

Embedded Computer Systems: Architectures, Modeling, and Simulation: 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings

pdf

Author: Alex Orailoglu Matthias Jung Marc Reichenbach
Language: English
Year: 2020

00

07.02.2024

0

0

book Multi-Agent-Based Simulation XX: 20th International Workshop, MABS 2019, Montreal, QC, Canada, May 13, 2019, Revised Selected Papers

Multi-Agent-Based Simulation XX: 20th International Workshop, MABS 2019, Montreal, QC, Canada, May 13, 2019, Revised Selected Papers

pdf

Author: Mario Paolucci Jaime Simão Sichman Harko Verhagen
Language: English
Year: 2020

00

07.02.2024

6

0

book Cooperative Design, Visualization, and Engineering: 17th International Conference, CDVE 2020, Bangkok, Thailand, October 25–28, 2020, Proceedings

Cooperative Design, Visualization, and Engineering: 17th International Conference, CDVE 2020, Bangkok, Thailand, October 25–28, 2020, Proceedings

pdf

Author: Yuhua Luo
Language: English
Year: 2020

00

07.02.2024

0

0

book Intelligent Computing Methodologies: 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part III

Intelligent Computing Methodologies: 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part III

pdf

Author: De-Shuang Huang Prashan Premaratne
Language: English
Year: 2020

00

07.02.2024

0

0

book Dialog zwischen Mensch und Maschine: Conversational User Interfaces, intelligente Assistenten und Voice-Systeme

Dialog zwischen Mensch und Maschine: Conversational User Interfaces, intelligente Assistenten und Voice-Systeme

pdf

Author: Peter Kabel
Language: German
Year: 2020

00

07.02.2024

0

0

book Raspberry Pi im Informatik- und Technikunterricht: Konzeption eines handlungs- und problemorientierten Unterrichts mit der MicroBerry-Lernumgebung

Raspberry Pi im Informatik- und Technikunterricht: Konzeption eines handlungs- und problemorientierten Unterrichts mit der MicroBerry-Lernumgebung

pdf

Author: Andreas Schnirch Nadine Ridinger Felix Weschenfelder
Language: German
Year: 2020

00

07.02.2024

0

0

book DevOps: Ein Überblick

DevOps: Ein Überblick

pdf

Author: Jürgen Halstenberg Bernd Pfitzinger Thomas Jestädt
Language: German
Year: 2020

00

07.02.2024

0

0

book Strategie, Planung und Organisation von Testprozessen: Basis für erfolgreiche Projektabwicklung im Softwaretest

Strategie, Planung und Organisation von Testprozessen: Basis für erfolgreiche Projektabwicklung im Softwaretest

pdf

Author: Frank Witte
Language: German
Year: 2020

00

07.02.2024

1

0