• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 4 of 4

Author manuscript, published in "2nd Workshop on Process-based approaches for Model-Driven Engineering Denmark (2012)" 2nd Workshop on Process-based approaches for Model-Driven Engineering (submission) FORMAL AND FAULT TOLERANT DESIGN

by Ammar Aljer
"... The final decades of the 19 th century and the first decades of the 20 th century witnessed many efforts to formulate mathematics. Some fruits of these essays are Set theory, Propositional Logic, First Order Logic, etc. Introduced by Alonzo Church in the 1930s, λ-calculus is a primitive method to fo ..."
Abstract - Add to MetaCart
The final decades of the 19 th century and the first decades of the 20 th century witnessed many efforts to formulate mathematics. Some fruits of these essays are Set theory, Propositional Logic, First Order Logic, etc. Introduced by Alonzo Church in the 1930s, λ-calculus is a primitive method

DOCTEUR EN SCIENCES

by Bhaskar Biswas, Bhaskar Biswas , 2010
"... Implementational aspects of code-based cryptography ..."
Abstract - Add to MetaCart
Implementational aspects of code-based cryptography

TO CODE OR NOT TO CODE

by Présentée À La, Faculté Informatique, Et Communications, Section Des, Systèmes De Communication, Du Grade, De Docteur, Ès Sciences, Prof M. Vetterli, Prof B. Rimoldi, Prof R. Gallager, Prof A. Lapidoth, Prof J. Massey, Prof E. Telatar, Prof S. Verdú, Michael Gastpar, Amos Lapidoth, Jim Ma , 2002
"... de nationalité suisse et originaire de Zurich (ZH) et Lucerne (LU) acceptée sur proposition du jury: ..."
Abstract - Add to MetaCart
de nationalité suisse et originaire de Zurich (ZH) et Lucerne (LU) acceptée sur proposition du jury:

JEAN-LUC GENNISSON

by Universite Paris, Vi Pierre, Et Marie Curie, Espci Paristech, Habilitation A Diriger Des, Dr. Damien, Pr. Michel, Dr. Mickaël, Tanter Examinateur, Jean-luc Gennisson, H. D. R. Université, Paris Vi
"... RECHERCHES Elastographie par ondes de cisaillement ..."
Abstract - Add to MetaCart
RECHERCHES Elastographie par ondes de cisaillement
Results 1 - 4 of 4
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University