NUST Institutions Library Catalogue

Refine your search

Your search returned 35 results.

Not what you expected? Check for suggestions
Digital logic and state machine design David J. Comer.

by Comer, David J.

Edition: 2nd ed. Publisher: Philadelphia, Pa. : Saunders College Pub., 1990Availability: Items available for loan: Central Library (CL)Call number: 621.3815372 COM (2).
Place hold Find in NUST Repository
The theory of computation Bernard M. Moret.

by Moret, B. M. E.

Publisher: New Delhi. : Pearson, c1998Availability: Items available for loan: Central Library (CL)Call number: 511.3 MOR (1).
Place hold Find in NUST Repository
Introduction to languages and the theory of computation John C. Martin.

by Martin, John C.

Edition: 2nd ed. Publisher: New York : McGraw-Hill, c1997Availability: Items available for loan: Central Library (CL)Call number: 511.3 MAR (1).
Place hold Find in NUST Repository
Sequential logic: analysis and synthesis analysis and synthesis Joseph Cavanagh

by Cavanagh, Joseph J. F.

Publisher: Boca Raton, FL : CRC/Taylor & Francis, 2007Online access: Table of contents only | Publisher description Availability: Items available for loan: Central Library (CL)Call number: 511.35 CAV (2).
Place hold Find in NUST Repository
Introduction to the theory of computation Michael Sipser

by Sipser, Michael | Michael Sipser.

Edition: 2nd ed. Publisher: United States Thomson 2006Availability: Items available for loan: Central Library (CL)Call number: 511.3 SIP (3).
Place hold Find in NUST Repository
Sequential logic : analysis and synthesis Joseph Cavanagh

by Cavanagh, Joseph | Joseph Cavanagh.

Publisher: New York CRC Press 2007Availability: Items available for loan: Central Library (CL)Call number: 511.35 CAV (5).
Place hold Find in NUST Repository
Automata, computability and complexity : theory and applications

by Rich, Elaine.

Material type: Text Text Publisher: New Delhi, India Pearson Education 2012Availability: Items available for loan: Central Library (CL)Call number: 511.3 RIC (1).
Place hold Find in NUST Repository
An introduction to formal languages and automata

by Linz, Peter.

Edition: 5th ed.Material type: Text Text Publisher: USA Jones & Bartlett 2012Availability: Items available for loan: Central Library (CL)Call number: 005.131 LIN (1).
Place hold Find in NUST Repository
Introduction to automata theory, languages, and computation John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.

by Hopcroft, John E, 1939- | Motwani, Rajeev | Ullman, Jeffrey D, 1942-.

Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Edinburg Pearson Education Limited c2014Online access: Table of contents Availability: Items available for loan: Central Library (CL)Call number: 511.35 HOP (1).
Place hold Find in NUST Repository
Finite automata Marks V. Lawson

by Lawson, Mark V.

Edition: -Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London, New York Chapman & Hall/CRC c2004Availability: Items available for loan: Pakistan Navy Engineering College (PNEC)Call number: 511.3 LAW (1).
Place hold Find in NUST Repository
An engineering approach to digital design William I. Fletcher.

by Fletcher, William I, 1938-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Englewood Cliffs, N.J. : Prentice-Hall, c1980Availability: Items available for loan: Pakistan Navy Engineering College (PNEC)Call number: 621.3815 FLE (8).
Place hold Find in NUST Repository
Theory of machines B K Sarkar

by Sarkar, B K.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: c.2002Availability: Items available for loan: Pakistan Navy Engineering College (PNEC)Call number: 621.8 SAR (1).
Place hold Find in NUST Repository
Handbook of elliptic and hyperelliptic curve cryptography / [editors], Henri Cohen, Gerhard Frey ; [authors], Roberto Avanzi ... [et al.].

by Avanzi, Roberto | Cohen, Henri | Frey, Gerhard, 1944-.

Publisher: Boca Raton : Chapman & Hall/CRC, 2006Online access: Publisher description Availability: Items available for reference: Military College of Signals (MCS) Not for loanCall number: 516.352,COH (1). :
Algorithmic information theory / Gregory J. Chaitin.

by Chaitin, Gregory J.

Publisher: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987Online access: Publisher description | Table of contents Availability: Items available for loan: Military College of Signals (MCS)Call number: 005.1,CHA (1).
Place hold Find in NUST Repository
An introduction to formal languages and automata / Peter Linz.

by Linz, Peter.

Edition: 3rd ed. Publisher: New Delhi: Narosa publishing house 2002Online access: Table of contents only Availability: Items available for loan: Military College of Signals (MCS)Call number: 005.131,LIN (1).
Place hold Find in NUST Repository
Discrete mathematical structures with applications to computer science / J. P. Tremblay, R. Manohar.

by Tremblay, Jean-Paul | Manohar, R, 1925-.

Publisher: New York : McGraw-Hill, [1975]Availability: Items available for loan: Military College of Signals (MCS)Call number: 510.240901,TRE (1).
Place hold Find in NUST Repository
Finite Automata / Mark V. Lawson.

by Lawson, Mark V.

Publisher: Boca Raton : Chapman & Hall/CRC, c2004Online access: Publisher description Availability: Items available for reference: Military College of Signals (MCS) Not for loanCall number: 511.3,LAW (1). :
An introduction to formal languages and automata / Peter Linz.

by Linz, Peter.

Edition: 3rd ed. Publisher: Boston : Jones and Bartlett, 2001Availability: Items available for reference: Military College of Signals (MCS) Not for loanCall number: 005.131,LIN (1). :
Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.

by Hopcroft, John E | Motwani, Rajeev | Ullman, Jeffrey D, 1942-.

Edition: 2nd ed. Publisher: Boston : Addison-Wesley, c2001Availability: Items available for loan: Military College of Signals (MCS)Call number: 005.133,HOP (1).
Place hold Find in NUST Repository
Introduction to automata theory, languages, and computation / John E. Hopcroft, Jeffrey D. Ullman.

by Hopcroft, John E | Ullman, Jeffrey D, 1942-.

Publisher: New Delhi Narosa publishing house c1979Availability: Items available for loan: Military College of Signals (MCS)Call number: 005.133,HOP (1).
Place hold Find in NUST Repository
No cover image available
The mathematical theory of context free languages / Seymour Ginsburg

by Ginsburg, Seymour.

Publisher: New York McGraw-Hill 1966Availability: Items available for loan: Military College of Signals (MCS)Call number: 510,GIN (1).
Place hold Find in NUST Repository
Algorithms, Languages, Automata, and Compilers :(Include CD) a Practical Approach / Maxim Mozgovoy.

by Mozgovoy, Maxim.

Publisher: Sudbury, Mass. : Jones and Bartlett Publishers, c2010Availability: Items available for reference: Military College of Signals (MCS) Not for loanCall number: 511.3,MOZ (1). :
An introduction to formal languages and automata / Peter Linz.

by Linz, Peter.

Edition: 5th ed. Publisher: Sudbury, MA : Jones & Bartlett Learning, c2012Availability: Items available for loan: Military College of Signals (MCS)Call number: 005.131,LIN (1).
Place hold Find in NUST Repository
Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.

by Hopcroft, John E | Motwani, Rajeev | Ullman, Jeffrey D, 1942-.

Edition: 3rd ed. Publisher: Boston : Pearson/Addison Wesley, cop. 2007Availability: Items available for loan: Military College of Signals (MCS)Call number: 511.35,HOP (1).
Place hold Find in NUST Repository
Digital logic and state machine design / David J. Comer.

by Comer, David J.

Edition: 3rd ed. Publisher: Ft. Worth : Saunders College Pub., c1995Online access: Publisher description | Table of contents only Availability: Items available for loan: Military College of Signals (MCS)Call number: 621.395,COM (1).
Place hold Find in NUST Repository
Introduction to automata theory, languages and computation E-Book John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman

by Hopcroft, John E | Motwani, Rajeev | Ullman, Jeffrey D, 1942-.

Edition: 2. ed. Publisher: Boston : Addison-Wesley, 2001Availability: Items available for loan: Military College of Signals (MCS)Call number: 511.3 HOP (1).
Place hold Find in NUST Repository
Introduction to the theory of computation E-Book Michael Sipser.

by Sipser, Michael.

Edition: 2nd ed. Publisher: Boston : Thomson Course Technology, c2006Online access: Contributor biographical information | Publisher description | Table of contents only Availability: Items available for loan: Military College of Signals (MCS)Call number: 511.3 SIP (1).
Place hold Find in NUST Repository
The space and motion of communicating agents (E-Book) Robin Milner

by Milner, R.

Publisher: Cambridge : Cambridge University Press, c2009Availability: Items available for loan: Military College of Signals (MCS)Call number: 514.223 MIL (1).
Place hold Find in NUST Repository
Introduction to automata theory, languages and computation (E-BOOK) John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman

by Hopcroft, John E | Motwani, Rajeev | Ullman, Jeffrey D, 1942-.

Edition: 2. ed. Publisher: Boston : Addison-Wesley, 2001Availability: Items available for loan: Military College of Signals (MCS)Call number: 511.3 JOH (1).
Place hold Find in NUST Repository
Network anomaly detection : a machine learning perspective / Dhruba Kumar Bhattacharyya, Jugal Kumar Kalita.

by Bhattacharyya, Dhruba K.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boca Raton : CRC Press, Taylor & Francis Group, [2014]Availability: Items available for loan: Central Library (CL)Call number: 005.8 BHA (1).
Place hold Find in NUST Repository
An introduction to formal languages and automata / Peter Linz, PhD, University of California at Davis.

by Linz, Peter.

Edition: Sixth edition.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Burlington, MA : Jones & Bartlett Learning, 2017Availability: Items available for loan: NUST Baluchistan Campus (NBC)Call number: 005.131 LIN (1).
Place hold Find in NUST Repository
Finite automata

by Lawson, Mark V.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: NEW YORK CHAPMAN & HALL 2004Availability: Items available for loan: College of Electrical & Mechanical Engineering (CEME)Call number: 511.3 LAW (1).
Place hold Find in NUST Repository
Theory of computation an introduction

by Hein, James L.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: LONDON JONES AND BARTLETT 1996Availability: Items available for loan: College of Electrical & Mechanical Engineering (CEME)Call number: 004.01 HEI'T (1).
Place hold Find in NUST Repository
An introduction to formal languages and automata / Peter Linz, Susan H. Rodger.

by Linz, Peter [author.] | Rodger, Susan H [author.].

Edition: Seventh edition.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Burlington, Massachusetts : Jones & Bartlett Learning, [2023]Availability: No items available : Checked out (1).
Place hold Find in NUST Repository
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.