Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Article
|
Virtual and augmented reality for cultural computing and heritage: a case study of virtual exploration of underwater archaeological sites (preprint)Virtual reality : the journal of the Virtual Reality Society, 2010-10, Vol.15 (4), p.311-327 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1359-4338 ;EISSN: 1434-9957 ;DOI: 10.1007/s10055-010-0176-4Full text available |
|
2 |
Material Type: Article
|
Extended Model driven Architecture to B MethodUbiquitous Computing and Communication journal, 2012, p.34-42 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1992-8424 ;EISSN: 1992-8424Full text available |
|
3 |
Material Type: Article
|
Comparing first and second generation digital natives' internet use, internet anxiety, and internet identificationCyberpsychology, Behavior, and Social Networking, 2013-07, Vol.16 (7), p.549-552 [Peer Reviewed Journal]ISSN: 2152-2715 ;EISSN: 2152-2723 ;DOI: 10.1089/cyber.2012.0526Full text available |
|
4 |
Material Type: Article
|
A tndem affinity purification-based technology platform to study the cell cycle interactome in $Arabidopsis\ thalianaMolecular & cellular proteomics, 2007-07, Vol.6 (7), p.1226-1238 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1535-9476 ;EISSN: 1535-9484 ;DOI: 10.1074/mcp.M700078-MCP200Full text available |
|
5 |
Material Type: Thesises (postgraduate)
|
Energy self-sufficient embedded system for mobile communicating objectsDistributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
6 |
Material Type: Book
|
NWARADAR - Le format de fichier brt v1.0Distributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
7 |
Material Type: Article
|
Positive state controllability of positive linear systemsSystems & Control Letters, 2014-03, Vol.65 (1), p.23-29 [Peer Reviewed Journal]ISSN: 0167-6911 ;EISSN: 1872-7956 ;DOI: 10.1016/j.sysconle.2013.12.002Digital Resources/Online E-Resources |
|
8 |
Material Type: Article
|
Loop detection in term rewriting using the eliminating unfoldingsTheoretical computer science, 2008-08, Vol.403 (2-3), p.307-327 [Peer Reviewed Journal]Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1879-2294 ;EISSN: 1879-2294 ;DOI: 10.1016/J.TCS.2008.05.013Digital Resources/Online E-Resources |
|
9 |
Material Type: Article
|
Enrichment of homologs in insignificant BLAST hits by co-complex network alignmentinfo:eu-repo/semantics/OpenAccess ;ISSN: 1471-2105 ;EISSN: 1471-2105Full text available |
|
10 |
Material Type: Article
|
Hierarchical modelling and X-ray analysis of human dentine and enamelLecture Notes in Engineering and Computer Science, 2014-01, Vol.2209 (January), p.524-528 [Peer Reviewed Journal]ISSN: 2078-0958Full text available |
|
11 |
Material Type: Article
|
The diverse educational needs and challenges of Information Technology teachers in two black rural schoolsPerspectives in education, 2012-03, Vol.30 (1) [Peer Reviewed Journal]ISSN: 0258-2236 ;EISSN: 2519-593X ;DOI: 10.38140/pie.v30i1.1735Full text available |
|
12 |
Material Type: Thesises (postgraduate)
|
Topics in Low-Dimensional Computational TopologyDistributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
13 |
Material Type: Article
|
Towards an Approach of Formal Verification of Web Service CompositionInternational journal on advances in intelligent systems, 2011-04Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1942-2679 ;EISSN: 1942-2679Digital Resources/Online E-Resources |
|
14 |
Material Type: Article
|
Computer science unplugged: school students doing real computing without computersNew Zealand Journal of Applied Computing and Information Technology, 2009, Vol.13 (1), p.20-29 [Peer Reviewed Journal]ISSN: 1174-0175Digital Resources/Online E-Resources |
|
15 |
Material Type: Conference Proceeding
|
Formalisation of Mediation Protocol for Web Services Composition with ACME/ARMANI ADLDistributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
16 |
Material Type: Book Chapter
|
Formal Methods Applied to Complex SystemsFormal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering Series), 2014 (1)Distributed under a Creative Commons Attribution 4.0 International License ;ISBN: 9781848217096 ;ISBN: 1848217099 ;DOI: 10.1002/9781119002727Full text available |
|
17 |
Material Type: Conference Proceeding
|
LFA 2013 : Actes des 22èmes rencontres francophones sur la Logique Floue et ses Applications, 10-11 octobre 2013, Reims, FranceDistributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
18 |
Material Type: Reports
|
Educause conference 2014 - French delegation report & visits to MIT & University of central FloridaAttribution - NonCommercialDigital Resources/Online E-Resources |
|
19 |
Material Type: Conference Proceeding
|
Computer science without computers: new outreach methods from old tricks21st Annual Conference of the National Advisory Committee on Computing Qualifications (NACCQ 2008)cil, 2008, p.127-133 [Peer Reviewed Journal]Digital Resources/Online E-Resources |
|
20 |
Material Type: Thesises (postgraduate)
|
Exploration autonome et construction de cartes topologiques référencées vision omnidirectionnelleDistributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |