Automated Technology for Verification and Analysis

5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Peritoneal Surface Malignancies

A Curative Approach

Produktform: Buch / Einband - flex.(Paperback)

Emerging International Dimensions in East Asian Higher Education

Produktform: Buch / Einband - flex.(Paperback)

Changing Aspects in Stroke Surgery: Aneurysms, Dissection, Moyamoya angiopathy and EC-IC Bypass

Produktform: Buch / Einband - flex.(Paperback)

New Trends of Surgery for Cerebral Stroke and its Perioperative Management

Produktform: Buch / Einband - fest (Hardcover)

Software Security - Theories and Systems

Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003

Produktform: Buch / Einband - flex.(Paperback)

Inflammation and Demyelination in the Central Nervous System

International Congress of Neuropathology, Vienna, September 5–10, 1982

Produktform: Buch / Einband - flex.(Paperback)

Mad Technology

How East Asian Companies Are Defending Their Technological Advantages

Produktform: Buch / Einband - fest (Hardcover)

Environmental Risk Analysis for Asian-Oriented, Risk-Based Watershed Management

Japan and Malaysia

Produktform: Buch / Einband - flex.(Paperback)

Environmental Risk Analysis for Asian-Oriented, Risk-Based Watershed Management

Japan and Malaysia

Produktform: Buch / Einband - fest (Hardcover)