Antikvaari
KauppiaatAsiakaspalveluKirjaudu

Formal Methods in Macro-Biology

First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings

François Fages

Kirjasarja: Lecture Notes in Computer Science, osa 8738

Ei tuotekuvaa

Kirjoita arvostelu

Tuote ei saatavilla

Formal Methods in Macro-Biology : First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings

Lisää tuote omalle toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotetta tulee saataville Antikvaariin!

Haetaan tuotteita...

Teosta "Formal Methods in Macro-Biology" ei välttämättä ole tällä hetkellä saatavilla Antikvaarista tai teoslistamme on vielä puutteellinen. Katsothan samankaltaiset tuotteet sekä alempaa löytyvät tuote-ehdotuksemme teokseen liittyen. Voit myös lisätä tämän teoksen toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotteita tulee saataville.

Siirry tuotehakuun

Samankaltaiset tuotteet

Tuotteita ei löytynyt. Voit selailla kirjailijan teoksia klikkaamalla kirjailijan nimeä tai etsi muita kirjoja hakukoneemme avulla.

Tiedot

Kustantaja/julkaisija

Springer International Publishing

Sidosasu

ISBN

3319103989

9783319103983

Kieli

englanti

Alkuperäinen nimi

-

Kaikki tekijät

François Fages

Tuotekategoriat

-

Esittely

s:573:"This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Nouméa, New Caledonia, in September 2014. The 7 revised full and 3 short papers presented together with 7 invited presentations were carefully reviewed and selected from 17 submissions. The scientific program consists of papers on a wide variety of topics, including ecological systems, medical applications, logical frameworks, and discrete continuous and hybrid models for the analysis of biological systems at macroscopic levels.";

Aiheet

Computer science.

Health informatics.

Computer logic.

Mathematical logic.

Bioinformatics.

Computer Science.

Computational Biology/Bioinformatics.

Logics and Meanings of Programs.

Health Informatics.

Mathematical Logic and Formal Languages.

Computers