• 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

      Aspects and Prospects of Theoretical Computer Science

      6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990. Proceedings

      AvJürgen Dassow,Jozef Kelemen

      Häftad, Engelska, 1990

      Del i serien Lecture Notes in Computer Science

      566 kr

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

      Beskrivning

      This volume contains the texts of the tutorial lecture, five invited lectures and twenty short communications contributed for presentation at the Sixth International Meeting of Young Computer Scientists, IMYCS '90. The aim of these meetings is threefold: (1) to inform on newest trends, results, and problems in theoretical computer science and related fields through a tutorial and invited lectures delivered by internationally distinguished speakers, (2) to provide a possibility for beginners in scientific work to present and discuss their results, and (3) to create an adequate opportunity for establishing first professional relations among the participants.

      Produktinformation

      • Utgivningsdatum:1990-11-07
      • Mått:170 x 250 x 17 mm
      • Vikt:470 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:299
      • Upplaga:1990
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540534143

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT

      Innehållsförteckning

      • Methods for generating deterministic fractals and image compression.- Optimum simulation of meshes by small hypercubes.- Seven hard problems in symbolic background knowledge acquisition.- Subsequential functions: Characterizations, minimization, examples.- Past proves more invariance properties but not pca's.- Complexity issues in discrete neurocomputing.- Two-way reading on words.- Proofs and reachability problem for ground rewrite systems.- Problems complete for ?L.- Constructive matching — Explanation based methodology for inductive theorem proving.- Characterizing complexity classes by higher type.- The distributed termination problem : Formal solution and correctness based on petri nets.- Greedy compression systems.- A DIV(N) depth Boolean circuit for smooth modular inverse.- Learning by conjugate gradients.- Monoids described by pushdown automata.- Optimal parallel 3-colouring algorithm for rooted trees and its application.- Hierarchies over the context-free languages.- A hierarchy of unary primitive recursive string-functions.- Minimizing picture words.- Remarks on the frequency-coded neural nets complexity.- Picture generation using matrix systems.- Representing heuristic-relevant information for an automated theorem prover.- A new method for proving lower bounds in the model of algebraic decision trees.- Area time squared and area complexity of VLSI computations is strongly unclosed under union and intersection.- Decision procedure for checking validity of PAL formulas.
      Hoppa över listan

      Du kanske också är intresserad av

      Jürgen Dassow, Jozef Kelemen - Machines, Languages, and Complexity, Häftad

      Machines, Languages, and Complexity

      Jürgen Dassow, Jozef Kelemen

      Häftad, 1989

      566 kr

      Michel Raflik, Bernd Pätzold - CAD*I Database, Häftad
      Del 5

      CAD*I Database

      Michel Raflik, Bernd Pätzold

      Häftad, 1990

      566 kr

      Lawrence H. Mamiya, C. Eric Lincoln - Black Church in the African American Experience, E-bok

      Black Church in the African American Experience

      Lawrence H. Mamiya, C. Eric Lincoln

      E-bok
      1990

      542 kr

      Gheorghe Paun, Jozef Kelemen, Jurgen Dassow, Erzsebet Csuhaj-Varju - Grammar Systems, E-bok

      Grammar Systems

      Gheorghe Paun, Jozef Kelemen, Jurgen Dassow, Erzsebet Csuhaj-Varju

      E-bok
      2018

      838 kr

      Erzsebet Csuhaj-Varju, Jurgen Dassow, Jozef Kelemen, Gheorghe Paun - Grammar Systems, Inbunden

      Grammar Systems

      Erzsebet Csuhaj-Varju, Jurgen Dassow, Jozef Kelemen, Gheorghe Paun

      Inbunden, 1994

      2 529 kr

      Charles Harvey, Jon Press - International Competition and Industrial Change, Inbunden

      International Competition and Industrial Change

      Charles Harvey, Jon Press

      Inbunden, 1990

      1 638 kr

      Gheorghe Paun, Jozef Kelemen, Jurgen Dassow, Erzsebet Csuhaj-Varju - Grammar Systems, E-bok

      Grammar Systems

      Gheorghe Paun, Jozef Kelemen, Jurgen Dassow, Erzsebet Csuhaj-Varju

      E-bok
      2018

      829 kr

      Barbara Pernici, Colette Rolland - Automatic Tools for Designing Office Information Systems, Häftad
      Del 1

      Automatic Tools for Designing Office Information Systems

      Barbara Pernici, Colette Rolland

      Häftad, 1990

      1 124 kr

      Martin Langer - Somatopsychische Gynäkologie, Häftad

      Somatopsychische Gynäkologie

      Martin Langer

      Häftad, 1990

      585 kr

      Jürgen Dassow, Gheorghe Paun, Jürgen Dassow, Gheorghe Paun - Regulated Rewriting in Formal Language Theory, Häftad
      Del 18

      Regulated Rewriting in Formal Language Theory

      Jürgen Dassow, Gheorghe Paun, Jürgen Dassow, Gheorghe Paun

      Häftad, 2011

      1 124 kr