Name: Programming Languages and Operational Semantics: A Concise Overview (Undergraduate Topics in Computer Science)
Brand: Springer
SKU: 49909364
Price: 293 HKD
Availability: InStock

Tex Reference Manual

By David Bausum

Tex Reference Manual

By David Bausum

HK$1,300

Formal Methods for Open Object-Based Distributed Systems IV (IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA (IFIP Advances in Info ..)

By Scott F. Smith, Carolyn L. Talcott

Formal Methods for Open Object-Based Distributed Systems IV (IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA (IFIP Advances in Info ..)

By Scott F. Smith, Carolyn L. Talcott

HK$1,736

Formal Methods for Open Object-Based Distributed Systems (IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy (IFIP Advances in Information and Communi)

By Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

Formal Methods for Open Object-Based Distributed Systems (IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy (IFIP Advances in Information and Communi)

By Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

HK$1,733

Behavioral Specifications of Businesses and Systems (Springer International Series in Engineering and Computer Science The)

By Haim Kilov, Bernhard Rumpe, Ian Simmonds

Behavioral Specifications of Businesses and Systems (Springer International Series in Engineering and Computer Science The)

By Haim Kilov, Bernhard Rumpe, Ian Simmonds

HK$1,300

A Systolic Array Parallelizing Compiler (The Springer International Series in Engineering and Computer Science)

By Ping-Sheng Tseng

A Systolic Array Parallelizing Compiler (The Springer International Series in Engineering and Computer Science)

By Ping-Sheng Tseng

HK$980

Foundations of Real-Time Computing (Scheduling and Resource Management (Springer International Series in Engineering and Computer Science The))

By André M. van Tilborg, Gary M. Koob

Foundations of Real-Time Computing (Scheduling and Resource Management (Springer International Series in Engineering and Computer Science The))

By André M. van Tilborg, Gary M. Koob

HK$1,400

Foundations of Real-time Computing (Formal Specifications and Methods: Formal Specifications and Methods (The Springer International Series in Engineering and Computer Science))

By André M. van Tilborg, Gary M. Koob

Foundations of Real-time Computing (Formal Specifications and Methods: Formal Specifications and Methods (The Springer International Series in Engineering and Computer Science))

By André M. van Tilborg, Gary M. Koob

HK$1,400

The Interaction of Compilation Technology and Computer Architecture

By David J. Lilja, Peter L. Bird

The Interaction of Compilation Technology and Computer Architecture

By David J. Lilja, Peter L. Bird

HK$1,031

Implementations of Logic Programming Systems

By Evan Tick, Giancarlo Succi

Implementations of Logic Programming Systems

By Evan Tick, Giancarlo Succi

HK$900

Formal Specification Techniques for Engineering Modular C Programs (Kluwer International Series in Software Engineering)

By Tan Yang Meng

Formal Specification Techniques for Engineering Modular C Programs (Kluwer International Series in Software Engineering)

By Tan Yang Meng

HK$1,300

Analog and Mixed-Signal Hardware Description Languages (Current Issues in Electronic Modeling)

By Alain Vachoux, Jean-Michel Berge, Oz Levia, Jacques Rouillard

Analog and Mixed-Signal Hardware Description Languages (Current Issues in Electronic Modeling)

By Alain Vachoux, Jean-Michel Berge, Oz Levia, Jacques Rouillard

HK$991

The Combinatory Programme (Progress in Theoretical Computer Science)

By E. Engeler, Karl Aberer, B. Amrhein, O. Gloor

The Combinatory Programme (Progress in Theoretical Computer Science)

By E. Engeler, Karl Aberer, B. Amrhein, O. Gloor

HK$900

A Systolic Array Optimizing Compiler (The Springer International Series in Engineering and Computer Science)

By Lam, Monica S.

A Systolic Array Optimizing Compiler (The Springer International Series in Engineering and Computer Science)

By Lam, Monica S.

HK$900

Modern C

By Gustedt, Jens

Modern C

By Gustedt, Jens

HK$430 Elsewhere ~~HK$475.69~~ Save HK$45.69 (10%)

Embedded Software Development with C

By Qian, Kai, Den Haring, David, Li Cao

Embedded Software Development with C

By Qian, Kai, Den Haring, David, Li Cao

HK$860

Programming Methodology (Monographs in Computer Science)

By Annabelle Mclver, Carroll Morgan

Programming Methodology (Monographs in Computer Science)

By Annabelle Mclver, Carroll Morgan

HK$960

Multi-Agent Programming (Languages, Platforms and Applications (Multiagent Systems, Artificial Societies, and Simulated Organizations))

By Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, Amal El Fallah Seghrouchni

Multi-Agent Programming (Languages, Platforms and Applications (Multiagent Systems, Artificial Societies, and Simulated Organizations))

By Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, Amal El Fallah Seghrouchni

HK$1,300

Visual Languages and Applications

By Zhang, Kang

Visual Languages and Applications

By Zhang, Kang

HK$940

Hardware Verification with System Verilog (An Object-Oriented Framework)

By Ekendahl, Robert, Mintz, Mike

Hardware Verification with System Verilog (An Object-Oriented Framework)

By Ekendahl, Robert, Mintz, Mike

HK$984

Electronic Chips & Systems Design Languages

By Jean Mermet

Electronic Chips & Systems Design Languages

By Jean Mermet

HK$1,670 Elsewhere ~~HK$1,739.59~~ Save HK$69.59 (4%)

Source Code Optimization Techniques for Data Flow Dominated Embedded Software

By Falk, Heiko, Marwedel, Peter

Source Code Optimization Techniques for Data Flow Dominated Embedded Software

By Falk, Heiko, Marwedel, Peter

HK$1,300

The Electronic Design Automation Handbook

By Dirk Jansen

The Electronic Design Automation Handbook

By Dirk Jansen

HK$1,376

Scientific Data Analysis using Jython Scripting and Java (Advanced Information and Knowledge Processing)

By Chekanov, Sergei V.

Scientific Data Analysis using Jython Scripting and Java (Advanced Information and Knowledge Processing)

By Chekanov, Sergei V.

HK$110 Elsewhere ~~HK$445.95~~ Save HK$335.95 (75%)

Programming Languages and Operational Semantics (A Concise Overview (Undergraduate Topics in Computer Science))

By Fernandez, Maribel

Programming Languages and Operational Semantics (A Concise Overview (Undergraduate Topics in Computer Science))

By Fernandez, Maribel

HK$293

View:
Safe Search(?):