Mathematical and Engineering Methods in Computer Science 1
bokomslag Mathematical and Engineering Methods in Computer Science
Data & IT

Mathematical and Engineering Methods in Computer Science

Antonin Kucera • Thomas A Henzinger • Jaroslav Neetil • Tomas Vojnar • David Antos

Pocket

989:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 213 sidor
  • 2013
This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together with 6 invited papers. The topics covered by the papers include: computer-aided analysis and verification, applications of game theory in computer science, networks and security, modern trends of graph theory in computer science, electronic systems design and testing, and quantum information processing.
  • Författare: Antonin Kucera, Thomas A Henzinger, Jaroslav Neetil, Tomas Vojnar, David Antos
  • Format: Pocket/Paperback
  • ISBN: 9783642360442
  • Språk: Engelska
  • Antal sidor: 213
  • Utgivningsdatum: 2013-01-09
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Power Beyond Constitutions

    Power Beyond Constitutions

    Milo Brunclk, Michal Kubt, Attila Vincze, Milue Kindlov, Marek Anto

    Inbunden

    1789:-
  2. bokomslag Identifying the Forces Driving Frequent Change in PMOs

    Identifying the Forces Driving Freque...

    Monique Aubry, Brian Hobbs, Ralf Mller, Tomas Blomquist

    Pocket

    529:-
  3. bokomslag Auroral Phenomenology and Magnetospheric Processes

    Auroral Phenomenology and Magnetosphe...

    Andreas Keiling, Eric Donovan, Fran Bagenal, Tomas Karlsson

    Inbunden

    2349:-
  4. bokomslag Competition Law in Australia

    Competition Law in Australia

    Lynden Griggs, Jane Nielsen, Zbynek Loebl, Tomas Grivna

    Pocket

    1319:-
  5. bokomslag Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed...

    Thomas A Henzinger Krishnendu Chatterjee

    Pocket

    1129:-
  6. bokomslag Cyber Law in the Czech Republic

    Cyber Law in the Czech Republic

    Radim Polcak, Jiri Cermak, Zbynek Loebl, Tomas Grivna

    Pocket

    2079:-
  7. bokomslag Reachability Problems

    Reachability Problems

    Igor Potapov Antonin Kucera

    Pocket

    1129:-
  8. bokomslag Hybrid Systems III

    Hybrid Systems III

    Rajeev Alur, Thomas A Henzinger, Eduardo D Sontag

    Pocket

    1959:-
  9. bokomslag MERIAN Die schönsten Zugreisen der Welt 10/2022

    MERIAN Die schönsten Zugreisen der We...

    Hans Zippert, Hasnain Kazim, Jaroslav Rudis

    Pocket

    219:-
  10. bokomslag Museum Frictions

    Museum Frictions

    Ivan Karp, Corinne A Kratz, Lynn Szwaja, Tomas Ybarra-Frausto

    Inbunden

    2359:-

Andra av samma författare

  1. bokomslag The Mathematics of Paul Erds II

    The Mathematics of Paul Erds II

    Ronald L Graham, Jaroslav Neetil, Steve Butler

    Inbunden

    3469:-
  2. bokomslag The Mathematics of Paul Erds I

    The Mathematics of Paul Erds I

    Ronald L Graham, Jaroslav Neetil, Steve Butler

    Inbunden

    2819:-
  3. bokomslag The Mathematics of Paul Erds II

    The Mathematics of Paul Erds II

    Ronald L Graham, Jaroslav Neetil, Steve Butler

    Pocket

    3469:-
  4. bokomslag The Mathematics of Paul Erds I

    The Mathematics of Paul Erds I

    Ronald L Graham, Jaroslav Neetil, Steve Butler

    Pocket

    2819:-
  5. bokomslag Handbook of Model Checking

    Handbook of Model Checking

    Edmund M Clarke Jr, Thomas A Henzinger, Helmut Veith, Roderick Bloem

    Pocket

    2059:-
  6. bokomslag Extended Abstracts EuroComb 2021

    Extended Abstracts EuroComb 2021

    Jaroslav Neetil, Guillem Perarnau, Juanjo Ru, Oriol Serra

    Pocket

    3029:-
  7. bokomslag Number Theory and Combinatorics

    Number Theory and Combinatorics

    Bruce M Landman, Florian Luca, Melvyn B Nathanson, Jaroslav Neetil, Aaron Robertson

    Inbunden

    3569:-
  8. bokomslag Combinatorial Game Theory

    Combinatorial Game Theory

    Richard J Nowakowski, Bruce M Landman, Florian Luca, Melvyn B Nathanson, Jaroslav Neetil

    Inbunden

    3569:-
  9. bokomslag Handbook of Model Checking

    Handbook of Model Checking

    Edmund M Clarke Jr, Thomas A Henzinger, Helmut Veith, Roderick Bloem

    Inbunden

    2299:-
  10. bokomslag A Journey Through Discrete Mathematics

    A Journey Through Discrete Mathematics

    Martin Loebl, Jaroslav Neetil, Robin Thomas

    Inbunden

    3029:-