• 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

      CAAP '90

      15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings

      AvAndre Arnold

      Häftad, Engelska, 1990

      Del i serien Lecture Notes in Computer Science

      549 kr

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

      Beskrivning

      This volume contains the proceedings of the Fifteenth Colloquium on Trees in Algebra and Programming. The papers selected present new research results and cover the following topics: - Logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.), including the theory of formal languages considered as that of sets of discrete structures and the theory of rewriting systems over these objects. - Application of discrete structures in computer science, including syntax and semantics of programming languages, operational semantics, logic programming, algorithms and data structures, complexity of algorithms and implementation aspects, proof techniques for nonnumerical algorithms, formal specifications, and visualization of trees and graphs.

      Produktinformation

      • Utgivningsdatum:1990-04-25
      • Mått:160 x 240 x undefined mm
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:288
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540525905

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Algebra inom Naturvetenskap och teknik
      • Programmeringsböcker inom Data och IT

      Innehållsförteckning

      • On the power of bounded concurrency II: The pushdown automata level.- Trees everywhere.- Combinatory forms for equational programming: Instances, unification and narrowing.- Graphical versus logical specifications.- More efficient bottom-up tree pattern matching.- On the regular structure of prefix rewriting.- A unified approach for showing language containment and equivalence between various types of ?-automata.- Unitary monoid with two generators: An algorithmic point of view.- Coherence of subsumption.- Petri nets as models of linear logic.- Towards the unification of models for concurrency.- A markovian concurrency measure.- Graph matching in operational semantics and typing.- ML typability is dexptime-complete.- Testing for inductiue (co)-reducibility.- Probabilistic analysis of some distributed algorithms.- Infinite values in hierarchical imperative types.- Equivalence of finite-valued bottom-up finite state tree transducers is decidable.
      Hoppa över listan

      Du kanske också är intresserad av

      F. Reese Harvey - Spinors and Calibrations, E-bok

      Spinors and Calibrations

      F. Reese Harvey

      E-bok
      1990

      781 kr

      Zdzislaw E. Sikorski - Seafood, Inbunden

      Seafood

      Zdzislaw E. Sikorski

      Inbunden, 1990

      14 868 kr

      Aaron Brower, Sheldon D Rose - Advances in Group Work Research, Inbunden

      Advances in Group Work Research

      Aaron Brower, Sheldon D Rose

      Inbunden, 1990

      1 605 kr

      F. Reese Harvey - Spinors and Calibrations, Inbunden

      Spinors and Calibrations

      F. Reese Harvey

      Inbunden, 1990

      667 kr

      Semiconductors and Semimetals, E-bok

      Semiconductors and Semimetals

      Elsevier Science

      E-bok
      1990

      781 kr

      Minzhu Han - Cries For Democracy, Häftad

      Cries For Democracy

      Minzhu Han

      Häftad, 1990

      689 kr

      Jean Little - Hey World, Here I am!, Häftad

      Hey World, Here I am!

      Jean Little

      Häftad, 1990

      194 kr

      Alexander Schill - Migrationssteuerung und Konfigurationsverwaltung für verteilte objektorientierte Anwendungen, Häftad
      Del 241

      Migrationssteuerung und Konfigurationsverwaltung für verteilte objektorientierte Anwendungen

      Alexander Schill

      Häftad, 1990

      581 kr

      Bo Steinholtz, Arne Soelvberg, Lars Bergman - Advanced Information Systems Engineering, Häftad

      Advanced Information Systems Engineering

      Bo Steinholtz, Arne Soelvberg, Lars Bergman

      Häftad, 1990

      566 kr

      Dieter W. Heermann - Computer Simulation Methods in Theoretical Physics, Häftad

      Computer Simulation Methods in Theoretical Physics

      Dieter W. Heermann

      Häftad, 1990

      551 kr