skip to content
Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers Preview this item
ClosePreview this item
Checking...

Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers

Author: Zhiming Liu; Keijirō Araki
Publisher: Berlin ; New York : Springer, ©2005.
Series: Lecture notes in computer science, 3407.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Print version:
ICTAC 2004 (2004 : Guiyang Shi, China).
Theoretical aspects of computing.
Berlin ; New York : Springer, ©2005
(DLC) 2005921895
(OCoLC)58839521
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Zhiming Liu; Keijirō Araki
ISBN: 9783540318620 3540318623 3540253041 9783540253044
OCLC Number: 262680747
Description: 1 online resource (xiv, 562 pages) : illustrations.
Contents: Invited speakers --
Concurrent and distributed systems --
Model integration and theory unification --
Program reasoning and testing --
Verification --
Theories of programming and programming languages --
Real-time and co-design --
Automata theory and logics --
Tutorials at ICTAC 2004.
Series Title: Lecture notes in computer science, 3407.
Other Titles: ICTAC 2004
Responsibility: Zhiming Liu, Keijiro Araki (eds.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/262680747> # Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "262680747" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/193697875#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/193697875#Thing/ictac> ; # ICTAC.
    schema:about <http://experiment.worldcat.org/entity/work/data/193697875#Topic/information_theory> ; # Information theory
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/193697875#Topic/informatique_theorique> ; # Informatique théorique
    schema:about <http://id.worldcat.org/fast/906956> ; # Electronic data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/193697875#Topic/software_engineering> ; # Software engineering
    schema:about <http://id.worldcat.org/fast/973149> ; # Information theory
    schema:about <http://experiment.worldcat.org/entity/work/data/193697875#Topic/computer_programming> ; # Computer programming
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/193697875#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/193697875#Thing/computing> ; # Computing.
    schema:about <http://experiment.worldcat.org/entity/work/data/193697875#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/193697875#Topic/information_theorie_de_l> ; # Information, Théorie de l'
    schema:about <http://dewey.info/class/004/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/193697875#Topic/theorie_de_l_information> ; # Théorie de l'information
    schema:about <http://experiment.worldcat.org/entity/work/data/193697875#Topic/electronic_data_processing> ; # Electronic data processing
    schema:alternateName "ICTAC 2004" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/193697875#Person/liu_zhiming_1961> ; # Zhiming Liu
    schema:contributor <http://experiment.worldcat.org/entity/work/data/193697875#Person/araki_keijiro_1954> ; # Keijirō Araki
    schema:copyrightYear "2005" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/193697875#Meeting/ictac_colloquium_1st_2004_guiyang_shi_china> ; # ICTAC (Colloquium) (1st : 2004 : Guiyang Shi, China)
    schema:datePublished "2005" ;
    schema:description "Invited speakers -- Concurrent and distributed systems -- Model integration and theory unification -- Program reasoning and testing -- Verification -- Theories of programming and programming languages -- Real-time and co-design -- Automata theory and logics -- Tutorials at ICTAC 2004."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/193697875> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/58839521> ;
    schema:name "Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers"@en ;
    schema:productID "262680747" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/262680747#PublicationEvent/berlin_new_york_springer_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/193697875#Agent/springer> ; # Springer
    schema:url <http://www.springerlink.com/link.asp?id=q2k36fqjnw1n> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-25304-4> ;
    schema:url <http://dx.doi.org/10.1007/b107116> ;
    schema:url <http://site.ebrary.com/id/10528943> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/11407058> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3407&issue=preprint> ;
    schema:url <http://www.myilibrary.com?id=140631> ;
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3067967> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3407> ;
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3407> ;
    schema:workExample <http://worldcat.org/isbn/9783540253044> ;
    schema:workExample <http://worldcat.org/isbn/9783540318620> ;
    umbel:isLike <http://d-nb.info/973958375> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/262680747> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/193697875#Meeting/ictac_colloquium_1st_2004_guiyang_shi_china> # ICTAC (Colloquium) (1st : 2004 : Guiyang Shi, China)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/193697875#Place/guiyang_shi_china> ; # Guiyang Shi, China)
    schema:name "ICTAC (Colloquium) (1st : 2004 : Guiyang Shi, China)" ;
    .

<http://experiment.worldcat.org/entity/work/data/193697875#Person/araki_keijiro_1954> # Keijirō Araki
    a schema:Person ;
    schema:birthDate "1954" ;
    schema:familyName "Araki" ;
    schema:givenName "Keijirō" ;
    schema:name "Keijirō Araki" ;
    .

<http://experiment.worldcat.org/entity/work/data/193697875#Person/liu_zhiming_1961> # Zhiming Liu
    a schema:Person ;
    schema:birthDate "1961" ;
    schema:familyName "Liu" ;
    schema:givenName "Zhiming" ;
    schema:name "Zhiming Liu" ;
    .

<http://experiment.worldcat.org/entity/work/data/193697875#Place/guiyang_shi_china> # Guiyang Shi, China)
    a schema:Place ;
    schema:name "Guiyang Shi, China)" ;
    .

<http://experiment.worldcat.org/entity/work/data/193697875#Topic/information_theorie_de_l> # Information, Théorie de l'
    a schema:Intangible ;
    schema:name "Information, Théorie de l'"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/193697875#Topic/informatique> # Informatique
    a schema:Intangible ;
    schema:name "Informatique"@en ;
    schema:name "Informatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/193697875#Topic/informatique_theorique> # Informatique théorique
    a schema:Intangible ;
    schema:name "Informatique théorique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/193697875#Topic/theorie_de_l_information> # Théorie de l'information
    a schema:Intangible ;
    schema:name "Théorie de l'information"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/906956> # Electronic data processing
    a schema:Intangible ;
    schema:name "Electronic data processing"@en ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

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

<http://worldcat.org/isbn/9783540253044>
    a schema:ProductModel ;
    schema:isbn "3540253041" ;
    schema:isbn "9783540253044" ;
    .

<http://worldcat.org/isbn/9783540318620>
    a schema:ProductModel ;
    schema:isbn "3540318623" ;
    schema:isbn "9783540318620" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/262680747> ; # Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/58839521>
    a schema:CreativeWork ;
    rdfs:label "Theoretical aspects of computing." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/262680747> ; # Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
    .

<http://www.worldcat.org/title/-/oclc/262680747>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/262680747> ; # Theoretical aspects of computing : ICTAC 2004 : first international colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
    schema:dateModified "2016-08-10" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.