跳至内容
Information technology : selected tutorials : IFIP 18th World Computer Congress tutorials, 22-27 August 2004, Toulouse, France 線上預覽
關閉線上預覽
正在查...

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

作者: Ricardo Reis
出版商: Boston ; London : Kluwer Academic Publishers, ©2004.
叢書: IFIP congress series, 157.
版本/格式:   電子書 : 文獻 : 會議刊物 : 英語所有版本和格式的總覽
資料庫:WorldCat
提要:
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 -  再讀一些...
評定級別:

(尚未評分) 0 附有評論 - 成爲第一個。

主題
更多類似這樣的

 

在線上查詢

與資料的連結

在圖書館查詢

&AllPage.SpinnerRetrieving; 正在查詢有此資料的圖書館...

詳細書目

類型/形式: Electronic books
Conference papers and proceedings
Congresses
其他的實體格式: Print version:
Information technology.
Boston ; London : Kluwer Academic Publishers, ©2004
(OCoLC)56640567
資料類型: 會議刊物, 文獻, 網際網路資源
文件類型 網際網路資源, 電腦檔案
所有的作者/貢獻者: Ricardo Reis
ISBN: 1402081596 9781402081590
OCLC系統控制編碼: 57046427
描述: 1 online resource (vi, 331 pages) : illustrations.
内容: 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.
叢書名: IFIP congress series, 157.
責任: edited by Ricardo Reis.
更多資訊

摘要:

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.

評論

讀者提供的評論
正在擷取GoodReads評論...
正在擷取DOGObooks的評論

標籤

成爲第一個
確認申請

你可能已經申請過這份資料。若還是想申請,請選確認。

連結資料


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


Content-negotiable representations

關閉視窗

請登入WorldCat 

没有帳號嗎?你可很容易的 建立免費的帳號.