Javier Leach Albert (12 results)

Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New. In.

Condition: New.

Condition: As New. Unread book in perfect condition.

Taschenbuch. Condition: Neu. Automata, Languages and Programming | 18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings | Javier Leach Albert (u. a.) | Taschenbuch | xii | Englisch | 1991 | Springer | EAN 9783540542339 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Bolsillo. Condition: New. Dust Jacket Condition: Nuevo. 01. La informática, además de los elementos de álgebra lineal y cálculos infinitesimales tradicionales y comunes a todas las ingenierías, necesita desde sus primeros cursos herramientas matemáticas orientadas a la modernización de fenómenos discretos. De ahí el importante papel de la matemática discreta y la lógica matemática en los estudios de computación, donde esta asignatura tiene un carácter troncal en todos los planes de estudio actualmente vigentes. Se ha perseguido un estilo claro, detallado y pedagógico, incluyendo ejemplos y ejercicios tanto al final de cada tema como al final de cada capítulo. Se han omitido casi siempre las referencias bibliográficas en el curso de la exposición, aunque se ha incluido al final de la obra una selección de referencias bibliográficas básicas que pueden servir de guía para consultas o lecturas ulteriores. Se ha tratado con particular cuidado los capítulos dedicados a números, conjuntos y estructuras de orden, poniendo énfasis en la motivación, comunicación y ejercicio de ideas y métodos fundamentales, muy particularmente el principio de inducción y las definiciones recu. LIBRO.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of ICALP '91, the 18th annual summer conference sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP stands for International Colloquium on Automata, Languages, and Programming, and this conference series covers all important areas of theoretical computer science, such as: computability, automata, formal languages, data types and structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic and functional programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of ICALP '91, the 18th annual summer conference sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP stands for International Colloquium on Automata, Languages, and Programming, and this conference series covers all important areas of theoretical computer science, such as: computability, automata, formal languages, data types and structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic and functional programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics. 780 pp. Englisch.

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the proceedings of ICALP 91, the 18th annual summer conference sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP stands for International Colloquium on Automata, Languages, and Programming, and this .

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -These proceedings of ICALP '91 contain papers covering recent research in all areas of theoretical computer science. ICALP is sponsored by EATCS, the European Association for Theoretical Computer Science.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 780 pp. Englisch.