Mon compte Ma liste - 0
	Catalogue   Ressources numériques   Nouveautés   Liens utiles   Mon compte

Recherche rapide Recherche avancée Recherche alphabétique Historique Information

---

1. Practical MATLAB Modeling with Simulink : Programming and Simulating Ordinary and Partial Differential Equations Eshkabilov , Sulaymon L 1st ed. 2020. Apress , 2020      2. Logical Foundations of Cyber-Physical Systems Platzer , André 1st ed. 2018. Springer International Publishing , 2018      3. Three Views of Logic : Mathematics, Philosophy, and Computer Science Loveland , Donald W. Princeton University Press , 2014      4. Reading, writing, and proving : a closer look at mathematics Daepp , Ulrich Second edition Springer New York , 2011      5. An introduction to practical formal methods using temporal logic Fisher , Michael Wiley -- cop. 2011      6. 100 % de réussite au score IAE Message Attelan , Franck , 1977-.... 2e édition conforme aux nouvelles épreuves Ellipses , DL 2010      7. The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives Badesa , Calixto , 19..-.... Princeton University Press -- 2009      8. QCM de logique : aux concours des écoles de commerce, IAE, masters : Arpège, Passerelle, Tage Mage®, Tage 2®, Tests ESSEC, Tremplin, IPAG, Pass, Profils, Sesame, Team Attelan , Franck , 1977-.... Ellipses -- impr. 2007, cop. 2007      9. Schaum's outline of discrete mathematics Lipschutz , Seymour Saul , 1931-.... 3rd edition McGraw-Hill -- cop. 2007      10. Se préparer au test Message : admission en MSG, MSTCF, IUP : QCM de culture générale, QCM de raisonnement logique et mathématique, QCM d'économie et de droit, QCM d'anglais Attelan , Franck , 1977-.... Ellipses -- impr. 2006, cop. 2006

1

2

3

4

Suivant