Wil je zeker zijn dat je cadeautjes op tijd onder de kerstboom liggen? Onze winkels ontvangen jou met open armen. Nu met extra openingsuren op zondag!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Wil je zeker zijn dat je cadeautjes op tijd onder de kerstboom liggen? Onze winkels ontvangen jou met open armen. Nu met extra openingsuren op zondag!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Boeken geschreven door Mingsheng Ying
-
Topology in Process Calculus
Mingsheng Ying
- Hardcover | Engels
- A monograph presenting new concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Profess... Lees meer
€ 116,95Levering 1 à 2 weken€ 116,95Levering 1 à 2 weken -
Topology in Process Calculus
Mingsheng Ying
- Paperback | Engels
- A monograph presenting new concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Profess... Lees meer
€ 90,95Levering 1 à 2 weken€ 90,95Levering 1 à 2 weken -
Model Checking Quantum Systems
Mingsheng Ying, Yuan Feng
- Hardcover | Engels
- Model checking is one of the most successful verification techniques and has been widely adopted in traditional computing and communication hardware a... Lees meer
€ 75,95Levering 1 à 2 weken€ 75,95Levering 1 à 2 weken -
Foundations of Quantum Programming
Mingsheng Ying
- Paperback | Engels
- Foundations of Quantum Programming discusses how new programming methodologies and technologies developed for current computers can be extended to exp... Lees meer
€ 203,95Levering 2 à 3 weken€ 203,95Levering 2 à 3 weken
4 van 4 resultaten getoond