Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Sold By
All Sellers
Fishpond (155)
Age Range
All Ranges
15+ (21)
All Ages (5)
Country
All Countries
Germany (81)
United States (31)
United Kingdom (19)
Switzerland (17)
Netherlands (3)
More...
    Results for "Safety Behavior"
    Safety Behavior
    197 results
    Sold By
    All Sellers
    Fishpond (155)
    Age Range
    All Ranges
    15+ (21)
    All Ages (5)
    Country
    All Countries
    Germany (81)
    United States (31)
    United Kingdom (19)
    Switzerland (17)
    Netherlands (3)
    More...
      197 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Theoretical Computer Science (6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings (IFIP Advances in Information and Communication Technology))
      By Christian S. Calude, Vladimiro Sassone
      Theoretical Computer Science (6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings (IFIP Advances in Information and Communication Technology))
      By Christian S. Calude, Vladimiro Sassone
      HK$571
      NASA Formal Methods (4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings (Programming and Software Engineering))
      By Alwyn Goodloe, Suzette Person
      NASA Formal Methods (4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings (Programming and Software Engineering))
      By Alwyn Goodloe, Suzette Person
      HK$560
      Model Driven Engineering ­Languages and Systems (15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 - October 5 2012 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Robert B. France, Jurgen Kazmeier, Ruth Breu, Colin Atkinson
      Model Driven Engineering ­Languages and Systems (15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 - October 5 2012 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Robert B. France, Jurgen Kazmeier, Ruth Breu, Colin Atkinson
      HK$600
      Leveraging Applications of ­Formal Methods, Verification­ and Validation (5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I (Theoretical Computer Science and General Issues) (Lecture Notes in Comp ..)
      By Tiziana Margaria, Bernhard Steffen
      Leveraging Applications of ­Formal Methods, Verification­ and Validation (5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I (Theoretical Computer Science and General Issues) (Lecture Notes in Comp ..)
      By Tiziana Margaria, Bernhard Steffen
      HK$588
      Formal Aspects of Component­ Software (8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Farhad Arbab, Peter Csaba Ölveczky
      Formal Aspects of Component­ Software (8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Farhad Arbab, Peter Csaba Ölveczky
      HK$531
      Symbolic and Quantiative ­Approaches to Resoning with­ Uncertainty (12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))
      By Linda C. van der Gaag
      Symbolic and Quantiative ­Approaches to Resoning with­ Uncertainty (12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))
      By Linda C. van der Gaag
      HK$560
      Verification of Business ­Rules Programs
      By Berstel-Da Silva, Bruno
      Verification of Business ­Rules Programs
      By Berstel-Da Silva, Bruno
      HK$800
      Formal Methods and Software­ Engineering (15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings (Programming and Software Engineering))
      By Lindsay Groves, Jing Sun
      Formal Methods and Software­ Engineering (15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings (Programming and Software Engineering))
      By Lindsay Groves, Jing Sun
      HK$540
      Distributed, Parallel and ­Biologically Inspired ­Systems (7th IFIP TC 10 Working Conference, Dipes 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings (IFIP Advance)
      By Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter Lindsay
      Distributed, Parallel and ­Biologically Inspired ­Systems (7th IFIP TC 10 Working Conference, Dipes 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings (IFIP Advance)
      By Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter Lindsay
      HK$500
      Theoretical Computer Science (6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings (IFIP Advances in Information and Communication Technology))
      By Christian S. Calude, Vladimiro Sassone
      Theoretical Computer Science (6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings (IFIP Advances in Information and Communication Technology))
      By Christian S. Calude, Vladimiro Sassone
      HK$536
      Logical Analysis of Hybrid ­Systems (Proving Theorems for Complex Dynamics)
      By Platzer, André
      Logical Analysis of Hybrid ­Systems (Proving Theorems for Complex Dynamics)
      By Platzer, André
      HK$960
      Symbolic Execution and ­Quantitative Reasoning (Applications to Software Safety and Security (Synthesis Lectures on Software Engineering))
      By Corina S. Păsăreanu
      Symbolic Execution and ­Quantitative Reasoning (Applications to Software Safety and Security (Synthesis Lectures on Software Engineering))
      By Corina S. Păsăreanu
      Currently
      Unavailable
      Doing Hard Time (Using Object-oriented Programming and Software Patterns in Real Time Applications (Object Technology Series))
      By Bruce Powel Douglass
      Doing Hard Time (Using Object-oriented Programming and Software Patterns in Real Time Applications (Object Technology Series))
      By Bruce Powel Douglass
      1
      Currently
      Unavailable
      Trends in Real-time Systems
      By Connie Heitmeyer, Dino Mandrioli
      Trends in Real-time Systems
      By Connie Heitmeyer, Dino Mandrioli
      Currently
      Unavailable
      Concurrency (State Models and Java Programs (Worldwide Series in Computer Science))
      By Magee, Jeff, Kramer, Jeff, Joint Author Kramer, Jeff
      Concurrency (State Models and Java Programs (Worldwide Series in Computer Science))
      By Magee, Jeff, Kramer, Jeff, Joint Author Kramer, Jeff
      Currently
      Unavailable
      Model Driven Engineering ­Languages and Systems (11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings (Lecture Notes in Computer Science))
      By Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl
      Model Driven Engineering ­Languages and Systems (11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings (Lecture Notes in Computer Science))
      By Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl
      Currently
      Unavailable
      Formal Object Oriented ­Specification Using Object-Z­ (Cornerstones of Computing)
      By Duke, Roger, Rose, Gordon
      Formal Object Oriented ­Specification Using Object-Z­ (Cornerstones of Computing)
      By Duke, Roger, Rose, Gordon
      Currently
      Unavailable
      High-Integrity Software (Software Science and Engineering (Software Science & Engineering))
      By C.T. Sennett, C.T. Sennett
      High-Integrity Software (Software Science and Engineering (Software Science & Engineering))
      By C.T. Sennett, C.T. Sennett
      Currently
      Unavailable
      Formal Methods and Software­ Engineering (12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings (Lecture Notes in Computer Science))
      By Jin Song Dong, Huibiao Zhu
      Formal Methods and Software­ Engineering (12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings (Lecture Notes in Computer Science))
      By Jin Song Dong, Huibiao Zhu
      Currently
      Unavailable
      C++ Templates (The Complete Guide)
      By David Vandevoorde, Nicolai M. Josuttis
      C++ Templates (The Complete Guide)
      By David Vandevoorde, Nicolai M. Josuttis
      1
      Currently
      Unavailable
      Runtime Verification (First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : Proceedings (Lecture Notes in Computer Science))
      By Grigore Rosu, Oleg Sokolsky, K. Havelund, I-.Der Lee
      Runtime Verification (First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : Proceedings (Lecture Notes in Computer Science))
      By Grigore Rosu, Oleg Sokolsky, K. Havelund, I-.Der Lee
      Currently
      Unavailable
      Computer Security - ESORICS­ 2010 (15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings (Lecture Notes in Computer Science))
      By Dimitris Gritzalis, Bart Preneel, Marianthi Theoharidou
      Computer Security - ESORICS­ 2010 (15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings (Lecture Notes in Computer Science))
      By Dimitris Gritzalis, Bart Preneel, Marianthi Theoharidou
      Currently
      Unavailable
      Object Oriented Software ­Development Using Java (United States Edition)
      By Jia, Xiaoping
      Object Oriented Software ­Development Using Java (United States Edition)
      By Jia, Xiaoping
      Currently
      Unavailable
      C++ Memory Management (Write leaner and safer C++ code using proven memory-management techniques)
      By Patrice Roy, Michael Wong
      C++ Memory Management (Write leaner and safer C++ code using proven memory-management techniques)
      By Patrice Roy, Michael Wong
      Currently
      Unavailable
      Previous Page 1 ... 3 4 5 6 7 8 Next Page
      Previous Page 1 ... 3 4 5 6 7 8 Next Page