Engineering & Technology

Showing 625–636 of 4165 results

• 

  Automated Reasoning

  Nicola Olivetti (Editor); Ashish Tiwari (Editor)

  € 99,99 ♡Add to bag
• 

  Automated Reasoning with Analytic Tableaux and Related Methods

  Hans De Nivelle (Editor)

  € 62,49 ♡Add to bag
• 

  Automated Reasoning with Analytic Tableaux and Related Methods

  Didier Galmiche (Editor); Dominique Larchey-Wendling (Editor)

  € 56,24 ♡Add to bag
• 

  Automated Solution of Differential Equations by the Finite Element Method

  Anders Logg (Editor); Kent-Andre Mardal (Editor); Garth Wells (Editor)

  € 162,49 ♡Add to bag
• 

  Automated Technology for Verification and Analysis

  Dang Van Hung (Editor); Mizuhito Ogawa (Editor)

  € 62,49 ♡Add to bag
• 

  Automated Technology for Verification and Analysis

  Bernd Finkbeiner (Editor); Geguang Pu (Editor); Lijun Zhang (Editor)

  € 62,49 ♡Add to bag
• 

  Automated Technology for Verification and Analysis

  Cyrille Artho (Editor); Axel Legay (Editor); Doron Peled (Editor)

  € 62,49 ♡Add to bag
• 

  Automated Technology for Verification and Analysis

  Franck Cassez (Editor); Jean-Francois Raskin (Editor)

  € 62,49 ♡Add to bag
• 

  Automation 2019

  Roman Szewczyk (Editor); Cezary Zieliński (Editor); Małgorzata Kaliczyńska (Editor)

  € 249,99 ♡Add to bag
• 

  Autonomous Intelligent Cyber Defense Agent (AICA)

  Alexander Kott (Editor)

  € 224,99 ♡Add to bag
• 

  Autonomous Nuclear Power Plants with Artificial Intelligence

  Jonghyun Kim; Seungjun Lee; Poong Hyun Seong

  € 187,49 ♡Add to bag
• 

  Availability, Reliability, and Security in Information Systems

  Francesco Buccafurri (Editor); Andreas Holzinger (Editor); Peter Kieseberg (Editor); A Min Tjoa (Editor); Edgar Weippl (Editor)

  € 62,49 ♡Add to bag