skip to main content
Language:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Results 1 - 20 of 1,207  for All Library Resources

Results 1 2 3 4 5 next page
Show only
Refined by: New Records: New From Last 3 Month remove creation date: 2005 To 2014 remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Virtual and augmented reality for cultural computing and heritage: a case study of virtual exploration of underwater archaeological sites (preprint)
Material Type:
Article
Add to My Research

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-4

Full text available

2
Extended Model driven Architecture to B Method
Material Type:
Article
Add to My Research

Extended Model driven Architecture to B Method

Ubiquitous 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-8424

Full text available

3
Comparing first and second generation digital natives' internet use, internet anxiety, and internet identification
Material Type:
Article
Add to My Research

Comparing first and second generation digital natives' internet use, internet anxiety, and internet identification

Cyberpsychology, 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.0526

Full text available

4
A tndem affinity purification-based technology platform to study the cell cycle interactome in $Arabidopsis\ thaliana
Material Type:
Article
Add to My Research

A tndem affinity purification-based technology platform to study the cell cycle interactome in $Arabidopsis\ thaliana

Molecular & 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-MCP200

Full text available

5
Energy self-sufficient embedded system for mobile communicating objects
Material Type:
Thesises (postgraduate)
Add to My Research

Energy self-sufficient embedded system for mobile communicating objects

Distributed under a Creative Commons Attribution 4.0 International License

Digital Resources/Online E-Resources

6
NWARADAR - Le format de fichier brt v1.0
Material Type:
Book
Add to My Research

NWARADAR - Le format de fichier brt v1.0

Distributed under a Creative Commons Attribution 4.0 International License

Digital Resources/Online E-Resources

7
Positive state controllability of positive linear systems
Material Type:
Article
Add to My Research

Positive state controllability of positive linear systems

Systems & 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.002

Digital Resources/Online E-Resources

8
Loop detection in term rewriting using the eliminating unfoldings
Material Type:
Article
Add to My Research

Loop detection in term rewriting using the eliminating unfoldings

Theoretical 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.013

Digital Resources/Online E-Resources

9
Enrichment of homologs in insignificant BLAST hits by co-complex network alignment
Material Type:
Article
Add to My Research

Enrichment of homologs in insignificant BLAST hits by co-complex network alignment

info:eu-repo/semantics/OpenAccess ;ISSN: 1471-2105 ;EISSN: 1471-2105

Full text available

10
Hierarchical modelling and X-ray analysis of human dentine and enamel
Material Type:
Article
Add to My Research

Hierarchical modelling and X-ray analysis of human dentine and enamel

Lecture Notes in Engineering and Computer Science, 2014-01, Vol.2209 (January), p.524-528 [Peer Reviewed Journal]

ISSN: 2078-0958

Full text available

11
The diverse educational needs and challenges of Information Technology teachers in two black rural schools
Material Type:
Article
Add to My Research

The diverse educational needs and challenges of Information Technology teachers in two black rural schools

Perspectives in education, 2012-03, Vol.30 (1) [Peer Reviewed Journal]

ISSN: 0258-2236 ;EISSN: 2519-593X ;DOI: 10.38140/pie.v30i1.1735

Full text available

12
Topics in Low-Dimensional Computational Topology
Material Type:
Thesises (postgraduate)
Add to My Research

Topics in Low-Dimensional Computational Topology

Distributed under a Creative Commons Attribution 4.0 International License

Digital Resources/Online E-Resources

13
Towards an Approach of Formal Verification of Web Service Composition
Material Type:
Article
Add to My Research

Towards an Approach of Formal Verification of Web Service Composition

International journal on advances in intelligent systems, 2011-04

Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 1942-2679 ;EISSN: 1942-2679

Digital Resources/Online E-Resources

14
Computer science unplugged: school students doing real computing without computers
Material Type:
Article
Add to My Research

Computer science unplugged: school students doing real computing without computers

New Zealand Journal of Applied Computing and Information Technology, 2009, Vol.13 (1), p.20-29 [Peer Reviewed Journal]

ISSN: 1174-0175

Digital Resources/Online E-Resources

15
Formalisation of Mediation Protocol for Web Services Composition with ACME/ARMANI ADL
Material Type:
Conference Proceeding
Add to My Research

Formalisation of Mediation Protocol for Web Services Composition with ACME/ARMANI ADL

Distributed under a Creative Commons Attribution 4.0 International License

Digital Resources/Online E-Resources

16
Formal Methods Applied to Complex Systems
Material Type:
Book Chapter
Add to My Research

Formal Methods Applied to Complex Systems

Formal 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/9781119002727

Full text available

17
LFA 2013 : Actes des 22èmes rencontres francophones sur la Logique Floue et ses Applications, 10-11 octobre 2013, Reims, France
Material Type:
Conference Proceeding
Add to My Research

LFA 2013 : Actes des 22èmes rencontres francophones sur la Logique Floue et ses Applications, 10-11 octobre 2013, Reims, France

Distributed under a Creative Commons Attribution 4.0 International License

Digital Resources/Online E-Resources

18
Educause conference 2014 - French delegation report & visits to MIT & University of central Florida
Material Type:
Reports
Add to My Research

Educause conference 2014 - French delegation report & visits to MIT & University of central Florida

Attribution - NonCommercial

Digital Resources/Online E-Resources

19
Computer science without computers: new outreach methods from old tricks
Material Type:
Conference Proceeding
Add to My Research

Computer science without computers: new outreach methods from old tricks

21st 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
Exploration autonome et construction de cartes topologiques référencées vision omnidirectionnelle
Material Type:
Thesises (postgraduate)
Add to My Research

Exploration autonome et construction de cartes topologiques référencées vision omnidirectionnelle

Distributed under a Creative Commons Attribution 4.0 International License

Digital Resources/Online E-Resources

Results 1 - 20 of 1,207  for All Library Resources

Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (524)

Refine My Results

Creation Date 

From To
  1. Before 2006  (34)
  2. 2006 To 2007  (87)
  3. 2008 To 2009  (266)
  4. 2010 To 2012  (544)
  5. After 2012  (277)
  6. More options open sub menu

Language 

  1. English  (1,140)
  2. French  (33)
  3. Ukrainian  (19)
  4. Spanish  (10)
  5. Korean  (5)
  6. Croatian  (3)
  7. Swahili  (3)
  8. Catalan  (1)
  9. More options open sub menu

Searching Remote Databases, Please Wait