Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Formal_Aspects_of_Computing> ?p ?o }
Showing triples 1 to 97 of
97
with 100 triples 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 wikiPageLength "2011".
- Formal_Aspects_of_Computing wikiPageOutDegree "27".
- Formal_Aspects_of_Computing wikiPageRevisionID "593519200".
- Formal_Aspects_of_Computing wikiPageWikiLink Acta_Informatica.
- Formal_Aspects_of_Computing wikiPageWikiLink BCS-FACS.
- Formal_Aspects_of_Computing wikiPageWikiLink British_Computer_Society.
- Formal_Aspects_of_Computing wikiPageWikiLink Category:British_Computer_Society.
- Formal_Aspects_of_Computing wikiPageWikiLink Category:Computer_science_journals.
- Formal_Aspects_of_Computing wikiPageWikiLink Category:English-language_journals.
- Formal_Aspects_of_Computing wikiPageWikiLink Category:Formal_methods_publications.
- Formal_Aspects_of_Computing wikiPageWikiLink Category:Publications_established_in_1989.
- Formal_Aspects_of_Computing wikiPageWikiLink Category:Quarterly_journals.
- Formal_Aspects_of_Computing wikiPageWikiLink Category:Springer_Science+Business_Media_academic_journals.
- Formal_Aspects_of_Computing wikiPageWikiLink Cliff_Jones_(computer_scientist).
- Formal_Aspects_of_Computing wikiPageWikiLink Computer_science.
- Formal_Aspects_of_Computing wikiPageWikiLink Editor-in-chief.
- Formal_Aspects_of_Computing wikiPageWikiLink File:Formal_Aspects_of_Computing.jpg.
- Formal_Aspects_of_Computing wikiPageWikiLink Formal_methods.
- Formal_Aspects_of_Computing wikiPageWikiLink Impact_factor.
- Formal_Aspects_of_Computing wikiPageWikiLink Innovations_in_Systems_and_Software_Engineering.
- Formal_Aspects_of_Computing wikiPageWikiLink Jim_Woodcock.
- Formal_Aspects_of_Computing wikiPageWikiLink Journal_Citation_Reports.
- Formal_Aspects_of_Computing wikiPageWikiLink Peer_review.
- Formal_Aspects_of_Computing wikiPageWikiLink Scientific_journal.
- Formal_Aspects_of_Computing wikiPageWikiLink Springer_Science+Business_Media.
- Formal_Aspects_of_Computing wikiPageWikiLinkText "Formal Aspects of Computing".
- 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 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 wikiPageUsesTemplate Template:Infobox_journal.
- Formal_Aspects_of_Computing wikiPageUsesTemplate Template:Official_website.
- Formal_Aspects_of_Computing wikiPageUsesTemplate Template:Reflist.
- 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 hypernym Journal.
- Formal_Aspects_of_Computing type AcademicJournal.
- Formal_Aspects_of_Computing type Organisation.
- Formal_Aspects_of_Computing type PeriodicalLiterature.
- Formal_Aspects_of_Computing type Work.
- Formal_Aspects_of_Computing type WrittenWork.
- Formal_Aspects_of_Computing type Association.
- Formal_Aspects_of_Computing type Establishment.
- Formal_Aspects_of_Computing type Method.
- Formal_Aspects_of_Computing type Organisation.
- Formal_Aspects_of_Computing type Organization.
- Formal_Aspects_of_Computing type Publication.
- Formal_Aspects_of_Computing type Redirect.
- Formal_Aspects_of_Computing type Organization.
- Formal_Aspects_of_Computing type CreativeWork.
- Formal_Aspects_of_Computing type Thing.
- Formal_Aspects_of_Computing type Q1092563.
- Formal_Aspects_of_Computing type Q386724.
- Formal_Aspects_of_Computing type Q737498.
- 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 Q5469945.
- Formal_Aspects_of_Computing sameAs m.07ppsz.
- Formal_Aspects_of_Computing sameAs Q5469945.
- 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".