-
1دورية أكاديمية
المؤلفون: Iannis Dandouras, Matt G. G. T. Taylor, Johan De Keyser, Yoshifumi Futaana, Ruth A. Bamford, Graziella Branduardi-Raymont, Jean-Yves Chaufray, Dragos Constantinescu, Elisabetta De Angelis, Pierre Devoto, Jonathan Eastwood, Marius Echim, Philippe Garnier, Benjamin Grison, David Hercik, Helmut Lammer, André Laurens, François Leblanc, Anna Milillo, Rumi Nakamura, Lubomír Přech, Elias Roussos, Štěpán Štverák, Julien Forest, Arnaud Trouche, Sébastien L. G. Hess, Jean-Charles Mateo-Vélez, James Carpenter, Josef Winter
المصدر: Frontiers in Astronomy and Space Sciences, Vol 10 (2023)
مصطلحات موضوعية: Moon, deep space, space plasmas, heliophysics, space weather, gateway, Astronomy, QB1-991, Geophysics. Cosmic physics, QC801-809
وصف الملف: electronic resource
العلاقة: https://www.frontiersin.org/articles/10.3389/fspas.2023.1120302/fullTest; https://doaj.org/toc/2296-987XTest
-
2دورية أكاديمية
المؤلفون: Laurent Artola, Benjamin Ruard, Julien Forest, Guillaume Hubert
المصدر: Electronics, Vol 12, Iss 3968, p 3968 (2023)
مصطلحات موضوعية: single event upset, near-threshold region, Schmitt trigger, static noise margin, upset threshold voltage, very low power, Electronics, TK7800-8360
العلاقة: https://www.mdpi.com/2079-9292/12/18/3968Test; https://doaj.org/toc/2079-9292Test; https://doaj.org/article/4ded0246727d40168d432c454cf44a52Test
الإتاحة: https://doi.org/10.3390/electronics12183968Test
https://doaj.org/article/4ded0246727d40168d432c454cf44a52Test -
3
المؤلفون: Stefano Bianco, Yuri Shprits, Ruggero Vasile, Michael Wutzig, Dedong Wang, Melanie Burns, Bernhard Haas, Tony Arber, Keith Bennett, Ondrej Santolik, Ivana Kolmasova, Ulrich Taubenschuss, Mike Liemohn, Bart van der Holst, Julien Forest, Arnaud Trouche, Benoit Tezenas du Montcel
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::c9b7f91a986e35781c1ae0bdea1bd601Test
https://doi.org/10.5194/egusphere-egu23-8128Test -
4دورية أكاديمية
المؤلفون: Évelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: formal proof, proof automation, proof assistant Digital Object Identifier 10.4230/LIPIcs.RTA.2011.21 Category System Description
وصف الملف: application/pdf
-
5دورية أكاديمية
المؤلفون: Alain Boulze, Stéphane Bagnier, Julien Forest, Sébastien Jourdain, Ebm Websourcing, Mohammed El Jai, Claude Meynier, Jérôme Besnainou, Marcel Arrufat Arias, Guillaume Vaudaux-ruth
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
-
6دورية أكاديمية
المؤلفون: Évelyne Contejean, Andrei Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Categories and Subject Descriptors F.3.1 [Logics and Meaning of Programs, Specifying and Verifying and Reasoning about Programs, I.2.3 [Deduction and Theorem Proving, Deduction General Terms Theory, Verification Keywords Automated Reasoning, Formal Proof, Term Rewriting, Termination
وصف الملف: application/pdf
-
7دورية أكاديمية
المؤلفون: Benoît Thiébault, Alain Hilgers, Eloy Sasot, Vincent Génot, Harri Laakso, Julien Forest
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
-
8دورية أكاديمية
المؤلفون: Évelyne Contejean, Julien Forest, Xavier Urbain
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
-
9دورية أكاديمية
المؤلفون: Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf
-
10دورية أكاديمية
المؤلفون: Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu
المساهمون: The Pennsylvania State University CiteSeerX Archives
وصف الملف: application/pdf