passa ai contenuti
Information technology : selected tutorials : IFIP 18th World Computer Congress tutorials, 22-27 August 2004, Toulouse, France Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Information technology : selected tutorials : IFIP 18th World Computer Congress tutorials, 22-27 August 2004, Toulouse, France

Autore: Ricardo Reis
Editore: Boston ; London : Kluwer Academic Publishers, ©2004.
Serie: IFIP congress series, 157.
Edizione/Formato:   eBook : Document : Conference publication : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Sommario:
This volume reports on several important and state-of-the-art topics in information technology, including: Quality of Service in Information Networks Risk-Driven Development of Security-Critical Systems Using UMLsec Developing Portable Software Formal Reasoning about Systems, Software and Hardware Using Functionals, Predicates and Relations The Problematic of Distributed Systems Supervision Software Rejuvenation -  Per saperne di più…
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Genere/forma: Electronic books
Conference papers and proceedings
Congresses
Informazioni aggiuntive sul formato: Print version:
Information technology.
Boston ; London : Kluwer Academic Publishers, ©2004
(OCoLC)56640567
Tipo materiale: Conference publication, Document, Risorsa internet
Tipo documento: Internet Resource, Computer File
Tutti gli autori / Collaboratori: Ricardo Reis
ISBN: 1402081596 9781402081590
Numero OCLC: 57046427
Descrizione: 1 online resource (vi, 331 pages) : illustrations.
Contenuti: Preliminaries; Contents; Preface; Quality of Service in Information Networks; Risk-Driven Development Of Security-Critical Systems Using UMLSEC; Developing Portable Software; Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and Relations; The Problematic of Distributed Systems Supervision; Software Rejuvenation --
Modeling and Analysis; Test and Design-for-Test of Mixed-Signal Integrated Circuits; Web Services; Applications of Multi-Agent Systems; Discrete Event Simulation with Applications to Computer Communication Systems Performance.
Titolo della serie: IFIP congress series, 157.
Responsabilità: edited by Ricardo Reis.
Maggiori informazioni:

Abstract:

This volume reports on several important and state-of-the-art topics in information technology, including: Quality of Service in Information Networks Risk-Driven Development of Security-Critical Systems Using UMLsec Developing Portable Software Formal Reasoning about Systems, Software and Hardware Using Functionals, Predicates and Relations The Problematic of Distributed Systems Supervision Software Rejuvenation - Modeling and Analysis Test and Design-for-Test of Mixed-Signal Integrated Circuits Web Services Applications of Multi-Agent Systems.

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


Primary Entity

<http://www.worldcat.org/oclc/57046427> # Information technology : selected tutorials : IFIP 18th World Computer Congress tutorials, 22-27 August 2004, Toulouse, France
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "57046427" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   schema:about <http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_reference> ; # COMPUTERS--Reference
   schema:about <http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_hardware_general> ; # COMPUTERS--Hardware--General
   schema:about <http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_machine_theory> ; # COMPUTERS--Machine Theory
   schema:about <http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_data_processing> ; # COMPUTERS--Data Processing
   schema:about <http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_information_technology> ; # COMPUTERS--Information Technology
   schema:about <http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_computer_science> ; # COMPUTERS--Computer Science
   schema:about <http://dewey.info/class/004/e22/> ;
   schema:about <http://id.worldcat.org/fast/973089> ; # Information technology
   schema:about <http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_computer_literacy> ; # COMPUTERS--Computer Literacy
   schema:about <http://experiment.worldcat.org/entity/work/data/801197509#Topic/information_technology> ; # Information technology
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/801197509#Person/reis_ricardo> ; # Ricardo Reis
   schema:contributor <http://experiment.worldcat.org/entity/work/data/801197509#Meeting/ifip_world_computer_congress_18th_2004_toulouse_france> ; # IFIP World Computer Congress (18th : 2004 : Toulouse, France)
   schema:copyrightYear "2004" ;
   schema:datePublished "2004" ;
   schema:description "This volume reports on several important and state-of-the-art topics in information technology, including: Quality of Service in Information Networks Risk-Driven Development of Security-Critical Systems Using UMLsec Developing Portable Software Formal Reasoning about Systems, Software and Hardware Using Functionals, Predicates and Relations The Problematic of Distributed Systems Supervision Software Rejuvenation - Modeling and Analysis Test and Design-for-Test of Mixed-Signal Integrated Circuits Web Services Applications of Multi-Agent Systems."@en ;
   schema:description "Preliminaries; Contents; Preface; Quality of Service in Information Networks; Risk-Driven Development Of Security-Critical Systems Using UMLSEC; Developing Portable Software; Formal Reasoning About Systems, Software and Hardware Using Functionals, Predicates and Relations; The Problematic of Distributed Systems Supervision; Software Rejuvenation -- Modeling and Analysis; Test and Design-for-Test of Mixed-Signal Integrated Circuits; Web Services; Applications of Multi-Agent Systems; Discrete Event Simulation with Applications to Computer Communication Systems Performance."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/801197509> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/801197509#Series/ifip_congress_series> ; # IFIP congress series ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/56640567> ;
   schema:name "Information technology : selected tutorials : IFIP 18th World Computer Congress tutorials, 22-27 August 2004, Toulouse, France"@en ;
   schema:productID "57046427" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/57046427#PublicationEvent/boston_london_kluwer_academic_publishers_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/801197509#Agent/kluwer_academic_publishers> ; # Kluwer Academic Publishers
   schema:url <http://catdir.loc.gov/catdir/toc/fy052/2004303265.html> ;
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=122116> ;
   schema:workExample <http://worldcat.org/isbn/9781402081590> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/57046427> ;
    .


Related Entities

<http://dbpedia.org/resource/Boston> # Boston
    a schema:Place ;
   schema:name "Boston" ;
    .

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Agent/kluwer_academic_publishers> # Kluwer Academic Publishers
    a bgn:Agent ;
   schema:name "Kluwer Academic Publishers" ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Meeting/ifip_world_computer_congress_18th_2004_toulouse_france> # IFIP World Computer Congress (18th : 2004 : Toulouse, France)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/801197509#Place/toulouse_france> ; # Toulouse, France)
   schema:name "IFIP World Computer Congress (18th : 2004 : Toulouse, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Person/reis_ricardo> # Ricardo Reis
    a schema:Person ;
   schema:familyName "Reis" ;
   schema:givenName "Ricardo" ;
   schema:name "Ricardo Reis" ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Place/toulouse_france> # Toulouse, France)
    a schema:Place ;
   schema:name "Toulouse, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Series/ifip_congress_series> # IFIP congress series ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/57046427> ; # Information technology : selected tutorials : IFIP 18th World Computer Congress tutorials, 22-27 August 2004, Toulouse, France
   schema:name "IFIP congress series ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_computer_literacy> # COMPUTERS--Computer Literacy
    a schema:Intangible ;
   schema:name "COMPUTERS--Computer Literacy"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_computer_science> # COMPUTERS--Computer Science
    a schema:Intangible ;
   schema:name "COMPUTERS--Computer Science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_data_processing> # COMPUTERS--Data Processing
    a schema:Intangible ;
   schema:name "COMPUTERS--Data Processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_hardware_general> # COMPUTERS--Hardware--General
    a schema:Intangible ;
   schema:name "COMPUTERS--Hardware--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_information_technology> # COMPUTERS--Information Technology
    a schema:Intangible ;
   schema:name "COMPUTERS--Information Technology"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_machine_theory> # COMPUTERS--Machine Theory
    a schema:Intangible ;
   schema:name "COMPUTERS--Machine Theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/801197509#Topic/computers_reference> # COMPUTERS--Reference
    a schema:Intangible ;
   schema:name "COMPUTERS--Reference"@en ;
    .

<http://id.worldcat.org/fast/973089> # Information technology
    a schema:Intangible ;
   schema:name "Information technology"@en ;
    .

<http://worldcat.org/isbn/9781402081590>
    a schema:ProductModel ;
   schema:isbn "1402081596" ;
   schema:isbn "9781402081590" ;
    .

<http://www.worldcat.org/oclc/56640567>
    a schema:CreativeWork ;
   rdfs:label "Information technology." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/57046427> ; # Information technology : selected tutorials : IFIP 18th World Computer Congress tutorials, 22-27 August 2004, Toulouse, France
    .

<http://www.worldcat.org/title/-/oclc/57046427>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/57046427> ; # Information technology : selected tutorials : IFIP 18th World Computer Congress tutorials, 22-27 August 2004, Toulouse, France
   schema:dateModified "2017-01-19" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.