NUST Institutions Library Catalogue

Your search returned 5 results.

Not what you expected? Check for suggestions
Software engineering 2/ D. Bjørner.

by Bjorner, Dines (Dines), 1937-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006-Online access: Click here to access online Availability: Items available for loan: Pakistan Navy Engineering College (PNEC)Call number: 005.1 BJO (1).
Place hold Find in NUST Repository
Software engineering 3 / D. Bjørner.

by Bjorner, Dines (Dines), 1937-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006-Online access: Click here to access online Availability: Items available for loan: Pakistan Navy Engineering College (PNEC)Call number: 005.1 BJO (1).
Place hold Find in NUST Repository
No cover image available
Software engineering 1 / D. Bjørner.

by Bjorner, Dines (Dines), 1937-.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006-Online access: Click here to access online Availability: Items available for loan: Pakistan Navy Engineering College (PNEC)Call number: 005.1 BJO (1).
Place hold Find in NUST Repository
Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics / Juraj Hromkovic̆.

by Hromkovič, Juraj, 1958-.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 2003Online access: Publisher description | Table of contents only Availability: Items available for loan: Pakistan Navy Engineering College (PNEC)Call number: 005.275 HHO (1).
Place hold Find in NUST Repository
Complexity theory and cryptology : an introduction to cryptocomplexity / Jorg Rothe.

by Rothe, Jorg.

Publisher: Berlin ; New York : Springer, c2005Other title: Cryptocomplexity | Introduction to cryptocomplexity.Online access: Publisher description | Table of contents only Availability: Items available for loan: Military College of Signals (MCS)Call number: 005.8,ROT (1).
Place hold Find in NUST Repository
© 2023 Central Library, National University of Sciences and Technology. All Rights Reserved.