Hello! Enter your postcode for delivery time
Track My Order
Help Centre
Likes
Notifications
My Wish Lists Login / Join
My Wish Lists My Account Sign Out
No new notifications.
Booktopia
Australia's local bookstore
  • ALL
  • BOOKS
  • FICTION
  • NON-FICTION
  • AUSTRALIAN
  • KIDS
  • SCHOOL
  • ACADEMIC & TEXTBOOKS

      • University

      • Accounting, Business & Finance
      • Biology & Science
      • Computing & Programming
      • Education
      • Engineering & Physics
      • English & Literature
      • Environment & Planning
      • Health Care
      • History
      • Language

      •  

      • Law
      • Mathematics & Statistics
      • Media, Communication & Arts
      • Medicine
      • Nursing
      • Politics
      • Psychology
      • Social Sciences
      • Study Skills

      • Vocational

      • Trades
      • Hospitality & Tourism
      • Business, Financial & Management
      • Nursing & Health Care
      • IT, Networking & Computer Repair
      • Education & Early Childhood
      • Social Working & Counselling
      • Design, Art, Fashion & Photography
    Explore All Academic >
  • EBOOKS

      • Fiction

      • Romance
      • Crime & Mystery
      • Erotic Fiction
      • Fantasy
      • Thrillers
      • Science Fiction

      • Kids & YA

      • Children's Fiction
      • Romance & Love Stories
      • Picture Books & Early Learning
      • Children's Non-Fiction

      • Non-Fiction

      • Biographies
      • Mind, Body, Spirit
      • Business & Management
      • Family & Health
      • Gardening
      • History
      • Politics & Government
      • Psychology
      • Science

      • Textbooks

      • Education
      • Medicine
      • Accounting & Finance
      • Law
      • Psychology
      • Mathematics
      • Language & Linguistics
    Explore All eBooks >
  • AUDIOBOOKS
  • GAMES & PUZZLES
  • STATIONERY
  • GIFTS
  • BARGAINS
  • BLOG
  • BOOKS
  • EBOOKS
  • AUDIOBOOKS
  • GAMES & PUZZLES
  • STATIONERY
  • GIFT IDEAS
  • BLOG
 
CHECKOUT
    • FICTION

        Browse Fiction

      • New Releases
      • Bestselling
      • Bargains
      • Signed Copies

        • Popular Subjects

        • Australian Fiction
        • Classic Fiction
        • Crime & Mystery
        • Erotic Fiction
        • Fantasy
        • Graphic Novels & Manga
        • Historical
        • Modern & Contemporary

        •  

        • Poetry
        • Romance
        • Science Fiction
        • Thrillers & Mystery
        • Young Adult

        • Popular Authors

        • Margaret Atwood
        • Trent Dalton
        • Jane Harper
        • Stephen King
        • Dervla McTiernan
        • Liane Moriarty
        • Matthew Reilly
        • Sally Rooney

        • Popular Series

        • After
        • A Game of Thrones
        • Jack Reacher
        • Jack West
        • The Seven Sisters
        • Outlander
        • The Witcher
        • Wolf Hall

        More:

      • Award Winning Reads
      • Reviews and Staff Picks
      • Author Interviews
      • Podcasts
        • Explore All Fiction >
    • NON-FICTION

        Browse Non-Fiction

      • Bestselling
      • Bargains
      • Signed Copies

        • Popular Subjects

        • Animals & Nature
        • Arts & Entertainment
        • Biographies & True Stories
        • Business & Management
        • Comedy & Humour
        • Computing & IT
        • Cooking, Food & Drink
        • Crafts & Handiwork
        • Family & Health
        • Fashion & Style Guides
        • Fitness & Diet
        • Gardening
        • Green Lifestyle & Self-Sufficiency
        • History
        • House & Home

        •  

        • Language & Linguistics
        • Mind, Body, Spirit
        • Politics & Government
        • Popular Psychology
        • Religion & Beliefs
        • Science
        • Self Help & Personal Development
        • Society & Culture
        • Sport & Recreation
        • Transportation
        • Travel & Holidays

        • Biographies & True Stories

        • Arts & Entertainment Biographies
        • Historical Biographies
        • Sport Biographies
        • Travel Writing
        • True Crime
        • True Stories of Heroism

          • Cooking, Food & Drink

        • Baking & Desserts
        • Cooking for & with Children
        • Health & Wholefood Cookery
        • National & Regional Cuisine
        • TV & Celebrity Chefs
        • Vegetarian Cookery

        • Self Help & Personal Development

        • Advice on Careers & Success
        • Advice on Parenting
        • Family, Health & Relationships
        • Fitness & Diet
        • Mind, Body, Spirit
        • Popular Psychology

          • Professional

        • Business
        • Law
        • Medicine

        More:

      • Award Winning Reads
      • Reviews and Staff Picks
      • Author Interviews
      • Podcasts
        • Explore All Non-Fiction >
    • KIDS & YA

        Browse Kids & YA

      • New Releases
      • Bestselling
      • Bargains
      • Signed Copies

        • Browse by Age

        • Under 3
        • Pre-School (3-6)
        • School Age (6-9)
        • Pre-Teen (9-12)
        • Teen (12-15)
        • Young Adult (16+)

        • Popular Authors

        • Aaron Blabey
        • Anh Do
        • J.K. Rowling
        • Emily Rodda
        • Rick Riordan
        • Mem Fox
        • David Walliams
        • Cassandra Clare

        • Popular Series

        • Harry Potter
        • Bluey
        • The Treehouse Series
        • Nevermoor
        • Dog Man
        • Billie B Brown
        • Fun for Kids

        • Education

        • Education Central
        • Pre School
        • Primary School
        • Secondary School

        More:

      • CBCA Awards
      • Reviews and Staff Picks
      • Author Interviews
      • Podcasts
        • Explore All Kids & YA Books >
    • AUSTRALIAN
    • EDUCATION

        • Pre-School / Kindergarten

        • Pre-School & Day-Care
        • Starting School
        • Early Learning
        • ABC Reading Eggs
        • Picks for Toddlers
        • Picks for Pre-school
        • Sleeping Easy
        • Managing Manners
        • Big Picture Books
        • Understanding Emotions

        • Primary

        • Bestselling Primary Texts
        • Excel Guides for Primary
        • All About Sport
        • Reading
        • Maths
        • Primary Reference
        • CBCA Books

        • Secondary

        • Bestselling Secondary Texts
        • Accounting Business & Legal
        • Media, Arts & Religion
        • Reference & Study Guides
        • Guides to the School Certificates
        • Biology & Science
        • English & Literature
        • History
        • Languages
        • Maths

        •  

        • Poetry
        • Plays
        • Classic Fiction

          • Guides and Resources

        • NAPLAN
        • Anti-Bullying Books
        • Empowering Girls
        • Introducing Indigenous Culture
        • Oxford Dictionaries
      Education Central
      Explore All Education >
    • DIGITAL TEXTBOOKS
    • ACADEMIC

        • University

        • Accounting, Business & Finance
        • Biology and Sciences
        • Computing & Programming
        • Education
        • Engineering & Physics
        • English & Literature
        • Environment & Planning
        • Health Care

        •  

        • History
        • Language
        • Law
        • Mathematics & Statistics
        • Media, Communication & Arts
        • Medicine
        • Nursing
        • Politics

        •  

        • Psychology
        • Social Sciences
        • Study Skills

        • Vocational

        • Trades
        • Hospitality & Tourism
        • Business, Financial & Management
        • Nursing & Health Care
        • IT, Networking & Computer Repair
        • Education & Early Childhood
        • Social Working & Counselling
        • Design, Art, Fashion & Photography
      Explore All Academic >
    • BARGAINS
    • GIFT CERTIFICATES
Books > Non-Fiction > Computing & I.T. > Computer Science > Computer Architecture & Logic Design
Get Free Shipping on orders over $79

Computer Architecture & Logic Design

REFINE YOUR RESULTS

SUBJECTS

  • Assembly Languages
  • Parallel Processing

LISTS

  • All Books (6598)
  • Hot Prices (71)
  • Audiobooks (53)

AVAILABILITY

  • All Books (6598)
  • New Releases (162)
  • Coming Soon (130)
  • Ready To Ship (123)

PRICE

CUSTOMER RATING

  •  
    (11) 
  •  
    & Up (17) 
  •  
    & Up (19) 

FORMATS

LANGUAGE

  • Book
     (6598)
  • eBooks
     (7126)
  • Audiobooks
     (53)
6598 Results | View 24 / 100
< 1 ... 38 39 40 41 42 ... 67 >
Sort By
Sort By:
  • FST TCS 2002 : Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings - Manindra Agrawal
    FST TCS 2002
    Foundations of Software Technology and Theoreti...
    Manindra Agrawal and Anil Seth
    Paperback
    $84.99
    BUY NOW
  • Spectral Interpretation of Decision Diagrams - Radomir Stankovic
    Spectral Interpretation of Decision Diagrams
    Radomir Stankovic and Jaakko T. Astola
    Hardcover
    $169.00
    BUY NOW
  • Agent-Oriented Software Engineering III : Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions - Fausto Giunchiglia
    Agent-Oriented Software Engineering III
    Third International Workshop, AOSE 2002, Bologn...
    Fausto Giunchiglia, James Odell and Gerhard WeiÃ?
    Paperback
    $84.99
    BUY NOW
  • Information Security Architecture : An Integrated Approach to Security in the Organization, Second Edition - Jan Killmeyer
    Information Security Architecture
    An Integrated Approach to Security in the Organ...
    Jan Killmeyer
    Hardcover
    RRP $284.00
    $246.75
    13%
    OFF
    BUY NOW
  • Global IT Management : A Practical Approach - Robert Barton
    Global IT Management
    A Practical Approach
    Robert Barton
    Hardcover
    $152.85
    BUY NOW
  • Distributed Computing : Fundamentals, Simulations, and Advanced Topics - Hagit Attiya
    Distributed Computing
    Fundamentals, Simulations, and Advanced Topics
    Hagit Attiya and Jennifer Welch
    Hardcover
    RRP $317.85
    $317.75
    BUY NOW
  • Hybrid Systems : Computation and Control : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings - Freek Wiedijk
    Hybrid Systems
    Computation and Control : 6th International Wor...
    Freek Wiedijk, Oded Maler and Amir Pnueli
    Paperback
    $169.00
    BUY NOW
  • Hot Pre-Orders
  • Fundamental Approaches to Software Engineering : 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Mauro Pezzè
    Fundamental Approaches to Software Engineering
    6th International Conference, FASE 2003, Held a...
    Mauro Pezzè
    Paperback
    $84.99
    BUY NOW
  • Wireless Sensor Networks : Architectures and Protocols - Jr. Edgar H. Callaway
    Wireless Sensor Networks
    Architectures and Protocols
    Jr. Edgar H. Callaway
    Hardcover
    RRP $305.00
    $263.75
    14%
    OFF
    BUY NOW
  • Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proc - Hubert Garavel
    Tools and Algorithms for the Construction and Analysis of Systems
    9th International Conference, TACAS 2003, Held ...
    Hubert Garavel and John Hatcliff
    Paperback
    $169.00
    BUY NOW
  • Power-Aware Computer Systems : Second International Workshop, PACS 2002 Cambridge, MA, USA, February 2, 2002, Revised Papers - Babak Falsafi
    Power-Aware Computer Systems
    Second International Workshop, PACS 2002 Cambri...
    Babak Falsafi and T.N. Vijaykumar
    Paperback
    $84.99
    BUY NOW
  • Recent Advances in Constraints : Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers - Barry O'Sullivan
    Recent Advances in Constraints
    Joint ERCIM/CologNet International Workshop on ...
    Barry O'Sullivan
    Paperback
    $84.99
    BUY NOW
  • Fundamentals of Computer Organization and Architecture : Wiley Series on Parallel and Distributed Computing - Mostafa Abd-El-Barr
    Fundamentals of Computer Organization and Architecture
    Wiley Series on Parallel and Distributed Computing
    Mostafa Abd-El-Barr and Hesham El-Rewini
    Hardcover
    RRP $345.35
    $344.75
    BUY NOW
  • Handbook on Enterprise Architecture : International Handbooks on Information Systems - Peter Bernus
    Handbook on Enterprise Architecture
    International Handbooks on Information Systems
    Peter Bernus, Laszlo Nemes and Günter Schmidt
    Hardcover
    $489.01
    BUY NOW
  • High Performance Memory Systems - David R. Kaeli
    High Performance Memory Systems
    David R. Kaeli, Haldun Hadimioglu and Jeffrey Kiskin
    Hardcover
    $84.99
    BUY NOW
  • Winning the SoC Revolution : Experiences in Real Design - Grant Martin
    Winning the SoC Revolution
    Experiences in Real Design
    Grant Martin and Henry Chang
    Hardcover
    $249.00
    BUY NOW
  • Telecommunications and beyond : The Broader Applicability of SDL and MSC : Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers - Edel Sherratt
    Telecommunications and beyond
    The Broader Applicability of SDL and MSC : Thir...
    Edel Sherratt
    Paperback
    $84.99
    BUY NOW
  • Developments in Language Theory : 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings - Zoltán Ã?sik
    Developments in Language Theory
    7th International Conference, DLT 2003, Szeged,...
    Zoltán �sik and Zoltán Fülöp
    Paperback
    $84.99
    BUY NOW
  • Parallel and Distributed Processing and Applications : International Symposium, ISPA 2003, Aizu, Japan, July 2-4, 2003, Proceedings - Minyi Guo
    Parallel and Distributed Processing and Applications
    International Symposium, ISPA 2003, Aizu, Japan...
    Minyi Guo and Laurence Tianruo Yang
    Paperback
    $84.99
    BUY NOW
  • Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings - Franz Baader
    Automated Deduction - CADE-19
    19th International Conference on Automated Dedu...
    Franz Baader
    Paperback
    $84.99
    BUY NOW
  • System-on-Chip Architectures and Implementations for Private-Key Data Encryption - Máire McLoone
    System-on-Chip Architectures and Implementations for Private-Key Data Encryption
    Máire McLoone and John V. McCanny
    Hardcover
    $169.00
    BUY NOW
  • Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt G¶del Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings - Matthias Baaz
    Computer Science Logic
    17th International Workshop, CSL 2003, 12th Ann...
    Matthias Baaz and Johann M. Makowsky
    Paperback
    $169.00
    BUY NOW
  • Object Management in Distributed Database Systems for Stationary and Mobile Computing Environments : A Competitive Approach - Wujuan Lin
    Object Management in Distributed Database Systems for Stationary and Mobile Computing Environments
    A Competitive Approach
    Wujuan Lin and Bharadwaj Veeravalli
    Hardcover
    $169.00
    BUY NOW
  • Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems - Marco Bernardo
    Formal Methods for Software Architectures
    Third International School on Formal Methods fo...
    Marco Bernardo and Paola Inverardi
    Paperback
    $84.99
    BUY NOW
  • Advances in Computer Systems Architecture : 8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003, Proceedings - Amos Omondi
    Advances in Computer Systems Architecture
    8th Asia-Pacific Conference, ACSAC 2003, Aizu-W...
    Amos Omondi and Stanislav Sedukhin
    Paperback
    $84.99
    BUY NOW
  • Theoretical Computer Science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - Carlo Blundo
    Theoretical Computer Science
    8th Italian Conference, ICTCS 2003, Bertinoro, ...
    Carlo Blundo and Cosimo Laneve
    Paperback
    $84.99
    BUY NOW
  • Ambient Intelligence : Impact on Embedded System Design - Twan Basten
    Ambient Intelligence
    Impact on Embedded System Design
    Twan Basten, Marc Geilen and Harmke de Groot
    Hardcover
    $249.00
    BUY NOW
  • Neural Nets : 14th Italian Workshop on Neural Nets, WIRN VIETRI 2003, Vietri Sul Mare, Italy, June 4-7, 2003: Proceedings : 14th Italian Workshop on Neural Nets, WIRN VIETRI 2003, Vietri Sul Mare, Italy, June 4-7, 2003: Proceedings - Roberto Tagliaferri
    Neural Nets : 14th Italian Workshop on Neural Nets, WIRN VIETRI 2003, Vietri Sul Mare, Italy, June 4-7, 2003: Proceedings
    14th Italian Workshop on Neural Nets, WIRN VIET...
    Roberto Tagliaferri, Maria Marinaro and Bruno Apolloni
    Paperback
    $84.99
    BUY NOW
  • High Performance Scientific and Engineering Computing : Hardware/Software Support - Laurence Tianruo Yang
    High Performance Scientific and Engineering Computing
    Hardware/Software Support
    Laurence Tianruo Yang and Yi Pan
    Hardcover
    $249.00
    BUY NOW
  • Verification Plans : The Five-Day Verification Strategy for Modern Hardware Verification Languages - Peet James
    Verification Plans
    The Five-Day Verification Strategy for Modern H...
    Peet James
    Hardcover
    $259.01
    BUY NOW
  • Introduction to Parallel Computing : A practical guide with examples in C - Wesley Petersen
    Introduction to Parallel Computing
    A practical guide with examples in C
    Wesley Petersen and Peter Arbenz
    Hardcover
    $270.55
    BUY NOW
  • Digital Computer Arithmetic Datapath Design Using Verilog Hdl : CD-ROM Included with CDROM : CD-ROM Included with CDROM - James E. Stine
    Digital Computer Arithmetic Datapath Design Using Verilog Hdl : CD-ROM Included with CDROM
    CD-ROM Included with CDROM
    James E. Stine
    Hardcover
    $169.00
    BUY NOW
  • Intelligent Agents and Multi-Agent Systems : 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings - Jaeho Lee
    Intelligent Agents and Multi-Agent Systems
    6th Pacific Rim International Workshop on Multi...
    Jaeho Lee and Mike Barley
    Paperback
    $84.99
    BUY NOW
  • A Practical Approach to Wbem/CIM Management - Chris Hobbs
    A Practical Approach to Wbem/CIM Management
    Chris Hobbs
    Hardcover
    RRP $273.00
    $236.99
    13%
    OFF
    BUY NOW
  • Global Computing. Programming Environments, Languages, Security, and Analysis of Systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers - Corrado Priami
    Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
    IST/FET International Workshop, GC 2003, Rovere...
    Corrado Priami
    Paperback
    $84.99
    BUY NOW
  • The Parametric Lambda Calculus : A Metamodel for Computation - Simona Ronchi Della Rocca
    The Parametric Lambda Calculus
    A Metamodel for Computation
    Simona Ronchi Della Rocca and Luca Paolini
    Hardcover
    $84.99
    BUY NOW
  • SIMD Programming Manual for Linux and Windows : Springer Professional Computing - Paul Cockshott
    SIMD Programming Manual for Linux and Windows
    Springer Professional Computing
    Paul Cockshott and Kenneth Renfrew
    Hardcover
    $169.00
    BUY NOW
  • Information Dispersal and Parallel Computation : Concepts in Clinical Psychiatry, 3 - No Information Available
    Information Dispersal and Parallel Computation
    Concepts in Clinical Psychiatry, 3
    No Information Available
    Paperback
    RRP $75.95
    $71.75
    BUY NOW
  • Agent-Oriented Software Engineering IV : 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers - Paolo Giorgini
    Agent-Oriented Software Engineering IV
    4th International Workshop, AOSE 2003, Melbourn...
    Paolo Giorgini, Jörg Müller and James Odell
    Paperback
    $84.99
    BUY NOW
  • Casl User Manual : Introduction to Using the Common Algebraic Specification Language : Introduction to Using the Common Algebraic Specification Language - Michel Bidoit
    Casl User Manual : Introduction to Using the Common Algebraic Specification Language
    Introduction to Using the Common Algebraic Spec...
    Michel Bidoit and Peter D. Mosses
    Paperback
    $84.99
    BUY NOW
  • CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings - Egon Börger
    CSL '89
    3rd Workshop on Computer Science Logic. Kaisers...
    Egon Börger, Hans Kleine Büning and Michael M. Richter
    Paperback
    $84.99
    BUY NOW
  • On the Shape of Mathematical Arguments : Lecture Notes in Computer Science - Antonetta J.M. van Gasteren
    On the Shape of Mathematical Arguments
    Lecture Notes in Computer Science
    Antonetta J.M. van Gasteren
    Paperback
    $84.99
    BUY NOW
  • SWAT '90 : 2nd Scandinavian Workshop on Algorithm Theory. Bergen, Norway, July 11-14, 1990. Proceedings - John R. Gilbert
    SWAT '90
    2nd Scandinavian Workshop on Algorithm Theory. ...
    John R. Gilbert and Rolf Karlsson
    Paperback
    $84.99
    BUY NOW
  • Parallel Lisp : Languages and Systems : US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings - Takayasu Ito
    Parallel Lisp
    Languages and Systems : US/Japan Workshop on Pa...
    Takayasu Ito and Robert H. Jr. Halstead
    Paperback
    $84.99
    BUY NOW
  • Statistical and Scientific Database Management : Fifth International Conference, V SSDBM, Charlotte, N.C., USA, April 3-5, 1990, Proceedings - Zbigniew Michalewicz
    Statistical and Scientific Database Management
    Fifth International Conference, V SSDBM, Charlo...
    Zbigniew Michalewicz
    Paperback
    $84.99
    BUY NOW
  • CONCUR '90 : Theories of Concurrency: Unification and Extension - Joseph C.M. Baeten
    CONCUR '90
    Theories of Concurrency: Unification and Extension
    Joseph C.M. Baeten and Jan W. Klop
    Paperback
    $84.99
    BUY NOW
  • Combinatorics on Traces : Lecture Notes in Computer Science - Volker Diekert
    Combinatorics on Traces
    Lecture Notes in Computer Science
    Volker Diekert
    Paperback
    $84.99
    BUY NOW
  • Specification and Transformation of Programs : A Formal Approach to Software Development - Helmut A. Partsch
    Specification and Transformation of Programs
    A Formal Approach to Software Development
    Helmut A. Partsch
    Hardcover
    $84.99
    BUY NOW
  • Efficient Query Processing in Geographic Information Systems : Lecture Notes in Computer Science - Beng Chin Ooi
    Efficient Query Processing in Geographic Information Systems
    Lecture Notes in Computer Science
    Beng Chin Ooi
    Paperback
    $84.99
    BUY NOW
  • Graph-Theoretic Concepts in Computer Science : 16th International Workshop WG '90, Berlin, Germany, June 20-22, 1990 - Rolf H. Möhring
    Graph-Theoretic Concepts in Computer Science
    16th International Workshop WG '90, Berlin, Ger...
    Rolf H. Möhring
    Paperback
    $84.99
    BUY NOW
  • TAPSOFT '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91) - S. Abramsky
    TAPSOFT '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
    Volume 1: Colloquium on Trees in Algebra and Pr...
    S. Abramsky and T.S.E. Maibaum
    Paperback
    $84.99
    BUY NOW
  • Advances in Petri Nets 1991 : Lecture Notes in Computer Science - Grzegorz Rozenberg
    Advances in Petri Nets 1991
    Lecture Notes in Computer Science
    Grzegorz Rozenberg
    Paperback
    $169.00
    BUY NOW
  • Mathematical Foundations of Computer Science 1991 : 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings - Andrzej Tarlecki
    Mathematical Foundations of Computer Science 1991
    16th International Symposium, Kazimierz Dolny, ...
    Andrzej Tarlecki
    Paperback
    $84.99
    BUY NOW
  • Theoretical Aspects of Computer Software : International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings - Takayasu Ito
    Theoretical Aspects of Computer Software
    International Conference TACS '91, Sendai, Japa...
    Takayasu Ito and Albert R. Meyer
    Paperback
    $169.00
    BUY NOW
  • CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings - Jos C.M. Baeten
    CONCUR '91
    2nd International Conference on Concurrency The...
    Jos C.M. Baeten and Jan F. Groote
    Paperback
    $84.99
    BUY NOW
  • Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings - Edmund M. Clarke
    Computer-Aided Verification
    2nd Internatonal Conference, CAV '90, New Bruns...
    Edmund M. Clarke and Robert P. Kurshan
    Paperback
    $84.99
    BUY NOW
  • VDM '91. Formal Software Development Methods : 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings, Volume 1: Conference Contributions - Soren Prehn
    VDM '91. Formal Software Development Methods
    4th International Symposium of VDM Europe, Noor...
    Soren Prehn and Hans Toetenel
    Paperback
    $169.00
    BUY NOW
  • VDM '91. Formal Software Development Methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 2: Tutorials - Soren Prehn
    VDM '91. Formal Software Development Methods
    4th International Symposium of VDM Europe, Noor...
    Soren Prehn and Hans Toetenel
    Paperback
    $84.99
    BUY NOW
  • Research Directions in High-Level Parallel Programming Languages : Mont Saint-Michel, France, June 17-19, 1991 Proceedings - Jean Pierre Banatre
    Research Directions in High-Level Parallel Programming Languages
    Mont Saint-Michel, France, June 17-19, 1991 Pro...
    Jean Pierre Banatre and Daniel Le Metayer
    Paperback
    $84.99
    BUY NOW
  • STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings - Alain Finkel
    STACS 92
    9th Annual Symposium on Theoretical Aspects of ...
    Alain Finkel and Matthias Jantzen
    Paperback
    $169.00
    BUY NOW
  • CAAP '92 : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings - Jean-Claude Raoult
    CAAP '92
    17th Colloquium on Trees in Algebra and Program...
    Jean-Claude Raoult
    Paperback
    $84.99
    BUY NOW
  • Parallel Execution of Parlog : Lecture Notes in Computer Science - Andrew Cheese
    Parallel Execution of Parlog
    Lecture Notes in Computer Science
    Andrew Cheese
    Paperback
    $84.99
    BUY NOW
  • Mathematical Foundations of Programming Semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings - Stephen Brookes
    Mathematical Foundations of Programming Semantics
    7th International Conference, Pittsburgh, PA, U...
    Stephen Brookes, Michael Main and Austin Melton
    Paperback
    $84.99
    BUY NOW
  • Modular Construction and Partial Order Semantics of Petri Nets : Lecture Notes in Computer Science - Walter Vogler
    Modular Construction and Partial Order Semantics of Petri Nets
    Lecture Notes in Computer Science
    Walter Vogler
    Paperback
    $84.99
    BUY NOW
  • Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 Proceedings - Maurice Bruynooghe
    Programming Language Implementation and Logic Programming
    4th International Symposium, PLILP '92, Leuven,...
    Maurice Bruynooghe and Martin Wirsing
    Paperback
     
    (1 review)
    $84.99
    BUY NOW
  • Specifying Message Passing and Time-Critical Systems with Temporal Logic : Lecture Notes in Computer Science - Ron Koymans
    Specifying Message Passing and Time-Critical Systems with Temporal Logic
    Lecture Notes in Computer Science
    Ron Koymans
    Paperback
    $84.99
    BUY NOW
  • Recent Developments in Decision Support Systems : NATO Asi Series / Computer and Systems Sciences - Clyde Holsapple
    Recent Developments in Decision Support Systems
    NATO Asi Series / Computer and Systems Sciences
    Clyde Holsapple and Andrew B. Whinston
    Hardcover
    $329.00
    BUY NOW
  • Interface Fundamentals in Microprocessor-Controlled Systems : International Series on Microprocessor-Based Systems Engineering - Chris Georgopoulos
    Interface Fundamentals in Microprocessor-Controlled Systems
    International Series on Microprocessor-Based Sy...
    Chris Georgopoulos
    Hardcover
     
    (2 reviews)
    $329.00
    BUY NOW
  • Parallel Computing on Distributed Memory Multiprocessors : NATO Asi Series / Computer and Systems Sciences - Füsun Ã?zgüner
    Parallel Computing on Distributed Memory Multiprocessors
    NATO Asi Series / Computer and Systems Sciences
    Füsun �zgüner and Fikret Ercal
    Hardcover
    $169.00
    BUY NOW
  • Machine Learning : From Theory to Applications : Cooperative Research at Siemens and MIT - Stephen J. Hanson
    Machine Learning
    From Theory to Applications : Cooperative Resea...
    Stephen J. Hanson, Werner Remmele and Ronald L. Rivest
    Paperback
    $84.99
    BUY NOW
  • Advances in Petri Nets 1993 : Lecture Notes in Computer Science - Grzegorz Rozenberg
    Advances in Petri Nets 1993
    Lecture Notes in Computer Science
    Grzegorz Rozenberg
    Paperback
    $84.99
    BUY NOW
  • Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada - Peter E. Lauer
    Functional Programming, Concurrency, Simulation and Automated Reasoning
    International Lecture Series 1991-1992, McMaste...
    Peter E. Lauer
    Paperback
    $84.99
    BUY NOW
  • Automata, Languages and Programming : 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings - Andrzej Lingas
    Automata, Languages and Programming
    20th International Colloquium, ICALP 93, Lund, ...
    Andrzej Lingas, Rolf Karlsson and Svante Carlsson
    Paperback
    $169.00
    BUY NOW
  • Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings - Andrei Voronkov
    Logic Programming and Automated Reasoning
    4th International Conference, LPAR'93, St.Peter...
    Andrei Voronkov
    Paperback
    $84.99
    BUY NOW
  • Static Analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings - Patrick Cousot
    Static Analysis
    Third International Workshop, WSA '93, Padova, ...
    Patrick Cousot, Moreno Falaschi and Gilberto File
    Paperback
    $84.99
    BUY NOW
  • Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report - Bernhard Möller
    Formal Program Development
    IFIP TC2/WG 2.1 State-of-the-Art Report
    Bernhard Möller, Helmut Partsch and Steve Schuman
    Paperback
    $84.99
    BUY NOW
  • Visualization of Scientific Parallel Programs : Lecture Notes in Computer Science - Gerald Tomas
    Visualization of Scientific Parallel Programs
    Lecture Notes in Computer Science
    Gerald Tomas and Christoph W. Ueberhuber
    Paperback
    $84.99
    BUY NOW
  • Programming Languages and System Architectures : International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings - Jürg Gutknecht
    Programming Languages and System Architectures
    International Conference, Zurich, Switzerland, ...
    Jürg Gutknecht
    Paperback
    $84.99
    BUY NOW
  • FM8501 : A Verified Microprocessor - Warren A. Jr. Hunt
    FM8501
    A Verified Microprocessor
    Warren A. Jr. Hunt
    Paperback
    $84.99
    BUY NOW
  • VLSI Algorithms and Architectures : Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings - Fillia Makedon
    VLSI Algorithms and Architectures
    Aegean Workshop on Computing, Loutraki, Greece,...
    Fillia Makedon, Kurt Mehlhorn and T. Papatheodorou
    Paperback
    $84.99
    BUY NOW
  • Automata, Languages and Programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings - Thomas Ottmann
    Automata, Languages and Programming
    14th International Colloquium, Karlsruhe, Feder...
    Thomas Ottmann
    Paperback
    $169.00
    BUY NOW
  • From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions - Dominique Snyers
    From Logic Design to Logic Programming
    Theorem Proving Techniques and P-Functions
    Dominique Snyers and Andre Thayse
    Paperback
    $84.99
    BUY NOW
  • A Connotational Theory of Program Structure : Lecture Notes in Computer Science - James S. Royer
    A Connotational Theory of Program Structure
    Lecture Notes in Computer Science
    James S. Royer
    Paperback
    $84.99
    BUY NOW
  • System Development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings - A. Nico Habermann
    System Development and Ada
    CRAI Workshop on Software Factories and Ada, Ca...
    A. Nico Habermann and Ugo Montanari
    Paperback
    $84.99
    BUY NOW
  • Category Theory and Computer Science : Edinburgh, UK, September 7-9, 1987. Proceedings - David H. Pitt
    Category Theory and Computer Science
    Edinburgh, UK, September 7-9, 1987. Proceedings
    David H. Pitt, Axel Poigne and David E. Rydeheard
    Paperback
    $84.99
    BUY NOW
  • Embedded Systems : New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 - Albert Kündig
    Embedded Systems
    New Approaches to Their Formal Description and ...
    Albert Kündig, Richard E. Bührer and Jacques Dähler
    Paperback
    $84.99
    BUY NOW
  • Co-oP : A Group Decision Support System for Cooperative Multiple Criteria Group Decision Making - Tung X. Bui
    Co-oP
    A Group Decision Support System for Cooperative...
    Tung X. Bui
    Paperback
    $84.99
    BUY NOW
  • Experiences with Distributed Systems : International Workshop, Kaiserslautern, Frg, September 28-30, 1987. Proceedings - Jrgen Nehmer
    Experiences with Distributed Systems
    International Workshop, Kaiserslautern, Frg, Se...
    Jrgen Nehmer, Jurgen Nehmer and J. Rgen Nehmer
    Paperback
    $84.99
    BUY NOW
  • Concurrency 88 : International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings - Friedrich H. Vogt
    Concurrency 88
    International Conference on Concurrency Hamburg...
    Friedrich H. Vogt
    Paperback
    $84.99
    BUY NOW
  • Advances in Petri Nets 1988 : Lecture Notes in Computer Science - Grzegorz Rozenberg
    Advances in Petri Nets 1988
    Lecture Notes in Computer Science
    Grzegorz Rozenberg
    Paperback
    $84.99
    BUY NOW
  • Proceedings / Parcella 1988 : Fourth International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, GDR, October 17-21, 1988 - Gottfried Wolf
    Proceedings / Parcella 1988
    Fourth International Workshop on Parallel Proce...
    Gottfried Wolf, Tamas Legendi and Udo Schendel
    Paperback
    $84.99
    BUY NOW
  • Compositionality, Concurrency, and Partial Correctness : Proof Theories for Networks of Processes, and Their Relationship - Job Zwiers
    Compositionality, Concurrency, and Partial Correctness
    Proof Theories for Networks of Processes, and T...
    Job Zwiers
    Paperback
    $84.99
    BUY NOW
  • TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 : Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium - Josep Diaz
    TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989
    Volume 1: Advanced Seminar on Foundations of In...
    Josep Diaz and Fernando Orejas
    Paperback
    $84.99
    BUY NOW
  • TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 : Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium - Josep Diaz
    TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989
    Volume 2: Advanced Seminar on Foundations of In...
    Josep Diaz and Fernando Orejas
    Paperback
    $84.99
    BUY NOW
  • Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 - Jacobus W. de Bakker
    Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
    School/Workshop, Noordwijkerhout, The Netherlan...
    Jacobus W. de Bakker, Willem-Paul de Roever and Grzegorz Rozenberg
    Paperback
    $169.00
    BUY NOW
  • Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings - Albert R. Meyer
    Logic at Botik '89
    Symposium on Logical Foundations of Computer Sc...
    Albert R. Meyer and Michael A. Taitslin
    Paperback
    $84.99
    BUY NOW
  • Compiler Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do - Mads Tofte
    Compiler Generators
    What They Can Do, What They Might Do, and What ...
    Mads Tofte
    Hardcover
    $169.00
    BUY NOW
  • Finite Representations of CCS and TCSP Programs by Automata and Petri Nets : Lecture Notes in Computer Science - Dirk A. Taubner
    Finite Representations of CCS and TCSP Programs by Automata and Petri Nets
    Lecture Notes in Computer Science
    Dirk A. Taubner
    Paperback
    $84.99
    BUY NOW
  • CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings - Egon Börger
    CSL'88
    2nd Workshop on Computer Science Logic, Duisbur...
    Egon Börger, Hans Kleine Büning and Michael M. Richter
    Paperback
    $84.99
    BUY NOW
6598 Results | View 24 / 100
< 1 ... 38 39 40 41 42 ... 67 >
Sort By
Sort By:

Join Our Newsletter

Head Office
34-48 Cosgrove Road, South Strathfield NSW 2136
ABN 90 679 610 890
MOBILE SITE

Help Centre

  • Placing An Order
  • Contact Booktopia
  • Terms Of Business
  • Privacy Policy
  • Become An Affiliate
  • Sitemap

Shipping

  • Track My Order
  • Standard Shipping
  • Express Shipping
  • Shipping Timeframes
  • Delivering Your Order
  • New Zealand Orders

About Booktopia

  • Your Local Bookstore
  • Why Buy From Booktopia?
  • Our Awards
  • Booktopia's Charities
  • Booktopia eBooks
  • Work With Us

Bestsellers

  • Babies & Toddlers' Bestseller List
  • Children's Bestseller List
  • Young Adults' Bestseller List
  • Fiction Bestseller List
  • Non-Fiction Bestseller List

Popular Brands

  • ABC Reading Eggs
  • Australian Women's Weekly
  • Bluey
  • Excel Education
  • Dr Seuss
  • For Dummies
  • Harvard Business Review
  • Harry Potter
  • LEGO
  • Little Golden Books
  • Lonely Planet Travel Books
  • No Fear Shakespeare
  • Penguin Black Classics
  • Peppa Pig
  • Teach Yourself
  • Vintage Classics
  • Where's Wally

Popular Series

  • A Court of Thorns and Roses
  • A Game of Thrones
  • Bridgerton
  • Diary of a Wimpy Kid
  • Dune
  • Jack Reacher
  • Jack West
  • Little People, Big Dreams
  • Lord of the Rings
  • Nevermoor
  • Outlander
  • The Bad Guys
  • The Treehouse Series
  • The Wheel of Time
  • The Witcher
  • Wings of Fire
  • Wolf Girl

Popular Authors

  • Brene Brown
  • Bruce Pascoe
  • David Walliams
  • Di Morrissey
  • Donna Hay
  • Fiona McIntosh
  • Helen Garner
  • Jane Harper
  • Liane Moriarty
  • Matthew Reilly
  • Peter FitzSimons
  • Sally Rooney
  • Sarah J. Maas
  • Taylor Jenkins Reid
  • Tim Winton
  • Trent Dalton
  • Yotam Ottolenghi

Popular Subjects

  • Biographies & True Stories
  • Business & Management
  • Cooking, Food & Drink
  • Crafts & Handiwork
  • Family & Health
  • Fitness & Diet
  • History
  • Self-Help & Personal Development
  • Australian Fiction
  • Crime & Mystery
  • Classic Fiction
  • Fantasy Fiction
  • Modern & Contemporary Fiction
  • Manga
  • Picture Books
  • Young Adult Fiction
Voted Australia’s Favourite Bookstore by Australian Book Buyers

© 2026 Booktopia Direct Pty Ltd.
${altTag}
RRP ${fmtRetailPrice}
${fmtSalePrice}
BUY NOW