컨텐츠로 이동
Formal aspects of computing 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

Formal aspects of computing

저자: LINK (Service en ligne)
출판사: London : British Computer Science, 1989-
판/형식:   전자저널, 전자잡지 : 문서 : 정기 간행물 : 영어모든 판과 형식 보기
데이터베이스:WorldCat
평가:

(아무런 평가가 없습니다.) 0 리뷰와 함께 - 첫번째로 올려주세요.

주제
다음과 같습니다:

 

온라인으로 문서 찾기

도서관에서 사본 찾기

&AllPage.SpinnerRetrieving; 해당항목을 보유하고 있는 도서관을 찾는 중

상세정보

장르/형태: Périodique électronique (Descripteur de forme)
Ressource Internet (Descripteur de forme)
추가적인 물리적 형식: Formal aspects of computing
자료 유형: 문서, 정기 간행물, 인터넷 자료
문서 형식: 인터넷 자원, 컴퓨터 파일, 저널 / 잡지 / 신문
모든 저자 / 참여자: LINK (Service en ligne)
ISSN:1433-299X
OCLC 번호: 757716423
메모: "The international journal of formal methods."
Description d'après: Vol. 10, no. 1 (Jan. 1998) ; titre de l'écran-titre (visionné le 19 mars 2001).
In SpringerLink (RCDR).
세부사항: Mode d'accès: Web.
다른 제목 Formal aspects of computing (En ligne)

리뷰

사용자-기여 리뷰
GoodReads 리뷰 가져오는 중…
DOGObooks 리뷰를 가지고 오는 중…

태그

첫번째 되기

유사 항목

관련 주제:(1)

요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 Ok을 선택하세요.

링크된 데이터


Primary Entity

<http://www.worldcat.org/oclc/757716423> # Formal aspects of computing
    a schema:Periodical, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "757716423" ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/56495345#Topic/informatique> ; # Informatique
   schema:about <http://dewey.info/class/004.05/e20/> ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/56495345#Organization/link_service_en_ligne> ; # LINK (Service en ligne)
   schema:datePublished "1989/" ;
   schema:datePublished "1989/9999" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/56495345> ; # Formal aspects of computing (En ligne)
   schema:genre "Ressource Internet (Descripteur de forme)" ;
   schema:genre "Périodique électronique (Descripteur de forme)" ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/56495345#CreativeWork/formal_aspects_of_computing> ;
   schema:name "Formal aspects of computing" ;
   schema:productID "757716423" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/757716423#PublicationEvent/london_british_computer_science_1989> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/56495345#Agent/british_computer_science> ; # British Computer Science
   schema:url <http://accesbib.uqam.ca/cgi-bin/bduqam/transit.pl?bd=perio&noMan=02-1688958> ;
   schema:workExample <http://worldcat.org/issn/1433-299X> ; # Formal aspects of computing
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/757716423> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/56495345#Agent/british_computer_science> # British Computer Science
    a bgn:Agent ;
   schema:name "British Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/56495345#Organization/link_service_en_ligne> # LINK (Service en ligne)
    a schema:Organization ;
   schema:name "LINK (Service en ligne)" ;
    .

<http://worldcat.org/entity/work/id/56495345> # Formal aspects of computing (En ligne)
   schema:name "Formal aspects of computing (En ligne)" ;
   umbel:isLike <http://worldcat.org/issn/1433-299X> ; # Formal aspects of computing
    .

<http://worldcat.org/issn/1433-299X> # Formal aspects of computing
    a schema:Periodical ;
   schema:issn "1433-299X" ;
   schema:name "Formal aspects of computing" ;
   umbel:isLike <http://worldcat.org/entity/work/id/56495345> ; # Formal aspects of computing (En ligne)
    .


Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.