المؤلفون: Khavnekar, Sagar, Obr, Martin, Zhang, Xianjun, Kelley, Ron, Waltz, Florent, Engel, Ben, Plitzko, Juergen, Kotecha, Abhay

المصدر: Journal of Biological Chemistry ; volume 300, issue 3, page 105803 ; ISSN 0021-9258

مصطلحات موضوعية: Cell Biology, Molecular Biology, Biochemistry

الإتاحة: https://doi.org/10.1016/j.jbc.2024.105803Test
https://api.elsevier.com/content/article/PII:S0021925824001790?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S0021925824001790?httpAccept=text/plainTest

المؤلفون: Khavnekar, Sagar, Kelley, Ron, Waltz, Florent, Wietrzynski, Wojciech, Zhang, Xianjun, Obr, Martin, Tagiltsev, Grigory, Beck, Florian, Wan, William, Briggs, John, Engel, Ben, Plitzko, Juergen, Kotecha, Abhay

وصف الملف: application/pdf

العلاقة: https://edoc.unibas.ch/95534/1/ozad067.480.pdfTest; Khavnekar, Sagar and Kelley, Ron and Waltz, Florent and Wietrzynski, Wojciech and Zhang, Xianjun and Obr, Martin and Tagiltsev, Grigory and Beck, Florian and Wan, William and Briggs, John and Engel, Ben and Plitzko, Juergen and Kotecha, Abhay. (2023) Towards the Visual Proteomics of C. reinhardtii using High-throughput Collaborative in situ Cryo-ET. Microscopy and Microanalysis, 29 (Supplement 1). pp. 961-963.; info:pmid/37613825; urn:ISSN:1431-9276; urn:ISSN:1435-8115

الإتاحة: https://doi.org/10.1093/micmic/ozad067.480Test
https://edoc.unibas.ch/95534Test/
https://edoc.unibas.ch/95534/1/ozad067.480.pdfTest

المؤلفون: Villa, Elizabeth, Schaffer, Miroslava, Engel, Ben, Plitzko, Jürgen, Baumeister, Wolfgang

المصدر: Microscopy and Microanalysis ; volume 20, issue S3, page 1222-1223 ; ISSN 1431-9276 1435-8115

مصطلحات موضوعية: Instrumentation

الإتاحة: https://doi.org/10.1017/s1431927614007843Test
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S1431927614007843Test

المؤلفون: Purcell, David, Mortensen, Cole, Goodell, Edward, Hayward, Tina, Engel, Ben

المصدر: Utah Space Grant Consortium

وصف الملف: application/pdf

العلاقة: https://digitalcommons.usu.edu/spacegrant/2019/Poster_session/10Test; https://digitalcommons.usu.edu/context/spacegrant/article/1592/viewcontent/SpaceGrantconf2019PurcellMortensenGoodell_MartianMiningDesigning.pdfTest

الإتاحة: https://digitalcommons.usu.edu/spacegrant/2019/Poster_session/10Test
https://digitalcommons.usu.edu/context/spacegrant/article/1592/viewcontent/SpaceGrantconf2019PurcellMortensenGoodell_MartianMiningDesigning.pdfTest

المؤلفون: Engel, Ben

المصدر: The Journal of American Culture ; volume 38, issue 2, page 190-191 ; ISSN 1542-7331 1542-734X

الإتاحة: https://doi.org/10.1111/jacc.12334Test

المؤلفون: Patterson, Brandon, Engel, Ben, Holle, Willis

المصدر: Code4Lib Journal; 2022, Issue 53, pN.PAG-N.PAG, 1p, 3 Color Photographs

مصطلحات موضوعية: THREE-dimensional printing, MEDICAL libraries, RESEARCH libraries, LIBRARY personnel, 3-D printers, PAYMENT systems, LIBRARIES

المؤلفون: Baier, Christel, Engel, Benjamin, Klüppelholz, Sascha, Märcker, Steffen, Tews, Hendrik, Völp, Marcus

المصدر: NASA Formal Methods Lecture Notes in Computer Science, Volume 7871, 2013, pp 307-321, ISSN: 0302-9743

مصطلحات موضوعية: info:eu-repo/classification/ddc/004, ddc:004, Probabilistisches Modell, Synchronisation, Sonderforschungsbereich 912, Hochadaptive Energieeffiziente Systeme, Probabilistic model checking, synchronization, Collaborative Research Centre 912, Highly Adaptive Energy-Efficient Computing

الإتاحة: https://tud.qucosa.de/id/qucosa%3A27341Test
https://tud.qucosa.de/api/qucosa%3A27341/attachment/ATT-0Test/

المؤلفون: Baier, Christel, Daum, Marcus, Engel, Benjamin, Härtig, Hermann, Klein, Joachim, Klüppelholz, Sascha, Märcker, Steffen, Tews, Hendrik, Völp, Marcus

المصدر: Franck Cassez, Ralf Huuck, Gerwin Klein and Bastian Schlich (Hrsg.): Proceedings Seventh Conference on Systems Software Verification (SSV 2012), Sydney, Australia, 28-30 November 2012, Electronic Proceedings in Theoretical Computer Science 102, S.. 156–166

مصطلحات موضوعية: info:eu-repo/classification/ddc/004, ddc:004, Sonderforschungsbereich 912, Hochadaptive Energieeffiziente Systeme, Betriebssystem, Logik, Collaborative Research Centre 912, Highly Adaptive Energy-Efficient Computing, Logic in Computer Science, Operating Systems, Software Engineering, symmetry reduction

الإتاحة: https://tud.qucosa.de/id/qucosa%3A27132Test
https://tud.qucosa.de/api/qucosa%3A27132/attachment/ATT-1Test/

المؤلفون: Baier, Christel, Daum, Marcus, Engel, Benjamin, Härtig, Hermann, Klein, Joachim, Klüppelholz, Sascha, Märcker, Steffen, Tews, Hendrik, Völp, Marcus

المصدر: Formal Methods for Industrial Critical Systems: 17th International Workshop on Formal methods for industrial critical systems, Paris, France, August 27-28, 2012, Proceedings, S. 47-62, ISBN: 978-3-642-32469-7, ISSN: 0302-9743

مصطلحات موضوعية: info:eu-repo/classification/ddc/004, ddc:004, Zugriffssperre, sicherheitskritische Systeme, Logik, Betriebssystem, Markov-Kette, Sonderforschungsbereich 912, Hochadaptive Energieeffiziente Systeme, Locks, safety-critical systems, Software Engineering, Logics, operating system, Markov chain, Collaborative Research Centre 912, Highly Adaptive Energy-Efficient Computing

الإتاحة: https://tud.qucosa.de/id/qucosa%3A27128Test
https://tud.qucosa.de/api/qucosa%3A27128/attachment/ATT-0Test/

المؤلفون: Engel, Benjamin

المصدر: View online.

مصطلحات موضوعية: Short stories.

الإتاحة: http://ecommons.txstate.edu/engltad/11Test