Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Refine By
Category
Software Development (210)
General (154)
Systems Design (103)
Algorithms (47)
Compilers (42)
Object Oriented (15)
C++ (6)
Java (4)
CGI (2)
PHP (1)
Python (1)
HTML (1)
LISP (1)
XML (1)
Sold By
All Sellers
Fishpond (337)
Age Range
All Ranges
15+ (33)
All Ages (13)
Country
All Countries
Germany (128)
United States (61)
Switzerland (53)
United Kingdom (45)
Netherlands (12)
More...
    Results for "Safety Behavior"
    Safety Behavior
    402 results
    Refine By
    Category
    Software Development (210)
    General (154)
    Systems Design (103)
    Algorithms (47)
    Compilers (42)
    Object Oriented (15)
    C++ (6)
    Java (4)
    CGI (2)
    PHP (1)
    Python (1)
    HTML (1)
    LISP (1)
    XML (1)
    Sold By
    All Sellers
    Fishpond (337)
    Age Range
    All Ranges
    15+ (33)
    All Ages (13)
    Country
    All Countries
    Germany (128)
    United States (61)
    Switzerland (53)
    United Kingdom (45)
    Netherlands (12)
    More...
      402 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Computer Network Security (Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005, Proceedings (Lecture Notes in Computer Science) (Com ..)
      By Vladimir Gorodetsky, Igor Kotenko, Victor Skormin
      Computer Network Security (Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005, Proceedings (Lecture Notes in Computer Science) (Com ..)
      By Vladimir Gorodetsky, Igor Kotenko, Victor Skormin
      HK$560
      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
      Component-Based Software ­Development for Embedded ­Systems (An Overview of Current Research Trends (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper
      Component-Based Software ­Development for Embedded ­Systems (An Overview of Current Research Trends (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper
      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
      Applications and Theory of ­Petri Nets 2003 (24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June, 23-27, 2003 : Proceedings: 2003 (Lecture Notes in Computer Science))
      By Wil van der Aalst, Eike Best
      Applications and Theory of ­Petri Nets 2003 (24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June, 23-27, 2003 : Proceedings: 2003 (Lecture Notes in Computer Science))
      By Wil van der Aalst, Eike Best
      HK$560
      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
      Developments in Applied ­Artificial Intelligence (16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings (Lecture Notes in Art ..)
      By Ali Moonis, Paul Chung, Chris Hinde
      Developments in Applied ­Artificial Intelligence (16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings (Lecture Notes in Art ..)
      By Ali Moonis, Paul Chung, Chris Hinde
      HK$1,040
      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
      Systems and Software ­Verification (Model-Checking Techniques and Tools)
      By B. Berard, Michel Bidoit, M. Bidoit, F. Laroussinie
      Systems and Software ­Verification (Model-Checking Techniques and Tools)
      By B. Berard, Michel Bidoit, M. Bidoit, F. Laroussinie
      HK$1,200 Elsewhere HK$1,245.48 Save HK$45.48 (4%)
      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
      Engineering for ­Human-Computer Interaction (8th IFIP International Conference, EHCI 2001, Toronto, Canada, May 11-13, 2001 - Revised Papers (Lecture Notes in Computer Science))
      By Murray R. Little, Laurence Nigay
      Engineering for ­Human-Computer Interaction (8th IFIP International Conference, EHCI 2001, Toronto, Canada, May 11-13, 2001 - Revised Papers (Lecture Notes in Computer Science))
      By Murray R. Little, Laurence Nigay
      HK$600
      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
      Graph Transformation (First International Conference, Icgt 2002, Barcelona, Spain, October 7-12, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Andrea Corradini, Hartmut Ehrig, Hans-Jorg Kreowski, Grzegorz Rozenberg
      Graph Transformation (First International Conference, Icgt 2002, Barcelona, Spain, October 7-12, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Andrea Corradini, Hartmut Ehrig, Hans-Jorg Kreowski, Grzegorz Rozenberg
      HK$653
      Quality of Software ­Architectures (Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Christine Hofmeister, Ivica Crnkovic, Ralf H. Reussner
      Quality of Software ­Architectures (Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))
      By Christine Hofmeister, Ivica Crnkovic, Ralf H. Reussner
      HK$500
      Frontiers of High ­Performance Computing and ­Networking – ISPA 2006 ­Workshops (ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings (Lecture Not ..)
      By Geyong Min, Beniamino Di Martino, Laurence T. Yang, Minyi Guo
      Frontiers of High ­Performance Computing and ­Networking – ISPA 2006 ­Workshops (ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings (Lecture Not ..)
      By Geyong Min, Beniamino Di Martino, Laurence T. Yang, Minyi Guo
      HK$1,040
      Concurrency 88 (International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings (Lecture Notes in Computer Science))
      By Friedrich H. Vogt
      Concurrency 88 (International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings (Lecture Notes in Computer Science))
      By Friedrich H. Vogt
      HK$636
      Previous Page 1 ... 6 7 8 9 10 11 12 13 14 Next Page
      Previous Page 1 ... 6 7 8 9 10 11 12 13 14 Next Page