Aviso de envio ao Brasil

A iMusic aguarda aprovação no programa Remessa Conforme. Até que a adesão seja concluída, compras enviadas ao Brasil serão tributadas integralmente, inclusive pedidos abaixo de USD 50.

De acordo com a existente cláusula em nossos Termos e Condições, nós não aceitamos devoluções por recusa do pagamento desses impostos.

Atualizado em 13/05/2026 · De todos da iMusic

Lançamentos por Bernhard Steffen

Tudo6
Hardcover Book2
Paperback Book4

Em estoque na iMusic Mostrar itens não disponíveis

Cover for Bernhard Steffen · Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2024 edition] (2023)

1st ed. 2024 edition

Bridging the Gap Between AI and ... (2023)

Bernhard Steffen

Cover for Bernhard Steffen · Tools and Algorithms for the Construction and Analysis of Systems (Paperback Book) (2020)

Tools and Algorithms for the Con... (2020)

Bernhard Steffen

Cover for Bernhard Steffen · Tools and Algorithms for the Construction and Analysis of Systems (Hardcover Book) (2020)

Tools and Algorithms for the Con... (2020)

Bernhard Steffen

Cover for Bernhard Steffen · Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches (Paperback Book) [Softcover Reprint of the Original 1st 2018 edition] (2019)

Softcover Reprint of the Original 1st 2018 edition

Mathematical Foundations of Adva... (2019)

Bernhard Steffen

Cover for Bernhard Steffen · Grundlagen Der Hoheren Informatik: Induktives Vorgehen - Examen.press (Hardcover Book) (2013)

Grundlagen Der Hoheren Informati... (2013)

Bernhard Steffen

Cover for Bernhard Steffen · Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2004)

Verification, Model Checking, an... (2004)

Bernhard Steffen