Operating Systems.

Secure Transaction Protocol Analysis = Models and Applications / by: (書目-電子資源)

Digital Watermarking = Third International Workshop, IWDW 2004, Seoul, Korea, October 30 - November 1, 2004, Revised Selected Papers / by: (書目-電子資源)

Guide to reliable distributed systems = building high-assurance applications and cloud-hosted services / by: (書目-電子資源)

Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part II / by: (書目-電子資源)

Cooperative design, visualization and engineering = 5th international conference, CDVE 2008, Calvia, Mallorca, Spain, September 21-25, 2008 : proceedings / by: (書目-電子資源)

Ubuntu netbooks = the path to low-cost computing / by: (書目-電子資源)

Formal methods for components and objects = 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers / by: (書目-電子資源)

Mac for Linux geeks by: (書目-電子資源)

Storage management in data centers = understanding, exploiting, tuning, and troubleshooting Veritas Storage Foundation / by: (書目-電子資源)

Middleware 2008 = ACM-IFIP-USENIX 9th International Middleware Conference, Leuven Belgium, December 1-5 2008, proceedings / by: (書目-電子資源)

Constructing Ambient Intelligence = AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers / by: (書目-電子資源)

Post-quantum cryptography = third international workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010 : proceedings / by: (書目-電子資源)

Progress in cryptology, AFRICACRYPT 2010 = Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010 : proceedings / by: (書目-電子資源)

Dependable networks and services = 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012 : proceedings / by: (書目-電子資源)

Distributed Computing : = 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings by: (書目-電子資源)

Advances in Computer Systems Architecture : = 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings by: (書目-電子資源)

Applications and Theory of Petri Nets 2005 = 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / by: (書目-電子資源)

Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings by: (書目-電子資源)

Security Protocols = 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers / by: (書目-電子資源)

Pro Linux system administration by: (書目-電子資源)

Forensics in telecommunications, information, and multimedia = third international ICST conference, e-Forensics 2010, Shanghai, China, November 11-12, 2010, revised selected papers / by: (書目-電子資源)

Job Scheduling Strategies for Parallel Processing = 14th international workshop, JSSPP 2009, Rome, Italy, May 29, 2009 : revised papers / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation. Applications and case studies = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part II / by: (書目-電子資源)

Human Interactive Proofs = Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005, Proceedings / by: (書目-電子資源)

Parallel and Distributed Processing and Applications : = Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings by: (書目-電子資源)

Reliable Distributed Systems = Technologies, Web Services, and Applications / by: (書目-電子資源)

Provenance and annotation of data and processes = second international provenance and annotation workshop, IPAW 2008, Salt Lake City, UT, USA, June 17-18, 2008 : revised selected papers / by: (書目-電子資源)

Progress in cryptology = AFRICACRYP T 2011 : 4th international conference on cryptology in Africa, Dakar, Senegal, July 5-7, 2011 : proceedings / by: (書目-電子資源)

UNIX operating system = the development tutorial via UNIX kernel services / by: (書目-電子資源)

Beginning Ubuntu Linux by: (書目-電子資源)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices = International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers by: (書目-電子資源)

Architecture of Computing Systems = ARCS 2011 : 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings / by: (書目-電子資源)

Wired/wireless Internet communications = Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005, Proceedings by: (書目-電子資源)

Bioinspired models of network, information, and computing systems = 4th international conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, revised selected papers / by: (書目-電子資源)

Grid and distributed computing = international conference, GDC 2009, held as part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings / by: (書目-電子資源)

Communications and multimedia security = 11th IFIP TC 6/TC ; 11 international conference, CMS 2010, Linz, Austria, May 31 - June 2, 2010 : proceedings / by: (書目-電子資源)

Security and trust management = 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, revised selected papers / by: (書目-電子資源)

Advances in information and computer security = Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008, proceedings / by: (書目-電子資源)

Theory and Applications of Satisfiability Testing = 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / by: (書目-電子資源)

Global Computing = IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers / by: (書目-電子資源)

Intrusion and Malware Detection and Vulnerability Assessment = Second International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005, Proceedings / by: (書目-電子資源)

Distributed and Parallel Systems = Cluster and Grid Computing / by: (書目-電子資源)

Job Scheduling Strategies for Parallel Processing : = 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers by: (書目-電子資源)

Computer Network Security : = Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 25-27, 2005 : proceedings by: (書目-電子資源)

Information Networking = Convergence in Broadband and Mobile Networking. International Conference, ICOIN 2005, Jeju Island, Korea, January 31 - February 2, 2005, Proceedings / by: (書目-電子資源)

Secure Data Management : = Second VLDB Workshop, SDM 2005, Trondheim, Norway, August 30-September 2, 2005, Proceedings by: (書目-電子資源)

Advanced parallel processing technologies = 9th international symposium, APPT 2011, Shanghai, China, September 26-27, 2011 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing--SAT 2008 = 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / by: (書目-電子資源)

Beginning Ubuntu Linux = from novice to professional / by: (書目-電子資源)

Network and parallel computing = 9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings / by: (書目-電子資源)

Multiparadigm Programming in Mozart = Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers / by: (書目-電子資源)

Engineering Self-Organising Systems = Methodologies and Applications / by: (書目-電子資源)

Expert Oracle by: (書目-電子資源)

Selected areas in cryptography = 17th international workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010 : revised selected papers / by: (書目-電子資源)

Beginning Ubuntu LTS server administration = from novice to professional / by: (書目-電子資源)

Network and parallel computing = 8th IFIP international conference, NPC 2011, Changsha, China, October 21-23, 2011 : proceedings / by: (書目-電子資源)

Large-scale scientific computing = 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 : revised papers / by: (書目-電子資源)

Formal methods for components and objects = 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009, revised selected papers / by: (書目-電子資源)

Architecture of computing systems - ARCS 2009 = 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings / by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications = 18th international conference, ASMTA 2011, Venice, Italy, June 20-22, 2011 : proceedings / by: (書目-電子資源)

Cooperative Design, Visualization, and Engineering : = Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings by: (書目-電子資源)

Privacy Enhancing Technologies = 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004, Revised Selected Papers / by: (書目-電子資源)

Distributed Computing in Sensor Systems = First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30-July 1, 2005, Proceedings / by: (書目-電子資源)

Quality of Service - IWQoS 2005 = 13th International Workshop, IWQoS 2005, Passau, Germany, June 21-23, 2005. Proceedings / by: (書目-電子資源)

Middleware 2005 : = ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings by: (書目-電子資源)

Applications of evolutionary computation = EvoApplications 2010 : EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010 : proceedings.. Part II / by: (書目-電子資源)

Component Deployment : = Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings by: (書目-電子資源)

Power-Aware Computer Systems : = 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers by: (書目-電子資源)

Pro Ubuntu server administration by: (書目-電子資源)

Information Security and Privacy = 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011 : proceedings / by: (書目-電子資源)

Advances in Cryptology - ASIACRYPT 2005 : = 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005, Proceedings by: (書目-電子資源)

HPC@Green IT = green high performance computing methods / by: (書目-電子資源)

Methods, models and tools for fault tolerance by: (書目-電子資源)

Middleware 2009 = ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings / by: (書目-電子資源)

Web Component Development with Zope 3 by: (書目-電子資源)

Sensor systems and software = second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, revised selected papers / by: (書目-電子資源)

Formal methods for open object-based distributed systems = 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 proceedings / by: (書目-電子資源)

Embedded software development with C by: (書目-電子資源)

Information and Communications Security : = 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005, Proceedings by: (書目-電子資源)

Cryptology and Network Security : = 4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005, Proceedings by: (書目-電子資源)

Network and Parallel Computing : = IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings by: (書目-電子資源)

Applied Cryptography and Network Security = Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005, Proceedings / by: (書目-電子資源)

Advances in grid and pervasive computing = 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010 : proceedings / by: (書目-電子資源)

Engineering secure software and systems = First international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009, proceedings / by: (書目-電子資源)

Distributed and Parallel Systems = In Focus: Desktop Grid Computing / by: (書目-電子資源)

Financial Cryptography and Data Security = 9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 - March 3, 2005, Revised Papers / by: (書目-電子資源)

Advances in Grid Computing - EGC 2005 = European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers / by: (書目-電子資源)

Operational Semantics for Timed Systems = A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by: (書目-電子資源)

Leveraging applications of formal methods, verification and validation. Technologies for mastering change = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part I / by: (書目-電子資源)

Computer supported cooperative work in design IV = 11th international conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. revised selected papers / by: (書目-電子資源)

Search based software engineering = 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings / by: (書目-電子資源)

Euro-Par 2009 - parallel processing = 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009 : proceedings / by: (書目-電子資源)

Beginning Microsoft Excel 2010 by: (書目-電子資源)

Mechanisms for autonomous management of networks and services = 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010 : proceedings / by: (書目-電子資源)

Model-based software performance analysis by: (書目-電子資源)

Analyzing Computer System Performance with Perl::PDQ by: (書目-電子資源)

Introduction to reliable and secure distributed programming by: (書目-電子資源)

Ambient Networks : = 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005, Proceedings by: (書目-電子資源)

Information Security and Privacy = 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings / by: (書目-電子資源)

Formal Methods for Open Object-Based Distributed Systems = 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by: (書目-電子資源)

Architecting Dependable Systems III by: (書目-電子資源)

Distributed Computing - IWDC 2005 : = 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings by: (書目-電子資源)

Computer Supported Cooperative Work in Design I : = 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers by: (書目-電子資源)

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 = 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceedings / by: (書目-電子資源)

Managing the dynamics of networks and services = 5th international conference on autonomous infrastructure, management, and security, AIMS 2011, Nancy, France, June 13-17, 2011 : proceedings / by: (書目-電子資源)

Analyzing computer system performance with PERL::PDQ by: (書目-電子資源)

Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part I / by: (書目-電子資源)

Distributed applications and interoperable systems = 8thIFIP WG 6.1 international conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. proceedings / by: (書目-電子資源)

Computer Security - ESORICS 2005 : = 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005, Proceedings by: (書目-電子資源)

Data privacy management and autonomous spontaneous security = 5th international workshop, DPM 2010 and 3rd international workshop, SETOP 2010, Athens, Greece, September 23, 2010 : revised selected papers / by: (書目-電子資源)

Network and parallel computing = IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, proceedings / by: (書目-電子資源)

Security and privacy in communication networks = 7th International ICST Conference, SecureComm 2011, London, UK, September 7-9, 2011 : revised selected papers / by: (書目-電子資源)

Moving Wearables into the Mainstream = Taming the Borg / by: (書目-電子資源)

NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (書目-電子資源)

Security in Communication Networks = 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers / by: (書目-電子資源)

Search based software engineering = third international symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011 : proceedings / by: (書目-電子資源)

Advances in Cryptology - CRYPTO 2005 = 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings / by: (書目-電子資源)

Pro OpenSolaris = a new open source OS for Linux developers and administrators / by: (書目-電子資源)

E-Government Ict Professionalism and Competences Service Science by: (書目-電子資源)

Advances in information and computer security = 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 : proceedings / by: (書目-電子資源)

Ajax in Oracle JDeveloper by: (書目-電子資源)

beginning ubuntu linux by: (書目-電子資源)

Do-All Computing in Distributed Systems = Cooperation in the Presence of Adversity / by: (書目-電子資源)

Formal Methods for Components and Objects : = Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures by: (書目-電子資源)

Provenance and annotation of data and processes = Third International Provenance and Annotation Workshop, IPAW 2010, Troy, NY, USA, June 15-16, 2010, revised selected papers / by: (書目-電子資源)

Principles of the Spin model checker by: (書目-電子資源)

Grid Computing in Life Science = First International Workshop on Life Science Grid, LSGRID 2004 Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers / by: (書目-電子資源)

Information Security Practice and Experience = First International Conference, ISPEC 2005, Singapore, April 11-14, 2005, Proceedings / by: (書目-電子資源)

Principles of Distributed Systems = 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers / by: (書目-電子資源)

Dependability metrics = advanced lectures / by: (書目-電子資源)

Trustworthy Global Computing : = International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers by: (書目-電子資源)

Windows netbooks = the path to low-cost computing / by: (書目-電子資源)

iOS forensic analysis for iPhone, iPad, and iPod Touch by: (書目-電子資源)

Architecting Dependable Systems V by: (書目-電子資源)

Distributed computing = 22nd international symposium, DISC 2008, Arcachon, France, September 22-24, 2008 : proceedings / by: (書目-電子資源)

Formal Techniques for Networked and Distributed Systems - FORTE 2005 : = 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings by: (書目-電子資源)

Advances in Cryptology - EUROCRYPT 2005 = 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005, Proceedings / by: (書目-電子資源)

Grid and Cooperative Computing - GCC 2005 : = 4th International Conference, Beijing, China, November 30 -- December 3, 2005, Proceedings by: (書目-電子資源)

Topics in Cryptology -- CT-RSA 2005 = The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings / by: (書目-電子資源)

Distributed Applications and Interoperable Systems = 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by: (書目-電子資源)

Peer-to-Peer Systems IV : = 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers by: (書目-電子資源)

Access networks = 5th international ICST Conference on Access Networks, AccessNets 2010 and First ICST International Workshop on Autonomic Networking and Self-Management in Access Networks, SELFMAGICNETS 2010, Budapest, Hungary, November 3-5, 2010, revised selected papers / by: (書目-電子資源)

Advances in grid and pervasive computing = third international conference, GPC 2008, Kunming, China, May 25-28, 2008 : proceedings / by: (書目-電子資源)

Architecture of computing systems - ARCS 2010 = 23rd International Conference, Hannover, Germany, February 22-25, 2010 : proceedings / by: (書目-電子資源)

New Horizons of Parallel and Distributed Computing by: (書目-電子資源)

Job scheduling strategies for parallel processing = 15th international workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010 : revised selected papers / by: (書目-電子資源)

Formal techniques for networked and distributed systems--FORTE 2008 = 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings / by: (書目-電子資源)

Verified Software: Theories, Tools, Experiments = First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by: (書目-電子資源)

Soft Real-Time Systems = Predictability vs. Efficiency / by: (書目-電子資源)

Dependable and historic computing = essays dedicated to Brian Randell on the occasion of his 75th birthday / by: (書目-電子資源)

Beginning OpenOffice 3 = from novice to professional / by: (書目-電子資源)

Digital Watermarking : = 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005, Proceedings by: (書目-電子資源)

Component-Based Software Development for Embedded Systems : = An Overview of Current Research Trends by: (書目-電子資源)

Data and Applications Security XIX = 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005, Proceedings / by: (書目-電子資源)

Architecture of Computing Systems-ARCS 2008 = 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings / by: (書目-電子資源)

Scheduling for parallel processing by: (書目-電子資源)

Distributed Computing in Sensor Systems = 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings / by: (書目-電子資源)

Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures by: (書目-電子資源)

Embedded Software and Systems = First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / by: (書目-電子資源)

Evolving OpenMP in an age of extreme parallelism = 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3 - 5, 2009 ; Proceedings / by: (書目-電子資源)

Research in Attacks, Intrusions, and Defenses = 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012 : proceedings / by: (書目-電子資源)

Distributed computing in sensor systems = 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010 : proceedings / by: (書目-電子資源)

Security protocols XVI = 16th international workshop, Cambridge, UK, April 16-18, 2008 : revised selected papers / by: (書目-電子資源)

Automating Linux and UNIX system administration by: (書目-電子資源)

Embedded Systems Design = The ARTIST Roadmap for Research and Development / by: (書目-電子資源)

Provable security = 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012 : proceedings / by: (書目-電子資源)

Peer-to-peer computing = principles and applications / by: (書目-電子資源)

Data privacy management and autonomous spontaneus security = 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011 : revised selected papers / by: (書目-電子資源)

Multicore software engineering, performance, and tools = International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-電子資源)

Theory and Applications of Satisfiability Testing = 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by: (書目-電子資源)

Information Security and Cryptology - ICISC 2004 = 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers / by: (書目-電子資源)

Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings / by: (書目-電子資源)

Mac OS X Leopard = Beyond the Manual / by: (書目-電子資源)

Beginning the Linux command line by: (書目-電子資源)

Communications and multimedia security = 12th IFIP TC 6 / TC 11 international conference, CMS 2011, Ghent, Belgium, October 19-21,2011 : proceedings / by: (書目-電子資源)

Cryptographic Hardware and Embedded Systems - CHES 2005 = 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings / by: (書目-電子資源)

Pervasive computing = 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010 : proceedings / by: (書目-電子資源)

Web Component Development with Zope 3 by: (書目-電子資源)

Embedded Software and Systems : = Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings by: (書目-電子資源)

From Specification to Embedded Systems Application by: (書目-電子資源)

Information Systems Security : = First International conference, ICISS 2005, Kolkata, India, December 19-21, 2005, Proceedings by: (書目-電子資源)

Security in Pervasive Computing = Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings / by: (書目-電子資源)

Job scheduling strategies for parallel processing = 13th international workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. revised papers / by: (書目-電子資源)

UbiComp 2005: Ubiquitous Computing : = 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005, Proceedings by: (書目-電子資源)

Self-sustaining systems = first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers / by: (書目-電子資源)

Computer network security = 6th international conference on mathematical methods, models and architectures for computer network security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012 : proceedings / by: (書目-電子資源)

Beginning Ubuntu Server Administration = From Novice to Professional / by: (書目-電子資源)

Applications and Theory of Petri Nets = 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings / by: (書目-電子資源)

Security and privacy in communication networks = 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010, proceedings / by: (書目-電子資源)

Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures / by: (書目-電子資源)

Advanced Distributed Systems = 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers / by: (書目-電子資源)

Organized adaption in multi-agent systems = First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008 : revised and invited papers / by: (書目-電子資源)

Lean Business Systems and Beyond by: (書目-電子資源)

Information Security Applications = 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers / by: (書目-電子資源)

Information Security : = 8th International Conference, ISC 2005, Singapore, September 20-23, 2005, Proceedings by: (書目-電子資源)

Advances in Information Technology = Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings / by: (書目-電子資源)

Euro-Par 2012 parallel processing = 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings / by: (書目-電子資源)

Architecture of computing systems - ARCS 2012 = 25th International Conference, Munich, Germany, February 28 - March 2, 2012 : proceedings / by: (書目-電子資源)

Security and dependability for ambient intelligence by: (書目-電子資源)

NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings / by: (書目-電子資源)

Job Scheduling Strategies for Parallel Processing = 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers / by: (書目-電子資源)

Trust, Privacy, and Security in Digital Business = Second International Conference, TrustBus 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings / by: (書目-電子資源)

Dependable Computing : = Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings by: (書目-電子資源)

Information Security and Cryptology : = First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings by: (書目-電子資源)

Pervasive Computing = Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings / by: (書目-電子資源)

Theory of Cryptography = Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005, Proceedings / by: (書目-電子資源)

Scientific Applications of Grid Computing = First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers / by: (書目-電子資源)

Software engineering for resilient systems = 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012 : proceedings / by: (書目-電子資源)