yr 〜
yr

Search results 65

Theologizing of a Christian

Theologizing of a Christian
Digital電子書籍・電子雑誌図書
2021
Available onlineNational Diet Library
  • Author HeadingLeher, Stephan P.

Liedersammlung für Kinder und Kinderfreunde am Clavier (1791) : Frühlingslieder and Winterlieder

Liedersammlung für Kinder und Kinderfreunde am Clavier (1791) : Frühlingslieder and Winterlieder
Paper楽譜
edited by David J. BuchA-R Editionsc2014
Other Libraries in Japan
  • Author Heading...98 Fraundorfer Stephan, P Ferdinandi, Carl

Isogeometric methods for numerical simulation : course "isogeometric methods for numerical simulation" : ------. (CISM Courses and Lectures ; 561)

Isogeometric methods for numerical simulation : course "isogeometric methods for numerical simulation" : ------. (CISM Courses and Lectures ; 561)
Paper図書
Springer[2015]<M17-16-100>
National Diet Library

Advances in applied mechanics v. 57

Advances in applied mechanics v. 57
Paper図書
edited by Stéphane P.A. BordasAcademic Press2023
Other Libraries in Japan

Advances in applied mechanics v. 56

Advances in applied mechanics v. 56
Paper図書
edited by Stéphane P.A. BordasAcademic Press2023
Other Libraries in Japan

Partition of unity methods : Hardback

Partition of unity methods : Hardback
Paper図書
Stéphane P. A. Bordas, Alexander Menk, Sundararajan NatarajanJ. Wiley2024
Other Libraries in Japan

Advances in applied mechanics v. 55

Advances in applied mechanics v. 55
Paper図書
edited by Stéphane P.A. BordasAcademic Press2022
Other Libraries in Japan

Dignity and human rights : language philosophy and social realizations : hbk

Dignity and human rights : language philosophy and social realizations : hbk
Paper図書
Stephan P. LeherRoutledge2018
Other Libraries in Japan
  • Author HeadingLeher, Stephan P.

Advances in applied mechanics v. 53

Advances in applied mechanics v. 53
Paper図書
series editors, Stéphane P.A. Bordas, Daniel S. BalintAcademic Press2020
Other Libraries in Japan

Automated reasoning : 7th international joint conference, IJCAR 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 19-22, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8562. Lecture Notes in Artificial Intelligence)

Automated reasoning : 7th international joint conference, IJCAR 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 19-22, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8562. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-545>
National Diet Library

Geometrically unfitted finite element methods and applications : proceedings of the UCL workshop 2016

Geometrically unfitted finite element methods and applications : proceedings of the UCL workshop 2016
Paper図書
Stéphane P.A. Bordas ... [et al.], editorsSpringerc2017
Other Libraries in Japan

The material point method : theory, implementations and applications

The material point method : theory, implementations and applications
Paper図書
Vinh Phu Nguyen, Alban de Vaucorbeil, Stephane BordasSpringerc2023
Other Libraries in Japan

Advances in applied mechanics v. 54

Advances in applied mechanics v. 54
Paper図書
series editors, Stéphane Bordas, Daniel S. BalintAcademic Press, an imprint of Elsevier2021
Other Libraries in Japan

Molecular electromagnetism : a computational chemistry approach

Molecular electromagnetism : a computational chemistry approach
Paper図書
Stephan P.A. SauerOxford University Press2011
Other Libraries in Japan
  • Author HeadingSauer, Stephan P. A.

15th international symposium on temporal representation and reasoning : TIME 2008 : proceedings : 16-18 June 2008 : Montreal, Quebec, Canada. : Jun 2008, Montreal, Canada.

15th international symposium on temporal representation and reasoning : TIME 2008 : proceedings : 16-18 June 2008 : Montreal, Quebec, Canada. : Jun 2008, Montreal, Canada.
Paper図書
IEEE Computer Societyc2008.<M17-11-2710>
National Diet Library

Healthcare informatics : improving efficiency through technology, analytics, and management : hbk

Healthcare informatics : improving efficiency through technology, analytics, and management : hbk
Paper図書
Stephan P. Kudyba ; foreword by David BlumenthalCRC Press, Taylor & Francis Groupc2016
Other Libraries in Japan

Temporal logics in computer science : finite-state systems : hardback

Temporal logics in computer science : finite-state systems : hardback
Paper図書
Stéphane Demri, Valentin Goranko, Martin LangeCambridge University Press2016
Other Libraries in Japan

Isogeometric methods for numerical simulation : hardback

Isogeometric methods for numerical simulation : hardback
Paper図書
Gernot Beer, Stéphane Bordas, editorsSpringerc2015
Other Libraries in Japan

Yucca Mountain Site Characterization Project bibliography, January--June 1995. Supplement 4, Add.3: An update. BIBLIOGRAPHY DOE/OSTI-3406(Suppl.4)(Add.3) DE96 003570

Yucca Mountain Site Characterization Project bibliography, January--June 1995. Supplement 4, Add.3: An update. BIBLIOGRAPHY DOE/OSTI-3406(Suppl.4)(Add.3) DE96 003570
Microform規格・テクニカルリポート類
Stephan, P. M1996<LS-DE96/003570>
National Diet Library

Yucca Mountain Site Characterization Project Bibliography, January--June 1993. An update: Supplement 4, Addendum 1. BIBLIOGRAPHY DOE/OSTI-3406-Suppl.4-Add.1 DE94 014499

Yucca Mountain Site Characterization Project Bibliography, January--June 1993. An update: Supplement 4, Addendum 1. BIBLIOGRAPHY DOE/OSTI-3406-Suppl.4-Add.1 DE94 014499
Microform規格・テクニカルリポート類
Stephan, P. M1995<LS-DE94/014499>
National Diet Library