Showing
1 - 4
results of
4
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Jomaa, Narjes
Search Results - Jomaa, Narjes
Showing
1 - 4
results of
4
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Formal proof of dynamic memory isolation based on MMU
by
Jomaa, Narjes
,
Nowak, David
,
Grimaud, Gilles
,
Hym, Samuel
Published in
Science of computer programming
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
2
Loading…
Hole mobility in Ge/Si core/shell nanowires: What could be the optimum?
by
Li, Jing
,
Jomaa, Narjes
,
Niquet, Yann-Michel
,
Said, Moncef
,
Delerue, Christophe
Published in
Applied physics letters
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
3
Loading…
Code to Qed, the Project Manager's Guide to Proof Engineering
by
Dejon, Nicolas
,
Gaber, Chrystel
,
Grimaud, Gilles
,
Jomaa, Narjes
Published in
ACM transactions on software engineering and methodology
Get full text
Items that this one cites
Article
Save to List
Saved in:
4
Loading…
Intrinsic strain effects on Ge/Si core/shell nanowires: Insights from atomistic simulations
by
Jomaa, Narjes
,
Delerue, Christophe
,
Said, Moncef
Published in
Superlattices and microstructures
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
3 results
3
Full Text
4 results
4
Format
Articles
4 results
4
Journal Title
Acm Transactions On Software Engineering And Methodology
1 results
1
Applied Physics Letters
1 results
1
Science Of Computer Programming
1 results
1
Superlattices And Microstructures
1 results
1
Subjects
Science & Technology
4 results
4
Computer Science
2 results
2
Computer Science, Software Engineering
2 results
2
Condensed Matter
2 results
2
Physical Sciences
2 results
2
Physics
2 results
2
Technology
2 results
2
Applied Physics
1 results
1
Band Structure
1 results
1
Bandgap
1 results
1
Condensed Matter Physics, Superconductivity And Superfluidity
1 results
1
Confinement
1 results
1
Coq
1 results
1
Electron Phonon Interactions
1 results
1
Electron-Phonon Coupling
1 results
1
Field Effect Transistors
1 results
1
Formal Proof
1 results
1
Formal Software Verification
1 results
1
Ge/Si Core/Shell Nanowires
1 results
1
Germanium
1 results
1
Year of Publication
From:
To:
Source
Science Citation Index Expanded (Web Of Science)
3 results
3
Sciencedirect - Connect Here First To Enable Access
2 results
2
Sciencedirect Journals
2 results
2
American Institute Of Physics:jisc Collections:transitional Journals Agreement 2021-23 (Reading List)
1 results
1
Acm Digital Library
1 results
1
Bacon - Elsevier - Global Sciencedirect-Openaccess
1 results
1
Association For Computing Machinery:jisc Collections:acm Open Journals 2023-2025 (Reading List)
1 results
1
Aip Digital Archive
1 results
1
Free E-Journal (出版社公開部分のみ)
1 results
1
American Institute Of Physics
1 results
1
Backfile Package - Materials Science [Yms]
1 results
1
Backfile Package - Physics General (Legacy) [Ypa]
1 results
1