Ebók

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

Yves Bertot; Pierre Castéran

Springer Nature

Prísur

639,95 kr.

Vørulýsing av

Interactive Theorem Proving and Program Development

Finn líknandi bøkur her

Interactive Theorem Proving

374,95 kr.

Interactive Group Learning

Deborah L. Ulrich; Kellie J. Glendon

539,95 kr.

Interactive Tasks

Michael Leeser; Justin White

389,95 kr.

Interactive Group Therapy

Jay Earley

384,95 kr.

Interactive InDesign CS5

Mira Rubin

399,95 kr.

Interactive Art Therapy

Linda L. Simmons

359,95 kr.

Interactive Data Visualization

Matthew O. Ward; Georges Grinstein; Daniel Keim

374,95 kr.

Interactive Problem Solving Using Logo

Heinz-Dieter Boecker; Hal Eden; Gerhard Fischer

1.079,95 kr.

Interactive Justice

Emanuela Ceva

449,95 kr.

Interactive Stories and Video Game Art

Chris Solarski

384,95 kr.

Interactive Marketing

Christopher Miles

484,95 kr.

Interactive Digital Narrative

Hartmut Koenitz; Gabriele Ferri; Mads Haahr; Diğdem Sezen; Tonguç İbrahim Sezen

484,95 kr.