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
    196 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...
      196 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Semantics for Concurrency (Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK (Workshops in Computing))
      By Marta Zofia Kwiatkowska, Michael W. Shields, Richard M. Thomas
      Semantics for Concurrency (Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK (Workshops in Computing))
      By Marta Zofia Kwiatkowska, Michael W. Shields, Richard M. Thomas
      HK$558
      Multiagent System ­Technologies (First German Conference, MATES 2003, Erfurt, Germany, September 22-25, 2003, Proceedings (Lecture Notes in Computer Science))
      By Michael Schillo, Matthias Klusch, Jorg Muller, Huaglory Tianfield
      Multiagent System ­Technologies (First German Conference, MATES 2003, Erfurt, Germany, September 22-25, 2003, Proceedings (Lecture Notes in Computer Science))
      By Michael Schillo, Matthias Klusch, Jorg Muller, Huaglory Tianfield
      HK$560
      UML 2003 -- The Unified ­Modeling Language, Modeling ­Languages and Applications (6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings (Lecture Notes in Computer Science))
      By Perdita Stevens, John Whittle, Grady Booch
      UML 2003 -- The Unified ­Modeling Language, Modeling ­Languages and Applications (6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings (Lecture Notes in Computer Science))
      By Perdita Stevens, John Whittle, Grady Booch
      HK$540
      Hybrid Systems - ­Computation and Control (7th International Workshop, Hscc 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Rajeev Alur, George S. Pappas
      Hybrid Systems - ­Computation and Control (7th International Workshop, Hscc 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Rajeev Alur, George S. Pappas
      HK$1,132
      Algebraic Methodology and ­Software Technology (10th International Conference, Amast 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Charles Rattray, Savitri Maharaj
      Algebraic Methodology and ­Software Technology (10th International Conference, Amast 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Charles Rattray, Savitri Maharaj
      HK$573
      Automated Technology for ­Verification and Analysis (Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings (Lecture Notes in Computer Science))
      By Farn Wang
      Automated Technology for ­Verification and Analysis (Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings (Lecture Notes in Computer Science))
      By Farn Wang
      HK$987
      Hybrid Systems (Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Manfred Morari, Lothar Thiele, Francesca Rossi
      Hybrid Systems (Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
      By Manfred Morari, Lothar Thiele, Francesca Rossi
      HK$1,134
      Foundations of Software ­Science and Computation ­Structures (8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, April 4-8, 2005 : Proceedings (Lecture Notes)
      By Vladimiro Sassone
      Foundations of Software ­Science and Computation ­Structures (8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, April 4-8, 2005 : Proceedings (Lecture Notes)
      By Vladimiro Sassone
      HK$700
      Software Architecture (2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Ron Morrison, Flavio Oquendo
      Software Architecture (2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Ron Morrison, Flavio Oquendo
      HK$583
      Static Analysis (12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Chris Hankin, Igor Siveroni
      Static Analysis (12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Chris Hankin, Igor Siveroni
      HK$600
      Formal Techniques for ­Networked and Distributed ­Systems - Forte 2005 (25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Farn Wang
      Formal Techniques for ­Networked and Distributed ­Systems - Forte 2005 (25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Farn Wang
      HK$1,153
      Trustworthy Global Computing (International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
      By Rocco De Nicola, Davide Sangiorgi
      Trustworthy Global Computing (International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))
      By Rocco De Nicola, Davide Sangiorgi
      HK$531
      Unifying the Software ­Process Spectrum (International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Mingshu Li, Barry W. Boehm, Leon J. Osterweil
      Unifying the Software ­Process Spectrum (International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Mingshu Li, Barry W. Boehm, Leon J. Osterweil
      HK$560
      Reliable Software ­Technologies - Ada-Europe ­2006 (11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Luis Miguel Pinho, Michael Gonzalez Harbour
      Reliable Software ­Technologies - Ada-Europe ­2006 (11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Luis Miguel Pinho, Michael Gonzalez Harbour
      HK$574
      Formal Methods for Open ­Object-Based Distributed ­Systems (8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Roberto Gorrieri, Heike Wehrheim
      Formal Methods for Open ­Object-Based Distributed ­Systems (8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Roberto Gorrieri, Heike Wehrheim
      HK$584
      FM 2006, Formal Methods (14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Jayadev Misra, Tobias Nipkow, Emil Sekerinski
      FM 2006, Formal Methods (14th International Symposium on Formal Methodshamilton, Canada, August 21-27, 2006 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
      By Jayadev Misra, Tobias Nipkow, Emil Sekerinski
      HK$1,000
      Reliable Software ­Technologies -- Ada-Europe ­2003 (8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Jean-Pierre Rosen, Alfred Strohmeier
      Reliable Software ­Technologies -- Ada-Europe ­2003 (8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Jean-Pierre Rosen, Alfred Strohmeier
      HK$540
      Formal Methods in ­Computer-Aided Design (Third International Conference, Fmcad 2000 Austin, TX, USA, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Warren A. Jr. Hunt, Steven D. Johnson
      Formal Methods in ­Computer-Aided Design (Third International Conference, Fmcad 2000 Austin, TX, USA, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Warren A. Jr. Hunt, Steven D. Johnson
      HK$987
      Hybrid Systems - ­Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli
      Hybrid Systems - ­Computation and Control (4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Maria D.Di Benedetto, Alberto L. Sangiovanni-Vincentelli
      HK$1,139
      Model Checking Software (8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings (Lecture Notes in Computer Science))
      By Matthew B. Dwyer
      Model Checking Software (8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 - Proceedings (Lecture Notes in Computer Science))
      By Matthew B. Dwyer
      HK$500
      Formal and Natural ­Computing (Essays Dedicated to Grzegorz Rozenberg: v. 2300 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Wilfried Brauer, Hartmut Ehrig, Juhani Karhumaki, Arto K. Salomaa
      Formal and Natural ­Computing (Essays Dedicated to Grzegorz Rozenberg: v. 2300 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Wilfried Brauer, Hartmut Ehrig, Juhani Karhumaki, Arto K. Salomaa
      HK$653
      Computer Aided Verification (14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science / Lecture)
      By Ed. Brinksma, Kim G. Larsen
      Computer Aided Verification (14th International Conference, Cav 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science / Lecture)
      By Ed. Brinksma, Kim G. Larsen
      HK$1,100
      Static Analysis (9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings (Lecture Notes in Computer Science))
      By Manuel Hermenegildo, German Puebla
      Static Analysis (9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings (Lecture Notes in Computer Science))
      By Manuel Hermenegildo, German Puebla
      HK$560
      Embedded Software (Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings (Lecture Notes in Computer Science))
      By Alberto Sangiovanni-Vincentelli, Joseph Sifakis
      Embedded Software (Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings (Lecture Notes in Computer Science))
      By Alberto Sangiovanni-Vincentelli, Joseph Sifakis
      HK$678
      Previous Page 123456789 Next Page
      Previous Page 123456789 Next Page