Operating Systems.

Database Systems for Advanced Applications = DASFAA 2024 International Workshops : BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024 : proceedings / by: (書目-語言資料,印刷品)

Blockchain, metaverse and trustworthy systems = 6th International Conference, BlockSys 2024, Hangzhou, China, July 12-14, 2024 : revised selected papers.. Part II / by: (書目-語言資料,印刷品)

Blockchain, metaverse and trustworthy systems = 6th International Conference, BlockSys 2024, Hangzhou, China, July 12-14, 2024 : revised selected papers.. Part I / by: (書目-語言資料,印刷品)

Cognitive computing - ICCC 2024 = 8th International Conference, held as part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024 : proceedings / by: (書目-語言資料,印刷品)

Financial cryptography and data security = FC 2024 International Workshops : Voting, DeFI, WTSC, CoDecFin, Willemstad, Curaçao, March 4-8, 2024 : revised selected papers / by: (書目-語言資料,印刷品)

Web services - ICWS 2024 = 31st International Conference, held as part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024 : proceedings / by: (書目-語言資料,印刷品)

Stabilization, safety, and security of distributed systems = 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024 : proceedings / by: (書目-語言資料,印刷品)

Information and communication technologies = 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024 : proceedings / by: (書目-語言資料,印刷品)

Service-oriented computing = 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024 : revised selected papers / by: (書目-語言資料,印刷品)

Applied informatics = 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Applied informatics = 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Applied cryptography and network security = 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Applied cryptography and network security = 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Applied cryptography and network security = 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Coordination models and languages = 27th IFIP WG 6.1 International Conference, COORDINATION 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025 : proceedings / by: (書目-語言資料,印刷品)

Distributed applications and interoperable systems = 25th IFIP WG 6.1 International Conference, DAIS 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025 : proceedings / by: (書目-語言資料,印刷品)

Formal techniques for distributed objects, components, and systems = 45th IFIP WG 6.1 International Conference, FORTE 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025 : proceedings / by: (書目-語言資料,印刷品)

Advanced information systems engineering = 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Advanced information systems engineering = 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Blockchain technology and application = 7th CCF China Blockchain Conference, CBCC 2024, Shanghai, China, December 13-15, 2024 : revised selected papers.. Part II / by: (書目-語言資料,印刷品)

Blockchain technology and application = 7th CCF China Blockchain Conference, CBCC 2024, Shanghai, China, December 13-15, 2024 : revised selected papers.. Part I / by: (書目-語言資料,印刷品)

Theory of Cryptography = Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005, Proceedings / by: (書目-語言資料,印刷品)

Job Scheduling Strategies for Parallel Processing = 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Human Interactive Proofs = Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005, Proceedings / by: (書目-語言資料,印刷品)

Financial Cryptography and Data Security = 9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 - March 3, 2005, Revised Papers / by: (書目-語言資料,印刷品)

Reliable Distributed Systems = Technologies, Web Services, and Applications / by: (書目-語言資料,印刷品)

Secure Data Management : = Second VLDB Workshop, SDM 2005, Trondheim, Norway, August 30-September 2, 2005, Proceedings by: (書目-語言資料,印刷品)

Cryptology and Network Security : = 4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005, Proceedings by: (書目-語言資料,印刷品)

Information Security Practice and Experience = First International Conference, ISPEC 2005, Singapore, April 11-14, 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: (書目-語言資料,印刷品)

Information Security : = 8th International Conference, ISC 2005, Singapore, September 20-23, 2005, Proceedings by: (書目-語言資料,印刷品)

Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings by: (書目-語言資料,印刷品)

Information and Communications Security : = 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005, Proceedings by: (書目-語言資料,印刷品)

Constructing Ambient Intelligence = AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers / by: (書目-語言資料,印刷品)

Advances in grid and pervasive computing = third international conference, GPC 2008, Kunming, China, May 25-28, 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: (書目-語言資料,印刷品)

Expert Oracle by: (書目-語言資料,印刷品)

Security in Communication Networks = 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Operational Semantics for Timed Systems = A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by: (書目-語言資料,印刷品)

Applied Cryptography and Network Security = Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005, Proceedings / by: (書目-語言資料,印刷品)

Foundations of Security Analysis and Design III : = FOSAD 2004/2005 Tutorial Lectures by: (書目-語言資料,印刷品)

Computer Security - ESORICS 2005 : = 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005, Proceedings by: (書目-語言資料,印刷品)

Network and Parallel Computing : = IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings by: (書目-語言資料,印刷品)

Trustworthy Global Computing : = International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers by: (書目-語言資料,印刷品)

Job Scheduling Strategies for Parallel Processing : = 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers by: (書目-語言資料,印刷品)

Moving Wearables into the Mainstream = Taming the Borg / by: (書目-語言資料,印刷品)

E-Government Ict Professionalism and Competences Service Science by: (書目-語言資料,印刷品)

Architecting Dependable Systems V by: (書目-語言資料,印刷品)

beginning ubuntu linux by: (書目-語言資料,印刷品)

Euro-Par 2015 = parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015 : proceedings / by: (書目-語言資料,印刷品)

Analyzing Computer System Performance with Perl::PDQ by: (書目-語言資料,印刷品)

Web Component Development with Zope 3 by: (書目-語言資料,印刷品)

Wired/wireless Internet communications = Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 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: (書目-語言資料,印刷品)

Intrusion and Malware Detection and Vulnerability Assessment = Second International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005, Proceedings / by: (書目-語言資料,印刷品)

Principles of Distributed Systems = 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advanced parallel processing technologies = 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015 : proceedings / by: (書目-語言資料,印刷品)

Embedded Software and Systems = First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Digital Watermarking : = 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005, 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 Computer Systems Architecture : = 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, 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: (書目-語言資料,印刷品)

Embedded Software and Systems : = Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings by: (書目-語言資料,印刷品)

Information Security and Cryptology : = First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings by: (書目-語言資料,印刷品)

Lean Business Systems and Beyond by: (書目-語言資料,印刷品)

Computer supported cooperative work in design IV = 11th international conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. revised selected papers / by: (書目-語言資料,印刷品)

Systems and virtualization management = standards and new technologies : second international workshop, SVM 2008, Munich, Germany, October 21-22, 2008, proceedings / by: (書目-語言資料,印刷品)

Information Security Applications = 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers / 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: (書目-語言資料,印刷品)

Information Networking = Convergence in Broadband and Mobile Networking. International Conference, ICOIN 2005, Jeju Island, Korea, January 31 - February 2, 2005, Proceedings / 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: (書目-語言資料,印刷品)

Multiparadigm Programming in Mozart = Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers / 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: (書目-語言資料,印刷品)

Theory and Applications of Satisfiability Testing = 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by: (書目-語言資料,印刷品)

Quality of Service - IWQoS 2005 = 13th International Workshop, IWQoS 2005, Passau, Germany, June 21-23, 2005. Proceedings / by: (書目-語言資料,印刷品)

Distributed Computing in Sensor Systems = First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30-July 1, 2005, Proceedings / by: (書目-語言資料,印刷品)

Theory and Applications of Satisfiability Testing = 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-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: (書目-語言資料,印刷品)

Advances in Cryptology - CRYPTO 2005 = 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings / 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: (書目-語言資料,印刷品)

Formal Methods for Components and Objects : = Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures by: (書目-語言資料,印刷品)

Ambient Networks : = 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005, Proceedings by: (書目-語言資料,印刷品)

Dependable Computing : = Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings by: (書目-語言資料,印刷品)

Power-Aware Computer Systems : = 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers by: (書目-語言資料,印刷品)

Component Deployment : = Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings by: (書目-語言資料,印刷品)

Soft Real-Time Systems = Predictability vs. Efficiency / by: (書目-語言資料,印刷品)

Dependability metrics = advanced lectures / by: (書目-語言資料,印刷品)

Theory and applications of satisfiability testing--SAT 2008 = 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / by: (書目-語言資料,印刷品)

Distributed Computing in Sensor Systems = 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings / by: (書目-語言資料,印刷品)

Secure Data Management = 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings / by: (書目-語言資料,印刷品)

Engineering Self-Organising Systems = Methodologies and Applications / by: (書目-語言資料,印刷品)

Information Security and Privacy = 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings / by: (書目-語言資料,印刷品)

Advanced Distributed Systems = 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers / by: (書目-語言資料,印刷品)

Cooperative Design, Visualization, and Engineering : = Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings by: (書目-語言資料,印刷品)

Architecting Dependable Systems III by: (書目-語言資料,印刷品)

Distributed Computing : = 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings by: (書目-語言資料,印刷品)

Parallel and Distributed Processing and Applications : = Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings by: (書目-語言資料,印刷品)

From Specification to Embedded Systems Application 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: (書目-語言資料,印刷品)

Architecture of Computing Systems = ARCS 2011 : 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings / by: (書目-語言資料,印刷品)

Formal methods for components and objects = 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers / by: (書目-語言資料,印刷品)

Introduction to reliable and secure distributed programming by: (書目-語言資料,印刷品)

Web Component Development with Zope 3 by: (書目-語言資料,印刷品)

Principles of the Spin model checker by: (書目-語言資料,印刷品)

Selected areas in cryptography = 17th international workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010 : revised selected papers / by: (書目-語言資料,印刷品)

Global Computing = IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Information Security and Cryptology - ICISC 2004 = 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Applications and Theory of Petri Nets 2005 = 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / by: (書目-語言資料,印刷品)

Advances in Grid Computing - EGC 2005 = European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers / 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: (書目-語言資料,印刷品)

Peer-to-Peer Systems IV : = 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers by: (書目-語言資料,印刷品)

Grid and Cooperative Computing - GCC 2005 : = 4th International Conference, Beijing, China, November 30 -- December 3, 2005, Proceedings by: (書目-語言資料,印刷品)

Middleware 2005 : = ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings by: (書目-語言資料,印刷品)

NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings / by: (書目-語言資料,印刷品)

Ajax in Oracle JDeveloper by: (書目-語言資料,印刷品)

Beginning Ubuntu Server Administration = From Novice to Professional / by: (書目-語言資料,印刷品)

Job scheduling strategies for parallel processing = 13th international workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. revised papers / by: (書目-語言資料,印刷品)

Distributed applications and interoperable systems = 8thIFIP WG 6.1 international conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. proceedings / by: (書目-語言資料,印刷品)

Applications and Theory of Petri Nets = 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings / by: (書目-語言資料,印刷品)

Scientific Applications of Grid Computing = First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers / by: (書目-語言資料,印刷品)

Digital Watermarking = Third International Workshop, IWDW 2004, Seoul, Korea, October 30 - November 1, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

The Testing Network = An Integral Approach to Test Activities in Large Software Projects / by: (書目-語言資料,印刷品)

Pervasive Computing = Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings / by: (書目-語言資料,印刷品)

Privacy Enhancing Technologies = 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004, Revised Selected Papers / by: (書目-語言資料,印刷品)

Security Protocols = 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers / by: (書目-語言資料,印刷品)

Cryptographic Hardware and Embedded Systems - CHES 2005 = 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings / by: (書目-語言資料,印刷品)

UbiComp 2005: Ubiquitous Computing : = 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005, Proceedings by: (書目-語言資料,印刷品)

Component-Based Software Development for Embedded Systems : = An Overview of Current Research Trends by: (書目-語言資料,印刷品)

Progress in Cryptology - INDOCRYPT 2005 : = 6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005, Proceedings by: (書目-語言資料,印刷品)

Distributed Computing - IWDC 2005 : = 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings by: (書目-語言資料,印刷品)

Security protocols XVI = 16th international workshop, Cambridge, UK, April 16-18, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

Information Security and Privacy = 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011 : proceedings / by: (書目-語言資料,印刷品)

Analyzing computer system performance with PERL::PDQ by: (書目-語言資料,印刷品)

Analytical and stochastic modeling techniques and applications = 18th international conference, ASMTA 2011, Venice, Italy, June 20-22, 2011 : proceedings / by: (書目-語言資料,印刷品)

Mac OS X Leopard = Beyond the Manual / 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: (書目-語言資料,印刷品)

Progress in cryptology = AFRICACRYP T 2011 : 4th international conference on cryptology in Africa, Dakar, Senegal, July 5-7, 2011 : proceedings / by: (書目-語言資料,印刷品)

Secure Transaction Protocol Analysis = Models and Applications / by: (書目-語言資料,印刷品)

Distributed Embedded Systems: Design, Middleware and Resources = IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy / by: (書目-語言資料,印刷品)

Distributed and Parallel Systems = In Focus: Desktop Grid Computing / by: (書目-語言資料,印刷品)

Cooperative design, visualization and engineering = 5th international conference, CDVE 2008, Calvia, Mallorca, Spain, September 21-25, 2008 : proceedings / by: (書目-語言資料,印刷品)

Model-based software performance analysis by: (書目-語言資料,印刷品)

Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings / by: (書目-語言資料,印刷品)

Middleware 2008 = ACM-IFIP-USENIX 9th International Middleware Conference, Leuven Belgium, December 1-5 2008, proceedings / by: (書目-語言資料,印刷品)

Distributed and Parallel Systems = Cluster and Grid Computing / by: (書目-語言資料,印刷品)

New Horizons of Parallel and Distributed Computing 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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Embedded Systems Design = The ARTIST Roadmap for Research and Development / by: (書目-語言資料,印刷品)

Security in Pervasive Computing = Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 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: (書目-語言資料,印刷品)

Information Systems Security : = First International conference, ICISS 2005, Kolkata, India, December 19-21, 2005, Proceedings by: (書目-語言資料,印刷品)

Do-All Computing in Distributed Systems = Cooperation in the Presence of Adversity / by: (書目-語言資料,印刷品)

Architecture of Computing Systems-ARCS 2008 = 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings / 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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Distributed computing = 22nd international symposium, DISC 2008, Arcachon, France, September 22-24, 2008 : proceedings / by: (書目-語言資料,印刷品)

Advances in information and computer security = Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008, proceedings / by: (書目-語言資料,印刷品)

Windows netbooks = the path to low-cost computing / by: (書目-語言資料,印刷品)

Beginning Ubuntu Linux = from novice to professional / by: (書目-語言資料,印刷品)

Ubuntu netbooks = the path to low-cost computing / by: (書目-語言資料,印刷品)

Middleware 2009 = ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings / by: (書目-語言資料,印刷品)

Advances in Information Technology = Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings / by: (書目-語言資料,印刷品)

Job Scheduling Strategies for Parallel Processing = 14th international workshop, JSSPP 2009, Rome, Italy, May 29, 2009 : revised papers / by: (書目-語言資料,印刷品)

Advances in information and computer security = 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 : proceedings / by: (書目-語言資料,印刷品)

Architecting dependable systems VI by: (書目-語言資料,印刷品)

Pro Linux system administration by: (書目-語言資料,印刷品)

Distributed intelligent systems = a coordination perspective / by: (書目-語言資料,印刷品)

Euro-Par 2009 - parallel processing = 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009 : proceedings / by: (書目-語言資料,印刷品)

Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures / by: (書目-語言資料,印刷品)

Mac for Linux geeks 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: (書目-語言資料,印刷品)

Scheduling for parallel processing by: (書目-語言資料,印刷品)

Beginning Ubuntu LTS server administration = from novice to professional / by: (書目-語言資料,印刷品)

UNIX operating system = the development tutorial via UNIX kernel services / by: (書目-語言資料,印刷品)

Advances in information and computer security : = 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 : proceedings / by: (書目-語言資料,印刷品)

Advances in Information Technology : = Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings / by: (書目-語言資料,印刷品)

Security and trust management = 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, revised selected papers / by: (書目-語言資料,印刷品)

Network and parallel computing = 8th IFIP international conference, NPC 2011, Changsha, China, October 21-23, 2011 : proceedings / by: (書目-語言資料,印刷品)

Sensor systems and software = second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, 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: (書目-語言資料,印刷品)

Forensics in telecommunications, information, and multimedia = third international ICST conference, e-Forensics 2010, Shanghai, China, November 11-12, 2010, revised selected papers / by: (書目-語言資料,印刷品)

Communications and multimedia security = 12th IFIP TC 6 / TC 11 international conference, CMS 2011, Ghent, Belgium, October 19-21,2011 : proceedings / by: (書目-語言資料,印刷品)

Advanced parallel processing technologies = 9th international symposium, APPT 2011, Shanghai, China, September 26-27, 2011 : proceedings / by: (書目-語言資料,印刷品)

Search based software engineering = third international symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011 : proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part II / by: (書目-語言資料,印刷品)

The Windows 10 accessibility handbook = supporting Windows users with special visual, auditory, motor, and cognitive needs / by: (書目-語言資料,印刷品)

Exploring the Raspberry Pi 2 with C++ by: (書目-語言資料,印刷品)

File management made simple, Windows Edition by: (書目-語言資料,印刷品)

Trusted systems = 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014 : revised selected papers / by: (書目-語言資料,印刷品)

Energy-efficient high performance computing = measurement and tuning / by: (書目-語言資料,印刷品)

Requirements engineering and management for software development projects by: (書目-語言資料,印刷品)

Trustworthy computing and services = International Conference, ISCTCS 2012, Beijing, China, May 28 - June 2, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Job scheduling strategies for parallel processing = 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Formal methods for components and objects = 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / by: (書目-語言資料,印刷品)

Assurances for self-adaptive systems = Principles, Models, and Techniques / by: (書目-語言資料,印刷品)

Topics in cryptology - CT-RSA 2013 = the Cryptographers' Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013 : proceedings / by: (書目-語言資料,印刷品)

Architecture of computing systems - ARCS 2013 = 26th International Conference, Prague, Czech Republic, February 19-22, 2013 : proceedings / by: (書目-語言資料,印刷品)

Compiler construction = 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings / by: (書目-語言資料,印刷品)

Aliasing in object-oriented programming = types, analysis, and verification / by: (書目-語言資料,印刷品)

Passive and active measurement = 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013 : proceedings / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing = 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Smart grid security = first International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012 : revised selected papers / by: (書目-語言資料,印刷品)

Grid and pervasive computing = 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013 : proceedings / by: (書目-語言資料,印刷品)

NASA formal methods = 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013 : proceedings / by: (書目-語言資料,印刷品)

Wired/wireless internet communication = 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013 : proceedings / by: (書目-語言資料,印刷品)

Coordination models and languages = 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013 : proceedings / by: (書目-語言資料,印刷品)

Web Dynpro ABAP for practitioners by: (書目-語言資料,印刷品)

Euro-Par 2013 parallel processing = 19th International Conference, Aachen, Germany, August 26-30, 2013 : proceedings / by: (書目-語言資料,印刷品)

Multicore software engineering, performance, and tools = international conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013 : proceedings / by: (書目-語言資料,印刷品)

Energy efficiency in large scale distributed systems = COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Network and parallel computing = 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013 : proceedings / by: (書目-語言資料,印刷品)

Software engineering for resilient systems = 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013 : proceedings / 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: (書目-語言資料,印刷品)

Self-sustaining systems = first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers / by: (書目-語言資料,印刷品)

Network and parallel computing = 9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings / by: (書目-語言資料,印刷品)

Security and privacy in communication networks = 7th International ICST Conference, SecureComm 2011, London, UK, September 7-9, 2011 : revised selected papers / by: (書目-語言資料,印刷品)

Search based software engineering = 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings / by: (書目-語言資料,印刷品)

Software engineering for resilient systems = 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012 : proceedings / by: (書目-語言資料,印刷品)

Research in Attacks, Intrusions, and Defenses = 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012 : proceedings / 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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Euro-Par 2012 parallel processing = 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings / by: (書目-語言資料,印刷品)

Provable security = 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012 : 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: (書目-語言資料,印刷品)

Advances in grid and pervasive computing = 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / by: (書目-語言資料,印刷品)

Multicore software engineering, performance, and tools = International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (書目-語言資料,印刷品)

Dependable and historic computing = essays dedicated to Brian Randell on the occasion of his 75th birthday / by: (書目-語言資料,印刷品)

Advanced parallel processing technologies = 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013 : revised selected papers / by: (書目-語言資料,印刷品)

Trusted systems = 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013 : proceedings / by: (書目-語言資料,印刷品)

Ada 2012 rationale = The Language, The Standard Libraries / by: (書目-語言資料,印刷品)

Ada 2012 reference manual = language and standard libraries : International Standard ISO/IEC 8652/2012 (E) / by: (書目-語言資料,印刷品)

Guide to reliable distributed systems = building high-assurance applications and cloud-hosted services / by: (書目-語言資料,印刷品)

Architecture of computing systems - ARCS 2012 = 25th International Conference, Munich, Germany, February 28 - March 2, 2012 : proceedings / 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: (書目-語言資料,印刷品)

NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (書目-語言資料,印刷品)

Beginning OpenOffice 3 = from novice to professional / by: (書目-語言資料,印刷品)

Architecture of computing systems - ARCS 2009 = 22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings / by: (書目-語言資料,印刷品)

Methods, models and tools for fault tolerance by: (書目-語言資料,印刷品)

Automating Linux and UNIX system administration by: (書目-語言資料,印刷品)

Pro Ubuntu server administration by: (書目-語言資料,印刷品)

Engineering secure software and systems = First international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009, proceedings / by: (書目-語言資料,印刷品)

Security and dependability for ambient intelligence by: (書目-語言資料,印刷品)

Storage management in data centers = understanding, exploiting, tuning, and troubleshooting Veritas Storage Foundation / by: (書目-語言資料,印刷品)

Large-scale scientific computing = 6th international conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007 : revised 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: (書目-語言資料,印刷品)

Beginning the Linux command line by: (書目-語言資料,印刷品)

Pro OpenSolaris = a new open source OS for Linux developers and administrators / by: (書目-語言資料,印刷品)

Architecture of computing systems - ARCS 2014 = 27th International Conference, Lubeck, Germany, February 25-28, 2014 : proceedings / by: (書目-語言資料,印刷品)

Using Windows 8.1 = return of the start button / by: (書目-語言資料,印刷品)

Compiler Construction = 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (書目-語言資料,印刷品)

Everyday computing with Windows 8.1 by: (書目-語言資料,印刷品)

Practical linux topics by: (書目-語言資料,印刷品)

Oracle Solaris and Veritas cluster = an easy-build guide / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing = 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

The accidental SysAdmin handbook = a primer for early level IT professionals / by: (書目-語言資料,印刷品)

Troubleshooting Windows Server with PowerShell by: (書目-語言資料,印刷品)

NASA formal methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings / by: (書目-語言資料,印刷品)

Building Arduino projects for the internet of things = experiments with real-world applications / by: (書目-語言資料,印刷品)

HCNA networking study guide by: (書目-語言資料,印刷品)

Harley Hahn's Emacs field guide by: (書目-語言資料,印刷品)

Analytical and stochastic modeling techniques and applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings / by: (書目-語言資料,印刷品)

Windows to go = a guide for users and IT professionals / by: (書目-語言資料,印刷品)

Transactions on modularity and composition I by: (書目-語言資料,印刷品)

Windows 10 troubleshooting by: (書目-語言資料,印刷品)

Implementing DirectAccess with Windows Server 2016 by: (書目-語言資料,印刷品)

Cybersecurity for hospitals and healthcare facilities = a guide to detection and prevention / by: (書目-語言資料,印刷品)

Windows installation and update troubleshooting by: (書目-語言資料,印刷品)

Professional Sitecore 8 development = a complete guide to solutions and best practices / by: (書目-語言資料,印刷品)

Practical LPIC-1 Linux certification study guide by: (書目-語言資料,印刷品)

Learn CentOS Linux network services by: (書目-語言資料,印刷品)

Internetware = a new software paradigm for internet computing / by: (書目-語言資料,印刷品)

Brain-inspired computing = second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Introducing Materialize by: (書目-語言資料,印刷品)

Introducing Bootstrap 4 by: (書目-語言資料,印刷品)

Reliable software technologies - Ada-Europe 2017 = 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017 : proceedings / by: (書目-語言資料,印刷品)

DataFlow supercomputing essentials = research, development and education / by: (書目-語言資料,印刷品)

Research in attacks, intrusions, and defenses = 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017 : proceedings / by: (書目-語言資料,印刷品)

High performance computing = ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Artificial neural networks and machine learning - ICANN 2017 = 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Artificial neural networks and machine learning - ICANN 2017 = 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Stabilization, safety, and security of distributed systems = 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017 : proceedings / by: (書目-語言資料,印刷品)

Transactions on large-scale data- and knowledge-centered systems XXXIV = special issue on consistency and inconsistency in data-centric applications / by: (書目-語言資料,印刷品)

Detection of intrusions and malware, and vulnerability assessment = 14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017 : proceedings / by: (書目-語言資料,印刷品)

Theory and practice of model transformation = 10th International Conference, ICMT 2017, held as part of STAF 2017, Marburg, Germany, July 17-18, 2017 : proceedings / by: (書目-語言資料,印刷品)

Engineering secure software and systems = 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings / by: (書目-語言資料,印刷品)

Task scheduling for multi-core and parallel architectures = challenges, solutions and perspectives / by: (書目-語言資料,印刷品)

Brain informatics = International Conference, BI 2017, Beijing, China, November 16-18, 2017 : proceedings / by: (書目-語言資料,印刷品)

The Windows 10 productivity handbook = discover expert tips, tricks, and hidden features in Windows 10 / by: (書目-語言資料,印刷品)

DataFlow supercomputing essentials = algorithms, applications and implementations / by: (書目-語言資料,印刷品)

Verification and evaluation of computer and communication systems = 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings / by: (書目-語言資料,印刷品)

Theory and applications of satisfiability testing - SAT 2017 = 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings / by: (書目-語言資料,印刷品)

Search based software engineering = 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017 : proceedings / by: (書目-語言資料,印刷品)

Advanced parallel processing technologies = 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017 : proceedings / by: (書目-語言資料,印刷品)

Docker management design patterns = swarm mode on Amazon Web Services / by: (書目-語言資料,印刷品)

Architecture of computing systems - ARCS 2018 = 31st International Conference, Braunschweig, Germany, April 9-12, 2018 : proceedings / by: (書目-語言資料,印刷品)

Supercomputing frontiers = 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018 : proceedings / by: (書目-語言資料,印刷品)

Essential PowerShell for Office 365 = managing and automating skills for improved productivity / by: (書目-語言資料,印刷品)

Trends in functional programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Transactions on computational collective intelligence XXVIII by: (書目-語言資料,印刷品)

Formal Techniques for Distributed Objects, Components, and Systems = 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings / by: (書目-語言資料,印刷品)

High performance computing = 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018 : proceedings / by: (書目-語言資料,印刷品)

System and architecture = proceedings of CSI 2015 / by: (書目-語言資料,印刷品)

Image analysis and recognition = 15th International Conference, ICIAR 2018, Povoa de Varzim, Portugal, June 27-29, 2018 : proceedings / by: (書目-語言資料,印刷品)

Integration of constraint programming, artificial intelligence, and operations research = 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018 : proceedings / by: (書目-語言資料,印刷品)

Cyber security cryptography and machine learning = second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21-22, 2018 : proceedings / by: (書目-語言資料,印刷品)

Detection of intrusions and malware, and vulnerability assessment = 15th International Conference, DIMVA 2018, Saclay, France, June 28-29, 2018 : proceedings / by: (書目-語言資料,印刷品)

Services - SERVICES 2018 = 14th World Congress, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings / by: (書目-語言資料,印刷品)

Model-driven engineering and software development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Cloud computing and service science = 7th International Conference, CLOSER 2017, Porto, Portugal, April 24-26, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Embedded systems technology = 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017 : revised selected papers / by: (書目-語言資料,印刷品)

Internet and distributed computing systems = 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017 : proceedings / by: (書目-語言資料,印刷品)

Transactions on large-scale data- and knowledge-centered systems XXXVII by: (書目-語言資料,印刷品)

Interrupt handling schemes in operating systems by: (書目-語言資料,印刷品)

Parallel computational technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2-6, 2018 : revised selected papers / by: (書目-語言資料,印刷品)

Systems programming in Unix/Linux by: (書目-語言資料,印刷品)

Search-based software engineering = 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018 : proceedings / by: (書目-語言資料,印刷品)

Research in attacks, intrusions, and defenses = 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018 : proceedings / by: (書目-語言資料,印刷品)

Advanced computer architecture = 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018 : proceedings / by: (書目-語言資料,印刷品)

Transactions on computational science XXXIII by: (書目-語言資料,印刷品)

Structural information and communication complexity = 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018 : revised selected papers / by: (書目-語言資料,印刷品)

Stabilization, safety, and security of distributed systems = 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018 : proceedings / by: (書目-語言資料,印刷品)

Transactions on large-scale data- and knowledge-centered systems XXXIX = Special Issue on Database- and Expert-Systems Applications / by: (書目-語言資料,印刷品)

Transactions on petri nets and other models of concurrency XIII by: (書目-語言資料,印刷品)

Algorithms and architectures for parallel processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Network and parallel computing = 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 - December 1, 2018 : proceedings / by: (書目-語言資料,印刷品)

Reflections on programming systems = historical and philosophical aspects / by: (書目-語言資料,印刷品)

Trends in functional programming = 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018 : revised selected papers / by: (書目-語言資料,印刷品)

Neural information processing = 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017 : proceedings.. Part VI / by: (書目-語言資料,印刷品)

VLSI-SoC = opportunities and challenges beyond the internet of things : 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23-25, 2017 : revised and extended selected papers / by: (書目-語言資料,印刷品)

Artificial intelligence applications and innovations = AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24-26, 2019 : proceedings / by: (書目-語言資料,印刷品)

Massively multi-agent systems II = International Workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018 : revised selected papers / by: (書目-語言資料,印刷品)

Information processing in medical imaging = 26th International Conference, IPMI 2019, Hong Kong, China, June 2-7, 2019 : proceedings / by: (書目-語言資料,印刷品)

VLSI-SoC = design and engineering of electronics systems based on new computing paradigms : 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018 : revised and extended selected papers / by: (書目-語言資料,印刷品)

Detection of intrusions and malware, and vulnerability assessment = 16th International Conference, DIMVA 2019, Gothenburg, Sweden, June 19-20, 2019 : proceedings / by: (書目-語言資料,印刷品)

Coordination models and languages = 21st IFIP WG 6.1 International Conference, COORDINATION 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings / by: (書目-語言資料,印刷品)

Privacy technologies and policy = 7th Annual Privacy Forum, APF 2019, Rome, Italy, June 13-14, 2019 : proceedings / by: (書目-語言資料,印刷品)

Biomimetic and biohybrid systems = 8th International Conference, Living Machines 2019, Nara, Japan, July 9-12, 2019 : proceedings / by: (書目-語言資料,印刷品)

Structural information and communication complexity = 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1-4, 2019 : 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: (書目-語言資料,印刷品)

Big data management by: (書目-語言資料,印刷品)

Hesitant fuzzy decision making methodologies and applications by: (書目-語言資料,印刷品)

Become ITIL Foundation certified in 7 days = learning ITIL made simple with real-life examples / by: (書目-語言資料,印刷品)

Languages and compilers for parallel computing = 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016 : revised papers / by: (書目-語言資料,印刷品)

Kubernetes management design patterns = with Docker, CoreOS Linux, and other platforms / by: (書目-語言資料,印刷品)

Everyday Computing with Windows 8.1 by: (書目-語言資料,印刷品)

NASA Formal Methods = 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / by: (書目-語言資料,印刷品)

Windows File System Troubleshooting by: (書目-語言資料,印刷品)

File Management Made Simple, Windows Edition by: (書目-語言資料,印刷品)

Windows Registry Troubleshooting by: (書目-語言資料,印刷品)

Betriebssysteme und Echtzeit = Echtzeit 2015 / by: (書目-語言資料,印刷品)

Advanced Parallel Processing Technologies = 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / by: (書目-語言資料,印刷品)

Architecture of Computing Systems – ARCS 2015 = 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings / by: (書目-語言資料,印刷品)

Quality-aware Scheduling for Key-value Data Stores by: (書目-語言資料,印刷品)

The Windows 10 Accessibility Handbook = Supporting Windows Users with Special Visual, Auditory, Motor, and Cognitive Needs / by: (書目-語言資料,印刷品)

Design and Implementation of the MTX Operating System by: (書目-語言資料,印刷品)

Trusted Systems = 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Euro-Par 2015: Parallel Processing = 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings / by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing = 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

In Memory Data Management and Analysis = First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Exploring the Raspberry Pi 2 with C++ by: (書目-語言資料,印刷品)

Introducing Bootstrap 4 by: (書目-語言資料,印刷品)

Windows To Go = A Guide for Users and IT Professionals / by: (書目-語言資料,印刷品)

Practical LPIC-1 Linux Certification Study Guide by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing = 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

NASA Formal Methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / by: (書目-語言資料,印刷品)

Internet der Dinge = Echtzeit 2016 / by: (書目-語言資料,印刷品)

Oracle Solaris and Veritas Cluster : An Easy-build Guide = A try-at-home, practical guide to implementing Oracle/Solaris and Veritas clustering using a desktop or laptop / by: (書目-語言資料,印刷品)

Cybersecurity for Hospitals and Healthcare Facilities = A Guide to Detection and Prevention / by: (書目-語言資料,印刷品)

Professional Sitecore 8 Development = A Complete Guide to Solutions and Best Practices / by: (書目-語言資料,印刷品)

Windows 10 Troubleshooting by: (書目-語言資料,印刷品)

Brain-Inspired Computing = Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

HCNA Networking Study Guide by: (書目-語言資料,印刷品)

Introducing Materialize by: (書目-語言資料,印刷品)

Harley Hahn's Emacs Field Guide by: (書目-語言資料,印刷品)

Implementing DirectAccess with Windows Server 2016 by: (書目-語言資料,印刷品)

The Accidental SysAdmin Handbook = A Primer for Early Level IT Professionals / by: (書目-語言資料,印刷品)

Learn CentOS Linux Network Services by: (書目-語言資料,印刷品)

Troubleshooting Windows Server with PowerShell by: (書目-語言資料,印刷品)

Internetware = A New Software Paradigm for Internet Computing / by: (書目-語言資料,印刷品)

Practical Linux Topics by: (書目-語言資料,印刷品)

Analytical and Stochastic Modelling Techniques and Applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings / by: (書目-語言資料,印刷品)

Transactions on Modularity and Composition I by: (書目-語言資料,印刷品)

Softwaretests mit Python by: (書目-語言資料,印刷品)

Windows Installation and Update Troubleshooting by: (書目-語言資料,印刷品)

Transactions on Petri Nets and Other Models of Concurrency XIII by: (書目-語言資料,印刷品)

Search-Based Software Engineering = 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings / by: (書目-語言資料,印刷品)

Advanced Computer Architecture = 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings / by: (書目-語言資料,印刷品)

Reflections on Programming Systems = Historical and Philosophical Aspects / by: (書目-語言資料,印刷品)

Structural Information and Communication Complexity = 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Cyber Security Cryptography and Machine Learning = Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21–22, 2018, Proceedings / by: (書目-語言資料,印刷品)

Systems Programming in Unix/Linux by: (書目-語言資料,印刷品)

System and Architecture = Proceedings of CSI 2015 / by: (書目-語言資料,印刷品)

Echtzeit und Sicherheit = Echtzeit 2018 / by: (書目-語言資料,印刷品)

Service-Oriented Computing = 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Network and Parallel Computing = 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings / by: (書目-語言資料,印刷品)

Das Raspberry Pi Kompendium by: (書目-語言資料,印刷品)

Transactions on Computational Science XXXIII by: (書目-語言資料,印刷品)

Stabilization, Safety, and Security of Distributed Systems = 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings / by: (書目-語言資料,印刷品)

Tools and Methods of Program Analysis = 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII by: (書目-語言資料,印刷品)

Research in Attacks, Intrusions, and Defenses = 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings / by: (書目-語言資料,印刷品)

Transactions on Computational Collective Intelligence XXVIII by: (書目-語言資料,印刷品)

Model-Driven Engineering and Software Development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Cloud Computing and Service Science = 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Parallel Computational Technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX = Special Issue on Database- and Expert-Systems Applications / by: (書目-語言資料,印刷品)

Interrupt Handling Schemes in Operating Systems by: (書目-語言資料,印刷品)

Internet and Distributed Computing Systems = 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings / by: (書目-語言資料,印刷品)

Trends in Functional Programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / by: (書目-語言資料,印刷品)

Architecture of Computing Systems – ARCS 2018 = 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings / by: (書目-語言資料,印刷品)

Essential PowerShell for Office 365 = Managing and Automating Skills for Improved Productivity / by: (書目-語言資料,印刷品)

Coordination Models and Languages = 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings / by: (書目-語言資料,印刷品)

Formal Techniques for Distributed Objects, Components, and Systems = 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings / by: (書目-語言資料,印刷品)

Distributed Applications and Interoperable Systems = 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings / by: (書目-語言資料,印刷品)

5G Wireless Systems = Simulation and Evaluation Techniques / by: (書目-語言資料,印刷品)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings / by: (書目-語言資料,印刷品)

Image Analysis and Recognition = 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27–29, 2018, Proceedings / by: (書目-語言資料,印刷品)

Supercomputing Frontiers = 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings / by: (書目-語言資料,印刷品)

Detection of Intrusions and Malware, and Vulnerability Assessment = 15th International Conference, DIMVA 2018, Saclay, France, June 28–29, 2018, Proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2017: Parallel Processing Workshops = Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

High Performance Computing = 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings / by: (書目-語言資料,印刷品)

Services – SERVICES 2018 = 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings / by: (書目-語言資料,印刷品)

Embedded Operating Systems = A Practical Approach / by: (書目-語言資料,印刷品)

Theory and Practice of Model Transformation = 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings / by: (書目-語言資料,印刷品)

Oracle WebLogic Server 12c Administration I Exam 1Z0-133 = A Comprehensive Certification Guide / by: (書目-語言資料,印刷品)

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation = 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings / by: (書目-語言資料,印刷品)

Embedded Systems Technology = 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Euro-Par 2018: Parallel Processing Workshops = Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Applied Reconfigurable Computing = 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

Distributed Computing by Mobile Entities = Current Research in Moving and Computing / by: (書目-語言資料,印刷品)

Economics of Grids, Clouds, Systems, and Services = 16th International Conference, GECON 2019, Leeds, UK, September 17–19, 2019, Proceedings / by: (書目-語言資料,印刷品)

Massively Multi-Agent Systems II = International Workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Biomimetic and Biohybrid Systems = 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings / by: (書目-語言資料,印刷品)

Network and Parallel Computing = 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings / by: (書目-語言資料,印刷品)

Supercomputing Frontiers = 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings / by: (書目-語言資料,印刷品)

Supercomputing = 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advanced Parallel Processing Technologies = 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings / by: (書目-語言資料,印刷品)

Creativity in Intelligent Technologies and Data Science = Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Combinatorial Optimization and Applications = 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings / by: (書目-語言資料,印刷品)

OpenMP: Conquering the Full Hardware Spectrum = 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings / by: (書目-語言資料,印刷品)

Transactions on High-Performance Embedded Architectures and Compilers V by: (書目-語言資料,印刷品)

Stabilization, Safety, and Security of Distributed Systems = 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings / by: (書目-語言資料,印刷品)

Trends in Functional Programming = 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Information Processing in Medical Imaging = 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings / by: (書目-語言資料,印刷品)

Statistics and Data Science = Research School on Statistics and Data Science, RSSDS 2019, Melbourne, VIC, Australia, July 24–26, 2019, Proceedings / by: (書目-語言資料,印刷品)

Detection of Intrusions and Malware, and Vulnerability Assessment = 16th International Conference, DIMVA 2019, Gothenburg, Sweden, June 19–20, 2019, Proceedings / by: (書目-語言資料,印刷品)

Constructive Side-Channel Analysis and Secure Design = 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings / by: (書目-語言資料,印刷品)

Searchable Storage in Cloud Computing by: (書目-語言資料,印刷品)

High-Performance Modelling and Simulation for Big Data Applications = Selected Results of the COST Action IC1406 cHiPSet / by: (書目-語言資料,印刷品)

Coordination Models and Languages = 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings / by: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII by: (書目-語言資料,印刷品)

Augmented Cognition = 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings / by: (書目-語言資料,印刷品)

Architecture of Computing Systems – ARCS 2019 = 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings / by: (書目-語言資料,印刷品)

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity = 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Structural Information and Communication Complexity = 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings / by: (書目-語言資料,印刷品)

Artificial Intelligence Applications and Innovations = AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings / by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing = 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Privacy Technologies and Policy = 7th Annual Privacy Forum, APF 2019, Rome, Italy, June 13–14, 2019, Proceedings / by: (書目-語言資料,印刷品)

Supercomputing = 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms = 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers / by: (書目-語言資料,印刷品)

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things = 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers / by: (書目-語言資料,印刷品)

Operating Systems for Supercomputers and High Performance Computing by: (書目-語言資料,印刷品)

Internet of Things. Information Processing in an Increasingly Connected World = First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Robot Operating System (ROS) = The Complete Reference (Volume 3) / by: (書目-語言資料,印刷品)

DevOps = Ein Überblick / by: (書目-語言資料,印刷品)

Distributed Computing for Emerging Smart Networks = First International Workshop, DiCES-N 2019, Hammamet, Tunisia, October 30, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Parallel Architectures, Algorithms and Programming = 10th International Symposium, PAAP 2019, Guangzhou, China, December 12–14, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

The Amazing Journey of Reason = from DNA to Artificial Intelligence / by: (書目-語言資料,印刷品)

Distributed Computing and Internet Technology = 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Cloud Computing and Services Science = 9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2–4, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Supercomputing Frontiers = 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings / by: (書目-語言資料,印刷品)

Betriebssysteme kompakt = Grundlagen, Daten, Speicher, Dateien, Prozesse und Kommunikation / by: (書目-語言資料,印刷品)

Uncertainty-aware Integration of Control with Process Operations and Multi-parametric Programming Under Global Uncertainty by: (書目-語言資料,印刷品)

Arduino Software Internals = A Complete Guide to How Your Arduino Language and Hardware Work Together / by: (書目-語言資料,印刷品)

Engineering Multi-Agent Systems = 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Leadership OS = The Operating System You Need to Succeed / by: (書目-語言資料,印刷品)

Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

OpenMP: Portable Multi-Level Parallelism on Modern Systems = 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings / by: (書目-語言資料,印刷品)

Advanced Computer Architecture = 13th Conference, ACA 2020, Kunming, China, August 13–15, 2020, Proceedings / by: (書目-語言資料,印刷品)

Blockchain Technology and Application = Second CCF China Blockchain Conference, CBCC 2019, Chengdu, China, October 11–13, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Build a Next-Generation Digital Workplace = Transform Legacy Intranets to Employee Experience Platforms / by: (書目-語言資料,印刷品)

VLSI-SoC: New Technology Enabler = 27th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2019, Cusco, Peru, October 6–9, 2019, Revised and Extended Selected Papers / by: (書目-語言資料,印刷品)

Reversible Computation: Extending Horizons of Computing = Selected Results of the COST Action IC1405 / by: (書目-語言資料,印刷品)

Operating Systems / Betriebssysteme = Bilingual Edition: English – German / Zweisprachige Ausgabe: Englisch – Deutsch / by: (書目-語言資料,印刷品)

Parallel Computational Technologies = 14th International Conference, PCT 2020, Perm, Russia, May 27–29, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Grundkurs Betriebssysteme = Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation, Virtualisierung / by: (書目-語言資料,印刷品)

Cloud Computing – CLOUD 2020 = 13th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Web Services – ICWS 2020 = 27th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Stabilization, Safety, and Security of Distributed Systems = 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings / by: (書目-語言資料,印刷品)

Supercomputing = 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21–22, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Service-Oriented Computing = 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings / by: (書目-語言資料,印刷品)

Practical System Programming with C = Pragmatic Example Applications in Linux and Unix-Based Operating Systems / by: (書目-語言資料,印刷品)

Genetic Programming = 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by: (書目-語言資料,印刷品)

Robot Operating System (ROS) = The Complete Reference (Volume 6) / by: (書目-語言資料,印刷品)

Euro-Par 2021: Parallel Processing = 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2020: Parallel Processing Workshops = Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Service-Oriented and Cloud Computing = International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Robot Operating System (ROS) = The Complete Reference (Volume 5) / by: (書目-語言資料,印刷品)

OpenMP: Enabling Massive Node-Level Parallelism = 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings / by: (書目-語言資料,印刷品)

Cloud Computing and Services Science = 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Collaborative Computing: Networking, Applications and Worksharing = 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16–18, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Blockchain Technology and Application = Third CCF China Blockchain Conference, CBCC 2020, Jinan, China, December 18-20, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

High Performance Computing = 7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2–4, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Applied Cryptography and Network Security = 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Beginning Microsoft 365 Collaboration Apps = Working in the Microsoft Cloud / by: (書目-語言資料,印刷品)

Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings / by: (書目-語言資料,印刷品)

Financial Cryptography and Data Security = 25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Financial Cryptography and Data Security = 25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Stabilization, Safety, and Security of Distributed Systems = 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, Proceedings / by: (書目-語言資料,印刷品)

The Practice of Enterprise Modeling = 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24–26, 2021, Proceedings / by: (書目-語言資料,印刷品)

Genetic Programming = 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2021: Parallel Processing = 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2020: Parallel Processing Workshops = Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

OpenMP: Enabling Massive Node-Level Parallelism = 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings / by: (書目-語言資料,印刷品)

Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings / by: (書目-語言資料,印刷品)

Stabilization, Safety, and Security of Distributed Systems = 23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, Proceedings / by: (書目-語言資料,印刷品)

Real-Time Systems = Design Principles for Distributed Embedded Applications / by: (書目-語言資料,印刷品)

Networked Systems = 10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings / by: (書目-語言資料,印刷品)

Financial Cryptography and Data Security = 26th International Conference, FC 2022, Grenada, May 2–6, 2022, Revised Selected Papers / by: (書目-語言資料,印刷品)

The Authoritative Guide on Harbor = Management and Practice of Cloud Native Artifacts Such as Container Images and Helm Charts / by: (書目-語言資料,印刷品)

Network and Parallel Computing = 19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24–25, 2022, Proceedings / by: (書目-語言資料,印刷品)

Web Services – ICWS 2022 = 29th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10–14, 2022, Proceedings / by: (書目-語言資料,印刷品)

Betriebssysteme kompakt = Grundlagen, Hardware, Speicher, Daten und Dateien, Prozesse und Kommunikation, Virtualisierung / by: (書目-語言資料,印刷品)

The First Line of Code = Android Programming with Kotlin / by: (書目-語言資料,印刷品)

Euro-Par 2021: Parallel Processing Workshops = Euro-Par 2021 International Workshops, Lisbon, Portugal, August 30-31, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Applied Cryptography and Network Security = 20th International Conference, ACNS 2022, Rome, Italy, June 20–23, 2022, Proceedings / by: (書目-語言資料,印刷品)

Structural Information and Communication Complexity = 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27–29, 2022, Proceedings / by: (書目-語言資料,印刷品)

Supercomputing Frontiers = 7th Asian Conference, SCFA 2022, Singapore, March 1–3, 2022, Proceedings / by: (書目-語言資料,印刷品)

Deployment and Operation of Complex Software in Heterogeneous Execution Environments = The SODALITE Approach / by: (書目-語言資料,印刷品)

Database Systems for Advanced Applications. DASFAA 2022 International Workshops = BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, Virtual Event, April 11–14, 2022, Proceedings / by: (書目-語言資料,印刷品)

Design and Architecture for Signal and Image Processing = 15th International Workshop, DASIP 2022, Budapest, Hungary, June 20–22, 2022, Proceedings / by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing = 34th International Workshop, LCPC 2021, Newark, DE, USA, October 13–14, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

High Performance Computing = 8th Latin American Conference, CARLA 2021, Guadalajara, Mexico, October 6–8, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Data Privacy Management, Cryptocurrencies and Blockchain Technology = ESORICS 2021 International Workshops, DPM 2021 and CBT 2021, Darmstadt, Germany, October 8, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Windows 10 Troubleshooting = Learn to Troubleshoot and Repair Windows 10 Problems Like the Pros Do / by: (書目-語言資料,印刷品)

Building Applications with Azure Resource Manager (ARM) = Leverage IaC to Vastly Improve the Life Cycle of Your Applications / by: (書目-語言資料,印刷品)

Digital sovereignty in cyber security = new challenges in future vision : first International Workshop, CyberSec4Europe 2022, Venice, Italy, April 17-21, 2022 : revised selected papers / by: (書目-語言資料,印刷品)

Smart technologies for sustainable and resilient ecosystems = 3rd EAI International Conference, Edge-IoT 2022, and 4th EAI International Conference, SmartGov 2022, virtual events, November 16-18, 2022 : proceedings / by: (書目-語言資料,印刷品)

Embedded and real-time operating systems by: (書目-語言資料,印刷品)

Database systems for advanced applications = DASFAA 2023 International Workshops : BDMS 2023, BDQM 2023, GDMA 2023, BundleRS 2023, Tianjin, China, April 17-20, 2023 : proceedings / by: (書目-語言資料,印刷品)

Web services - ICWS 2023 = 30th International Conference, held as part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023 : proceedings / by: (書目-語言資料,印刷品)

Information and communication technologies = 11th Ecuadorian conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023 : proceedings / by: (書目-語言資料,印刷品)

Service-oriented computing = 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023 : revised selected papers / by: (書目-語言資料,印刷品)

Exploring macOS = a journey through the Mac ecosystem / by: (書目-語言資料,印刷品)

Deploy container applications using Kubernetes = implementations with microk8s and AWS EKS / by: (書目-語言資料,印刷品)

Enterprise information systems = 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023 : revised selected papers.. Part I / by: (書目-語言資料,印刷品)

Enterprise information systems = 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023 : revised selected papers.. Part II / by: (書目-語言資料,印刷品)

Software architecture = ECSA 2023 tracks, workshops, and doctoral symposium : Istanbul, Turkey, September 18-22, 2023 : revised selected papers / by: (書目-語言資料,印刷品)

Data storage architectures and technologies by: (書目-語言資料,印刷品)

Software architecture = ECSA 2024 Tracks and Workshops : Luxembourg City, Luxembourg, September 3-6, 2024 : proceedings / by: (書目-語言資料,印刷品)

Industrial vision systems with Raspberry Pi = build and design vision products using Python and OpenCV / by: (書目-語言資料,印刷品)

Software quality as a foundation for security = 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024 : proceedings / by: (書目-語言資料,印刷品)