LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 10 of total 52

Search options

  1. Book: A Petri net approach for propagating probabilities and mass functions

    Lautenbach, Kurt

    (Arbeitsberichte aus dem Fachbereich Informatik / Universität Koblenz, Landau ; 2010, Nr. 13)

    2010  

    Author's details Kurt Lautenbach. Universität Koblenz, Landau, Institut für Informatik, FB 4, Informatik
    Series title Arbeitsberichte aus dem Fachbereich Informatik / Universität Koblenz, Landau ; 2010, Nr. 13
    Language English
    Size 35 S., graph. Darst., 30 cm
    Publisher Inst. für Informatik
    Publishing place Koblenz
    Document type Book
    Note Literaturangaben
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  2. Article: Automatic classification for the identification of relationships in a metadata repository

    Lautenbach, Kurt

    Automatic classification for the identification of relationships in a metadata repository, Beuster, Gerd. - Koblenz-Landau : Univ., Inst. für Informatik

    2003  

    Document type Article
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  3. Article: GUPRO - generic understanding of programs

    Lautenbach, Kurt

    GUPRO - generic understanding of programs, an overview, Ebert, Jürgen. - Koblenz-Landau : Univ., Inst. für Informatik

    2002  

    Document type Article
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  4. Article: Folding

    Lautenbach, Kurt

    Folding, an approach to enable program understanding of preprocessed languages, Kullbach, Bernt. - Koblenz-Landau : Univ., Inst. für Informatik

    2001  

    Document type Article
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  5. Book: Probability propagation nets

    Lautenbach, Kurt / Pinl, Alexander

    (Arbeitsberichte aus dem Fachbereich Informatik / Universität Koblenz, Landau ; 2007, Nr. 20)

    2007  

    Author's details Kurt Lautenbach; Alexander Pinl. Universität Koblenz, Landau, Institut für Informatik, FB 4, Informatik
    Series title Arbeitsberichte aus dem Fachbereich Informatik / Universität Koblenz, Landau ; 2007, Nr. 20
    Language English
    Size 16 S., graph. Darst., 30 cm
    Publisher Inst. für Informatik
    Publishing place Koblenz
    Document type Book
    Note Text in engl.
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  6. Article: TABLEAUX 2005

    Lautenbach, Kurt / Pinl, Alexander

    TABLEAUX 2005, position papers and tutorial descriptions ; [papers presented at the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005), held September 14-17, 2005 in Koblenz, Germany], Beckert, Bernhard. - Koblenz-Landau : Univ., Inst. für Informatik

    2005  

    Document type Article
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  7. Book: Simple marked-graph-like predicate transition nets

    Lautenbach, K

    (Reports / BONN GMD ; ARBEITSPAPIERE 41)

    1983  

    Author's details K. Lautenbach
    Series title Reports / BONN GMD ; ARBEITSPAPIERE 41
    Size 69 S
    Document type Book
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  8. Article: A flexible system for constraint disjunctive logic programming

    Lautenbach, Kurt

    A flexible system for constraint disjunctive logic programming, Stolzenburg, Frieder. - Koblenz-Landau : Univ., Inst, für Informatik

    (Fachberichte Informatik / Universität Koblenz-Landau, Institut für Informatik ; 96,27)

    1996  

    Series title Fachberichte Informatik / Universität Koblenz-Landau, Institut für Informatik ; 96,27
    Document type Article
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  9. Book: The reproducibility of the empty marking in place/transition nets

    Lautenbach, Kurt

    (Fachberichte Informatik ; 1992,16)

    1992  

    Author's details K. Lautenbach
    Series title Fachberichte Informatik ; 1992,16
    Language English
    Size 28 S
    Publisher Inst. für Informatik, Univ
    Publishing place Koblenz
    Document type Book
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  10. Book: The reproducibility of the empty marking in place/transition nets

    Lautenbach, Kurt

    (Fachberichte Informatik ; 1992,16)

    1992  

    Author's details K. Lautenbach
    Series title Fachberichte Informatik ; 1992,16
    Language English
    Size 28 S
    Publisher Inst. für Informatik, Univ
    Publishing place Koblenz
    Document type Book
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

To top