Тема, жанр, tags: Architecture-Data processing.,Formal methods (Computer science) » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Architecture-Data processing.,Formal methods (Computer science)

book Formal Methods in Architecture and Urbanism

Formal Methods in Architecture and Urbanism

pdf

Author: David Leite Viana, Franklim Morais, Jorge Vieira Vaz
Language: English
Year: 2018

00

02.03.2024

0

0

book Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

pdf

Author: Gerard O'Regan
Language: English
Year: 2023

00

16.02.2024

0

0

book Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts

Mathematics in Computing: An Accessible Guide to Historical, Foundational and Application Contexts

pdf

Author: Gerard O’Regan
Language: English
Year: 2012

00

15.02.2024

0

0

book Formal development of a network-centric RTOS: software engineering for reliable embedded systems

Formal development of a network-centric RTOS: software engineering for reliable embedded systems

pdf

Author: Verhulst Eric
Language: English
Year: 2011

00

07.02.2024

0

0

book Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

epub

Author: O'Regan Gerard
Language: English
Year: 2016

00

07.02.2024

0

0

book Formal development of a network-centric RTOS: software engineering for reliable embedded systems

Formal development of a network-centric RTOS: software engineering for reliable embedded systems

epub

Author: Eric Verhulst Raymond T. Boute José Miguel Sampaio Faria Bernhard H.C. Sputh, Vitaliy Mezhuyev
Language: English
Year: 2011

00

06.02.2024

0

0

book Extension innovation method

Extension innovation method

pdf

Author: Yang Chunyan
Language: English
Year: 2019

00

30.01.2024

0

0

book Delay Insensitive Circuits -- Structures, Semantics, and Strategies

Delay Insensitive Circuits -- Structures, Semantics, and Strategies

pdf

Author: Dennis Furey
Language: English
Year: 2019

00

30.01.2024

0

0

book Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

pdf

Author: Lumpe Markus, Proença José
Language: English
Year: 2017

00

29.01.2024

0

0

book Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

pdf

Author: Lahiri Shuvendu, Reger Giles
Language: English
Year: 2017

00

29.01.2024

0

0