Theorem Provers in Circuit Design: Theory, Practice and Experience
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540590477 / 6903005) | Theorem Provers
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540590477 / 6903005) | Theorem Provers
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540335801 / biography)
George Gr tzer (9783319064246 / 35 black & white illustrations, 20 colou)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783642253263 / biography)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783642352881 / 223 black & white illustrations, biograp)
(9783319240688) | Computational Collective
(9781484240380 / 32964270)
Brand: Springer (9783540605058 / 154 black & white illustrations, biograp)
(9780128014608 / 41311533) | Predictive analytics
Ingramcontent (9781484221662 / 45124447) | Virtual assistant
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540859291 / Illustrations)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540199519 / 25 black & white illustrations, biograph)
(9781402048258 / 5329123)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540927006 / 1, black & white illustrations)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783642226601 / biography)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540288336 / biography)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783642031144 / biography)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783642221842 / biography)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540594796 / 6909905)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540377368 / biography)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540690924 / 34 black & white tables, biography)
Springer-Verlag Berlin and Heidelberg GmbH & Co. K (9783540287612 / biography)