LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 10 of total 40

Search options

  1. Book ; Online: DFKI-Schlussbericht im Verbundprojekt SoKNOS

    Dengler, Dietmar / Hutter, Dieter

    SoKNOS - Service-orientierte Architekturen zur Unterstützung von Netzwerken im Rahmen öffentlicher Sicherheit ; Partner Schlussbericht im Verbundprojekt SoKNOS ; Laufzeit: 01.05.2008 - 31.03.2010

    2010  

    Title variant Final report of partner DFKI for project SoKNOS ; Partner Schlussbericht im Verbundprojekt SoKNOS ; SoKNOS
    Author's details Dietmar Dengler; Dieter Hutter
    Language German
    Size Online-Ressource (8 S., 338 KB), Ill., graph. Darst.
    Publisher Technische Informationsbibliothek u. Universitätsbibliothek ; DFKI
    Publishing place Hannover ; Kaiserslautern
    Document type Book ; Online
    Note Auch als gedr. Ausg. vorhanden ; Förderkennzeichen BMBF 01IS07009G. - Verbund-Nr. 01058096. - [Engl. Titel: Final report of partner DFKI for project SoKNOS] ; Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden
    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. Book ; Conference proceedings: Security in pervasive computing

    Hutter, Dieter

    first international conference, Boppard, Germany, March 12-14, 2003 ; revised papers

    (Lecture notes in computer science ; 2802)

    2004  

    Abstract: This book constitutes the thoroughly refereed post- proceedings of the First International Conference on Security in Pervasive Computing held in Boppard, Germany in March 2003. The 19 revised full papers presented together with abstracts of 4 invited ... ...

    Institution International Conference on Security in Pervasive Computing
    Event/congress International Conference on Security in Pervasive Computing (1, 2003.03.12-14, Boppard) ; SPC 2003 (1, 2003.03.12-14, Boppard)
    Author's details Dieter Hutter ... (ed.)
    Series title Lecture notes in computer science ; 2802
    Abstract This book constitutes the thoroughly refereed post- proceedings of the First International Conference on Security in Pervasive Computing held in Boppard, Germany in March 2003. The 19 revised full papers presented together with abstracts of 4 invited talks and a workshop summary were carefully selected during two rounds of reviewing and improvements. The papers are organized in topical sections on location privacy, security requirements, security policies and protection, authentication and trust, secure infrastructures, smart labels, verifications, and hardware architectures
    Keywords Computer security ; Ubiquitous computing ; Kryptosystem ; Mensch-Maschine-Kommunikation ; Privatsphäre ; Datensicherung ; Ubiquitous Computing ; Mobile Computing ; Sicherheitsprotokoll
    Language English
    Size XI, 289 S, graph. Darst, 24 cm
    Publisher Springer
    Publishing place Berlin u.a.
    Document type Book ; Conference proceedings
    Note Literaturangaben
    ISBN 3540208879 ; 9783540208877
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    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. Book ; Conference proceedings ; Online: Security in pervasive computing

    Hutter, Dieter

    first international conference, Boppard, Germany, March 12-14, 2003 ; revised papers

    (Lecture notes in computer science ; 2802)

    2004  

    Abstract: This book constitutes the thoroughly refereed post- proceedings of the First International Conference on Security in Pervasive Computing held in Boppard, Germany in March 2003. The 19 revised full papers presented together with abstracts of 4 invited ... ...

    Institution International Conference on Security in Pervasive Computing
    Event/congress International Conference on Security in Pervasive Computing (1, 2003.03.12-14, Boppard) ; SPC 2003 (1, 2003.03.12-14, Boppard)
    Author's details Dieter Hutter ... (ed.)
    Series title Lecture notes in computer science ; 2802
    Abstract This book constitutes the thoroughly refereed post- proceedings of the First International Conference on Security in Pervasive Computing held in Boppard, Germany in March 2003. The 19 revised full papers presented together with abstracts of 4 invited talks and a workshop summary were carefully selected during two rounds of reviewing and improvements. The papers are organized in topical sections on location privacy, security requirements, security policies and protection, authentication and trust, secure infrastructures, smart labels, verifications, and hardware architectures
    Language English
    Size Online-Ressource (XI, 289 S.), graph. Darst
    Publisher Springer
    Publishing place Berlin u.a.
    Document type Book ; Conference proceedings ; Online
    Note Literaturangaben
    ISBN 3540208879 ; 9783540208877
    DOI 10.1007/b95124
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    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. Book ; Conference proceedings: Security in pervasive computing

    Hutter, Dieter

    first international conference, Boppard, Germany, March 12-14, 2003 ; revised papers

    (Lecture notes in computer science ; 2802)

    2004  

    Abstract: This book constitutes the thoroughly refereed post- proceedings of the First International Conference on Security in Pervasive Computing held in Boppard, Germany in March 2003. The 19 revised full papers presented together with abstracts of 4 invited ... ...

    Institution International Conference on Security in Pervasive Computing
    Event/congress International Conference on Security in Pervasive Computing (1, 2003.03.12-14, Boppard) ; SPC 2003 (1, 2003.03.12-14, Boppard)
    Author's details Dieter Hutter ... (ed.)
    Series title Lecture notes in computer science ; 2802
    Abstract This book constitutes the thoroughly refereed post- proceedings of the First International Conference on Security in Pervasive Computing held in Boppard, Germany in March 2003. The 19 revised full papers presented together with abstracts of 4 invited talks and a workshop summary were carefully selected during two rounds of reviewing and improvements. The papers are organized in topical sections on location privacy, security requirements, security policies and protection, authentication and trust, secure infrastructures, smart labels, verifications, and hardware architectures
    Keywords Computer security ; Ubiquitous computing ; Kryptosystem ; Mensch-Maschine-Kommunikation ; Privatsphäre ; Datensicherung ; Ubiquitous Computing ; Mobile Computing ; Sicherheitsprotokoll
    Language English
    Size XI, 289 S, graph. Darst, 24 cm
    Publisher Springer
    Publishing place Berlin u.a.
    Document type Book ; Conference proceedings
    Note Literaturangaben
    ISBN 3540208879 ; 9783540208877
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    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 ; Conference proceedings ; Online: Security in pervasive computing

    Hutter, Dieter

    first international conference, Boppard, Germany, March 12-14, 2003 ; revised papers

    (Lecture notes in computer science ; 2802)

    2004  

    Abstract: This book constitutes the thoroughly refereed post- proceedings of the First International Conference on Security in Pervasive Computing held in Boppard, Germany in March 2003. The 19 revised full papers presented together with abstracts of 4 invited ... ...

    Institution International Conference on Security in Pervasive Computing
    Event/congress International Conference on Security in Pervasive Computing (1, 2003.03.12-14, Boppard) ; SPC 2003 (1, 2003.03.12-14, Boppard)
    Author's details Dieter Hutter ... (ed.)
    Series title Lecture notes in computer science ; 2802
    Abstract This book constitutes the thoroughly refereed post- proceedings of the First International Conference on Security in Pervasive Computing held in Boppard, Germany in March 2003. The 19 revised full papers presented together with abstracts of 4 invited talks and a workshop summary were carefully selected during two rounds of reviewing and improvements. The papers are organized in topical sections on location privacy, security requirements, security policies and protection, authentication and trust, secure infrastructures, smart labels, verifications, and hardware architectures
    Language English
    Size Online-Ressource (XI, 289 S.), graph. Darst
    Publisher Springer
    Publishing place Berlin u.a.
    Document type Book ; Conference proceedings ; Online
    Note Literaturangaben
    ISBN 3540208879 ; 9783540208877
    DOI 10.1007/b95124
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    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. Book: SIMPLE

    Hutter, Dieter / Wolters, Regine

    semantisch fundierte Implementierung klinischer Leitlinienplementierung klinischer Leitlinien ; Abschlussbericht ; Bewilligungszeitraum: 1.9.2011 - 30.9.2013

    2013  

    Author's details Autoren: Dieter Hutter, Regine Wolters
    Language German
    Size 18 Bl.
    Publisher Deutsches Forschungszentrum für Künstliche Intelligenz GmbH
    Publishing place Kaiserslautern
    Document type Book
    Note Förderkennzeichen BMBF 01IS11013B. - Verbund-Nr. 01102285
    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 ; Online: Using rippling to prove the termination of algorithms

    Hutter, Dieter

    (Research Report / Deutsches Forschungszentrum für Künstliche Intelligenz ; 97,3)

    2000  

    Author's details Dieter Hutter
    Series title Research Report / Deutsches Forschungszentrum für Künstliche Intelligenz ; 97,3
    Language English
    Size Online-Ressource
    Edition [Elektronische Ressource]
    Publisher Universitätsbibliothek u. Technische Informationsbibliothek ; DFKI
    Publishing place Hannover ; Kaiserslautern ; Saarbrücken
    Document type Book ; Online
    Note Contract BMBF ITWM-9600 ; Differences between the printed and electronic version of the document are possible
    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.

  8. Book: Analysen zur EU-Osterweiterung

    Hutter, Dieter

    (Reihe Europapolitik)

    1999  

    Institution Freiheitliche Akademie
    Author's details Freiheitliche Akademie. Mit Beitr. von Dieter Hutter
    Series title Reihe Europapolitik
    Language German
    Size 180 S
    Publishing place Wien
    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.

  9. Book ; Conference proceedings: Applied formal methods - FM trends 98

    Hutter, Dieter

    International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 - 9, 1998 ; proceedings

    (Lecture notes in computer science ; 1641)

    1999  

    Institution International Workshop on Current Trends in Applied Formal Methods
    Event/congress International Workshop on Current Trends in Applied Formal Methods, FM Trends (1998.10.07-09, Boppard)
    Author's details Dieter Hutter ... (ed.)
    Series title Lecture notes in computer science ; 1641
    Keywords Hardwareentwurf ; Softwareentwicklung ; Formale Methode
    Language English
    Size XI, 376 S, graph. Darst, 24 cm
    Publisher Springer
    Publishing place Berlin u.a.
    Document type Book ; Conference proceedings
    ISBN 3540664629 ; 9783540664628
    Database Former special subject collection: coastal and deep sea fishing

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    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 ; Conference proceedings: Applied formal methods - FM trends 98

    Hutter, Dieter

    International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 - 9, 1998 ; proceedings

    (Lecture notes in computer science ; 1641)

    1999  

    Institution International Workshop on Current Trends in Applied Formal Methods
    Event/congress International Workshop on Current Trends in Applied Formal Methods, FM Trends (1998.10.07-09, Boppard)
    Author's details Dieter Hutter ... (ed.)
    Series title Lecture notes in computer science ; 1641
    Keywords Hardwareentwurf ; Softwareentwicklung ; Formale Methode
    Language English
    Size XI, 376 S, graph. Darst, 24 cm
    Publisher Springer
    Publishing place Berlin u.a.
    Document type Book ; Conference proceedings
    ISBN 3540664629 ; 9783540664628
    Database Library catalogue of the German National Library of Science and Technology (TIB), Hannover

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

    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