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

759:-

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

Uppskattad leveranstid 7-12 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

    Pocket

    2319:-
  2. bokomslag Power Beyond Constitutions

    Power Beyond Constitutions

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

    Inbunden

    1989:-
  3. bokomslag Miss Fury: The Minor Key

    Miss Fury: The Minor Key

    Kieron Gillen, Garth Ennis, Corinna Sara Bechko, Tomas Aria, Omar Francia

    Pocket

    279:-
  4. bokomslag Tranströmer international : An intercontinental perspective on the poetry of nobel laureate Tomas Tranströmer

    Tranströmer international : An inter...

    Ángela García, Azita Ghahreman, Anisur Rahman, Tomas Tranströmer, Kristian Carlsson

    Inbunden

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

    Formal Modeling and Analysis of Timed...

    Thomas A Henzinger Krishnendu Chatterjee

    Pocket

    759:-
  6. bokomslag Art of Atari Limited Deluxe Edition

    Art of Atari Limited Deluxe Edition

    Garth Ennis, Mike Costa, Tim Lapetino, Tomas Aria, Emiliano Urdinola

    Inbunden

    1339:-
  7. bokomslag Reachability Problems

    Reachability Problems

    Igor Potapov Antonin Kucera

    Pocket

    759:-
  8. bokomslag Auroral Phenomenology and Magnetospheric Processes

    Auroral Phenomenology and Magnetosphe...

    Andreas Keiling, Eric Donovan, Fran Bagenal, Tomas Karlsson

    Inbunden

    2399:-
  9. bokomslag Cyber Law in the Czech Republic

    Cyber Law in the Czech Republic

    Radim Polcak, Jiri Cermak, Zbynek Loebl, Tomas Grivna

    Pocket

    2139:-
  10. bokomslag Buck Rogers in the 25th Century: The Western Publishing Years Volume 1

    Buck Rogers in the 25th Century: The ...

    Wataru Hinekura, Rei Toma, Paul S Newman, Rei Toma, Aruko

    Inbunden

    699:-

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

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

    The Mathematics of Paul Erds I

    Ronald L Graham, Jaroslav Neetil, Steve Butler

    Inbunden

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

    The Mathematics of Paul Erds II

    Ronald L Graham, Jaroslav Neetil, Steve Butler

    Pocket

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

    The Mathematics of Paul Erds I

    Ronald L Graham, Jaroslav Neetil, Steve Butler

    Pocket

    2229:-
  5. bokomslag Handbook of Model Checking

    Handbook of Model Checking

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

    Pocket

    2089:-
  6. bokomslag Extended Abstracts EuroComb 2021

    Extended Abstracts EuroComb 2021

    Jaroslav Neetil, Guillem Perarnau, Juanjo Ru, Oriol Serra

    Pocket

    2519:-
  7. bokomslag Number Theory and Combinatorics

    Number Theory and Combinatorics

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

    Inbunden

    3669:-
  8. bokomslag Combinatorial Game Theory

    Combinatorial Game Theory

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

    Inbunden

    3859:-
  9. bokomslag Combinatorial Number Theory

    Combinatorial Number Theory

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

    Inbunden

    3569:-
  10. bokomslag Handbook of Model Checking

    Handbook of Model Checking

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

    Inbunden

    2089:-