Library of American University of Madaba Search for 'su:Logic design and su-to:Logic Design. and branch:MAIN'

Digital design : , basic concepts and principles /

By Karim, Mohammad A.. Boca Raton, FL : CRC Press/Taylor & Francis, 2008 . xiii, 490 p. : 27 cm.. 9781420061314 | 1420061313

Place Hold on Digital design :

An object-oriented approach to programming logic and design /

By Farrell, Joyce. Boston, MA : Cengage Learning, 2010 . xvii, 543 p. : 23 cm.. 9780538452526

Place Hold on An object-oriented approach to programming logic and design /

Advanced digital design with the Verilog HDL /

By Ciletti, Michael D.. Boston, MA : Prentice Hall, 2011 . xviii, 965 p. : 24 cm.. 9780136019282 (alk. paper) | 0136019285 (alk. paper)

Place Hold on Advanced digital design with the Verilog HDL /

Computer performance engineering : , 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceeding /

Berlin : Springer, 2010 . x, 283 p. : 9783642157837

Place Hold on Computer performance engineering :

Abstract state machines, Alloy, B And Z : , Second International Conference, ABZ 2010 Orford, QC, Canada, February 22-25, 2010 : Proceedings /

Berlin : Springer, 2010 . xiv, 416 p. : 9783642118104

Place Hold on Abstract state machines, Alloy, B And Z :

Digital design /

By Mano, M. Morris,. Upper Saddle River, NJ : Pearson Education, 2007 . xv, 618 p. : 25 cm. +. 9780132340434 | 0132340437

Place Hold on Digital design /

Theory of Digital Automata

By Borowik, Bohdan.. . XII, 206 p. 229 illus., 59 illus. in color. 9789400752283

Place Hold on Theory of Digital Automata

Adiabatic Logic

By Teichmann, Philip.. . XVIII, 166 p. 9789400723450

Place Hold on Adiabatic Logic

Regular Nanofabrics in Emerging Technologies

By Ben Jamaa, M. Haykel.. . XX, 192 p. 9789400706507

Place Hold on Regular Nanofabrics in Emerging Technologies

Design, Analysis and Test of Logic Circuits Under Uncertainty

By Krishnaswamy, Smita.. . XI, 123 p. 71 illus. 9789048196449

Place Hold on Design, Analysis and Test of Logic Circuits Under Uncertainty

VLSI Physical Design: From Graph Partitioning to Timing Closure

By Kahng, Andrew B.. . XII, 310 p. 150 illus. 9789048195916

Place Hold on VLSI Physical Design: From Graph Partitioning to Timing Closure

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices

By Czerwinski, Robert.. . XVI, 172 p. 138 illus. 9783642361661

Place Hold on Finite State Machine Logic Synthesis for Complex Programmable Logic Devices

Logic Circuit Design

By Vingron, Shimon P.. . XIV, 258p. 207 illus. 9783642276576

Place Hold on Logic Circuit Design

Emotional Cognitive Neural Algorithms with Engineering Applications

By Perlovsky, Leonid.. . X, 202 p. 9783642228308

Place Hold on Emotional Cognitive Neural Algorithms with Engineering Applications

Compact Models and Measurement Techniques for High-Speed Interconnects

By Sharma, Rohit.. . XVIII, 69p. 29 illus., 6 illus. in color. 9781461410713

Place Hold on Compact Models and Measurement Techniques for High-Speed Interconnects

Speech Processing in Embedded Systems

By Sinha, Priyabrata.. 9780387755816

Place Hold on Speech Processing in Embedded Systems

The Unknown Component Problem

By Villa, Tiziano.. . XVI, 312 p. 9780387687599

Place Hold on The Unknown Component Problem

User-Level Workflow Design

By Lamprecht, Anna-Lena.. . XXII, 223 p. 84 illus. 9783642453892

Place Hold on User-Level Workflow Design

Practical Aspects of Declarative Languages

By Sagonas, Kostis.. . XIV, 261 p. 82 illus. 9783642452840

Place Hold on Practical Aspects of Declarative Languages

Logic for Programming, Artificial Intelligence, and Reasoning

By McMillan, Ken.. . XIV, 794 p. 178 illus. 9783642452215

Place Hold on Logic for Programming, Artificial Intelligence, and Reasoning

Conceptual Modeling

By Ng, Wilfred.. . XXVIII, 514 p. 165 illus. 9783642419249

Place Hold on Conceptual Modeling

Testing Software and Systems

By Yenigün, Hüsnü.. . XIV, 291 p. 84 illus. 9783642417078

Place Hold on Testing Software and Systems

In Search of Elegance in the Theory and Practice of Computation

By Tannen, Val.. . XII, 569 p. 121 illus. 9783642416606

Place Hold on In Search of Elegance in the Theory and Practice of Computation

Implementation and Application of Functional Languages

By Hinze, Ralf.. . X, 241 p. 72 illus. 9783642415821

Place Hold on Implementation and Application of Functional Languages

Constraint Solving and Language Processing

By Duchier, Denys.. . XII, 179 p. 30 illus. 9783642415784

Place Hold on Constraint Solving and Language Processing

Model-Driven Engineering Languages and Systems

By Moreira, Ana.. . XXVIII, 792 p. 299 illus. 9783642415333

Place Hold on Model-Driven Engineering Languages and Systems

Reachability Problems

By Abdulla, Parosh Aziz.. . XII, 223 p. 60 illus. 9783642410369

Place Hold on Reachability Problems

Formal Methods for Industrial Critical Systems

By Pecheur, Charles.. . XIV, 199 p. 46 illus. 9783642410109

Place Hold on Formal Methods for Industrial Critical Systems

Logic, Rationality, and Interaction

By Grossi, Davide.. . XII, 363 p. 41 illus. 9783642409486

Place Hold on Logic, Rationality, and Interaction

Algorithmic Learning Theory

By Jain, Sanjay.. . XVIII, 397 p. 30 illus. 9783642409356

Place Hold on Algorithmic Learning Theory

Software Engineering for Resilient Systems

By Gorbenko, Anatoliy.. . X, 199 p. 87 illus. 9783642408946

Place Hold on Software Engineering for Resilient Systems

Frontiers of Combining Systems

By Fontaine, Pascal.. . XII, 359 p. 35 illus. 9783642408854

Place Hold on Frontiers of Combining Systems

Runtime Verification

By Legay, Axel.. . XVII, 426 p. 113 illus. 9783642407871

Place Hold on Runtime Verification

Algebraic Informatics

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

Place Hold on Algebraic Informatics

Principles and Practice of Constraint Programming

By Schulte, Christian.. . XVIII, 898 p. 226 illus. 9783642406270

Place Hold on Principles and Practice of Constraint Programming

Computational Logic in Multi-Agent Systems

By Leite, João.. . XXIV, 391 p. 75 illus. 9783642406249

Place Hold on Computational Logic in Multi-Agent Systems

Formal Methods for Components and Objects

By Giachino, Elena.. . X, 241 p. 125 illus. 9783642406157

Place Hold on Formal Methods for Components and Objects

Logic Programming and Nonmonotonic Reasoning

By Cabalar, Pedro.. . XVIII, 570 p. 70 illus. 9783642405648

Place Hold on Logic Programming and Nonmonotonic Reasoning

Software Engineering and Formal Methods

By Hierons, Robert M.. . XVIII, 321 p. 113 illus. 9783642405617

Place Hold on Software Engineering and Formal Methods

Automated Reasoning with Analytic Tableaux and Related Methods

By Galmiche, Didier.. . X, 289 p. 34 illus. 9783642405372

Place Hold on Automated Reasoning with Analytic Tableaux and Related Methods

Transactions on Petri Nets and Other Models of Concurrency VIII

By Koutny, Maciej.. . XVIII, 203 p. 85 illus. 9783642404658

Place Hold on Transactions on Petri Nets and Other Models of Concurrency VIII

Formal Modeling and Analysis of Timed Systems

By Braberman, Víctor.. . X, 275 p. 70 illus. 9783642402296

Place Hold on Formal Modeling and Analysis of Timed Systems

Fundamentals of Software Engineering

By Arbab, Farhad.. . XIX, 283 p. 85 illus. 9783642402135

Place Hold on Fundamentals of Software Engineering

Quantitative Evaluation of Systems

By Joshi, Kaustubh.. . XII, 406 p. 98 illus. 9783642401961

Place Hold on Quantitative Evaluation of Systems

CONCUR 2013 – Concurrency Theory

By D’Argenio, Pedro R.. . XIV, 562 p. 83 illus. 9783642401848

Place Hold on CONCUR 2013 – Concurrency Theory

Computer Aided Verification

By Sharygina, Natasha.. . XXII, 1015 p. 237 illus. 9783642397998

Place Hold on Computer Aided Verification

Theoretical Aspects of Computing – ICTAC 2013

By Liu, Zhiming.. . XII, 445 p. 100 illus. 9783642397189

Place Hold on Theoretical Aspects of Computing – ICTAC 2013

Web Reasoning and Rule Systems

By Faber, Wolfgang.. . XIV, 272 p. 47 illus. 9783642396663

Place Hold on Web Reasoning and Rule Systems

Interactive Theorem Proving

By Blazy, Sandrine.. . XII, 498 p. 73 illus. 9783642396342

Place Hold on Interactive Theorem Proving

Theory, Practice, and Applications of Rules on the Web

By Morgenstern, Leora.. . XVIII, 249 p. 69 illus. 9783642396175

Place Hold on Theory, Practice, and Applications of Rules on the Web