skip to content
Mobility in process calculi and natural computing Preview this item
ClosePreview this item
Checking...

Mobility in process calculi and natural computing

Author: Bogdan Aman; Gabriel Ciobanu
Publisher: Berlin ; Heidelberg : Springer, ©2011.
Series: Natural computing series.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:

This volume refers to the formal description of mobility in computer science, using p-calculus, ambient calculus, bioambients, brane calculi, and systems of mobile membranes. Concepts are supported  Read more...

Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Bogdan Aman; Gabriel Ciobanu
ISBN: 9783642248672 3642248675
OCLC Number: 760887745
Description: 1 online resource (xiii, 208 pages).
Contents: Chap. 1, Mobility in Process Calculi --
Chap. 2, Mobility in Membrane Computing --
Chap. 3, Encodings --
References --
Index.
Series Title: Natural computing series.
Responsibility: Bogdan Aman, Gabriel Ciobanu.

Reviews

Editorial reviews

Publisher Synopsis

From the reviews:"The book is very well written and structured. It provides enough background so that it can be read not only by experts but also by advanced undergraduate and graduate students. ... Read more...

 
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/760887745> # Mobility in process calculi and natural computing
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "760887745" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1044074177#Place/heidelberg> ; # Heidelberg
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1044074177#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1044074177#Topic/computers_computer_science> ; # COMPUTERS--Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/1044074177#Thing/computational_intelligence> ; # Computational Intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/1044074177#Thing/engineering> ; # Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1044074177#Topic/computers_information_technology> ; # COMPUTERS--Information Technology
    schema:about <http://dewey.info/class/004.0151/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1044074177#Topic/computers_data_processing> ; # COMPUTERS--Data Processing
    schema:about <http://experiment.worldcat.org/entity/work/data/1044074177#Topic/natural_computation> ; # Natural computation
    schema:about <http://experiment.worldcat.org/entity/work/data/1044074177#Thing/theory_of_computation> ; # Theory of Computation
    schema:about <http://experiment.worldcat.org/entity/work/data/1044074177#Thing/information_theory> ; # Information theory
    schema:about <http://id.loc.gov/authorities/subjects/sh85042295> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/1044074177#Topic/computer_science_mathematics> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/1044074177#Topic/computers_hardware_general> ; # COMPUTERS--Hardware--General
    schema:about <http://experiment.worldcat.org/entity/work/data/1044074177#Topic/computers_reference> ; # COMPUTERS--Reference
    schema:about <http://experiment.worldcat.org/entity/work/data/1044074177#Topic/computers_computer_literacy> ; # COMPUTERS--Computer Literacy
    schema:about <http://experiment.worldcat.org/entity/work/data/1044074177#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/1044074177#Thing/electronic_data_processing> ; # Electronic data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/1044074177#Topic/computers_machine_theory> ; # COMPUTERS--Machine Theory
    schema:about <http://experiment.worldcat.org/entity/work/data/1044074177#Thing/computing_methodologies> ; # Computing Methodologies
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/5184977> ; # Gabriel Ciobanu
    schema:copyrightYear "2011" ;
    schema:creator <http://viaf.org/viaf/306127725> ; # Bogdan Aman
    schema:datePublished "2011" ;
    schema:description "Chap. 1, Mobility in Process Calculi -- Chap. 2, Mobility in Membrane Computing -- Chap. 3, Encodings -- References -- Index."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1044074177> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1044074177#Series/natural_computing_series> ; # Natural computing series.
    schema:isPartOf <http://worldcat.org/issn/1619-7127> ; # Natural computing series,
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1044074177#CreativeWork/> ;
    schema:name "Mobility in process calculi and natural computing"@en ;
    schema:productID "760887745" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/760887745#PublicationEvent/berlin_heidelberg_springer_2011> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1044074177#Agent/springer> ; # Springer
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-642-24866-5> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1242375> ;
    schema:url <http://site.ebrary.com/id/10511048> ;
    schema:url <http://link.springer.com/10.1007/978-3-642-24867-2> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-24867-2> ;
    schema:url <http://www.myilibrary.com?id=347771&ref=toc> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=885376> ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/978-3-642-24867-2> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-24867-2> ;
    schema:url <http://www.myilibrary.com?id=347771> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-642-24866-5> ;
    schema:workExample <http://worldcat.org/isbn/9783642248672> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/760887745> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1044074177#Series/natural_computing_series> # Natural computing series.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/760887745> ; # Mobility in process calculi and natural computing
    schema:name "Natural computing series." ;
    .

<http://experiment.worldcat.org/entity/work/data/1044074177#Thing/computational_intelligence> # Computational Intelligence
    a schema:Thing ;
    schema:name "Computational Intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/1044074177#Thing/computing_methodologies> # Computing Methodologies
    a schema:Thing ;
    schema:name "Computing Methodologies" ;
    .

<http://experiment.worldcat.org/entity/work/data/1044074177#Thing/electronic_data_processing> # Electronic data processing
    a schema:Thing ;
    schema:name "Electronic data processing" ;
    .

<http://experiment.worldcat.org/entity/work/data/1044074177#Thing/information_theory> # Information theory
    a schema:Thing ;
    schema:name "Information theory" ;
    .

<http://experiment.worldcat.org/entity/work/data/1044074177#Thing/theory_of_computation> # Theory of Computation
    a schema:Thing ;
    schema:name "Theory of Computation" ;
    .

<http://experiment.worldcat.org/entity/work/data/1044074177#Topic/computer_science_mathematics> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics"@en ;
    .

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

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

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

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

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

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

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

<http://experiment.worldcat.org/entity/work/data/1044074177#Topic/natural_computation> # Natural computation
    a schema:Intangible ;
    schema:name "Natural computation"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85042295> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics"@en ;
    .

<http://viaf.org/viaf/306127725> # Bogdan Aman
    a schema:Person ;
    schema:familyName "Aman" ;
    schema:givenName "Bogdan" ;
    schema:name "Bogdan Aman" ;
    .

<http://viaf.org/viaf/5184977> # Gabriel Ciobanu
    a schema:Person ;
    schema:familyName "Ciobanu" ;
    schema:givenName "Gabriel" ;
    schema:name "Gabriel Ciobanu" ;
    .

<http://worldcat.org/entity/work/data/1044074177#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/760887745> ; # Mobility in process calculi and natural computing
    .

<http://worldcat.org/isbn/9783642248672>
    a schema:ProductModel ;
    schema:isbn "3642248675" ;
    schema:isbn "9783642248672" ;
    .

<http://worldcat.org/issn/1619-7127> # Natural computing series,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/760887745> ; # Mobility in process calculi and natural computing
    schema:issn "1619-7127" ;
    schema:name "Natural computing series," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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