Search for 'su:"Machine Theory" and su-to:Machine Theory'

Computability, complexity and language : fundamentals of theoretical computer science

By Davis, Martin D.. San Diego: Academic Press, 1994 . 609 p.; 24 cm.. 0122063821

Place Hold on Computability, complexity and language : fundamentals of theoretical computer science

Communication and concurrency

By Milner, Robin. Harlow: Prentice Hall, 1989 . xi, 260 p.; 23 cm.. 0131150073

Place Hold on Communication and concurrency

Digital logic and state machine design

By Comer, David J.. New Delhi: Oxford University Press, 1995 . xv, 573 p.; 25 cm.. 0195107233

Place Hold on Digital logic and state machine design

Languages and machines : an introduction to the theory of computer science

By Sudkamp, Thomas A.. Boston: Addison-Wesley, 2005 . xvii, 654 p.; 24 cm.. 0321322215

Place Hold on Languages and machines : an introduction to the theory of computer science

Philosophy and computing: an introduction

By Floridi, Luciano. London: Routledge, 1999 . iv, 242 p.; 23 cm.. 0415180252

Place Hold on Philosophy and computing: an introduction

Arithmetic and logic in computer systems

By Lu, Mi. New Jersey: John Wiley & Sons, 2004 . xxi, 246 p.; 25 cm.. 0471469459

Place Hold on Arithmetic and logic in computer systems

Switching theory for logic synthesis.

By Sasao, Tsutomu. Boston: Kluwer Academic Publishers, 1999 . viii, 362 p.; 24 cm.. 0792384563

Place Hold on Switching theory for logic synthesis.

Synthesis of finite state machines : logic optimization

By Villa, Tiziano. London: Kluwer Academic Publishers, 1997 . 381 p.; 24 cm.. 0792398920

Place Hold on Synthesis of finite state machines : logic optimization

Classical and quantum computation

By Shen, A. H.. Providence: American Mathematcial Society, 2002 . xiii, 257 p.; 26 cm.. 0821832298

Place Hold on Classical and quantum computation

Word processing in groups

By Epstein, David B. A.. Boston: Jones & Bartlett, 1992 . xi, 330 p.; 24 cm.. 0867202440

Place Hold on Word processing in groups

Handbook of elliptic and hyperelliptic curve cryptography

By Cohen, Henri. New York: Chapman & Hall, 2005 . xxii, 808 p.; 25 cm.. 1584885181

Place Hold on Handbook of elliptic and hyperelliptic curve cryptography

Automata and languages: Theory and applications

By Meduna, Alexander. Berlin: Springer-Verlag, 2000 . 916 p.; 23 cm.. 1852330740

Place Hold on Automata and languages: Theory and applications

Exploring Randomness

By Chaitin, Gregory J.. New York: Springer-Verlag, 2001 . 164 p.; 24 cm.. 1852334177

Place Hold on Exploring Randomness

Introduction to languages, machines and logic: Computable languages, abstract machines and formal logic

By Parkes, Alan P.. London: Springer-Verlag, 2003 . 351 p.; 23 cm.. 1852334649

Place Hold on Introduction to languages, machines and logic: Computable languages, abstract machines and formal logic

Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems

By Bowman, Howard. London: Springer, 2006 . xxiv, 435 p.; 24 cm.. 1852338954

Place Hold on Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems

UbiComp 2004 : ubiquitous computing : 6th International Conference, Nottingham, UK, September 7-10, 2004, proceedings

By Davies, Nigel. Berlin: Springer, 2004 . xvi, 452 p.; 23 cm.. 9783540229551

Place Hold on UbiComp 2004 : ubiquitous computing : 6th International Conference, Nottingham, UK, September 7-10, 2004, proceedings

Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings

By Wang, Farn. Berlin: Springer, 2004 . xii, 506 p.; 23 cm.. 9783540236108

Place Hold on Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings

Algorithmic information theory: mathematics of digital information processing

By Seibt, Peter. Berlin: Springer-Verlag, 2006 . vi, 442 p.; 24 cm.. 3540332189

Place Hold on Algorithmic information theory: mathematics of digital information processing

Automata and computability

By Kozen, Dexter. New York: Springer, 1997 . xiii, 400 p.; 24 cm.. 3540781056

Place Hold on Automata and computability

Elements of the Theory of Computation

By Lewis, Harry R.. New Delhi: Prentice Hall of India, 2003 . 361 p.; 24 cm.. 9788120322332

Place Hold on Elements of the Theory of Computation

Theory of automata, formal langauges and computation

By Xavier, S. P. Eugene. New Delhi: New Age International, 2004 . xiii, 345 p.; 24 cm.. 8122415083

Place Hold on Theory of automata, formal langauges and computation

Theory of automata, formal languages and computation : strictly as per U.P. Tech syllabus

By Xavier, Eugene S. P.. New Delhi: New Age International, 2005 . xiv, 266 p.; 25 cm.. 8122416551

Place Hold on Theory of automata, formal languages and computation : strictly as per U.P. Tech syllabus

Introduction to automata theory, languages, and computation

By Hopcroft, John E.. New Delhi: Pearson Education Asia, 2007 . 553 p.; 24 cm.. 8131714292

Place Hold on Introduction to automata theory, languages, and computation

USB complete : everything you need to develop custom USB peripherals

By Axelson, Jan. Mumbai: Penram International Pub., 2001 . xviii, 523 p.; 24 cm.. 8187972076

Place Hold on USB complete : everything you need to develop custom USB peripherals

Theory of formal languages with applications

By Simovici, Dan A.. Singapore: World Scientific, 1999 . xii, 629 p.; 23 cm.. 9810237294

Place Hold on Theory of formal languages with applications

Formal models of computation : the ultimate limits of computing

By Fleck, Arthur. Singapore: World Scientific, 2001 . xiv, 532 p.; 23 cm.. 9810245009

Place Hold on Formal models of computation : the ultimate limits of computing

Unknowable

By Chaitin, Gregory J.. New York: Springer-Verlag, 1999 . 122 p.; 24 cm.. 9814021725

Place Hold on Unknowable

Introduction to languages and the theory of computation

By Martin, John C.. New Delhi: Tata McGraw-Hill, 2003 . xiii, 543 p.; 24 cm.. 9780070406599

Place Hold on Introduction to languages and the theory of computation

Introduction to languages and the theory of computation

By Martin, John C.. New Delhi: Tata McGraw-Hill, 2003 . xiii, 543 p.; 24 cm.. 9780070660489

Place Hold on Introduction to languages and the theory of computation

Digital filters : analysis, design, and applications

By Antoniou, Andreas. New York: McGraw-Hill, 2000 . xxvi, 689 p.; 24 cm.. 9780072432817

Place Hold on Digital filters : analysis, design, and applications

Discrete Mathematical Structures with Applications to Computer Science

By Tremblay, Jean-Paul. New Delhi: Tata McGraw-Hill, 2001 . 606 p.; 21 cm.. 9780074631133

Place Hold on Discrete Mathematical Structures with Applications to Computer Science

Introduction to languages and the theory of computation

By Martin, John C.. New Delhi: Tata McGraw-Hill, 2001 . 450 p.; 22 cm.. 9780074637227

Place Hold on Introduction to languages and the theory of computation

Self checking and fault tolerant digital design

By Lala, Parag K.. San Francisco: Morgan Kaufmann, 2001 . xi, 216 p.; 9780124343702

Place Hold on Self checking and fault tolerant digital design

Languages and Machines

By Sudkamp, Thomas A.. Harlow: Addison-Wesley, 1998 . 569 p.; 23 cm.. 9780201821369

Place Hold on Languages and Machines

Discrete Mathematics for Computing

By Grossman, Peter. New York: Palgrave Macmillan, 2002 . xv, 299 p.; 24 cm.. 9781403907349

Place Hold on Discrete Mathematics for Computing

Finite state machines in hardware : theory and design (with VHDL and SystemVerilog)

By Pedroni, Volnei A.. Cambridge: MIT Press, 2013 . x, 337 p.; 24 cm.. 9780262019668

Place Hold on Finite state machines in hardware : theory and design (with VHDL and SystemVerilog)

Modeling and analysis of communicating systems

By Groote, Jan Friso. Cambridge: MIT Press, 2014 . xvi, 376 p.; 26 cm.. 9780262027717

Place Hold on Modeling and analysis of communicating systems

Aesthetic computing

By Fishwick, Paul A. . Cambridge: MIT Press, 2006 . xvi, 457 p.; 24 cm.. 9780262062503

Place Hold on Aesthetic computing

FSM-based digital design using Verilog HDL

By Minns, Peter. Chichester: John Wiley & Sons, 2008 . xiii, 391 p.; 26 cm.. 9780470060704

Place Hold on FSM-based digital design using Verilog HDL

Connections : patterns of discovery

By Alesso, H. Peter. Hoboken: John Wiley & Sons, 2008 . xiii, 207 p.; 24 cm.. 9780470118818

Place Hold on Connections : patterns of discovery

Deploying mobile Wimax

By Riegel, Max. Chichester: John Wiley & Sons, 2009 . xxii, 295 p.; 25 cm.. 9780470694763

Place Hold on Deploying mobile Wimax

Knowledge structures for communications in human-computer systems : general automata-based

By Koenig, Eldo C.. Hoboken: Wiley-Interscience, 2007 . xii, 281 p.; 24 cm.. 9780471998136

Place Hold on Knowledge structures for communications in human-computer systems : general automata-based

Switching and finite automata theory

By Kohavi, Zvi. Cambridge: Cambridge University Press, 2010 . xii, 617 p.; 25 cm.. 9780521176804

Place Hold on Switching and finite automata theory

Foundations of XML processing : the tree-automata approach

By Hosoya, Haruo. Cambridge: Cambridge University Press, 2011 . xi, 226 p.; 26 cm.. 9780521196130

Place Hold on Foundations of XML processing : the tree-automata approach

Computing tomorrow : future research directions in computer science

By Wand, Ian. Cambridge: Cambridge University Press, 1996 . x, 373 p.; 24 cm.. 9780521460859

Place Hold on Computing tomorrow : future research directions in computer science

Algebraic automata theory

By Holcombe, W. M. L.. Cambridge: Cambridge University Press, 2004 . xi, 228 p.; 23 cm.. 9780521604925

Place Hold on Algebraic automata theory

Automatic sequences: Theory, applications, generalizations

By Allouche, Jean-Paul. Cambridge: Cambridge University Press, 2003 . 571 p.; 26 cm.. 9780521823326

Place Hold on Automatic sequences: Theory, applications, generalizations

Second course in formal languages and automata theory

By Shallit, Jeffrey. New York: Cambridge University Press, 2008 . xi, 240 p.; 24 cm.. 9780521865722

Place Hold on Second course in formal languages and automata theory

Introduction to formal languages and automata

By Linz, Peter. Boston: Jones & Bartlett, 2006 . xiii, 415 p.; 24 cm.. 9780763737986

Place Hold on Introduction to formal languages and automata

JFLAP : an interactive formal languages and automata package

By Rodger, Susan H.. Sudbury: Jones & Bartlett, 2006 . xviii, 192 p.; 28 cm.. 9780763738341

Place Hold on JFLAP : an interactive formal languages and automata package