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
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://viaf.org/viaf/34711096> ; # Keijirō Araki
   schema:contributor <http://viaf.org/viaf/85506101> ; # Zhiming Liu
   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://link.springer.com/10.1007/b107116> ;
   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 <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/b107116> ;
   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#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://link.springer.com/10.1007/b107116>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/34711096> # Keijirō Araki
    a schema:Person ;
   schema:birthDate "1954" ;
   schema:familyName "Araki" ;
   schema:givenName "Keijirō" ;
   schema:name "Keijirō Araki" ;
    .

<http://viaf.org/viaf/85506101> # Zhiming Liu
    a schema:Person ;
   schema:birthDate "1961" ;
   schema:familyName "Liu" ;
   schema:givenName "Zhiming" ;
   schema:name "Zhiming Liu" ;
    .

<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 "2017-09-03" ;
   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.