Library of American University of Madaba Search for 'su:Algebra and su-to:Engineering. and su-to:Software engineering. and su-to:Computer science.'

Computational Methods in Systems Biology

By Gupta, Ashutosh.. . XX, 284 p. 58 illus. 9783642407086

Place Hold on Computational Methods in Systems Biology

Automated Deduction in Geometry

By Ida, Tetsuo.. . X, 193 p. 55 illus. 9783642406720

Place Hold on Automated Deduction in Geometry

Algebraic Informatics

By Muntean, Traian.. . X, 275 p. 14 illus. 9783642406638

Place Hold on Algebraic Informatics

Algebra and Coalgebra in Computer Science

By Heckel, Reiko.. . XIV, 359 p. 29 illus. 9783642402067

Place Hold on Algebra and Coalgebra in Computer Science

Formal Concept Analysis

By Cellier, Peggy.. . X, 267 p. 57 illus. 9783642383175

Place Hold on Formal Concept Analysis

Principles of Distributed Systems

By Baldoni, Roberto.. . XIV, 361 p. 60 illus. 9783642354762

Place Hold on Principles of Distributed Systems

Certified Programs and Proofs

By Hawblitzel, Chris.. . X, 305 p. 64 illus. 9783642353086

Place Hold on Certified Programs and Proofs

Computational Methods in Systems Biology

By Gilbert, David.. . XII, 396 p. 145 illus. 9783642336362

Place Hold on Computational Methods in Systems Biology

Relational and Algebraic Methods in Computer Science

By Kahl, Wolfram.. . XII, 361 p. 33 illus. 9783642333149

Place Hold on Relational and Algebraic Methods in Computer Science

Formal Concept Analysis

By Domenach, Florent.. . XII, 309 p. 75 illus. 9783642298929

Place Hold on Formal Concept Analysis

Algebraic and Numeric Biology

By Horimoto, Katsuhisa.. . IX, 185 p. 9783642280672

Place Hold on Algebraic and Numeric Biology

Principles of Distributed Systems

By Fernàndez Anta, Antonio.. . XIII, 564 p. 9783642258732

Place Hold on Principles of Distributed Systems

Certified Programs and Proofs

By Jouannaud, Jean-Pierre.. . XV, 401p. 87 illus. 9783642253799

Place Hold on Certified Programs and Proofs

Automated Deduction in Geometry

By Schreck, Pascal.. . X, 259 p. 9783642250705

Place Hold on Automated Deduction in Geometry

Algebraic Foundations in Computer Science

By Kuich, Werner.. . X, 363 p. 9783642248979

Place Hold on Algebraic Foundations in Computer Science

Algebraic Informatics

By Winkler, Franz.. . X, 261p. 9783642214936

Place Hold on Algebraic Informatics

Relational and Algebraic Methods in Computer Science

By Swart, Harrie.. . VIII, 363 p. 9783642210709

Place Hold on Relational and Algebraic Methods in Computer Science

Formal Concept Analysis

By Valtchev, Petko.. . XII, 267 p. 9783642205149

Place Hold on Formal Concept Analysis

Principles of Distributed Systems

By Lu, Chenyang.. . XII, 517p. 112 illus. 9783642176531

Place Hold on Principles of Distributed Systems

Logics in Artificial Intelligence

By Janhunen, Tomi.. . XIV, 374p. 48 illus. 9783642156755

Place Hold on Logics in Artificial Intelligence

Logic, Language and Meaning

By Aloni, Maria.. . X, 476p. 1 illus. in color. 9783642142871

Place Hold on Logic, Language and Meaning

Introduction to Cryptography with Maple

By Gómez Pardo, José Luis.. . XXX, 705 p. 20 illus. 9783642321665

Place Hold on Introduction to Cryptography with Maple

Foundations of Algebraic Specification and Formal Software Development

By Sannella, Donald.. . XVI, 584 p. 9783642173363

Place Hold on Foundations of Algebraic Specification and Formal Software Development

Identity-Based Encryption

By Chatterjee, Sanjit.. . XI, 182p. 19 illus. 9781441993830

Place Hold on Identity-Based Encryption

Rigorous Software Development

By Almeida, José Bacelar.. . XIII, 307p. 52 illus. 9780857290182

Place Hold on Rigorous Software Development