skip to content
Automaten und Logiken zur Beschreibung zeitabhängiger Systeme Preview this item
ClosePreview this item
Checking...

Automaten und Logiken zur Beschreibung zeitabhängiger Systeme

Author: Thomas Wilke
Publisher: Kiel : Inst. für Informatik und Praktische Math., 1994.
Series: Institut für Informatik und Praktische Mathematik <Kiel>; Bericht
Edition/Format:   Print book : GermanView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Thomas Wilke
OCLC Number: 243798828
Notes: Zugl.: Kiel, Univ., Diss., 1994.
Description: V, 168 Seiten : Diagramme.
Series Title: Institut für Informatik und Praktische Mathematik <Kiel>; Bericht
Responsibility: Thomas Wilke.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/243798828> # Automaten und Logiken zur Beschreibung zeitabhängiger Systeme
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "243798828" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/6479677#Place/kiel> ; # Kiel
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/6479677#Topic/automatentheorie> ; # Automatentheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/6479677#Topic/zeitabhangigkeit> ; # Zeitabhängigkeit
   schema:about <http://experiment.worldcat.org/entity/work/data/6479677#Topic/mathematische_logik> ; # Mathematische Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/6479677#Thing/automatentheorie> ; # Automatentheorie
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/6479677#Person/wilke_thomas> ; # Thomas Wilke
   schema:datePublished "1994" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/6479677> ;
   schema:inLanguage "de" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/6479677#Series/bericht> ; # Bericht ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/6479677#Series/bericht_institut_fur_informatik_und_praktische_mathematik> ; # Bericht / Institut für Informatik und Praktische Mathematik ;
   schema:name "Automaten und Logiken zur Beschreibung zeitabhängiger Systeme"@de ;
   schema:productID "243798828" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/243798828#PublicationEvent/kiel_inst_fur_informatik_und_praktische_math_1994> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/6479677#Agent/inst_fur_informatik_und_praktische_math> ; # Inst. für Informatik und Praktische Math.
   umbel:isLike <http://d-nb.info/942315308> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/243798828> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/6479677#Agent/inst_fur_informatik_und_praktische_math> # Inst. für Informatik und Praktische Math.
    a bgn:Agent ;
   schema:name "Inst. für Informatik und Praktische Math." ;
    .

<http://experiment.worldcat.org/entity/work/data/6479677#Organization/institut_fur_informatik_und_praktische_mathematik_kiel> # Institut für Informatik und Praktische Mathematik
    a schema:Organization ;
   schema:name "Institut für Informatik und Praktische Mathematik " ;
    .

<http://experiment.worldcat.org/entity/work/data/6479677#Person/wilke_thomas> # Thomas Wilke
    a schema:Person ;
   schema:familyName "Wilke" ;
   schema:givenName "Thomas" ;
   schema:name "Thomas Wilke" ;
    .

<http://experiment.worldcat.org/entity/work/data/6479677#Series/bericht> # Bericht ;
    a bgn:PublicationSeries ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/6479677#Organization/institut_fur_informatik_und_praktische_mathematik_kiel> ; # Institut für Informatik und Praktische Mathematik
   schema:hasPart <http://www.worldcat.org/oclc/243798828> ; # Automaten und Logiken zur Beschreibung zeitabhängiger Systeme
   schema:name "Bericht ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/6479677#Series/bericht_institut_fur_informatik_und_praktische_mathematik> # Bericht / Institut für Informatik und Praktische Mathematik ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/243798828> ; # Automaten und Logiken zur Beschreibung zeitabhängiger Systeme
   schema:name "Bericht / Institut für Informatik und Praktische Mathematik ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/6479677#Thing/automatentheorie> # Automatentheorie
    a schema:Thing ;
   schema:name "Automatentheorie" ;
    .

<http://experiment.worldcat.org/entity/work/data/6479677#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@de ;
    .

<http://experiment.worldcat.org/entity/work/data/6479677#Topic/zeitabhangigkeit> # Zeitabhängigkeit
    a schema:Intangible ;
   schema:name "Zeitabhängigkeit"@de ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.