pular para conteúdo
Information technology : selected tutorials : IFIP 18th World Computer Congress tutorials, 22-27 August 2004, Toulouse, France Ver prévia deste item
FecharVer prévia deste item
Checando...

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

Autor: Ricardo Reis
Editora: Boston ; London : Kluwer Academic Publishers, ©2004.
Séries: IFIP congress series, 157.
Edição/Formato   e-book : Documento : Publicação de conferência : InglêsVer todas as edições e formatos
Base de Dados:WorldCat
Resumo:
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 -  Ler mais...
Classificação:

(ainda não classificado) 0 com críticas - Seja o primeiro.

Assuntos
Mais como este

 

Encontrar uma cópia on-line

Links para este item

Encontrar uma cópia na biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que possuem este item...

Detalhes

Gênero/Forma: Electronic books
Conference papers and proceedings
Congresses
Formato Físico Adicional: Print version:
Information technology.
Boston ; London : Kluwer Academic Publishers, ©2004
(OCoLC)56640567
Tipo de Material: Publicação de conferência, Documento, Recurso Internet
Tipo de Documento: Recurso Internet, Arquivo de Computador
Todos os Autores / Contribuintes: Ricardo Reis
ISBN: 1402081596 9781402081590
Número OCLC: 57046427
Descrição: 1 online resource (vi, 331 pages) : illustrations.
Conteúdos: 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.
Título da Série: IFIP congress series, 157.
Responsabilidade: edited by Ricardo Reis.
Mais informações:

Resumo:

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.

Críticas

Críticas contribuídas por usuários
Recuperando críticas GoodReas...
Recuperando comentários DOGObooks

Etiquetas

Seja o primeiro.
Confirmar esta solicitação

Você já pode ter solicitado este item. Por favor, selecione Ok se gostaria de proceder com esta solicitação de qualquer forma.

Dados Ligados


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 "2016-05-11" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Por favor, conecte-se ao WorldCat 

Não tem uma conta? Você pode facilmente criar uma conta gratuita.