Operating Systems.

Information Security Applications (vol. # 3786)6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers / by: (書目-電子資源)

Topics in Cryptology -- CT-RSA 2006The Cryptographers' Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005, Proceedings / by: (書目-電子資源)

Recent Advances in Intrusion Detection (vol. # 3858)8th International Symposium, RAID 2005, Seattle, WA, USA, September 7-9, 2005, Revised Papers / by: (書目-電子資源)

Large-Scale Scientific Computing5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers / by: (書目-電子資源)

Formal Aspects in Security and Trust (vol. # 3866)Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers / by: (書目-電子資源)

Theory of Cryptography (vol. # 3876)Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006, Proceedings / by: (書目-電子資源)

Architecture of Computing Systems - ARCS 200619th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings / by: (書目-電子資源)

Computer Supported Cooperative Work in Design II9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers / by: (書目-電子資源)

Information Security Practice and Experience (vol. # 3903)Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006, Proceedings / by: (書目-電子資源)

Selected Areas in Cryptography (vol. # 3897)12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers / by: (書目-電子資源)

Smart Card Research and Advanced Applications7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006, Proceedings / by: (書目-電子資源)

Engineering Self-Organising Systems (vol. # 3910)Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers / by: (書目-電子資源)

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

Security in Pervasive Computing (vol. # 3934)Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings / by: (書目-電子資源)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / by: (書目-電子資源)

Advances in Grid and Pervasive ComputingFirst International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings / by: (書目-電子資源)

Pervasive Computing (vol. # 3968)4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006, Proceedings / by: (書目-電子資源)

Wired (vol. # 3970)4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006, Proceedings / by: (書目-電子資源)

Advances in Cryptology - EUROCRYPT 200625th International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006, Proceedings / by: (書目-電子資源)

Emerging Trends in Information and Communication SecurityInternational Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006. Proceedings / by: (書目-電子資源)

Petri Nets and Other Models of Concurrency - ICATPN 200627th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings / by: (書目-電子資源)

Applied Cryptography and Network Security (vol. # 3989)4th International Conference, ACNS 2006, Singapore, June 6-9, 2006, Proceedings / by: (書目-電子資源)

Privacy Enhancing Technologies (vol. # 3856)5th International Workshop, PET 2005, Cavtat, Croatia, May 30 - June 1, 2005, Revised Selected Papers / by: (書目-電子資源)

Unifying Theories of ProgrammingFirst International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / by: (書目-電子資源)

Formal Methods for Open Object-Based Distributed Systems (vol. # 4037)8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings / by: (書目-電子資源)

Distributed Applications and Interoperable Systems (vol. # 4025)6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006 / by: (書目-電子資源)

Distributed Computing in Sensor Systems (vol. # 4026)Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006, Proceedings / by: (書目-電子資源)

Information Security and Privacy (vol. # 4058)11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings / by: (書目-電子資源)

Architecting Systems with Trustworthy ComponentsInternational Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / by: (書目-電子資源)

Digital Rights ManagementTechnologies, Issues, Challenges and Systems / by: (書目-電子資源)

Detection of Intrusions and Malware, and Vulnerability AssessmentThird International Conference, DIMVA 2006, Berlin, Germany, July 13-14, 2006, Proceedings / by: (書目-電子資源)

Principles of Distributed Systems (vol. # 3974)9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper / by: (書目-電子資源)

Formal Methods for Components and Objects (vol. # 4111)4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / by: (書目-電子資源)

Data and Applications Security XX20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006, Proceedings / by: (書目-電子資源)

Dependable Systems: Software, Computing, NetworksResearch Results of the DICS Program / by: (書目-電子資源)

Theory and Applications of Satisfiability Testing - SAT 20069th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings / by: (書目-電子資源)

Advances in Cryptology - CRYPTO 200626th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006, Proceedings / by: (書目-電子資源)

Advanced Topics in Exception Handling Techniques by: (書目-電子資源)

Self-Organizing SystemsFirst International Workshop, IWSOS 2006 and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006, Proceedings / by: (書目-電子資源)

Trust and Privacy in Digital BusinessThird International Conference, TrustBus 2006, Krakow, Poland, September 4-8, 2006, Proceedings / by: (書目-電子資源)

Security and Cryptography for Networks5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006, Proceedings / by: (書目-電子資源)

Ubiquitous Intelligence and ComputingThird International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings / by: (書目-電子資源)

Information Security (vol. # 4176)9th International Conference; ISC 2006, Samos Island, Greece, August 30 - September 2, 2006, Proceedings / by: (書目-電子資源)

Autonomic and Trusted ComputingThird International Conference, ATC 2006, Wuhan, China, September 3-6, 2006 / by: (書目-電子資源)

Secure Data Management (vol. # 4165)Third VLDB Workshop, SDM 2006, Seoul, Korea, September 10-11, 2006, Proceedings / by: (書目-電子資源)

UbiComp 2006: Ubiquitous Computing8th International Conference, UbiComp 2006, Orange County, CA, USA, September 17-21, 2006, Proceedings / by: (書目-電子資源)

Recent Advances in Intrusion Detection (vol. # 4219)9th International Symposium, RAID 2006, Hamburg, Germany, September 20-22, 2006, Proceedings / by: (書目-電子資源)

Advances in Computer Systems Architecture (vol. # 4186)11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings / by: (書目-電子資源)

Security Protocols (vol. # 3957)12th International Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers / by: (書目-電子資源)

Modular Programming Languages7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings / by: (書目-電子資源)

Cooperative Design, Visualization, and Engineering (vol. # 4101)Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006, Proceedings / by: (書目-電子資源)

Computer Security u ESORICS 200611th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings / by: (書目-電子資源)

Distributed Computing (vol. # 4167)20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings / by: (書目-電子資源)

Formal Techniques for Networked and Distributed Systems - FORTE 200626th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings / by: (書目-電子資源)

Fault Diagnosis and Tolerance in CryptographyThird International Workshop, FDTC 2006, Yokohama, Japan, October 10, 2006, Proceedings / by: (書目-電子資源)

Financial Cryptography and Data Security (vol. # 4107)10th International Conference, FC 2006 Anguilla, British West Indies, February 27 - March 2, 2006, Revised Selected Papers / by: (書目-電子資源)

Provenance and Annotation of DataInternational Provenance and Annotation Workshop, IPAW 2006, Chicago, Il, USA, May 3-5, 2006, Revised Selected Papers / by: (書目-電子資源)

Cryptographic Hardware and Embedded Systems - CHES 20068th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings / by: (書目-電子資源)

Large Scale Management of Distributed Systems17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings / by: (書目-電子資源)

Advances in Information and Computer SecurityFirst International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006, Proceedings / by: (書目-電子資源)

Rigorous Engineering of Fault-Tolerant Systems by: (書目-電子資源)

Information Networking Advances in Data Communications and Wireless NetworksInternational Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers / by: (書目-電子資源)

Digital Watermarking (vol. # 4283)5th International Workshop, IWDW 2006, Jeju Island, Korea, November 8-10, 2006, Proceedings / by: (書目-電子資源)

Programming Languages and Systems (vol. # 4279)4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings / by: (書目-電子資源)

Middleware 2006ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceedings / by: (書目-電子資源)

Principles of Distributed Systems (vol. # 4305)10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings / by: (書目-電子資源)

Parallel and Distributed Processing and Applications (vol. # 4330)4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings / by: (書目-電子資源)

Transactions on Data Hiding and Multimedia Security I by: (書目-電子資源)

Pro Oracle Database 10g RAC on LinuxInstallation, Administration, and Performance / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Cryptographic Hardware and Embedded Systems - CHES 20057th 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: (書目-電子資源)

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

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

Cooperative Design, Visualization, and Engineering :Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 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: (書目-電子資源)

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

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

Peer-to-Peer Systems IV :4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 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: (書目-電子資源)

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

Distributed Computing :19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 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: (書目-電子資源)

Ambient Networks :16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 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: (書目-電子資源)

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

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

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

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

Power-Aware Computer Systems :4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers 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: (書目-電子資源)

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

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

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

Component-Based Software Development for Embedded Systems :An Overview of Current Research Trends 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: (書目-電子資源)

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

Progress in Cryptology - INDOCRYPT 2005 :6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005, Proceedings by: (書目-電子資源)

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

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

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

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

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

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

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

Distributed Embedded Systems: Design, Middleware and ResourcesIFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy / by: (書目-電子資源)

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

Secure Data Management5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings / by: (書目-電子資源)

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

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

The Testing NetworkAn Integral Approach to Test Activities in Large Software Projects / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

Large-scale scientific computing6th international conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007 : revised papers / by: (書目-語言資料,印刷品)

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

Architecture of computing systems - ARCS 200922nd 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 systemsFirst international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009, proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

Distributed intelligent systemsa coordination perspective / by: (書目-電子資源)

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

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

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

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

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

Architecting dependable systems VI by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

Virtual machines by: (書目-電子資源)

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

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

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

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

Web Dynpro ABAP for practitioners by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Access networks5th 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 multimediathird international ICST conference, e-Forensics 2010, Shanghai, China, November 11-12, 2010, revised selected papers / by: (書目-電子資源)

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

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

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

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

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

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

Dependable networks and services6th 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 computing7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

Leveraging applications of formal methods, verification and validation. Technologies for mastering change5th 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 studies5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.Part II / by: (書目-電子資源)

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

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

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

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

Architecture of computing systems - ARCS 201427th International Conference, Lubeck, Germany, February 25-28, 2014 : proceedings / by: (書目-電子資源)

Using Windows 8.1return of the start button / by: (書目-電子資源)

Compiler Construction23rd 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: (書目-電子資源)

Serialization and persistent objectsturning data structures into efficient databases / by: (書目-電子資源)

NASA formal methods6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 : proceedings / by: (書目-電子資源)

Job scheduling strategies for parallel processing17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 : revised selected papers / by: (書目-電子資源)

Euro-Par 2014 parallel processing20th International Conference, Porto, Portugal, August 25-29, 2014 : proceedings / by: (書目-電子資源)

Smart grid securitySecond International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014 : revised selected papers / by: (書目-電子資源)

Network and parallel computing11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014 : proceedings / by: (書目-電子資源)

Concurrent objects and beyondpapers dedicated to Akinori Yonezawa on the occasion of his 65th birthday / by: (書目-語言資料,印刷品)

Embedded operating systemsa practical approach / by: (書目-語言資料,印刷品)

Wired/Wireless Internet Communications12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014. Proceedings / by: (書目-電子資源)

Experimenting with Raspberry Pi by: (書目-電子資源)

Raspberry Pi system software reference by: (書目-電子資源)

Everyday computing with Windows 8.1 by: (書目-電子資源)

Architecture of computing systems - ARCS 201528th International Conference, Porto, Portugal, March 24-27, 2015 : proceedings / by: (書目-電子資源)

Languages and compilers for parallel computing27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014 : revised selected papers / by: (書目-電子資源)

NASA formal methods7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings / by: (書目-電子資源)

Windows Registry troubleshooting by: (書目-電子資源)

Design and implementation of the MTX operating system by: (書目-電子資源)

Quality-aware scheduling for key-value data stores by: (書目-電子資源)

Windows file system troubleshooting by: (書目-電子資源)

Euro-Par 2015parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015 : proceedings / by: (書目-電子資源)

Advanced parallel processing technologies11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015 : proceedings / by: (書目-電子資源)

File management made simple, Windows Edition by: (書目-電子資源)

Exploring the Raspberry Pi 2 with C++ by: (書目-電子資源)

The Windows 10 accessibility handbooksupporting Windows users with special visual, auditory, motor, and cognitive needs / by: (書目-電子資源)

Trusted systems6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014 : revised selected papers / by: (書目-電子資源)

Practical linux topics by: (書目-電子資源)

Oracle Solaris and Veritas clusteran easy-build guide / by: (書目-電子資源)

Languages and compilers for parallel computing28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015 : revised selected papers / by: (書目-電子資源)

The accidental SysAdmin handbooka primer for early level IT professionals / by: (書目-電子資源)

Troubleshooting Windows Server with PowerShell by: (書目-電子資源)

NASA formal methods8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings / by: (書目-電子資源)

Building Arduino projects for the internet of thingsexperiments with real-world applications / by: (書目-電子資源)

HCNA networking study guide by: (書目-電子資源)

Harley Hahn's Emacs field guide by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings / by: (書目-電子資源)

Windows to goa 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 facilitiesa guide to detection and prevention / by: (書目-電子資源)

Windows installation and update troubleshooting by: (書目-電子資源)

Professional Sitecore 8 developmenta complete guide to solutions and best practices / by: (書目-電子資源)

Practical LPIC-1 Linux certification study guide by: (書目-電子資源)

Learn CentOS Linux network services by: (書目-電子資源)

Internetwarea new software paradigm for internet computing / by: (書目-電子資源)

Brain-inspired computingsecond International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015 : revised selected papers / by: (書目-電子資源)

Introducing Materialize by: (書目-電子資源)

Introducing Bootstrap 4 by: (書目-電子資源)

Big data management by: (書目-電子資源)

Hesitant fuzzy decision making methodologies and applications by: (書目-電子資源)

Become ITIL Foundation certified in 7 dayslearning ITIL made simple with real-life examples / by: (書目-電子資源)

Languages and compilers for parallel computing29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016 : revised papers / by: (書目-電子資源)

Kubernetes management design patternswith Docker, CoreOS Linux, and other platforms / by: (書目-電子資源)

Embedded and real-time operating systems by: (書目-電子資源)

Windows virus and malware troubleshooting by: (書目-電子資源)

macOS programming for absolute beginnersdeveloping apps using Swift and Xcode / by: (書目-電子資源)

Reliable software technologies - Ada-Europe 201722nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017 : proceedings / by: (書目-電子資源)

Detection of intrusions and malware, and vulnerability assessment14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017 : proceedings / by: (書目-電子資源)

Theory and practice of model transformation10th International Conference, ICMT 2017, held as part of STAF 2017, Marburg, Germany, July 17-18, 2017 : proceedings / by: (書目-電子資源)

Engineering secure software and systems9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings / by: (書目-電子資源)

Verification and evaluation of computer and communication systems11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 201720th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings / by: (書目-電子資源)

Search based software engineering9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017 : proceedings / by: (書目-電子資源)

Advanced parallel processing technologies12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017 : proceedings / by: (書目-電子資源)

Docker management design patternsswarm mode on Amazon Web Services / by: (書目-電子資源)

DataFlow supercomputing essentialsresearch, development and education / by: (書目-電子資源)

Research in attacks, intrusions, and defenses20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017 : proceedings / by: (書目-電子資源)

High performance computingISC 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 201726th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017 : proceedings.Part I / by: (書目-電子資源)

Artificial neural networks and machine learning - ICANN 201726th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017 : proceedings.Part II / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017 : proceedings / by: (書目-電子資源)

Transactions on large-scale data- and knowledge-centered systems XXXIVspecial issue on consistency and inconsistency in data-centric applications / by: (書目-電子資源)

Task scheduling for multi-core and parallel architectureschallenges, solutions and perspectives / by: (書目-電子資源)

Brain informaticsInternational Conference, BI 2017, Beijing, China, November 16-18, 2017 : proceedings / by: (書目-電子資源)

The Windows 10 productivity handbookdiscover expert tips, tricks, and hidden features in Windows 10 / by: (書目-電子資源)

DataFlow supercomputing essentialsalgorithms, applications and implementations / by: (書目-電子資源)

5G wireless systemssimulation and evaluation techniques / by: (書目-電子資源)

Tools and methods of program analysis4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017 : revised selected papers / by: (書目-電子資源)

High performance computing systemsperformance modeling, benchmarking, and aimulation : 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017 : proceedings / by: (書目-電子資源)

Oracle WebLogic Server 12c administration I exam 1Z0-133a comprehensive certification guide / by: (書目-電子資源)

Embedded operating systemsa practical approach / by: (書目-電子資源)

Euro-Par 2017parallel processing workshops : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017 : revised selected papers / by: (書目-電子資源)

Architecture of computing systems - ARCS 201831st International Conference, Braunschweig, Germany, April 9-12, 2018 : proceedings / by: (書目-電子資源)

Supercomputing frontiers4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018 : proceedings / by: (書目-電子資源)

Essential PowerShell for Office 365managing and automating skills for improved productivity / by: (書目-電子資源)

Trends in functional programming18th 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 Systems38th 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 computing33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018 : proceedings / by: (書目-電子資源)

System and architectureproceedings of CSI 2015 / by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations research15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018 : proceedings / by: (書目-電子資源)

Cyber security cryptography and machine learningsecond International Symposium, CSCML 2018, Beer Sheva, Israel, June 21-22, 2018 : proceedings / by: (書目-電子資源)

Image analysis and recognition15th International Conference, ICIAR 2018, Povoa de Varzim, Portugal, June 27-29, 2018 : proceedings / by: (書目-電子資源)

Detection of intrusions and malware, and vulnerability assessment15th International Conference, DIMVA 2018, Saclay, France, June 28-29, 2018 : proceedings / by: (書目-電子資源)

Services - SERVICES 201814th 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 development5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017 : revised selected papers / by: (書目-電子資源)

Embedded systems technology15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017 : revised selected papers / by: (書目-電子資源)

Cloud computing and service science7th International Conference, CLOSER 2017, Porto, Portugal, April 24-26, 2017 : revised selected papers / by: (書目-電子資源)

Internet and distributed computing systems10th 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 technologies12th 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 engineering10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018 : proceedings / by: (書目-電子資源)

Research in attacks, intrusions, and defenses21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018 : proceedings / by: (書目-電子資源)

Advanced computer architecture12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018 : proceedings / by: (書目-電子資源)

Transactions on computational science XXXIII by: (書目-電子資源)

Structural information and communication complexity25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018 : revised selected papers / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018 : proceedings / by: (書目-電子資源)

Algorithms and architectures for parallel processing18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.Part I / by: (書目-電子資源)

Network and parallel computing15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 - December 1, 2018 : proceedings / by: (書目-電子資源)

Reflections on programming systemshistorical and philosophical aspects / by: (書目-電子資源)

Transactions on large-scale data- and knowledge-centered systems XXXIXSpecial Issue on Database- and Expert-Systems Applications / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency XIII by: (書目-電子資源)

Robot operating system (ROS)the complete reference.(Volume 3) / by: (書目-電子資源)

Searchable storage in cloud computing by: (書目-電子資源)

Transactions on high-performance embedded architectures and compilers V by: (書目-電子資源)

Internet of thingsinformation 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: (書目-電子資源)

Constructive side-channel analysis and secure design10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3-5, 2019 : proceedings / by: (書目-電子資源)

OpenSHMEM and related technologiesOpenSHMEM in the era of extreme heterogeneity : 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018 : revised selected papers / by: (書目-電子資源)

High-performance modelling and simulation for big data applicationsselected results of the COST Action IC1406 cHiPSet / by: (書目-電子資源)

Applied reconfigurable computing15th International Symposium, ARC 2019, Darmstadt, Germany, April 9-11, 2019 : proceedings / by: (書目-電子資源)

Distributed computing by mobile entitiescurrent research in moving and computing / by: (書目-電子資源)

Euro-Par 2018parallel processing workshops : Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018 : revised selected papers / by: (書目-電子資源)

Trends in functional programming19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018 : revised selected papers / by: (書目-電子資源)

Neural information processing24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017 : proceedings.Part VI / by: (書目-電子資源)

VLSI-SoCopportunities 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 innovationsAIAI 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 IIInternational Workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018 : revised selected papers / by: (書目-電子資源)

Information processing in medical imaging26th International Conference, IPMI 2019, Hong Kong, China, June 2-7, 2019 : proceedings / by: (書目-電子資源)

VLSI-SoCdesign 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 assessment16th International Conference, DIMVA 2019, Gothenburg, Sweden, June 19-20, 2019 : proceedings / by: (書目-電子資源)

Coordination models and languages21st 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 policy7th Annual Privacy Forum, APF 2019, Rome, Italy, June 13-14, 2019 : proceedings / by: (書目-電子資源)

Biomimetic and biohybrid systems8th International Conference, Living Machines 2019, Nara, Japan, July 9-12, 2019 : proceedings / by: (書目-電子資源)

Structural information and communication complexity26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1-4, 2019 : proceedings / by: (書目-電子資源)

Advanced parallel processing technologies13th International Symposium, APPT 2019, Tianjin, China, August 15-16, 2019 : proceedings / by: (書目-電子資源)

Network and parallel computing16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23-24, 2019 : proceedings / by: (書目-電子資源)

Operating systems for supercomputers and high performance computing by: (書目-電子資源)

Transactions on large-scale data- and knowledge-centered systems XLII by: (書目-電子資源)

Accelerator programming using directives4th 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: (書目-電子資源)

Coordination models and languages20th 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: (書目-電子資源)

Service-oriented computing16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018 : proceedings / by: (書目-電子資源)

Theory and practice of model transformation11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019 : proceedings / by: (書目-電子資源)

Languages and compilers for parallel computing30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017 : revised selected papers / by: (書目-電子資源)

Economics of grids, clouds, systems, and services16th International Conference, GECON 2019, Leeds, UK, September 17-19, 2019 : proceedings / by: (書目-電子資源)

Supercomputing10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25-29, 2019 : revised selected papers / by: (書目-電子資源)

Supercomputing5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23-24, 2019 : revised selected papers / by: (書目-電子資源)

Statistics and data scienceResearch School on Statistics and Data Science, RSSDS 2019, Melbourne, VIC, Australia, July 24-26, 2019 : proceedings / by: (書目-電子資源)

Arduino software internalsa complete guide to how your Arduino language and hardware work together / by: (書目-電子資源)

Parallel processing and applied mathematics13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019 : revised selected papers.Part II / by: (書目-電子資源)

Distributed computing for emerging smart networksfirst International Workshop, DiCES-N 2019, Hammamet, Tunisia, October 30, 2019 : revised selected papers / by: (書目-電子資源)

Parallel architectures, algorithms and programming10th International Symposium, PAAP 2019, Guangzhou, China, December 12-14, 2019 : revised selected papers / by: (書目-電子資源)

Algorithms and architectures for parallel processing19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019 : proceedings.Part II / by: (書目-電子資源)

Algorithms and architectures for parallel processing19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, proceedings.Part I / by: (書目-電子資源)

Leadership OSthe operating system you need to succeed / by: (書目-電子資源)

Build a next-generation digital workplacetransform legacy intranets to employee experience platforms / by: (書目-電子資源)

Uncertainty-aware integration of control with process operations and multi-parametric programming under global uncertainty by: (書目-電子資源)

Blockchain technology and applicationsecond CCF China Blockchain Conference, CBCC 2019, Chengdu, China, October 11-13, 2019 : revised selected papers / by: (書目-電子資源)

The amazing journey of reasonfrom DNA to artificial intelligence / by: (書目-電子資源)

Cloud computing and services science9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2-4, 2019 : revised selected papers / by: (書目-電子資源)

Reversible computationextending horizons of computing : selected results of the COST Action IC1405 / by: (書目-電子資源)

Supercomputing frontiers6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020 : proceedings / by: (書目-電子資源)

VLSI-SoCnew 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: (書目-電子資源)

Parallel computational technologies14th International Conference, PCT 2020, Perm, Russia, May 27-29, 2020 : revised selected papers / by: (書目-電子資源)

Engineering multi-agent systems7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019 : revised selected papers / by: (書目-電子資源)

OpenMPportable multi-level parallelism on modern systems : 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22-24, 2020 : proceedings / by: (書目-電子資源)

Advanced computer architecture13th Conference, ACA 2020, Kunming, China, August 13-15, 2020 : proceedings / by: (書目-電子資源)

Cloud computing - CLOUD 202013th International Conference, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020 : proceedings / by: (書目-電子資源)

Web services - ICWS 202027th International Conference, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020 : proceedings / by: (書目-電子資源)

Creativity in intelligent technologies and data sciencethird Conference, CIT&DS 2019, Volgograd, Russia, September 16-19, 2019 : proceedings.Part II / by: (書目-電子資源)

Architecture of computing systems - ARCS 201932nd International Conference, Copenhagen, Denmark, May 20-23, 2019 : proceedings / by: (書目-電子資源)

Augmented cognition13th International Conference, AC 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings / by: (書目-電子資源)

Combinatorial optimization and applications13th International Conference, COCOA 2019, Xiamen, China, December 13-15, 2019 : proceedings / by: (書目-電子資源)

OpenMPconquering the full hardware spectrum : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019 : proceedings / by: (書目-電子資源)

Supercomputing frontiers5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019 : proceedings / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020 : proceedings / by: (書目-電子資源)

Supercomputing6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21-22, 2020 : revised selected papers / by: (書目-電子資源)

Service-oriented computing18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020 : proceedings / by: (書目-電子資源)

Distributed computing and internet technology16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020 : proceedings / by: (書目-電子資源)

Robot operating system (ROS)the complete reference.(Volume 5) / by: (書目-電子資源)

Practical system programming with Cpragmatic example applications in Linux and Unix-based operating systems / by: (書目-電子資源)

Collaborative computingnetworking, applications and worksharing : 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16-18, 2020 : proceedings.Part II / by: (書目-電子資源)

Blockchain technology and applicationthird CCF China blockchain conference, CBCC 2020, Jinan, China, December 18-20, 2020 : revised selected papers / by: (書目-電子資源)

Advances in service-oriented and cloud computinginternational workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020 : revised selected papers / by: (書目-電子資源)

Cloud computing and services science10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7-9, 2020 : revised selected papers / by: (書目-電子資源)

Euro-Par 2020parallel processing workshops : Euro-Par 2020 International Workshops, Warsaw, Poland, August 24-25, 2020 : revised selected papers / by: (書目-電子資源)

Genetic programming24th European Conference, EuroGP 2021, held as part of EvoStar 2021, Virtual Event, April 7-9, 2021 : proceedings / by: (書目-電子資源)

High performance computing7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2-4, 2020 : revised selected papers / by: (書目-電子資源)

Applied cryptography and network security19th International Conference, ACNS 2021, Kamakura, Japan, June 21-24, 2021 : proceedings.Part I / by: (書目-電子資源)

Beginning Microsoft 365 collaboration appsworking in the Microsoft Cloud / by: (書目-電子資源)

Robot operating system (ROS)the complete reference.(Volume 6) / by: (書目-電子資源)

Euro-Par 2021parallel processing : 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021 : proceedings / by: (書目-電子資源)

Static analysis28th international symposium, SAS 2021,Chicago, IL, USA : proceedings / by: (書目-電子資源)

Financial cryptography and data security25th International Conference, FC 2021, virtual event, March 1-5, 2021 : revised selected papers.Part I / by: (書目-電子資源)

Financial cryptography and data security25th International Conference, FC 2021, virtual event, March 1-5, 2021 : revised selected papers.Part II / by: (書目-電子資源)

The practice of enterprise modeling14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24-26, 2021 : proceedings / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems23rd International Symposium, SSS 2021, virtual event, November 17-20, 2021 : proceedings / by: (書目-電子資源)

OpenMPenabling massive node-level parallelism : 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14-16, 2021 : proceedings / by: (書目-電子資源)

Data privacy management, cryptocurrencies and blockchain technologyESORICS 2021 International Workshops, DPM 2021 and CBT 2021, Darmstadt, Germany, October 8, 2021 : revised selected papers / by: (書目-電子資源)

Windows 10 troubleshootinglearn 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: (書目-電子資源)

High performance computing8th Latin American Conference, CARLA 2021, Guadalajara, Mexico, October 6-8, 2021 : revised selected papers / by: (書目-電子資源)

The first line of codeAndroid programming with Kotlin / by: (書目-電子資源)

Languages and compilers for parallel computing34th International Workshop, LCPC 2021, Newark, DE, USA, October 13-14, 2021 : revised selected papers / by: (書目-電子資源)

Euro-Par 2021parallel processing workshops : Euro-Par 2021 International Workshops, Lisbon, Portugal, August 30-31, 2021 : revised selected papers / by: (書目-電子資源)

Applied cryptography and network security20th International Conference, ACNS 2022, Rome, Italy, June 20-23, 2022 : proceedings / by: (書目-電子資源)

Structural information and communication complexity29th international colloquium, SIROCCO 2022, Paderborn, Germany, June 27-29, 2022 : proceedings / by: (書目-電子資源)

Supercomputing frontiers7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022 : proceedings / by: (書目-電子資源)

Deployment and operation of complex software in heterogeneous execution environmentsthe SODALITE approach / by: (書目-電子資源)

Database Systems for Advanced ApplicationsDASFAA 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 processing15th International Workshop, DASIP 2022, Budapest, Hungary, June 20-22, 2022 : proceedings / by: (書目-電子資源)

Real-time systemsdesign principles for distributed embedded applications / by: (書目-電子資源)

Networked systems10th International Conference, NETYS 2022, virtual event, May 17-19, 2022 : proceedings / by: (書目-電子資源)

Financial cryptography and data security26th International Conference, FC 2022, Grenada, May 2-6, 2022 : revised selected papers / by: (書目-電子資源)

Structural information and communication complexity30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6-9, 2023 : proceedings / by: (書目-電子資源)

Applied cryptography and network security21st International Conference, ACNS 2023, Kyoto, Japan, June 19-22, 2023 : proceedings.Part II / by: (書目-電子資源)

Applied cryptography and network security21st International Conference, ACNS 2023, Kyoto, Japan, June 19-22, 2023 : proceedings.Part I / by: (書目-電子資源)

Guide to computer processor architecturea RISC-V approach, with high-level synthesis / by: (書目-電子資源)

Robot operating system (ROS)the complete reference.(Volume 7) / by: (書目-電子資源)

Foundations of ARM64 Linux debugging, disassembling, and reversinganalyze code, understand stack memory usage, and reconstruct original C/C++ code with ARM64 / by: (書目-電子資源)

Foundations of Linux debugging, disassembling, and reversinganalyze binary code, understand stack memory usage, and reconstruct C/C++ code with Intel x64 / by: (書目-電子資源)

Digital-for-developmentenabling transformation, inclusion and sustainability through ICTs : 12th International Development Informatics Association Conference, IDIA 2022, Mbombela, South Africa, November 22-25, 2022 : revised selected papers / by: (書目-電子資源)

Structured object-oriented formal language and method11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022 : revised selected papers / by: (書目-電子資源)

Smart computing and communication7th International Conference, SmartCom 2022, New York City, NY, USA, November 18-20, 2022 : proceedings / by: (書目-電子資源)

Economics of grids, clouds, systems, and services19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022 : proceedings / by: (書目-電子資源)

Digital sovereignty in cyber securitynew 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 ecosystems3rd EAI International Conference, Edge-IoT 2022, and 4th EAI International Conference, SmartGov 2022, virtual events, November 16-18, 2022 : proceedings / by: (書目-電子資源)

Innovative intelligent industrial production and logisticsfirst International Conference, IN4PL 2020, virtual event, November 2-4, 2020, and Second International Conference, IN4PL 2021, virtual event, October 25-27, 2021 : revised selected papers / by: (書目-電子資源)

Embedded and real-time operating systems by: (書目-電子資源)

Database systems for advanced applicationsDASFAA 2023 International Workshops : BDMS 2023, BDQM 2023, GDMA 2023, BundleRS 2023, Tianjin, China, April 17-20, 2023 : proceedings / by: (書目-電子資源)

Web services - ICWS 202330th International Conference, held as part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023 : proceedings / by: (書目-電子資源)

Information and communication technologies11th Ecuadorian conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023 : proceedings / by: (書目-電子資源)

Service-oriented computing17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023 : revised selected papers / by: (書目-電子資源)

Deploy container applications using Kubernetesimplementations with microk8s and AWS EKS / by: (書目-電子資源)

Exploring macOSa journey through the Mac ecosystem / by: (書目-電子資源)

Blockchain technology and application6th CCF China Blockchain Summit, CBCS 2023, Haikou, China, December 15-18, 2023 : revised selected papers / by: (書目-電子資源)

Distributed applications and interoperable systems24th IFIP WG 6.1 International Conference, DAIS 2024, held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024 : proceedings / by: (書目-電子資源)

Coordination models and languages26th IFIP WG 6.1 International Conference, COORDINATION 2024, held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024 : proceedings / by: (書目-電子資源)

Formal techniques for distributed objects, components, and systems44th IFIP WG 6.1 International Conference, FORTE 2024, held as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024 : proceedings / by: (書目-電子資源)

Search-based software engineering16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024 : proceedings / by: (書目-電子資源)

Arduino software internalsa complete guide to how your Arduino language and hardware work together / by: (書目-電子資源)

Agile processes in software engineering and extreme programming25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4-7, 2024 : proceedings / by: (書目-電子資源)

Structural information and communication complexity31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024 : proceedings / by: (書目-電子資源)

Advanced information systems engineering36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024 : proceedings / by: (書目-電子資源)

Applied informatics6th International Conference, ICAI 2023, Guayaquil, Ecuador, October 26-28, 2023 : proceedings / by: (書目-電子資源)

The fundamental research for trustworthy software by: (書目-電子資源)

Blockchain and trustworthy systems5th International Conference, BlockSys 2023, Haikou, China, August 8-10, 2023 : proceedings.Part I / by: (書目-電子資源)

Blockchain and trustworthy systems5th International Conference, BlockSys 2023, Haikou, China, August 8-10, 2023 : proceedings.Part II / by: (書目-電子資源)

Hard real-time computing systemspredictable scheduling algorithms and applications / by: (書目-電子資源)

Advanced parallel processing technologies15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023 : proceedings / by: (書目-電子資源)

Financial cryptography and data security27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023 : revised selected papers.Part II / by: (書目-電子資源)

Financial cryptography and data security27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023 : revised selected papers.Part I / by: (書目-電子資源)

Product-focused software process improvement24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023 : proceedings.Part II / by: (書目-電子資源)

Search-based software engineering15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023 : proceedings / by: (書目-電子資源)

Cognitive computing - ICCC 20237th International Conference held as part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023 : proceedings / by: (書目-電子資源)

Distributed computing for emerging smart networks4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023 : revised selected papers / by: (書目-電子資源)

Innovations and interdisciplinary solutions for underserved areas6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023 : proceedings / by: (書目-電子資源)

Software business14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023 : proceedings / by: (書目-電子資源)

Distributed ledger technology7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 - December 1, 2023 : revised selected papers / by: (書目-電子資源)

Applied cryptography and network security22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024 : proceedings.Part II / by: (書目-電子資源)

Applied cryptography and network security22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024 : proceedings.Part III / by: (書目-電子資源)

Applied cryptography and network security22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024 : proceedings.Part I / by: (書目-電子資源)

Advances in model and data engineering in the digitalization eraMEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023 : proceedings / by: (書目-電子資源)

Digital forensics and cyber crime14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023 : proceedings.Part I / by: (書目-電子資源)

Fundamental approaches to software engineering27th International Conference, FASE 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings / by: (書目-電子資源)

Euro-Par 2023parallel processing workshops : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - september 1, 2023 : revised selected papers.Part II / by: (書目-電子資源)

Euro-Par 2023parallel processing workshops : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - september 1, 2023 : revised selected papers.Part I / by: (書目-電子資源)

Enterprise information systems25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023 : revised selected papers.Part I / by: (書目-電子資源)

Enterprise information systems25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023 : revised selected papers.Part II / by: (書目-電子資源)

Software architectureECSA 2023 tracks, workshops, and doctoral symposium : Istanbul, Turkey, September 18-22, 2023 : revised selected papers / by: (書目-電子資源)

Data storage architectures and technologies by: (書目-電子資源)

Software architectureECSA 2024 Tracks and Workshops : Luxembourg City, Luxembourg, September 3-6, 2024 : proceedings / by: (書目-電子資源)

Industrial vision systems with Raspberry Pibuild and design vision products using Python and OpenCV / by: (書目-電子資源)

Software quality as a foundation for security16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024 : proceedings / by: (書目-電子資源)

Distributed ledger technology8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024 : revised selected papers / by: (書目-電子資源)

Innovations and Interdisciplinary Solutions for Underserved Areas7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024 : proceedings / by: (書目-電子資源)

Agile processes in software engineering and extreme programming26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025 : proceedings / by: (書目-電子資源)

Fundamental approaches to software engineering28th International Conference, FASE 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings / by: (書目-電子資源)

Structural information and communication complexity32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025 : proceedings / by: (書目-電子資源)

Applied informatics7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024 : proceedings.Part I / by: (書目-電子資源)

Applied informatics7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024 : proceedings.Part II / by: (書目-電子資源)

Service-oriented computing18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024 : revised selected papers / by: (書目-電子資源)

Information and communication technologies12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024 : proceedings / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024 : proceedings / by: (書目-電子資源)

Web services - ICWS 202431st International Conference, held as part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024 : proceedings / by: (書目-電子資源)

Financial cryptography and data securityFC 2024 International Workshops : Voting, DeFI, WTSC, CoDecFin, Willemstad, Curaçao, March 4-8, 2024 : revised selected papers / by: (書目-電子資源)

Cognitive computing - ICCC 20248th International Conference, held as part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024 : proceedings / by: (書目-電子資源)

Blockchain, metaverse and trustworthy systems6th International Conference, BlockSys 2024, Hangzhou, China, July 12-14, 2024 : revised selected papers.Part I / by: (書目-電子資源)

Blockchain, metaverse and trustworthy systems6th International Conference, BlockSys 2024, Hangzhou, China, July 12-14, 2024 : revised selected papers.Part II / by: (書目-電子資源)

Database Systems for Advanced ApplicationsDASFAA 2024 International Workshops : BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024 : proceedings / by: (書目-電子資源)

Economics of grids, clouds, systems, and services20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024 : proceedings / by: (書目-電子資源)

Financial cryptography and data security28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024 : revised selected papers.Part II / by: (書目-電子資源)

Financial cryptography and data security28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024 : revised selected papers.Part I / by: (書目-電子資源)

Network and parallel computing20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024 : proceedings.Part I / by: (書目-電子資源)

Network and parallel computing20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024 : proceedings.Part II / by: (書目-電子資源)

Blockchain technology and application7th CCF China Blockchain Conference, CBCC 2024, Shanghai, China, December 13-15, 2024 : revised selected papers.Part I / by: (書目-電子資源)

Blockchain technology and application7th CCF China Blockchain Conference, CBCC 2024, Shanghai, China, December 13-15, 2024 : revised selected papers.Part II / by: (書目-電子資源)

Advanced information systems engineering37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025 : proceedings.Part I / by: (書目-電子資源)

Advanced information systems engineering37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025 : proceedings.Part II / by: (書目-電子資源)

Formal techniques for distributed objects, components, and systems45th 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: (書目-電子資源)

Distributed applications and interoperable systems25th 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: (書目-電子資源)

Coordination models and languages27th 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: (書目-電子資源)

Applied cryptography and network security23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025 : proceedings.Part II / by: (書目-電子資源)

Applied cryptography and network security23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025 : proceedings.Part III / by: (書目-電子資源)

Applied cryptography and network security23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025 : proceedings.Part I / by: (書目-電子資源)

Digital forensics and cyber crime15th EAI International Conference, ICDF2C 2024, Dubrovnik, Croatia, October 9-10, 2024 : proceedings.Part II / by: (書目-電子資源)

Digital forensics and cyber crime15th EAI International Conference, ICDF2C 2024, Dubrovnik, Croatia, October 9-10, 2024 : proceedings.Part I / by: (書目-電子資源)

Android and IOS mobile forensicsleveraging blockchain, machine learning, and deep learning for digital investigations / by: (書目-電子資源)