Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

10% studentrabatt med kod TERM26

Mathematical and Engineering Methods in Computer Science

8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

AvDavid Antos,Tomas Vojnar

E-bok

PDF, Engelska, 2013

734 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Beskrivning

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.

Produktinformation

Utgivningsdatum:2013-01-17
Språk:Engelska
Filformat:PDF
Kopieringsskydd:LCP
ISBN:9783642360466
Förlag:Springer Berlin Heidelberg

Utforska kategorier

Du kanske också är intresserad av

Antonin Kucera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomas Vojnar, David Antos - Mathematical and Engineering Methods in Computer Science, Häftad

Mathematical and Engineering Methods in Computer Science

Antonin Kucera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomas Vojnar, David Antos

Häftad, 2013

566 kr

David Antos, Tomas Vojnar, Lukas Sekanina, Ivana Cerna, Jan Bouda, Zdenek Kotasek - Mathematical and Engineering Methods in Computer Science, E-bok

Mathematical and Engineering Methods in Computer Science

David Antos, Tomas Vojnar, Lukas Sekanina, Ivana Cerna, Jan Bouda, Zdenek Kotasek

E-bok

2012

732 kr

Zdeněk Kotásek, Jan Bouda, Ivana Cerná, Lukas Sekanina, Tomas Vojnar, David Antoš - Mathematical and Engineering Methods in Computer Science, Häftad

Mathematical and Engineering Methods in Computer Science

Zdeněk Kotásek, Jan Bouda, Ivana Cerná, Lukas Sekanina, Tomas Vojnar, David Antoš

Häftad, 2012

566 kr

Tomas Vojnar, Jan Kofron - Mathematical and Engineering Methods in Computer Science, E-bok

Mathematical and Engineering Methods in Computer Science

Tomas Vojnar, Jan Kofron

E-bok

2016

1 413 kr

Frank Valencia, Petr Tuma, Catuscia Palamidessi, Peter Bro Miltersen, Antonin Kucera, Mogens Nielsen - SOFSEM 2009: Theory and Practice of Computer Science, E-bok

SOFSEM 2009: Theory and Practice of Computer Science

Frank Valencia, Petr Tuma, Catuscia Palamidessi, Peter Bro Miltersen, Antonin Kucera, Mogens Nielsen

E-bok

2009

1 455 kr

Lijun Zhang, Tomás Vojnar - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Lijun Zhang, Tomás Vojnar

Häftad, 2020

736 kr

Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera - CONCUR 2002 - Concurrency Theory, Häftad

CONCUR 2002 - Concurrency Theory

Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera

Häftad, 2002

1 124 kr

Antonin Kucera, Ludek Kucera - Mathematical Foundations of Computer Science 2007, E-bok

Mathematical Foundations of Computer Science 2007

Antonin Kucera, Ludek Kucera

E-bok

2007

1 416 kr

Petr Hlineny, Antonin Kucera - Mathematical Foundations of Computer Science 2010, Häftad

Mathematical Foundations of Computer Science 2010

Petr Hlineny, Antonin Kucera

Häftad, 2010

1 124 kr

Antonin Kucera, Mojmir Kretinsky, Petr Jancar, Lubos Brim - CONCUR 2002 - Concurrency Theory, E-bok

CONCUR 2002 - Concurrency Theory

Antonin Kucera, Mojmir Kretinsky, Petr Jancar, Lubos Brim

E-bok

2003

1 455 kr