Coalgebraic methods in computer science 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016 : revised selecte...

The new superconducting electronics [proceedings of the NATO Advanced Study Institute on the New Superconducting Electronics, Waterville Valley, New Hampshire, U.S.A., August 9 - 2...

Inhaltsverzeichnis

Verification, model checking, and abstract interpretation 17th international conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings

Volltext
Inhaltstext
Inhaltsverzeichnis

Algebra and coalgebra in computer science 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 ; proceedings

Inhaltstext
Inhaltsverzeichnis

CONCUR 2010 - Concurrency Theory 21th international conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings

Inhaltstext
Inhaltsverzeichnis

Algebra and coalgebra in computer science third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 ; proceedings

Inhaltsverzeichnis

Papers presented at 7th International Conference on Excitonic Processes in Condensed Matter (EXCON'06), Winston-Salem, NC, USA, 26 - 30 June 2006

Inhaltsverzeichnis

10th International Meeting of Gynaecological Oncology Coimbra (Portugal), April 26 - May 2, 1997

Inhaltsverzeichnis

Nursery crops development, evaluation, production and use ; a proceedings of the XXVI International Horticultural Congress Toronto, Canada, 11 - 17 August, 2002

Inhaltsverzeichnis

Processing of films for high Tc superconducting electronics 10 - 12 October 1989, Santa Clara, California

Inhaltsverzeichnis

The Third International Conference on Nutrition in Cardio-Cerebrovascular Diseases

Inhaltsverzeichnis

Computer aided verification 24th international conference, CAV 2012, Berkeley, CA, USA, July 7 - 13, 2012 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Proceedings May 27 - 29, 192, Sendai, Japan

Inhaltsverzeichnis

Superconducting devices and their applications proceedings of the 4th International Conference SQUID '91 (Sessions on Superconducting Devices), Berlin, Fed. Rep. of Germany, June 1...

Inhaltsverzeichnis

Thermotherapy for neoplasia, inflammation, and pain

Inhaltsverzeichnis

100 years of superconductivity

Inhaltsverzeichnis

Complications in anesthesia

Inhaltsverzeichnis

Digest of technical papers

Inhaltsverzeichnis

Slow synaptic responses and modulation

Inhaltsverzeichnis

Proceedings of the Second Workshop on Subsecond Thermophysics held at CNR Istituto di Metrologia "Gustavo Colonnetti" (IMGC), Torino, Italy, September 20 - 21, 1990

Inhaltsverzeichnis