J calmet (8 Ergebnisse)
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 54,92
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,07
EUR 13,98 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Weitere BilderScripturae sacrae, cursus completus. Tomus Septimus ( Tome VII - 7 -) : In Numeros. In Deuteronomium. In Josuam. Sequitur in Numeros Commentarium - In Deuteronomium Commentarium ( Cornelius a Lapide) ; In numeros dissertatio - De balaami prophetiis - De beelphegor, Chamos, caeterisque moabitarum diis (Calmet Augustin) - De XLII Mansionibus aut stationibus Israelitarum - In Deuteronomium - De Politia, sive ratione juris dicendi apud veteres Hebraeos, et potissimum de sanhedrio - De Suppliciis quorum in sacrâ scripturâ mentio - De connubiis hebraeorum (Calmet Augustin) - De Muliere hebraeâ et de Connubiis apud Judaeos recentiores (Munck D.) - De Divortiis (Calmet Augustin) - De natura animae, et ejus post mortem statu, ex sententia veterum Hebraeorum (Calmet Augustin) - De gigantibus (Calmet Augustin) - In prophetiam Moysis, de prophetâ à Deo promisso - De Moysis obitu et sepultura (Calmet Augustin) - Instructiones et mysteria quae in singulis Pentateuchi libris continentur - Divus Hiero
MIGNE, J.P. (dir.) ; Cornelius a Lapide ; Calmet, Augustin ; , Bible dite de Vence ; Biblia Cahen ; D. Hieronymus ; Masius
Sprache: Französisch
Verlag: Apud Editores, 1841
- Hardcover
Anbieter: Librairie du Cardinal, GRADIGNAN, FrankreichLibrairie du Cardinal
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut bis sehr gut
EUR 31,00
EUR 25,00 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
In den Warenkorbrigide. Zustand: Bon. Ex. commentariis omnium perfectissimis ubique habitis, et a magna parte episcoporum necnon theologorum europe catholicae, universim ad hoc interrogatorum, designatis, unicè conflatus, plurimis annotantibus presbyteris ad docendo levitas pascendove populos altè positis. Annotavit vero simul et edidit J.P. Mi…gne, 1 vol. in-4 reliure demi-basane bordeaux, Apud Editores, 1841 Tome VII : In Numeros. In Deuteronomium. In Josuam. Sequitur in Numeros Commentarium - In Deuteronomium Commentarium ( Cornelius a Lapide) ; In numeros dissertatio - De balaami prophetiis - De beelphegor, Chamos, caeterisque moabitarum diis (Calmet Augustin) - De XLII Mansionibus aut stationibus Israelitarum - In Deuteronomium - De Politia, sive ratione juris dicendi apud veteres Hebraeos, et potissimum de sanhedrio - De Suppliciis quorum in sacrâ scripturâ mentio - De connubiis hebraeorum (Calmet Augustin) - De Muliere hebraeâ et de Connubiis apud Judaeos recentiores (Munck D.) - De Divortiis (Calmet Augustin) - De natura animae, et ejus post mortem statu, ex sententia veterum Hebraeorum (Calmet Augustin) - De gigantibus (Calmet Augustin) - In prophetiam Moysis, de prophetâ à Deo promisso - De Moysis obitu et sepultura (Calmet Augustin) - Instructiones et mysteria quae in singulis Pentateuchi libris continentur - Divus Hieronymus in universum pentateuchum (Jérôme (père latin) - In librum Josuae (Jahn Johannes) Tome 7 seul. Agréable exemplaire de bibliothèque (anciens cachets d'institution religieuse et étiquette de cote en garde, bon exemplaire par ailleurs). Langue: Français.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 51,36
EUR 61,68 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presented together with 2 invited papers…were carefully reviewed and selected from 22 submissions. The goals were on one side to bind mathematical domains such as algebraic topology or algebraic geometry to AI but also to link AI to domains outside pure algorithmic computing. The papers address all current aspects in the area of symbolic computing and AI: basic concepts of computability and new Turing machines; logics including non-classical ones; reasoning; learning; decision support systems; and machine intelligence and epistemology and philosophy of symbolic mathematical computing.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,44 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Asymptotically fast algorithms for the numerical muitiplication and division of polynomials with complex coefficients.- An adaptive hybrid algorithm for multiplying dense polynomials.- The construction of multivariate polynomials with preassigned zer…os.- Lattices and factorization of polynomials over algebraic number fields.- Commutative algebra and computer algebra.- The nielsen reduction as key problem to polynomial algorithms in free groups.- The structure of near-rings of small order.- Computing double coset representatives for the generation of solvable groups.- On the determination of algebraic number fields of given discriminant.- Rewrite rule theory and abstract data type analysis.- Algebraic specifications: A constructive methodology in logic programming.- A theorem-proving approach to the Knuth-Bendix completion algorithm.- Solving symbolic equations with press.- Deterministic versus probabilistic factorization of integral polynomials.- On polynomial factorization.- Hacijan's algorithm in VAXIMA: improvements and difficulties.- The parallel Risch algorithm (I).- An algorithm to compute the equations of tangent cones.- Computer algebra systems viewed by a notorious user.- Implementation of differential geometric objects and functions with an application to extended Maxwell equations.- A sum-substitutor used as trigonometric simplifier.- Transformation of an intractable problem into a tractable problem: Evaluation of a determinant in several variables.- Algebraic computation of the solution of some nonlinear differential equations.- Factorization in cylindrical algebraic decomposition - Abstract.- Cylindrical algebraic decomposition by quantifier elimination.- Algorithms for the computation of free lattices.- Linear algebraic approach for computing polynomialresultant.- The development of a vector-based algebra system.- Nlargeing a z80 microprocessor.- Escaping from intermediate expression swell: a continuing saga.- REDUCE - A case study in algebra system development.- An algorithm to obtain formal solutions of a linear homogeneous differential equation at an irregular singular point.- Symbolic numeric methods in microwave technology.- A program in REDUCE for finding explicit solutions to certain ordinary differential equations.- An application of MACSYMA to nonlinear systems decoupling.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,65
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Artificial Intelligence and Symbolic Computation | 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings | Gonzalo A. Aranda-Corral (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2014 | Springer | EAN 9783319137698 | Verantwortliche Pers…on für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer Verlag, 2013
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 123,58
EUR 11,67 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 2014 edition. 70 pages. 8.75x5.75x0.25 inches. In Stock.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 42,18
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 320 | Sprache: Englisch | Produktart: Bücher | Asymptotically fast algorithms for the numerical muitiplication and division of polynomials with complex coefficients.- An adaptive hybrid algorithm for multiplying dense polynomials.- The construction of multivariate polynomials with p…reassigned zeros.- Lattices and factorization of polynomials over algebraic number fields.- Commutative algebra and computer algebra.- The nielsen reduction as key problem to polynomial algorithms in free groups.- The structure of near-rings of small order.- Computing double coset representatives for the generation of solvable groups.- On the determination of algebraic number fields of given discriminant.- Rewrite rule theory and abstract data type analysis.- Algebraic specifications: A constructive methodology in logic programming.- A theorem-proving approach to the Knuth-Bendix completion algorithm.- Solving symbolic equations with press.- Deterministic versus probabilistic factorization of integral polynomials.- On polynomial factorization.- Hacijan's algorithm in VAXIMA: improvements and difficulties.- The parallel Risch algorithm (I).- An algorithm to compute the equations of tangent cones.- Computer algebra systems viewed by a notorious user.- Implementation of differential geometric objects and functions with an application to extended Maxwell equations.- A sum-substitutor used as trigonometric simplifier.- Transformation of an intractable problem into a tractable problem: Evaluation of a determinant in several variables.- Algebraic computation of the solution of some nonlinear differential equations.- Factorization in cylindrical algebraic decomposition ¿ Abstract.- Cylindrical algebraic decomposition by quantifier elimination.- Algorithms for the computation of free lattices.- Linear algebraic approach for computing polynomial resultant.- The development of a vector-based algebra system.- Nlargeing a z80 microprocessor.- Escaping from intermediate expression swell: a continuing saga.- REDUCE ¿ A case study in algebra system development.- An algorithm to obtain formal solutions of a linear homogeneous differential equation at an irregular singular point.- Symbolic numeric methods in microwave technology.- A program in REDUCE for finding explicit solutions to certain ordinary differential equations.- An application of MACSYMA to nonlinear systems decoupling.
