Optimieren Sie Ihre Suche
Keine genauen Treffer für Ihre Suche nach "abed", "saed", "verification", "mdg", "algorithms", und "hol".
Ähnliche Treffer für Ihre Suche
- The Verification of MDG Algorithms in the HOL Theorem ProverSa\'\'ed Abed|Otmane Ait Mohamed
- Softcover
- Neu
EUR 48,99 Versand - Handbook of swarm intelligence: algorithms and applicationsAli Abed Alasadi, Hamid/ Ali Abed, Majida
- Softcover
- Neu
EUR 11,84 Versand - The Verification of MDG Algorithms in the HOL Theorem ProverSa''ed Abed (u. a.)
- Softcover
- Neu
EUR 70,00 Versand - Handbook of swarm intelligence: algorithms and applicationsHamid Ali Abed Alasadi (u. a.)
- Softcover
- Neu
EUR 70,00 Versand - Cognitive and Computational Neuroscience - Principles, Algorithms and Applications
- Hardcover
- Neu
EUR 11,09 Versand
