6009 resultados
1994ref. RO30360091Editions Micro application. 1994. In-8. Broché. Etat d'usage, Coins frottés, Dos satisfaisant, Fortes mouillures. 328 pages. Pages légèrement collées. Quelques rousseurs. Fortes mouillures pouvant altérer la lecture. Moisissures en tranches et in texte. Disquette conservée. Nombreuses illustrations en noir et blanc, in texte.. . . . Classification Dewey : 4-Traitement des données. Informatique
1984Milano, Gruppo Editoriale Jackson, 1984, 8vo brossura con copertina illustrata a colori, pp. 350, con numerose figure nel testo (n. 115 della collana). Stato di nuovo.
1988ref. RO90036002EDITONS MARABOUT COLLECTION SERVICE MS N°742. 1988. In-12. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 403 pages.. . . . Classification Dewey : 4-Traitement des données. Informatique
ref. IXY-910Préface de Jean-Jacques Duby. Coll. «Roland Mousnier», n° 43, Presses de l’Université Paris-Sorbonne (PUPS), Paris, 2010, 2e édition, 718 p. ill. n&b, 27 tableaux, 50 figures, index, glossaire, bibliographie. Broché. Couverture à rabats. 16 x 24 cm.
1983Milano, Gruppo Editoriale Jackson, 1983, 8vo brossura con copertina illustrata a colori, pp. 182, con numerose figure nel testo (n. 91 della collana). Stato di nuovo
2009La fuerza de la Lógica Formal reside en su capacidad para deducir precisa y en muchos casos mecánicamente ciertas expresiones simbólicas nuevas a partir de otras anteriores. Las expresiones inferidas son los teoremas Así se abre el texto: con los símbolos y leyes lógicas que nos enseñarán a usar el sentido común y nuestra capacidad de razonar sobre la realidad. Con ellos demostraremos teoremas con rigor y mejor aún aprenderemos a verificar con precisión que son realmente válidos. Estamos así en pleno centro de las Teorías de primer orden la base de toda lógica aparecen sus raíces sanas y fuertes desde hace más de un siglo y se muestran resultados históricos tanto por su propia importancia como por su papel en el desarrollo de la ciencia moderna. Con tales mimbres y a partir de su propio trabajo científico y experiencia docente en Lógica el autor ha hecho de estas primeras nociones una base para el desarrollo posterior del texto. El lector que se sitúa en este punto inicial comienza el tránsito a lo largo de una línea de la que no se separará y que le conduce con claridad hasta los fundamentos y las primeras nociones de la programación lógica y PROLOG. Para el camino se le proporciona todo el equipaje necesario pero nada más. Tendrá que asomarse a nuevos sistemas formales con su correspondiente teoría y nada será superfluo porque pronto verá cómo dicha teoría tiene la potencia necesaria para ir haciendo la Lógica cada vez más algorítmica. Este libro no es sobre la historia. Tales libros salvo ejercicios de estilo tienen la servidumbre de presentarse como un todo acabado. Sin embargo el autor no ha olvidado que a todos nos gusta saber cómo han surgido las cosas y por qué alguien demostró lo que demostró. Por eso ha procurado que el lector nunca olvide que está en un camino ha añadido los comentarios que ha creído oportunos y ha escrito con la intención de facilitar la lectura en la medida de lo posible. Este es un texto pensado para estudiantes y profesores inclinados a las matemáticas la lógica y los fundamentos de su automatización alumnos de primeros cursos de Lógica y aquellos programadores de PROLOG que no han tenido la oportunidad de asomarse a la base sobre la que descansa su trabajo. El libro tiene un aire a la vez nuevo y tradicional que lo hace muy recomendable para aquellos a los que está destinado Eugenio Roanes Lozano Reseña en el Boletín de la Sociedad Puig Adam de Profesores de Matemáticas.
1985... No continuous pagination. Softcover, very good condition, with lightly rubbed wraps--a few light marks. very lightly bumped corners, some very light edgewear. very ltly tanned p. edges, ltly tanned ins wraps. Cln, tight, unmarked.
1995ref. R260136554LOTUS. 1995. In-8. Broché. Etat d'usage, Couv. légèrement passée, Dos satisfaisant, Intérieur frais. Manuel d'utilisation d'environ 50 pages.. . . . Classification Dewey : 4-Traitement des données. Informatique
ref. RO20036767LOTUS. Non daté. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 88 pages.. . . . Classification Dewey : 4-Traitement des données. Informatique
1994ref. RO30135136lotus. 1994. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. environ 100 + environ 50 + environ 60 pages augmentées de quelques illustrations en noir et blanc + 1 fascicule de 2 pages + 5 disquettes sous emballage plastique - sous emboitage cartonné rigide en bon état. . Sous Emboitage. . Classification Dewey : 4-Traitement des données. Informatique
1999ref. RO80191527DUNOD. 1999. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 191 pages - Nombreuses captures d'écran dans le texte - Trace d'étiquette sur le 2e plat.. . . . Classification Dewey : 4-Traitement des données. Informatique
1999ref. 500138341CampusPress 1999 2x19x11cm. 1999. Broché.
ISBN : 2840721260. ENI. 1994. In-8 Carré. Broché. Bon état. Couv. convenable. Dos satisfaisant. Intérieur frais. 98 pages. Nombreuses illustrations en noir et blanc dans le texte.
1994ref. R150181837ENI. 1994. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 98 pages. Nombreuses illustrations en noir et blanc dans le texte.. . . . Classification Dewey : 4-Traitement des données. Informatique
1993ref. RO80202351LOTUS. 1993. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. Environ 400 + 200 pages. Quelques figures/schémas en noir et blanc dans le texte.. . . . Classification Dewey : 4-Traitement des données. Informatique
1993ref. RO20134534SYBEX. 1993. In-12. Broché. Bon état, Couv. légèrement pliée, Dos satisfaisant, Intérieur frais. 247 pages. Quelques illustrations en noir et blanc, dans le texte.. . . . Classification Dewey : 4-Traitement des données. Informatique
1989ref. RO80202352LOTUS. 1989. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. Environ 80 pages. Quelques schémas/Figures en noir et blanc dans le texte.. . . . Classification Dewey : 4-Traitement des données. Informatique
1998ref. RO80203354MICROSOFT CORPORATION. 1998. In-8. Broché. Etat d'usage, Couv. convenable, Dos satisfaisant, Intérieur frais. environ 300+ 800+ 69 + 34+70 pages - 1er plat Fonctions et Macros lègerement déchiré. . . . Classification Dewey : 4-Traitement des données. Informatique
ref. R240122398MMIV LITERARY RIGHTS INTERNATIONAL INC. NON DATE. In-4. En feuillets. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. lot de 30 fiches perforées illustrées couleur dans le texte. . . . Classification Dewey : 4-Traitement des données. Informatique
2001ref. R160106298COMPUTER-MEDIA FRANCE. 2001. In-4. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 162 pages. Couverture illustrée en couleur. Nombreuses illustrations en couleur dans le texte et hors texte.. . . . Classification Dewey : 4-Traitement des données. Informatique
1998En este libro encontrará los consejos que necesita para planificar construir y administrar su intranet. Desde la selección del hardware y el software hasta la creación del contenido y la conexión con Internet Sharon Crawford y Charlie Russel le proporcionan consejos prácticamente desconocidos y técnicas reales para implementar con éxito una intranet tanto en UNIX como en Windows NT.
2008ref. RO30359160First interactive. 2008. In-8. Broché. Etat passable, Coins frottés, Dos satisfaisant, Intérieur acceptable. 679 pages. Rares rousseurs. Nombreuses photos et illustrations en noir et blanc, in texte.. . . . Classification Dewey : 4-Traitement des données. Informatique
1998ref. RO40008914Microsoft Press. 1998. In-12. Broché. A relier, Couv. légèrement passée, Mors fendus, Intérieur frais. 142 pages augmentées de nombreuses illustrations en noir et blanc dans et hors texte.. . . . Classification Dewey : 4-Traitement des données. Informatique
ISBN : 2092913212. Cedic - Fernand Nathan. 1985. In-8 Carré. Broché. Etat d'usage. Couv. convenable. Coiffe en tête abîmée. Intérieur frais. 190 pages. Illustré de nombreux schémas en noir et blanc dans le texte. Annotation en page de garde. Collection Micro Monde, dir. par Serge Pouts-Lajus.