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

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Systemvetenskap och AI

      Mathematical Foundations of Computer Science 1992

      17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992. Proceedings

      AvIvan M. Havel,Vaclav Koubek

      Häftad, Engelska, 1992

      Del i serien Lecture Notes in Computer Science

      574 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This volume contains 10 invited papers and 40 shortcommunications contributed for presentation at the 17thSymposium on Mathematical Foundations of Computer Science,held in Prague, Czechoslovakia, August 24-28, 1992.The series of MFCS symposia, organized alternately in Polandand Czechoslovakia since 1972, has a long and wellestablished tradition. The purpose of the series is toencourage high-quality research in all branches oftheoretical computer science and to bring togetherspecialists working actively in the area.Numerous topics are covered in this volume. The invitedpapers cover: range searching with semialgebraic sets, graphlayout problems, parallel recognition and ranking ofcontext-free languages, expansion of combinatorialpolytopes, neural networks and complexity theory, theory ofcomputation over stream algebras, methods in parallelalgorithms, the complexity of small descriptions, weakparallel machines, and the complexity of graph connectivity.

      Produktinformation

      • Utgivningsdatum:1992-08-12
      • Mått:216 x 279 x 29 mm
      • Vikt:803 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:525
      • Upplaga:1992
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540558088

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT

      Innehållsförteckning

      • On range searching with semialgebraic sets.- Graph layout problems.- Parallel recognition and ranking of context-free languages.- On the expansion of combinatorial polytopes.- Neural networks and complexity theory.- Theory of computation over stream algebras, and its applications.- Methods in parallel algorithmcs.- On the complexity of small description and related topics.- Weak parallel machines: A new class of physically feasible parallel machine models.- The complexity of graph connectivity.- A perfect parallel dictionary.- Some remarks on the test complexity of iterative logic arrays.- The degree structure of 1-L reductions.- Promise problems and access to unambiguous computation.- On the complexity of incremental computation.- Rational transductions and complexity of counting problems.- Negation elimination in equational formulae.- Object interaction.- Strong normalization of substitutions.- Probabilistic and pluralistic learners with mind changes.- Parallel complexity of iterated morphisms and the arithmetic of small numbers.- On computational power of weighted finite automata.- The shuffle exchange network has a Hamiltonian path.- Poset properties of complex traces.- A threshold for unsatisfiability.- Dataflow semantics for Petri nets.- About boundedness for some datalog and DATALOGneg programs.- Merging and sorting strings in parallel.- Characterization of context-pree languages by erasing automata.- Insertion and deletion of words: Determinism and reversibility.- Small universal one-state linear operator algorithm.- Mobility in the CC-paradigm.- The emptiness problem for intersections of regular languages.- On finite automata with limited nondeterminism (extended abstract).- Definitions and comparisons of local computations on graphs.- Efficient unidimensionaluniversal cellular automaton.- Inferring a tree from walks.- Almost every set in exponential time is P-bi-immune.- A functorial semantics for observed concurrency.- Modelling concurrency with semi-commutations.- Decision problems for cellular automata and their semigroups.- On the nature of events.- New parallel algorithms for convex hull and triangulation in 3-dimensional space.- Two simple characterizations of well-founded semantics.- Fully abstract semantics for higher order communicating systems.- Superposable Trellis Automata.- Maintaining proximity in higher dimensional spaces.- Characterizing regular languages with polynomial densities.- A strategy for speeding-up the computation of characteristic sets.- One-rule trace-rewriting systems and confluence.
      Hoppa över listan

      Du kanske också är intresserad av

      Carola Häggkvist, Desirée Stattin Drakenberg - Jag är Carola : Del 1. Frigörelsen, Inbunden
      • Nyhet

      Jag är Carola : Del 1. Frigörelsen

      Carola Häggkvist, Desirée Stattin Drakenberg

      Inbunden, 2026

      289 kr

      Carol M Eastman - Codeswitching, Övrigt

      Codeswitching

      Carol M Eastman

      1 551 kr

      C. Gebhardt, C. Gebhardt - Fibrinklebung in der Allgemein- und Unfallchirurgie, Orthopädie, Kinder- und Thoraxchirurgie, Häftad

      Fibrinklebung in der Allgemein- und Unfallchirurgie, Orthopädie, Kinder- und Thoraxchirurgie

      C. Gebhardt, C. Gebhardt

      Häftad, 1992

      590 kr

      Butcher - Global biogeochemical cycles, E-bok

      Global biogeochemical cycles

      Butcher

      E-bok
      1992

      1 116 kr

      Eric E Andvik, Erik E Andvik - Pragmatic Analysis of Norwegian Modal Particles, Häftad
      Del 113

      Pragmatic Analysis of Norwegian Modal Particles

      Eric E Andvik, Erik E Andvik

      Häftad, 1992

      333 kr

      Carol M Eastman - Codeswitching, Inbunden
      Del 89

      Codeswitching

      Carol M Eastman

      Inbunden, 1992

      1 326 kr

      Norbert Clauer, Sambhu Chaudhuri - Isotopic Signatures and Sedimentary Records, Häftad

      Isotopic Signatures and Sedimentary Records

      Norbert Clauer, Sambhu Chaudhuri

      Häftad, 1992

      1 108 kr

      Peter A. Angeles - HarperCollins Dictionary of Philosophy, Häftad

      HarperCollins Dictionary of Philosophy

      Peter A. Angeles

      Häftad, 1992

      208 kr

      Franz Schmalhofer, Gerhard Strube, Thomas Wetter - Contemporary Knowledge Engineering and Cognition, Häftad

      Contemporary Knowledge Engineering and Cognition

      Franz Schmalhofer, Gerhard Strube, Thomas Wetter

      Häftad, 1992

      574 kr

      Walter R. Cleaveland - CONCUR '92, Häftad

      CONCUR '92

      Walter R. Cleaveland

      Häftad, 1992

      1 108 kr