Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Formal_Aspects_of_Computing> ?p ?o. }
Showing items 1 to 74 of
74
with 100 items per page.
- Formal_Aspects_of_Computing abstract "Formal Aspects of Computing (FAC) is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.170.".
- Formal_Aspects_of_Computing academicDiscipline Computer_science.
- Formal_Aspects_of_Computing academicDiscipline Formal_methods.
- Formal_Aspects_of_Computing editor Cliff_Jones_(computer_scientist).
- Formal_Aspects_of_Computing editor Jim_Woodcock.
- Formal_Aspects_of_Computing firstPublicationYear "1989".
- Formal_Aspects_of_Computing frequencyOfPublication "Quarterly".
- Formal_Aspects_of_Computing impactFactor "1.17".
- Formal_Aspects_of_Computing impactFactorAsOf "2010".
- Formal_Aspects_of_Computing issn "0934-5043".
- Formal_Aspects_of_Computing issn "1433-299X".
- Formal_Aspects_of_Computing oclc "42939863".
- Formal_Aspects_of_Computing publisher Springer_Science+Business_Media.
- Formal_Aspects_of_Computing wikiPageExternalLink 00165.
- Formal_Aspects_of_Computing wikiPageExternalLink 0934-5043.
- Formal_Aspects_of_Computing wikiPageID "2583869".
- Formal_Aspects_of_Computing wikiPageRevisionID "593519200".
- Formal_Aspects_of_Computing cover File:Formal_Aspects_of_Computing.jpg.
- Formal_Aspects_of_Computing discipline Computer_science.
- Formal_Aspects_of_Computing discipline Formal_methods.
- Formal_Aspects_of_Computing editor Cliff_Jones_(computer_scientist).
- Formal_Aspects_of_Computing editor Jim_Woodcock.
- Formal_Aspects_of_Computing eissn "1433".
- Formal_Aspects_of_Computing frequency "Quarterly".
- Formal_Aspects_of_Computing hasPhotoCollection Formal_Aspects_of_Computing.
- Formal_Aspects_of_Computing history "1989".
- Formal_Aspects_of_Computing impact "1.17".
- Formal_Aspects_of_Computing impactYear "2010".
- Formal_Aspects_of_Computing issn "934".
- Formal_Aspects_of_Computing link 0934-5043.
- Formal_Aspects_of_Computing link1Name "Online access".
- Formal_Aspects_of_Computing oclc "42939863".
- Formal_Aspects_of_Computing publisher Springer_Science+Business_Media.
- Formal_Aspects_of_Computing title "Formal Aspects of Computing".
- Formal_Aspects_of_Computing website 00165.
- Formal_Aspects_of_Computing wordnet_type synset-magazine-noun-1.
- Formal_Aspects_of_Computing subject Category:British_Computer_Society.
- Formal_Aspects_of_Computing subject Category:Computer_science_journals.
- Formal_Aspects_of_Computing subject Category:English-language_journals.
- Formal_Aspects_of_Computing subject Category:Formal_methods_publications.
- Formal_Aspects_of_Computing subject Category:Publications_established_in_1989.
- Formal_Aspects_of_Computing subject Category:Quarterly_journals.
- Formal_Aspects_of_Computing subject Category:Springer_Science+Business_Media_academic_journals.
- Formal_Aspects_of_Computing type Artifact100021939.
- Formal_Aspects_of_Computing type ComputerScienceJournals.
- Formal_Aspects_of_Computing type Creation103129123.
- Formal_Aspects_of_Computing type English-languageJournals.
- Formal_Aspects_of_Computing type FormalMethodsPublications.
- Formal_Aspects_of_Computing type Object100002684.
- Formal_Aspects_of_Computing type Periodical106593296.
- Formal_Aspects_of_Computing type PhysicalEntity100001930.
- Formal_Aspects_of_Computing type Product104007894.
- Formal_Aspects_of_Computing type Publication106589574.
- Formal_Aspects_of_Computing type PublicationsEstablishedIn1989.
- Formal_Aspects_of_Computing type QuarterlyJournals.
- Formal_Aspects_of_Computing type SpringerAcademicJournals.
- Formal_Aspects_of_Computing type Whole100003553.
- Formal_Aspects_of_Computing type Work104599396.
- Formal_Aspects_of_Computing type AcademicJournal.
- Formal_Aspects_of_Computing type PeriodicalLiterature.
- Formal_Aspects_of_Computing type Work.
- Formal_Aspects_of_Computing type WrittenWork.
- Formal_Aspects_of_Computing type CreativeWork.
- Formal_Aspects_of_Computing type InformationEntity.
- Formal_Aspects_of_Computing comment "Formal Aspects of Computing (FAC) is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British Computer Society Formal Aspects of Computing Science Specialist Group. According to the Journal Citation Reports, the journal has a 2010 impact factor of 1.170.".
- Formal_Aspects_of_Computing label "Formal Aspects of Computing".
- Formal_Aspects_of_Computing sameAs m.07ppsz.
- Formal_Aspects_of_Computing sameAs Q5469945.
- Formal_Aspects_of_Computing sameAs Q5469945.
- Formal_Aspects_of_Computing sameAs Formal_Aspects_of_Computing.
- Formal_Aspects_of_Computing wasDerivedFrom Formal_Aspects_of_Computing?oldid=593519200.
- Formal_Aspects_of_Computing homepage 00165.
- Formal_Aspects_of_Computing isPrimaryTopicOf Formal_Aspects_of_Computing.
- Formal_Aspects_of_Computing name "Formal Aspects of Computing".