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
    • Coming Soon
    • Bestselling
      • Popular Subjects

      • Romance
      • Crime & Mystery
      • Erotic Fiction
      • Children's Fiction
      • Fantasy
      • Thrillers
      • Science Fiction
      • Popular Authors

      • Danielle Steel
      • E L James
      • James Patterson
      • Kerry Greenwood
      • Lee Child
      • Michael Connelly
      • Peter Corris
      • Popular Series

      • Text Classics
    Explore All Fiction >
  • NON-FICTION

      Browse Non-Fiction

    • Bestselling
      • Subjects

      • Accounting & Finance
      • Animals & Nature
      • Antiques & Collectables
      • Archaeology
      • Arts & Entertainment
      • Biographies & True Stories
      • Business & Management
      • Children's Non-Fiction
      • Comedy & Humour
      • Computing & I.T.
      • Cooking, Food & Drink
      • Crafts & Handiwork
      • Dictionaries
      • Earth Sciences & Environment
      • Economics
      • Education
      •  

      • Engineering & Technology
      • Family & Health
      • Gardening
      • History
      • Hobbies, Games & Puzzles
      • Home & House Maintenance
      • Industry & Industrial Studies
      • Language & Linguistics
      • Law
      • Library & Info Sciences
      • Lifestyle & Fashion
      • Literature, Poetry & Plays
      • Mathematics
      • Medicine
      • Mind, Body, Spirit
      • Philosophy
      •  

      • Politics & Government
      • Psychology
      • Reference & Encyclopaedias
      • Religion & Beliefs
      • Science
      • Self-Help & Personal Development
      • Social Services & Welfare
      • Society & Culture
      • Sociology & Anthropology
      • Sports & Recreation
      • Teaching English (ELT)
      • Transportation
      • Travel & Holidays
      • Travel Maps & Atlases
      • Warfare & Defence
    Explore All Non-Fiction >
  • TEXTBOOKS
  • KIDS & YA

      Browse Kids & YA

    • New Releases
    • Bestselling
      • Popular Subjects

      • Children's Fiction
      • Romance & Love Stories
      • Picture Books & Early Learning
      • Children's Non-Fiction
    Explore All Kids & YA
  • EREADERS
  • KOBO PLUS
eBooks > Non-Fiction > Computing & I.T. > Computer Science > Artificial Intelligence > Expert Systems & Knowledge-Based Systems
Get Free Shipping on orders over $0

Expert Systems & Knowledge-Based Systems

REFINE YOUR RESULTS

SUBJECTS

  • Computer Vision
  • Expert Systems & Knowledge-Based Systems
  • Natural Language & Machine Translation
  • Neural Networks & Fuzzy Systems

LISTS

  • All eBooks (4046)
  • Books (3394)
  • Audiobooks (204)
  • eTextbooks (3343)

AVAILABILITY

  • All eBooks (4046)
  • New Releases (116)
  • Coming Soon (13)
  • Subscription eBooks (388)

PRICE

FORMATS

LANGUAGE

  • eBook
    (4046)
  • Books
    (3394)
  • Audiobooks
    (204)
  • Audio CDs
    (2)
4046 Results | View 24 / 100
< 1 ... 16 17 18 19 20 ... 41 >
Sort By
Sort By:
  • Information Hiding : 4th International Workshop, IH 2001, Pittsburgh, PA, USA, April 25-27, 2001. Proceedings - Ira S. Moskowitz
    Information Hiding
    4th International Workshop, IH 2001, Pittsburgh...
    Ira S. Moskowitz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Systems Theory - EUROCAST 2001 : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers - Roberto MorenoDiaz
    Computer Aided Systems Theory - EUROCAST 2001
    A Selection of Papers from the 8th Internationa...
    Roberto MorenoDiaz, Bruno Buchberger and JoseLuis Freire
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Languages, Compilers, and Tools for Embedded Systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings - Jack Davidson
    Languages, Compilers, and Tools for Embedded Systems
    ACM SIGPLAN Workshop LCTES 2000, Vancouver, Can...
    Jack Davidson and ?Sang Lyul Min
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reliable Software Technologies - Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings - Dirk Craeynest
    Reliable Software Technologies - Ada-Europe 2001
    6th Ada-Europe International Conference on Reli...
    Dirk Craeynest and ?Alfred Strohmeier
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intelligent Control Systems : An Introduction with Examples - Gábor Szederkényi
    Intelligent Control Systems
    An Introduction with Examples
    Gábor Szederkényi, R. Lakner and M. Gerzson
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Distributed Systems for System Architects - Paulo Veríssimo
    Distributed Systems for System Architects
    Paulo Veríssimo and Luís Rodrigues
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Volume Graphics 2001 : Proceedings of the Joint IEEE TCVG and Eurographics Workshop in Stony Brook, New York, USA, June 21-22, 2001 - K. Mueller
    Volume Graphics 2001
    Proceedings of the Joint IEEE TCVG and Eurograp...
    K. Mueller and A. Kaufman
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Australian Stories
  • Dependable Computing EDCC-4 : 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings - Grandoni Fabrizio
    Dependable Computing EDCC-4
    4th European Dependable Computing Conference To...
    Grandoni Fabrizio
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Safety, Reliability and Security : 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002. Proceedings - Stuart Anderson
    Computer Safety, Reliability and Security
    21st International Conference, SAFECOMP 2002, C...
    Stuart Anderson, Sandro Bologna and Massimo Felici
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Embedded Processor Design Challenges : Systems, Architectures, Modeling, and Simulation - SAMOS - Ed F. Deprettere
    Embedded Processor Design Challenges
    Systems, Architectures, Modeling, and Simulatio...
    Ed F. Deprettere and ?Stamatis Vassiliadis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings - Werner Damm
    Formal Techniques in Real-Time and Fault-Tolerant Systems
    7th International Symposium, FTRTFT 2002, Co-sp...
    Werner Damm and ?ErnstRüdiger Olderog
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • SDL 2001: Meeting UML : 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings - Rick Reed
    SDL 2001: Meeting UML
    10th International SDL Forum Copenhagen, Denmar...
    Rick Reed and Jeanne Reed
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mobile Data Management : Second International Conference, MDM 2001 Hong Kong, China, January 8-10, 2001 Proceedings - John C.S. Lui
    Mobile Data Management
    Second International Conference, MDM 2001 Hong ...
    John C.S. Lui
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Virtual Storytelling. Using Virtual Reality Technologies for Storytelling : International Conference ICVS 2001 Avignon, France, September 27-28, 2001 Proceedings - Olivier Balet
    Virtual Storytelling. Using Virtual Reality Technologies for Storytelling
    International Conference ICVS 2001 Avignon, Fra...
    Olivier Balet, Gerard Subsol and Patrice Torguet
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Compositional Verification of Concurrent and Real-Time Systems - Eric Y. T. Juan
    Compositional Verification of Concurrent and Real-Time Systems
    Eric Y. T. Juan and Jeffrey J. P. Tsai
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Managing Business and Service Networks - Lundy Lewis
    Managing Business and Service Networks
    Lundy Lewis
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • The Internet Challenge: Technology and Applications : Proceedings of the 5th International Workshop held at the TU Berlin, Germany, October 8th-9th, 2002 - Günter Hommel
    The Internet Challenge: Technology and Applications
    Proceedings of the 5th International Workshop h...
    Günter Hommel and Sheng Huanye
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Specification and Design Methodology for Real-Time Embedded Systems - Randall S. Janka
    Specification and Design Methodology for Real-Time Embedded Systems
    Randall S. Janka
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Real-Time Database Systems : Architecture and Techniques - KamYiu Lam
    Real-Time Database Systems
    Architecture and Techniques
    KamYiu Lam and TeiWei Kuo
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems - David Powell
    A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
    David Powell
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Design of Dependable Computing Systems - J. C. Geffroy
    Design of Dependable Computing Systems
    J. C. Geffroy and G. Motet
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Power Aware Computing - Rami Melhem
    Power Aware Computing
    Rami Melhem and Robert Graybill
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • High Integrity Software - Sourav Bhattacharya
    High Integrity Software
    Sourav Bhattacharya and Victor L. Winter
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Code Generation for Embedded Processors - Peter Marwedel
    Code Generation for Embedded Processors
    Peter Marwedel and ?Gert Goossens
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • IEC 61131-3: Programming Industrial Automation Systems : Concepts and Programming Languages, Requirements for Programming Systems, Aids to Decision-Making Tools - Karl-Heinz John
    IEC 61131-3: Programming Industrial Automation Systems
    Concepts and Programming Languages, Requirement...
    Karl-Heinz John and Michael Tiegelkamp
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Hybrid Systems: Computation and Control : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings - Claire J. Tomlin
    Hybrid Systems: Computation and Control
    5th International Workshop, HSCC 2002, Stanford...
    Claire J. Tomlin and Mark R. Greenstreet
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings - Ed Brinksma
    Computer Aided Verification
    14th International Conference, CAV 2002 Copenha...
    Ed Brinksma and Kim G. Larsen
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Software Frameworks and Embedded Control Systems - Alessandro Pasetti
    Software Frameworks and Embedded Control Systems
    Alessandro Pasetti
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Self-Stabilizing Systems : 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings - Ajoy K. Datta
    Self-Stabilizing Systems
    5th International Workshop, WSS 2001, Lisbon, P...
    Ajoy K. Datta and Ted Herman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Cryptographic Hardware and Embedded Systems - CHES 2001 : Third International Workshop, Paris, France, May 14-16, 2001 Proceedings - Cetin K. Koc
    Cryptographic Hardware and Embedded Systems - CHES 2001
    Third International Workshop, Paris, France, Ma...
    Cetin K. Koc, David Nacchae and Christof Paar
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Plan-Based Control of Robotic Agents : Improving the Capabilities of Autonomous Robots - Michael Beetz
    Plan-Based Control of Robotic Agents
    Improving the Capabilities of Autonomous Robots
    Michael Beetz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Safety, Reliability and Security : 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings - Udo Voges
    Computer Safety, Reliability and Security
    20th International Conference, SAFECOMP 2001, B...
    Udo Voges
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Real-Time and Multi-Agent Systems - Ammar Attoui
    Real-Time and Multi-Agent Systems
    Ammar Attoui
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Virtual Environments 2000 : Proceedings of the Eurographics Workshop in Amsterdam, The Netherlands, June 1-2, 2000 - Jurriaan Derk Mulder
    Virtual Environments 2000
    Proceedings of the Eurographics Workshop in Ams...
    Jurriaan Derk Mulder and R. van Liere
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Dave Baum's Definitive Guide to LEGO MINDSTORMS - Dave Baum
    Dave Baum's Definitive Guide to LEGO MINDSTORMS
    Dave Baum
    eText
    Instant Online Reading*
    $40.00
    BUY EBOOK
  • Computer Vision Systems : First International Conference, ICVS '99 Las Palmas, Gran Canaria, Spain, January 13-15, 1999 Proceedings - Henrik I. Christensen
    Computer Vision Systems
    First International Conference, ICVS '99 Las Pa...
    Henrik I. Christensen
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • FM'99 - Formal Methods : World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I - Jeannette M. Wing
    FM'99 - Formal Methods
    World Congress on Formal Methods in the Develop...
    Jeannette M. Wing, Jim Woodcook and Jim Davies
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Handheld and Ubiquitous Computing : Second International Symposium, HUC 2000 Bristol, UK, September 25-27, 2000 Proceedings - Peter Thomas
    Handheld and Ubiquitous Computing
    Second International Symposium, HUC 2000 Bristo...
    Peter Thomas and HansW Gellersen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Introduction to the Formal Design of Real-Time Systems - David F. Gray
    Introduction to the Formal Design of Real-Time Systems
    David F. Gray
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Virtual Environments '99 : Proceedings of the Eurographics Workshop in Vienna, Austria, May 31-June 1, 1999 - Dieter Schmalstieg
    Virtual Environments '99
    Proceedings of the Eurographics Workshop in Vie...
    Dieter Schmalstieg, Michael Gervautz and Axel Hildebrand
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FM'99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II - Jeannette M. Wing
    FM'99 - Formal Methods
    World Congress on Formal Methods in the Develop...
    Jeannette M. Wing, Jim Woodcook and Jim Davies
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Computer Aided Systems Theory - EUROCAST'99 : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings - Franz Pichler
    Computer Aided Systems Theory - EUROCAST'99
    A Selection of Papers from the 7th Internationa...
    Franz Pichler, Roberto MorenoDiaz and Peter Kopacek
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Code Optimization Techniques for Embedded Processors : Methods, Algorithms, and Tools - Rainer Leupers
    Code Optimization Techniques for Embedded Processors
    Methods, Algorithms, and Tools
    Rainer Leupers
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Computer Aided Verification : 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings - E. Allen Emerson
    Computer Aided Verification
    12th International Conference, CAV 2000 Chicago...
    E. Allen Emerson and A. Prasad Sistla
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Artificial Neural Networks in Medicine and Biology : Proceedings of the ANNIMAB-1 Conference, Goteborg, Sweden, 13-16 May 2000 - H. Malmgren
    Artificial Neural Networks in Medicine and Biology
    Proceedings of the ANNIMAB-1 Conference, Gotebo...
    H. Malmgren, M. Borga and L. Niklasson
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems - Filip Thoen
    Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
    Filip Thoen and Francky Catthoor
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Using the STL : The C++ Standard Template Library - Robert Robson
    Using the STL
    The C++ Standard Template Library
    Robert Robson
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Managing Interactions in Smart Environments : 1st International Workshop on Managing Interactions in Smart Environments (MANSE'99), Dublin, December 1999 - Paddy Nixon
    Managing Interactions in Smart Environments
    1st International Workshop on Managing Interact...
    Paddy Nixon, Gerard Lacey and Simon Dobson
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Reliability, Maintenance and Logistic Support : - A Life Cycle Approach - U Dinesh Kumar
    Reliability, Maintenance and Logistic Support
    - A Life Cycle Approach
    U Dinesh Kumar, John Crocker, J. Knezevic and M El-Haram
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • Dependable Computing - EDDC-3 : Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings - András Pataricza
    Dependable Computing - EDDC-3
    Third European Dependable Computing Conference,...
    András Pataricza, Jan Hlavi?ka and Erik Maehle
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Handheld and Ubiquitous Computing : First International Symposium, HUC'99, Karlsruhe, Germany, September 27-29, 1999, Proceedings - Hans Gellersen
    Handheld and Ubiquitous Computing
    First International Symposium, HUC'99, Karlsruh...
    Hans Gellersen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Cooperative Buildings. Integrating Information, Organizations, and Architecture : Second International Workshop, CoBuild'99, Pittsburgh, PA, USA, October 1-2, 1999, Proceedings - Shin'ichi Konomi
    Cooperative Buildings. Integrating Information, Organizations, and Architecture
    Second International Workshop, CoBuild'99, Pitt...
    Shin'ichi Konomi, Norbert Streitz and Volker Hartkopf
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Safety, Reliability and Security : 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings - Massimo Felici
    Computer Safety, Reliability and Security
    18th International Conference, SAFECOMP'99, Tou...
    Massimo Felici, Karama Kanoun and Alberto Pasquini
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Correct System Design : Recent Insights and Advances - ErnstRüdiger Olderog
    Correct System Design
    Recent Insights and Advances
    ErnstRüdiger Olderog and Bernhard Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reliable Software Technologies - Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings - Gonzalez Harbour Michael
    Reliable Software Technologies - Ada-Europe '99
    1999 Ada-Europe International Conference on Rel...
    Gonzalez Harbour Michael and de la Puente Juan A.
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • High Speed LAN Technology Handbook - Dhiman D. Chowdhury
    High Speed LAN Technology Handbook
    Dhiman D. Chowdhury
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Automata, Languages and Programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings - Ugo Montanari
    Automata, Languages and Programming
    27th International Colloquium, ICALP 2000, Gene...
    Ugo Montanari, Jose D.P. Rolim and Emo Welzl
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Computer-Aided Reasoning : ACL2 Case Studies - Matt Kaufmann
    Computer-Aided Reasoning
    ACL2 Case Studies
    Matt Kaufmann, Panagiotis Manolios and J Strother Moore
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • Digital Photoelasticity : Advanced Techniques and Applications - K. Ramesh
    Digital Photoelasticity
    Advanced Techniques and Applications
    K. Ramesh
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Biometrics: Advanced Identity Verification : The Complete Guide - Julian Ashbourn
    Biometrics: Advanced Identity Verification
    The Complete Guide
    Julian Ashbourn
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Architecture-Independent Loop Parallelisation - Radu C. Calinescu
    Architecture-Independent Loop Parallelisation
    Radu C. Calinescu
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • User-Centred Design of Systems - Jan Noyes
    User-Centred Design of Systems
    Jan Noyes and Chris Baber
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Linking Sensitive Data : Methods and Techniques for Practical Privacy-Preserving Information Sharing - Peter Christen
    Linking Sensitive Data
    Methods and Techniques for Practical Privacy-Pr...
    Peter Christen, Thilina Ranbaduge and Rainer Schnell
    eText
    Instant Online Reading*
    $249.00
    BUY EBOOK
  • Mobile Payment - Thomas Lerner
    Mobile Payment
    Thomas Lerner
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rational Reasoning with Finite Conditional Knowledge Bases : Theoretical and Implementational Aspects - Christian Eichhorn
    Rational Reasoning with Finite Conditional Knowledge Bases
    Theoretical and Implementational Aspects
    Christian Eichhorn
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Geo-Informatics in Resource Management and Sustainable Ecosystem : International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II
    Geo-Informatics in Resource Management and Sustainable Ecosystem
    International Symposium, GRMSE 2013, Wuhan, Chi...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Middleware - Daniel Serain
    Middleware
    Daniel Serain
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Automotive Systems and Software Engineering : State of the Art and Future Trends
    Automotive Systems and Software Engineering
    State of the Art and Future Trends
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Cryptographic Hardware and Embedded Systems -- CHES 2014 : 16th International Workshop, Busan, South Korea, September 23-26, 2014, Proceedings - Author
    Cryptographic Hardware and Embedded Systems -- CHES 2014
    16th International Workshop, Busan, South Korea...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reliable Software Technologies -- Ada-Europe 2013 : 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings
    Reliable Software Technologies -- Ada-Europe 2013
    18th International Conference, Berlin, Germany,...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Testing Software and Systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
    Testing Software and Systems
    25th IFIP WG 6.1 International Conference, ICTS...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Industrial Critical Systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings - Author
    Formal Methods for Industrial Critical Systems
    18th International Workshop, FMICS 2013, Madrid...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Wireless Sensor Networks : 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013, Proceedings
    Wireless Sensor Networks
    10th European Conference, EWSN 2013, Ghent, Bel...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Communication Technologies for Vehicles : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d' Ascq, France, May 14-15, 2013, Proceedings
    Communication Technologies for Vehicles
    5th International Workshop, Nets4Cars/Nets4Trai...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Computer Safety, Reliability, and Security : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings
    Computer Safety, Reliability, and Security
    32nd International Conference, SAFECOMP 2013, T...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fundamental Approaches to Software Engineering : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    Fundamental Approaches to Software Engineering
    16th International Conference, FASE 2013, Held ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intelligent Robotics and Applications : 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings, Part I
    Intelligent Robotics and Applications
    6th International Conference, ICIRA 2013, Busan...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Security and Quality in Cyber-Physical Systems Engineering : With Forewords by Robert M. Lee and Tom Gilb
    Security and Quality in Cyber-Physical Systems Engineering
    With Forewords by Robert M. Lee and Tom Gilb
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Linguistic Linked Data : Representation, Generation and Applications - Philipp Cimiano
    Linguistic Linked Data
    Representation, Generation and Applications
    Philipp Cimiano, Christian Chiarcos, John P. McCrae and Jorge Gracia
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Information Security : 5th International Conference, ISC 2002 Sao Paulo, Brazil, September 30 - October 2, 2002, Proceedings
    Information Security
    5th International Conference, ISC 2002 Sao Paul...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • UbiComp 2002: Ubiquitous Computing : 4th International Conference, Goteborg, Sweden, September 29 - October 1, 2002. Proceedings - Author
    UbiComp 2002: Ubiquitous Computing
    4th International Conference, Goteborg, Sweden,...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Knowledge Graphs : Methodology, Tools and Selected Use Cases - Dieter Fensel
    Knowledge Graphs
    Methodology, Tools and Selected Use Cases
    Dieter Fensel, Umutcan ?im?ek, Kevin Angele, Elwin Huaman and Ioan To
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Service Virtualization : Reality Is Overrated - John Michelsen
    Service Virtualization
    Reality Is Overrated
    John Michelsen and Jason English
    eText
    Instant Online Reading*
    $40.00
    BUY EBOOK
  • Computer and Computing Technologies in Agriculture II, Volume 2 : The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China - Daoliang Li
    Computer and Computing Technologies in Agriculture II, Volume 2
    The Second IFIP International Conference on Com...
    Daoliang Li and ?Chunjiang Zhao
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Towards Useful Services for Elderly and People with Disabilities : 9th International Conference on Smart Homes and Health Telematics, ICOST 2011, Montreal, Canada, June 20-22, 2011, Proceedings - Bessam Abdulrazak
    Towards Useful Services for Elderly and People with Disabilities
    9th International Conference on Smart Homes and...
    Bessam Abdulrazak, ?Sylvain Giroux and ?Bruno Bouchard
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Multicore Software Engineering, Performance and Tools : International Conference, MSEPT 2012, Prague, Czech Republic, May 31--June 1, 2012, Proceedings - Victor Pankratius
    Multicore Software Engineering, Performance and Tools
    International Conference, MSEPT 2012, Prague, C...
    Victor Pankratius and Michael Philippsen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Artificial Intelligence and Computational Intelligence : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I - Fu Lee Wang
    Artificial Intelligence and Computational Intelligence
    International Conference, AICI 2010, Sanya, Chi...
    Fu Lee Wang, Hepu Deng and Yang Gao
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - María Alpuente
    Formal Methods for Industrial Critical Systems
    14th International Workshop, FMICS 2009, Eindho...
    María Alpuente, ?Byron Cook and ?Christophe Joubert
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Ambient Assistive Health and Wellness Management in the Heart of the City : 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009, Proceedings - Mokhtari Mounir
    Ambient Assistive Health and Wellness Management in the Heart of the City
    7th International Conference on Smart Homes and...
    Mokhtari Mounir, ?Ismail Khalil and ?Jérémy Bauchet
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Power Electronics and Instrumentation Engineering : International Conference, PEIE 2010,Kochi, Kerala, India, September 7-9, 2010, Proceedings - Vinu V Das
    Power Electronics and Instrumentation Engineering
    International Conference, PEIE 2010,Kochi, Kera...
    Vinu V Das, ?Janahallal Stephen and ?Nessy Thankachan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings - Madhusudan Parthasarathy
    Computer Aided Verification
    24th International Conference, CAV 2012, Berkel...
    Madhusudan Parthasarathy and Sanjit A. Seshia
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Quantum Communication and Quantum Networking : First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009, Revised Selected Papers - Alexander Sergienko
    Quantum Communication and Quantum Networking
    First International Conference, QuantumComm 200...
    Alexander Sergienko, ?Saverio Pascazio and ?Paolo Villoresi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics : Third International Conference, LION 2009 III, Trento, Italy, January 14-18, 2009. Selected Papers - Thomas Stützle
    Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics
    Third International Conference, LION 2009 III, ...
    Thomas Stützle
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Euro-Par 2011 Parallel Processing : 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I - Emmanuel Jeannot
    Euro-Par 2011 Parallel Processing
    17th International Euro-ParConference, Bordeaux...
    Emmanuel Jeannot, ?Raymond Namyst and ?Jean Roman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Information Security Applications : 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers - Kiwook Sohn
    Information Security Applications
    9th International Workshop, WISA 2008, Jeju Isl...
    Kiwook Sohn and Moti Yung
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Robust and Online Large-Scale Optimization : Models and Techniques for Transportation Systems - Ravindra K. Ahuja
    Robust and Online Large-Scale Optimization
    Models and Techniques for Transportation Systems
    Ravindra K. Ahuja, ?Rolf H. Möhring and ?Christos D. Zaroliagis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Economics of Grids, Clouds, Systems, and Services : 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers - Kurt Vanmechelen
    Economics of Grids, Clouds, Systems, and Services
    8th International Workshop, GECON 2011, Paphos,...
    Kurt Vanmechelen, Jörn Altmann and Omer F. Rana
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Distributed Applications and Interoperable Systems : 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings - Twittie Senivongse
    Distributed Applications and Interoperable Systems
    9th IFIP WG 6.1 International Conference, DAIS ...
    Twittie Senivongse and ?Rui Oliveira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Information Processing in Computer-Assisted Interventions : First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010, Proceedings - Nassir Navab
    Information Processing in Computer-Assisted Interventions
    First International Conference, IPCAI 2010, Gen...
    Nassir Navab and Pierre Jannin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
4046 Results | View 24 / 100
< 1 ... 16 17 18 19 20 ... 41 >
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