Operating Systems.

Information Security Applications (vol. # 3786)6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers / by: (Electronic resources)

Topics in Cryptology -- CT-RSA 2006The Cryptographers' Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005, Proceedings / by: (Electronic resources)

Recent Advances in Intrusion Detection (vol. # 3858)8th International Symposium, RAID 2005, Seattle, WA, USA, September 7-9, 2005, Revised Papers / by: (Electronic resources)

Large-Scale Scientific Computing5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers / by: (Electronic resources)

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: (Electronic resources)

Theory of Cryptography (vol. # 3876)Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006, Proceedings / by: (Electronic resources)

Architecture of Computing Systems - ARCS 200619th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings / by: (Electronic resources)

Computer Supported Cooperative Work in Design II9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers / by: (Electronic resources)

Information Security Practice and Experience (vol. # 3903)Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006, Proceedings / by: (Electronic resources)

Selected Areas in Cryptography (vol. # 3897)12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers / by: (Electronic resources)

Smart Card Research and Advanced Applications7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006, Proceedings / by: (Electronic resources)

Engineering Self-Organising Systems (vol. # 3910)Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers / by: (Electronic resources)

Information Security and Cryptology - ICISC 20058th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers / by: (Electronic resources)

Security in Pervasive Computing (vol. # 3934)Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings / by: (Electronic resources)

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: (Electronic resources)

Advances in Grid and Pervasive ComputingFirst International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings / by: (Electronic resources)

Pervasive Computing (vol. # 3968)4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006, Proceedings / by: (Electronic resources)

Wired (vol. # 3970)4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006, Proceedings / by: (Electronic resources)

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: (Electronic resources)

Emerging Trends in Information and Communication SecurityInternational Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006. Proceedings / by: (Electronic resources)

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: (Electronic resources)

Applied Cryptography and Network Security (vol. # 3989)4th International Conference, ACNS 2006, Singapore, June 6-9, 2006, Proceedings / by: (Electronic resources)

Privacy Enhancing Technologies (vol. # 3856)5th International Workshop, PET 2005, Cavtat, Croatia, May 30 - June 1, 2005, Revised Selected Papers / by: (Electronic resources)

Unifying Theories of ProgrammingFirst International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / by: (Electronic resources)

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: (Electronic resources)

Distributed Applications and Interoperable Systems (vol. # 4025)6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006 / by: (Electronic resources)

Distributed Computing in Sensor Systems (vol. # 4026)Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006, Proceedings / by: (Electronic resources)

Information Security and Privacy (vol. # 4058)11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings / by: (Electronic resources)

Architecting Systems with Trustworthy ComponentsInternational Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / by: (Electronic resources)

Digital Rights ManagementTechnologies, Issues, Challenges and Systems / by: (Electronic resources)

Detection of Intrusions and Malware, and Vulnerability AssessmentThird International Conference, DIMVA 2006, Berlin, Germany, July 13-14, 2006, Proceedings / by: (Electronic resources)

Principles of Distributed Systems (vol. # 3974)9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper / by: (Electronic resources)

Formal Methods for Components and Objects (vol. # 4111)4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / by: (Electronic resources)

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: (Electronic resources)

Dependable Systems: Software, Computing, NetworksResearch Results of the DICS Program / by: (Electronic resources)

Theory and Applications of Satisfiability Testing - SAT 20069th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings / by: (Electronic resources)

Advances in Cryptology - CRYPTO 200626th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006, Proceedings / by: (Electronic resources)

Advanced Topics in Exception Handling Techniques by: (Electronic resources)

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: (Electronic resources)

Trust and Privacy in Digital BusinessThird International Conference, TrustBus 2006, Krakow, Poland, September 4-8, 2006, Proceedings / by: (Electronic resources)

Security and Cryptography for Networks5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006, Proceedings / by: (Electronic resources)

Ubiquitous Intelligence and ComputingThird International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings / by: (Electronic resources)

Information Security (vol. # 4176)9th International Conference; ISC 2006, Samos Island, Greece, August 30 - September 2, 2006, Proceedings / by: (Electronic resources)

Autonomic and Trusted ComputingThird International Conference, ATC 2006, Wuhan, China, September 3-6, 2006 / by: (Electronic resources)

Secure Data Management (vol. # 4165)Third VLDB Workshop, SDM 2006, Seoul, Korea, September 10-11, 2006, Proceedings / by: (Electronic resources)

UbiComp 2006: Ubiquitous Computing8th International Conference, UbiComp 2006, Orange County, CA, USA, September 17-21, 2006, Proceedings / by: (Electronic resources)

Recent Advances in Intrusion Detection (vol. # 4219)9th International Symposium, RAID 2006, Hamburg, Germany, September 20-22, 2006, Proceedings / by: (Electronic resources)

Advances in Computer Systems Architecture (vol. # 4186)11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings / by: (Electronic resources)

Security Protocols (vol. # 3957)12th International Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers / by: (Electronic resources)

Modular Programming Languages7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings / by: (Electronic resources)

Cooperative Design, Visualization, and Engineering (vol. # 4101)Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006, Proceedings / by: (Electronic resources)

Computer Security u ESORICS 200611th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings / by: (Electronic resources)

Distributed Computing (vol. # 4167)20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings / by: (Electronic resources)

Formal Techniques for Networked and Distributed Systems - FORTE 200626th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings / by: (Electronic resources)

Fault Diagnosis and Tolerance in CryptographyThird International Workshop, FDTC 2006, Yokohama, Japan, October 10, 2006, Proceedings / by: (Electronic resources)

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: (Electronic resources)

Provenance and Annotation of DataInternational Provenance and Annotation Workshop, IPAW 2006, Chicago, Il, USA, May 3-5, 2006, Revised Selected Papers / by: (Electronic resources)

Cryptographic Hardware and Embedded Systems - CHES 20068th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings / by: (Electronic resources)

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: (Electronic resources)

Advances in Information and Computer SecurityFirst International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006, Proceedings / by: (Electronic resources)

Rigorous Engineering of Fault-Tolerant Systems by: (Electronic resources)

Information Networking Advances in Data Communications and Wireless NetworksInternational Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers / by: (Electronic resources)

Digital Watermarking (vol. # 4283)5th International Workshop, IWDW 2006, Jeju Island, Korea, November 8-10, 2006, Proceedings / by: (Electronic resources)

Programming Languages and Systems (vol. # 4279)4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings / by: (Electronic resources)

Middleware 2006ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceedings / by: (Electronic resources)

Principles of Distributed Systems (vol. # 4305)10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings / by: (Electronic resources)

Parallel and Distributed Processing and Applications (vol. # 4330)4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings / by: (Electronic resources)

Transactions on Data Hiding and Multimedia Security I by: (Electronic resources)

Pro Oracle Database 10g RAC on LinuxInstallation, Administration, and Performance / by: (Electronic resources)

Applications and Theory of Petri Nets29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings / by: (Electronic resources)

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: (Electronic resources)

Distributed Computing in Sensor Systems4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings / by: (Electronic resources)

Information Security Applications5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers / by: (Electronic resources)

Global ComputingIST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers / by: (Electronic resources)

Construction and Analysis of Safe, Secure, and Interoperable Smart DevicesInternational Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers by: (Electronic resources)

Security in Communication Networks4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers / by: (Electronic resources)

Topics in Cryptology -- CT-RSA 2005The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings / by: (Electronic resources)

Information NetworkingConvergence in Broadband and Mobile Networking. International Conference, ICOIN 2005, Jeju Island, Korea, January 31 - February 2, 2005, Proceedings / by: (Electronic resources)

Theory of CryptographySecond Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005, Proceedings / by: (Electronic resources)

Digital WatermarkingThird International Workshop, IWDW 2004, Seoul, Korea, October 30 - November 1, 2004, Revised Selected Papers / by: (Electronic resources)

Multiparadigm Programming in MozartSecond International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers / by: (Electronic resources)

Embedded Systems DesignThe ARTIST Roadmap for Research and Development / by: (Electronic resources)

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: (Electronic resources)

Systems Aspects in Organic and Pervasive Computing - ARCS 200518th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceedings / by: (Electronic resources)

Job Scheduling Strategies for Parallel Processing10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers / by: (Electronic resources)

Security in Pervasive ComputingSecond International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings / by: (Electronic resources)

Operational Semantics for Timed SystemsA Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by: (Electronic resources)

Information Security Practice and ExperienceFirst International Conference, ISPEC 2005, Singapore, April 11-14, 2005, Proceedings / by: (Electronic resources)

Scientific Applications of Grid ComputingFirst International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers / by: (Electronic resources)

Wired/wireless Internet communicationsThird International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005, Proceedings by: (Electronic resources)

Advances in Cryptology - EUROCRYPT 200524th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005, Proceedings / by: (Electronic resources)

Human Interactive ProofsSecond International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005, Proceedings / by: (Electronic resources)

Pervasive ComputingThird International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings / by: (Electronic resources)

Engineering Self-Organising SystemsMethodologies and Applications / by: (Electronic resources)

Formal Methods for Open Object-Based Distributed Systems7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by: (Electronic resources)

Privacy Enhancing Technologies4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004, Revised Selected Papers / by: (Electronic resources)

Applied Cryptography and Network SecurityThird International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005, Proceedings / by: (Electronic resources)

Information Security and Cryptology - ICISC 20047th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers / by: (Electronic resources)

Distributed Applications and Interoperable Systems5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings / by: (Electronic resources)

Theory and Applications of Satisfiability Testing8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by: (Electronic resources)

Quality of Service - IWQoS 200513th International Workshop, IWQoS 2005, Passau, Germany, June 21-23, 2005. Proceedings / by: (Electronic resources)

Applications and Theory of Petri Nets 200526th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / by: (Electronic resources)

Distributed Computing in Sensor SystemsFirst IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30-July 1, 2005, Proceedings / by: (Electronic resources)

Information Security and Privacy10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings / by: (Electronic resources)

Intrusion and Malware Detection and Vulnerability AssessmentSecond International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005, Proceedings / by: (Electronic resources)

Financial Cryptography and Data Security9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 - March 3, 2005, Revised Papers / by: (Electronic resources)

Advances in Grid Computing - EGC 2005European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers / by: (Electronic resources)

Principles of Distributed Systems8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers / by: (Electronic resources)

Theory and Applications of Satisfiability Testing7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / by: (Electronic resources)

Advanced Distributed Systems5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers / by: (Electronic resources)

Advances in Cryptology - CRYPTO 200525th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings / by: (Electronic resources)

Embedded Software and SystemsFirst International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / by: (Electronic resources)

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: (Electronic resources)

Trust, Privacy, and Security in Digital BusinessSecond International Conference, TrustBus 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings / by: (Electronic resources)

Security Protocols11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers / by: (Electronic resources)

Cryptographic Hardware and Embedded Systems - CHES 20057th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings / by: (Electronic resources)

UbiComp 2005: Ubiquitous Computing :7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005, Proceedings by: (Electronic resources)

Digital Watermarking :4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005, Proceedings by: (Electronic resources)

Secure Data Management :Second VLDB Workshop, SDM 2005, Trondheim, Norway, August 30-September 2, 2005, Proceedings by: (Electronic resources)

Cooperative Design, Visualization, and Engineering :Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings by: (Electronic resources)

Foundations of Security Analysis and Design III :FOSAD 2004/2005 Tutorial Lectures by: (Electronic resources)

Computer Security - ESORICS 2005 :10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005, Proceedings by: (Electronic resources)

Architecting Dependable Systems III by: (Electronic resources)

Information Security :8th International Conference, ISC 2005, Singapore, September 20-23, 2005, Proceedings by: (Electronic resources)

Peer-to-Peer Systems IV :4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers by: (Electronic resources)

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: (Electronic resources)

Formal Methods for Components and Objects :Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures by: (Electronic resources)

Distributed Computing :19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings by: (Electronic resources)

Formal Techniques for Networked and Distributed Systems - FORTE 2005 :25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings by: (Electronic resources)

Ambient Networks :16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005, Proceedings by: (Electronic resources)

Computer Supported Cooperative Work in Design I :8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers by: (Electronic resources)

Dependable Computing :Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings by: (Electronic resources)

Advances in Computer Systems Architecture :10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings by: (Electronic resources)

Programming Languages and Systems :Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings by: (Electronic resources)

Parallel and Distributed Processing and Applications :Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings by: (Electronic resources)

Power-Aware Computer Systems :4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers by: (Electronic resources)

Network and Parallel Computing :IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings by: (Electronic resources)

Trustworthy Global Computing :International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers by: (Electronic resources)

Middleware 2005 :ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings by: (Electronic resources)

Grid and Cooperative Computing - GCC 2005 :4th International Conference, Beijing, China, November 30 -- December 3, 2005, Proceedings by: (Electronic resources)

Component Deployment :Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings by: (Electronic resources)

Component-Based Software Development for Embedded Systems :An Overview of Current Research Trends by: (Electronic resources)

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: (Electronic resources)

Information Systems Security :First International conference, ICISS 2005, Kolkata, India, December 19-21, 2005, Proceedings by: (Electronic resources)

Progress in Cryptology - INDOCRYPT 2005 :6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005, Proceedings by: (Electronic resources)

Cryptology and Network Security :4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005, Proceedings by: (Electronic resources)

Information Security and Cryptology :First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings by: (Electronic resources)

Embedded Software and Systems :Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings by: (Electronic resources)

Information and Communications Security :7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005, Proceedings by: (Electronic resources)

Distributed Computing - IWDC 2005 :7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings by: (Electronic resources)

Job Scheduling Strategies for Parallel Processing :11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers by: (Electronic resources)

Secure Transaction Protocol AnalysisModels and Applications / by: (Electronic resources)

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: (Electronic resources)

E-Government Ict Professionalism and Competences Service Science by: (Electronic resources)

Secure Data Management5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings / by: (Electronic resources)

Architecting Dependable Systems V by: (Electronic resources)

Distributed and Parallel SystemsIn Focus: Desktop Grid Computing / by: (Electronic resources)

The Testing NetworkAn Integral Approach to Test Activities in Large Software Projects / by: (Electronic resources)

Constructing Ambient IntelligenceAmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers / by: (Electronic resources)

Distributed computing22nd international symposium, DISC 2008, Arcachon, France, September 22-24, 2008 : proceedings / by: (Language materials, printed)

Cooperative design, visualization and engineering5th international conference, CDVE 2008, Calvia, Mallorca, Spain, September 21-25, 2008 : proceedings / by: (Language materials, printed)

beginning ubuntu linux by: (Language materials, printed)

Programming languages and systems6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings / by: (Language materials, printed)

Advances in information and computer securityThird International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008, proceedings / by: (Language materials, printed)

Middleware 2008ACM-IFIP-USENIX 9th International Middleware Conference, Leuven Belgium, December 1-5 2008, proceedings / by: (Language materials, printed)

Formal methods for components and objects6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007 ; revised papers / by: (Language materials, printed)

Computer supported cooperative work in design IV11th international conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. revised selected papers / by: (Language materials, printed)

Systems and virtualization managementstandards and new technologies : second international workshop, SVM 2008, Munich, Germany, October 21-22, 2008, proceedings / by: (Language materials, printed)

Large-scale scientific computing6th international conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007 : revised papers / by: (Language materials, printed)

Beginning OpenOffice 3from novice to professional / by: (Electronic resources)

Architecture of computing systems - ARCS 200922nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings / by: (Electronic resources)

Methods, models and tools for fault tolerance by: (Electronic resources)

Automating Linux and UNIX system administration by: (Electronic resources)

Pro Ubuntu server administration by: (Electronic resources)

Engineering secure software and systemsFirst international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009, proceedings / by: (Electronic resources)

Security and dependability for ambient intelligence by: (Electronic resources)

Storage management in data centersunderstanding, exploiting, tuning, and troubleshooting Veritas Storage Foundation / by: (Electronic resources)

Evolving OpenMP in an age of extreme parallelism5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3 - 5, 2009 ; Proceedings / by: (Electronic resources)

Beginning the Linux command line by: (Electronic resources)

Pro OpenSolarisa new open source OS for Linux developers and administrators / by: (Electronic resources)

Organized adaption in multi-agent systemsFirst International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008 : revised and invited papers / by: (Electronic resources)

Embedded software development with C by: (Electronic resources)

Distributed intelligent systemsa coordination perspective / by: (Electronic resources)

Euro-Par 2009 - parallel processing15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009 : proceedings / by: (Electronic resources)

Formal Methods for Components and Objects7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures / by: (Electronic resources)

Pro Linux system administration by: (Electronic resources)

Job Scheduling Strategies for Parallel Processing14th international workshop, JSSPP 2009, Rome, Italy, May 29, 2009 : revised papers / by: (Electronic resources)

Advances in information and computer security4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 : proceedings / by: (Electronic resources)

Architecting dependable systems VI by: (Electronic resources)

Middleware 2009ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings / by: (Electronic resources)

Advances in Information TechnologyThird International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings / by: (Electronic resources)

Beginning Ubuntu Linuxfrom novice to professional / by: (Electronic resources)

Windows netbooksthe path to low-cost computing / by: (Language materials, printed)

Ubuntu netbooksthe path to low-cost computing / by: (Electronic resources)

HPC@Green ITgreen high performance computing methods / by: (Electronic resources)

Post-quantum cryptographythird international workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010 : proceedings / by: (Electronic resources)

Communications and multimedia security11th IFIP TC 6/TC ; 11 international conference, CMS 2010, Linz, Austria, May 31 - June 2, 2010 : proceedings / by: (Electronic resources)

Distributed computing in sensor systems6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Virtual machines by: (Electronic resources)

Beginning Ubuntu LTS server administrationfrom novice to professional / by: (Electronic resources)

Scheduling for parallel processing by: (Electronic resources)

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: (Electronic resources)

Peer-to-peer computingprinciples and applications / by: (Electronic resources)

Web Dynpro ABAP for practitioners by: (Electronic resources)

Advances in grid and pervasive computing5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010 : proceedings / by: (Electronic resources)

Pervasive computing8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010 : proceedings / by: (Electronic resources)

Progress in cryptology, AFRICACRYPT 2010Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010 : proceedings / by: (Electronic resources)

Large-scale scientific computing7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 : revised papers / by: (Electronic resources)

Applications of evolutionary computationEvoApplications 2010 : EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010 : proceedings.Part II / by: (Electronic resources)

Architecture of computing systems - ARCS 201023rd International Conference, Hannover, Germany, February 22-25, 2010 : proceedings / by: (Electronic resources)

Network and parallel computingIFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, proceedings / by: (Electronic resources)

Bioinspired models of network, information, and computing systems4th international conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, revised selected papers / by: (Electronic resources)

Mac for Linux geeks by: (Electronic resources)

Job scheduling strategies for parallel processing15th international workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010 : revised selected papers / by: (Electronic resources)

Formal methods for components and objects8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009, revised selected papers / by: (Electronic resources)

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: (Electronic resources)

Security and privacy in communication networks6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010, proceedings / by: (Electronic resources)

Beginning Microsoft Excel 2010 by: (Electronic resources)

Beginning Ubuntu Linux by: (Electronic resources)

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: (Electronic resources)

Architecture of Computing SystemsARCS 2011 : 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings / by: (Electronic resources)

Introduction to reliable and secure distributed programming by: (Electronic resources)

Selected areas in cryptography17th international workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010 : revised selected papers / by: (Electronic resources)

NASA formal methodsthird international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings / by: (Electronic resources)

Model-based software performance analysis by: (Electronic resources)

Analytical and stochastic modeling techniques and applications18th international conference, ASMTA 2011, Venice, Italy, June 20-22, 2011 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Progress in cryptologyAFRICACRYP T 2011 : 4th international conference on cryptology in Africa, Dakar, Senegal, July 5-7, 2011 : proceedings / by: (Electronic resources)

Security protocols XVI16th international workshop, Cambridge, UK, April 16-18, 2008 : revised selected papers / by: (Electronic resources)

Information Security and Privacy16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011 : proceedings / by: (Electronic resources)

Analyzing computer system performance with PERL::PDQ by: (Electronic resources)

Search based software engineeringthird international symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011 : proceedings / by: (Electronic resources)

Euro-Par 2011 parallel processing17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.Part I / by: (Electronic resources)

Euro-Par 2011 parallel processing17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.Part II / by: (Electronic resources)

iOS forensic analysis for iPhone, iPad, and iPod Touch by: (Electronic resources)

Communications and multimedia security12th IFIP TC 6 / TC 11 international conference, CMS 2011, Ghent, Belgium, October 19-21,2011 : proceedings / by: (Electronic resources)

Advanced parallel processing technologies9th international symposium, APPT 2011, Shanghai, China, September 26-27, 2011 : proceedings / by: (Electronic resources)

Security and trust management6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, revised selected papers / by: (Electronic resources)

Network and parallel computing8th IFIP international conference, NPC 2011, Changsha, China, October 21-23, 2011 : proceedings / by: (Electronic resources)

Sensor systems and softwaresecond International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, revised selected papers / by: (Electronic resources)

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: (Electronic resources)

Forensics in telecommunications, information, and multimediathird international ICST conference, e-Forensics 2010, Shanghai, China, November 11-12, 2010, revised selected papers / by: (Electronic resources)

UNIX operating systemthe development tutorial via UNIX kernel services / by: (Electronic resources)

Dependable and historic computingessays dedicated to Brian Randell on the occasion of his 75th birthday / by: (Electronic resources)

Guide to reliable distributed systemsbuilding high-assurance applications and cloud-hosted services / by: (Electronic resources)

Architecture of computing systems - ARCS 201225th International Conference, Munich, Germany, February 28 - March 2, 2012 : proceedings / by: (Electronic resources)

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: (Electronic resources)

NASA formal methods4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Advances in grid and pervasive computing7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / by: (Electronic resources)

Multicore software engineering, performance, and toolsInternational Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (Electronic resources)

Euro-Par 2012 parallel processing18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings / by: (Electronic resources)

Provable security6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012 : proceedings / by: (Electronic resources)

Security and privacy in communication networks7th International ICST Conference, SecureComm 2011, London, UK, September 7-9, 2011 : revised selected papers / by: (Electronic resources)

Search based software engineering4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings / by: (Electronic resources)

Software engineering for resilient systems4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012 : proceedings / by: (Electronic resources)

Research in Attacks, Intrusions, and Defenses15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Self-sustaining systemsfirst workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers / by: (Electronic resources)

Network and parallel computing9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings / by: (Electronic resources)

Architecture of computing systems - ARCS 201427th International Conference, Lubeck, Germany, February 25-28, 2014 : proceedings / by: (Electronic resources)

Using Windows 8.1return of the start button / by: (Electronic resources)

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: (Electronic resources)

Serialization and persistent objectsturning data structures into efficient databases / by: (Electronic resources)

NASA formal methods6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 : proceedings / by: (Electronic resources)

Job scheduling strategies for parallel processing17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 : revised selected papers / by: (Electronic resources)

Euro-Par 2014 parallel processing20th International Conference, Porto, Portugal, August 25-29, 2014 : proceedings / by: (Electronic resources)

Smart grid securitySecond International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014 : revised selected papers / by: (Electronic resources)

Network and parallel computing11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014 : proceedings / by: (Electronic resources)

Concurrent objects and beyondpapers dedicated to Akinori Yonezawa on the occasion of his 65th birthday / by: (Language materials, printed)

Embedded operating systemsa practical approach / by: (Language materials, printed)

Wired/Wireless Internet Communications12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014. Proceedings / by: (Electronic resources)

Experimenting with Raspberry Pi by: (Electronic resources)

Raspberry Pi system software reference by: (Electronic resources)

Everyday computing with Windows 8.1 by: (Electronic resources)

Architecture of computing systems - ARCS 201528th International Conference, Porto, Portugal, March 24-27, 2015 : proceedings / by: (Electronic resources)

Languages and compilers for parallel computing27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014 : revised selected papers / by: (Electronic resources)

NASA formal methods7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings / by: (Electronic resources)

Windows Registry troubleshooting by: (Electronic resources)

Design and implementation of the MTX operating system by: (Electronic resources)

Quality-aware scheduling for key-value data stores by: (Electronic resources)

Windows file system troubleshooting by: (Electronic resources)

Euro-Par 2015parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015 : proceedings / by: (Electronic resources)

Advanced parallel processing technologies11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015 : proceedings / by: (Electronic resources)

File management made simple, Windows Edition by: (Electronic resources)

Exploring the Raspberry Pi 2 with C++ by: (Electronic resources)

The Windows 10 accessibility handbooksupporting Windows users with special visual, auditory, motor, and cognitive needs / by: (Electronic resources)

Trusted systems6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014 : revised selected papers / by: (Electronic resources)

Practical linux topics by: (Electronic resources)

Oracle Solaris and Veritas clusteran easy-build guide / by: (Electronic resources)

Languages and compilers for parallel computing28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015 : revised selected papers / by: (Electronic resources)

The accidental SysAdmin handbooka primer for early level IT professionals / by: (Electronic resources)

Troubleshooting Windows Server with PowerShell by: (Electronic resources)

NASA formal methods8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings / by: (Electronic resources)

Building Arduino projects for the internet of thingsexperiments with real-world applications / by: (Electronic resources)

HCNA networking study guide by: (Electronic resources)

Harley Hahn's Emacs field guide by: (Electronic resources)

Analytical and stochastic modeling techniques and applications23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings / by: (Electronic resources)

Windows to goa guide for users and IT professionals / by: (Electronic resources)

Transactions on modularity and composition I by: (Electronic resources)

Windows 10 troubleshooting by: (Electronic resources)

Implementing DirectAccess with Windows Server 2016 by: (Electronic resources)

Cybersecurity for hospitals and healthcare facilitiesa guide to detection and prevention / by: (Electronic resources)

Windows installation and update troubleshooting by: (Electronic resources)

Professional Sitecore 8 developmenta complete guide to solutions and best practices / by: (Electronic resources)

Practical LPIC-1 Linux certification study guide by: (Electronic resources)

Learn CentOS Linux network services by: (Electronic resources)

Internetwarea new software paradigm for internet computing / by: (Electronic resources)

Brain-inspired computingsecond International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015 : revised selected papers / by: (Electronic resources)

Introducing Materialize by: (Electronic resources)

Introducing Bootstrap 4 by: (Electronic resources)

Big data management by: (Electronic resources)

Hesitant fuzzy decision making methodologies and applications by: (Electronic resources)

Become ITIL Foundation certified in 7 dayslearning ITIL made simple with real-life examples / by: (Electronic resources)

Languages and compilers for parallel computing29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016 : revised papers / by: (Electronic resources)

Kubernetes management design patternswith Docker, CoreOS Linux, and other platforms / by: (Electronic resources)

Embedded and real-time operating systems by: (Electronic resources)

Windows virus and malware troubleshooting by: (Electronic resources)

macOS programming for absolute beginnersdeveloping apps using Swift and Xcode / by: (Electronic resources)

Reliable software technologies - Ada-Europe 201722nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017 : proceedings / by: (Electronic resources)

Detection of intrusions and malware, and vulnerability assessment14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017 : proceedings / by: (Electronic resources)

Theory and practice of model transformation10th International Conference, ICMT 2017, held as part of STAF 2017, Marburg, Germany, July 17-18, 2017 : proceedings / by: (Electronic resources)

Engineering secure software and systems9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings / by: (Electronic resources)

Verification and evaluation of computer and communication systems11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings / by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 201720th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings / by: (Electronic resources)

Search based software engineering9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017 : proceedings / by: (Electronic resources)

Advanced parallel processing technologies12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017 : proceedings / by: (Electronic resources)

Docker management design patternsswarm mode on Amazon Web Services / by: (Electronic resources)

DataFlow supercomputing essentialsresearch, development and education / by: (Electronic resources)

Research in attacks, intrusions, and defenses20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Artificial neural networks and machine learning - ICANN 201726th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017 : proceedings.Part I / by: (Electronic resources)

Artificial neural networks and machine learning - ICANN 201726th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017 : proceedings.Part II / by: (Electronic resources)

Stabilization, safety, and security of distributed systems19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017 : proceedings / by: (Electronic resources)

Transactions on large-scale data- and knowledge-centered systems XXXIVspecial issue on consistency and inconsistency in data-centric applications / by: (Electronic resources)

Task scheduling for multi-core and parallel architectureschallenges, solutions and perspectives / by: (Electronic resources)

Brain informaticsInternational Conference, BI 2017, Beijing, China, November 16-18, 2017 : proceedings / by: (Electronic resources)

The Windows 10 productivity handbookdiscover expert tips, tricks, and hidden features in Windows 10 / by: (Electronic resources)

DataFlow supercomputing essentialsalgorithms, applications and implementations / by: (Electronic resources)

5G wireless systemssimulation and evaluation techniques / by: (Electronic resources)

Tools and methods of program analysis4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017 : revised selected papers / by: (Electronic resources)

High performance computing systemsperformance modeling, benchmarking, and aimulation : 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017 : proceedings / by: (Electronic resources)

Oracle WebLogic Server 12c administration I exam 1Z0-133a comprehensive certification guide / by: (Electronic resources)

Embedded operating systemsa practical approach / by: (Electronic resources)

Euro-Par 2017parallel processing workshops : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017 : revised selected papers / by: (Electronic resources)

Architecture of computing systems - ARCS 201831st International Conference, Braunschweig, Germany, April 9-12, 2018 : proceedings / by: (Electronic resources)

Supercomputing frontiers4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018 : proceedings / by: (Electronic resources)

Essential PowerShell for Office 365managing and automating skills for improved productivity / by: (Electronic resources)

Trends in functional programming18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017 : revised selected papers / by: (Electronic resources)

Transactions on computational collective intelligence XXVIII by: (Electronic resources)

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: (Electronic resources)

High performance computing33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018 : proceedings / by: (Electronic resources)

System and architectureproceedings of CSI 2015 / by: (Electronic resources)

Integration of constraint programming, artificial intelligence, and operations research15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018 : proceedings / by: (Electronic resources)

Cyber security cryptography and machine learningsecond International Symposium, CSCML 2018, Beer Sheva, Israel, June 21-22, 2018 : proceedings / by: (Electronic resources)

Image analysis and recognition15th International Conference, ICIAR 2018, Povoa de Varzim, Portugal, June 27-29, 2018 : proceedings / by: (Electronic resources)

Detection of intrusions and malware, and vulnerability assessment15th International Conference, DIMVA 2018, Saclay, France, June 28-29, 2018 : proceedings / by: (Electronic resources)

Services - SERVICES 201814th World Congress, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings / by: (Electronic resources)

Model-driven engineering and software development5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017 : revised selected papers / by: (Electronic resources)

Embedded systems technology15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017 : revised selected papers / by: (Electronic resources)

Cloud computing and service science7th International Conference, CLOSER 2017, Porto, Portugal, April 24-26, 2017 : revised selected papers / by: (Electronic resources)

Internet and distributed computing systems10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017 : proceedings / by: (Electronic resources)

Transactions on large-scale data- and knowledge-centered systems XXXVII by: (Electronic resources)

Interrupt handling schemes in operating systems by: (Electronic resources)

Parallel computational technologies12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2-6, 2018 : revised selected papers / by: (Electronic resources)

Systems programming in Unix/Linux by: (specific teaching material)

Search-based software engineering10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018 : proceedings / by: (Electronic resources)

Research in attacks, intrusions, and defenses21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018 : proceedings / by: (Electronic resources)

Advanced computer architecture12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018 : proceedings / by: (Electronic resources)

Transactions on computational science XXXIII by: (Electronic resources)

Structural information and communication complexity25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018 : revised selected papers / by: (Electronic resources)

Stabilization, safety, and security of distributed systems20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018 : proceedings / by: (Electronic resources)

Algorithms and architectures for parallel processing18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.Part I / by: (Electronic resources)

Network and parallel computing15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 - December 1, 2018 : proceedings / by: (Electronic resources)

Reflections on programming systemshistorical and philosophical aspects / by: (Electronic resources)

Transactions on large-scale data- and knowledge-centered systems XXXIXSpecial Issue on Database- and Expert-Systems Applications / by: (Electronic resources)

Transactions on petri nets and other models of concurrency XIII by: (Electronic resources)

Robot operating system (ROS)the complete reference.(Volume 3) / by: (Electronic resources)

Searchable storage in cloud computing by: (Electronic resources)

Transactions on high-performance embedded architectures and compilers V by: (Electronic resources)

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: (Electronic resources)

Constructive side-channel analysis and secure design10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3-5, 2019 : proceedings / by: (Electronic resources)

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: (Electronic resources)

High-performance modelling and simulation for big data applicationsselected results of the COST Action IC1406 cHiPSet / by: (Electronic resources)

Applied reconfigurable computing15th International Symposium, ARC 2019, Darmstadt, Germany, April 9-11, 2019 : proceedings / by: (Electronic resources)

Distributed computing by mobile entitiescurrent research in moving and computing / by: (Electronic resources)

Euro-Par 2018parallel processing workshops : Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018 : revised selected papers / by: (Electronic resources)

Trends in functional programming19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018 : revised selected papers / by: (Electronic resources)

Neural information processing24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017 : proceedings.Part VI / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Massively multi-agent systems IIInternational Workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018 : revised selected papers / by: (Electronic resources)

Information processing in medical imaging26th International Conference, IPMI 2019, Hong Kong, China, June 2-7, 2019 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Detection of intrusions and malware, and vulnerability assessment16th International Conference, DIMVA 2019, Gothenburg, Sweden, June 19-20, 2019 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Privacy technologies and policy7th Annual Privacy Forum, APF 2019, Rome, Italy, June 13-14, 2019 : proceedings / by: (Electronic resources)

Biomimetic and biohybrid systems8th International Conference, Living Machines 2019, Nara, Japan, July 9-12, 2019 : proceedings / by: (Electronic resources)

Structural information and communication complexity26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1-4, 2019 : proceedings / by: (Electronic resources)

Advanced parallel processing technologies13th International Symposium, APPT 2019, Tianjin, China, August 15-16, 2019 : proceedings / by: (Electronic resources)

Network and parallel computing16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23-24, 2019 : proceedings / by: (Electronic resources)

Operating systems for supercomputers and high performance computing by: (Electronic resources)

Transactions on large-scale data- and knowledge-centered systems XLII by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Service-oriented computing16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018 : proceedings / by: (Electronic resources)

Theory and practice of model transformation11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings / by: (Electronic resources)

Stabilization, safety, and security of distributed systems21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019 : proceedings / by: (Electronic resources)

Languages and compilers for parallel computing30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017 : revised selected papers / by: (Electronic resources)

Economics of grids, clouds, systems, and services16th International Conference, GECON 2019, Leeds, UK, September 17-19, 2019 : proceedings / by: (Electronic resources)

Supercomputing10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25-29, 2019 : revised selected papers / by: (Electronic resources)

Supercomputing5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23-24, 2019 : revised selected papers / by: (Electronic resources)

Statistics and data scienceResearch School on Statistics and Data Science, RSSDS 2019, Melbourne, VIC, Australia, July 24-26, 2019 : proceedings / by: (Electronic resources)

Arduino software internalsa complete guide to how your Arduino language and hardware work together / by: (Electronic resources)

Parallel processing and applied mathematics13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019 : revised selected papers.Part II / by: (Electronic resources)

Distributed computing for emerging smart networksfirst International Workshop, DiCES-N 2019, Hammamet, Tunisia, October 30, 2019 : revised selected papers / by: (Electronic resources)

Parallel architectures, algorithms and programming10th International Symposium, PAAP 2019, Guangzhou, China, December 12-14, 2019 : revised selected papers / by: (Electronic resources)

Algorithms and architectures for parallel processing19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019 : proceedings.Part II / by: (Electronic resources)

Algorithms and architectures for parallel processing19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9-11, 2019, proceedings.Part I / by: (Electronic resources)

Leadership OSthe operating system you need to succeed / by: (Electronic resources)

Build a next-generation digital workplacetransform legacy intranets to employee experience platforms / by: (Electronic resources)

Uncertainty-aware integration of control with process operations and multi-parametric programming under global uncertainty by: (Electronic resources)

Blockchain technology and applicationsecond CCF China Blockchain Conference, CBCC 2019, Chengdu, China, October 11-13, 2019 : revised selected papers / by: (Electronic resources)

The amazing journey of reasonfrom DNA to artificial intelligence / by: (Electronic resources)

Cloud computing and services science9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2-4, 2019 : revised selected papers / by: (Electronic resources)

Reversible computationextending horizons of computing : selected results of the COST Action IC1405 / by: (Electronic resources)

Supercomputing frontiers6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Parallel computational technologies14th International Conference, PCT 2020, Perm, Russia, May 27-29, 2020 : revised selected papers / by: (Electronic resources)

Engineering multi-agent systems7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019 : revised selected papers / by: (Electronic resources)

OpenMPportable multi-level parallelism on modern systems : 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22-24, 2020 : proceedings / by: (Electronic resources)

Advanced computer architecture13th Conference, ACA 2020, Kunming, China, August 13-15, 2020 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Creativity in intelligent technologies and data sciencethird Conference, CIT&DS 2019, Volgograd, Russia, September 16-19, 2019 : proceedings.Part II / by: (Electronic resources)

Architecture of computing systems - ARCS 201932nd International Conference, Copenhagen, Denmark, May 20-23, 2019 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Combinatorial optimization and applications13th International Conference, COCOA 2019, Xiamen, China, December 13-15, 2019 : proceedings / by: (Electronic resources)

OpenMPconquering the full hardware spectrum : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019 : proceedings / by: (Electronic resources)

Supercomputing frontiers5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019 : proceedings / by: (Electronic resources)

Stabilization, safety, and security of distributed systems22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020 : proceedings / by: (Electronic resources)

Supercomputing6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21-22, 2020 : revised selected papers / by: (Electronic resources)

Service-oriented computing18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020 : proceedings / by: (Electronic resources)

Distributed computing and internet technology16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020 : proceedings / by: (Electronic resources)

Robot operating system (ROS)the complete reference.(Volume 5) / by: (Electronic resources)

Practical system programming with Cpragmatic example applications in Linux and Unix-based operating systems / by: (Electronic resources)

Collaborative computingnetworking, applications and worksharing : 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16-18, 2020 : proceedings.Part II / by: (Electronic resources)

Blockchain technology and applicationthird CCF China blockchain conference, CBCC 2020, Jinan, China, December 18-20, 2020 : revised selected papers / by: (Electronic resources)

Advances in service-oriented and cloud computinginternational workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020 : revised selected papers / by: (Electronic resources)

Cloud computing and services science10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7-9, 2020 : revised selected papers / by: (Electronic resources)

Euro-Par 2020parallel processing workshops : Euro-Par 2020 International Workshops, Warsaw, Poland, August 24-25, 2020 : revised selected papers / by: (Electronic resources)

Genetic programming24th European Conference, EuroGP 2021, held as part of EvoStar 2021, Virtual Event, April 7-9, 2021 : proceedings / by: (Electronic resources)

High performance computing7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2-4, 2020 : revised selected papers / by: (Electronic resources)

Applied cryptography and network security19th International Conference, ACNS 2021, Kamakura, Japan, June 21-24, 2021 : proceedings.Part I / by: (Electronic resources)

Beginning Microsoft 365 collaboration appsworking in the Microsoft Cloud / by: (Electronic resources)

Robot operating system (ROS)the complete reference.(Volume 6) / by: (Electronic resources)

Euro-Par 2021parallel processing : 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021 : proceedings / by: (Electronic resources)

Static analysis28th international symposium, SAS 2021,Chicago, IL, USA : proceedings / by: (Electronic resources)

Financial cryptography and data security25th International Conference, FC 2021, virtual event, March 1-5, 2021 : revised selected papers.Part I / by: (Electronic resources)

Financial cryptography and data security25th International Conference, FC 2021, virtual event, March 1-5, 2021 : revised selected papers.Part II / by: (Electronic resources)

The practice of enterprise modeling14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24-26, 2021 : proceedings / by: (Electronic resources)

Stabilization, safety, and security of distributed systems23rd International Symposium, SSS 2021, virtual event, November 17-20, 2021 : proceedings / by: (Electronic resources)

OpenMPenabling massive node-level parallelism : 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14-16, 2021 : proceedings / by: (Electronic resources)

Data privacy management, cryptocurrencies and blockchain technologyESORICS 2021 International Workshops, DPM 2021 and CBT 2021, Darmstadt, Germany, October 8, 2021 : revised selected papers / by: (Electronic resources)

Windows 10 troubleshootinglearn to troubleshoot and repair windows 10 problems like the pros do / by: (Electronic resources)

Building applications with Azure Resource Manager (ARM)leverage IaC to vastly improve the life cycle of your applications / by: (Electronic resources)

High performance computing8th Latin American Conference, CARLA 2021, Guadalajara, Mexico, October 6-8, 2021 : revised selected papers / by: (Electronic resources)

The first line of codeAndroid programming with Kotlin / by: (Electronic resources)

Languages and compilers for parallel computing34th International Workshop, LCPC 2021, Newark, DE, USA, October 13-14, 2021 : revised selected papers / by: (Electronic resources)

Euro-Par 2021parallel processing workshops : Euro-Par 2021 International Workshops, Lisbon, Portugal, August 30-31, 2021 : revised selected papers / by: (Electronic resources)

Applied cryptography and network security20th International Conference, ACNS 2022, Rome, Italy, June 20-23, 2022 : proceedings / by: (Electronic resources)

Structural information and communication complexity29th international colloquium, SIROCCO 2022, Paderborn, Germany, June 27-29, 2022 : proceedings / by: (Electronic resources)

Supercomputing frontiers7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022 : proceedings / by: (Electronic resources)

Deployment and operation of complex software in heterogeneous execution environmentsthe SODALITE approach / by: (Electronic resources)

Database Systems for Advanced ApplicationsDASFAA 2022 International Workshops : BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, virtual event, April 11-14, 2022 : proceedings / by: (Electronic resources)

Design and architecture for signal and image processing15th International Workshop, DASIP 2022, Budapest, Hungary, June 20-22, 2022 : proceedings / by: (Electronic resources)

Real-time systemsdesign principles for distributed embedded applications / by: (Electronic resources)

Networked systems10th International Conference, NETYS 2022, virtual event, May 17-19, 2022 : proceedings / by: (Electronic resources)

Financial cryptography and data security26th International Conference, FC 2022, Grenada, May 2-6, 2022 : revised selected papers / by: (Electronic resources)

Structural information and communication complexity30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6-9, 2023 : proceedings / by: (Electronic resources)

Applied cryptography and network security21st International Conference, ACNS 2023, Kyoto, Japan, June 19-22, 2023 : proceedings.Part II / by: (Electronic resources)

Applied cryptography and network security21st International Conference, ACNS 2023, Kyoto, Japan, June 19-22, 2023 : proceedings.Part I / by: (Electronic resources)

Guide to computer processor architecturea RISC-V approach, with high-level synthesis / by: (Electronic resources)

Robot operating system (ROS)the complete reference.(Volume 7) / by: (Electronic resources)

Foundations of ARM64 Linux debugging, disassembling, and reversinganalyze code, understand stack memory usage, and reconstruct original C/C++ code with ARM64 / by: (Electronic resources)

Foundations of Linux debugging, disassembling, and reversinganalyze binary code, understand stack memory usage, and reconstruct C/C++ code with Intel x64 / by: (Electronic resources)

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: (Electronic resources)

Structured object-oriented formal language and method11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022 : revised selected papers / by: (Electronic resources)

Smart computing and communication7th International Conference, SmartCom 2022, New York City, NY, USA, November 18-20, 2022 : proceedings / by: (Electronic resources)

Economics of grids, clouds, systems, and services19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022 : proceedings / by: (Electronic resources)

Digital sovereignty in cyber securitynew challenges in future vision : first International Workshop, CyberSec4Europe 2022, Venice, Italy, April 17-21, 2022 : revised selected papers / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Embedded and real-time operating systems by: (Electronic resources)

Database systems for advanced applicationsDASFAA 2023 International Workshops : BDMS 2023, BDQM 2023, GDMA 2023, BundleRS 2023, Tianjin, China, April 17-20, 2023 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Information and communication technologies11th Ecuadorian conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023 : proceedings / by: (Electronic resources)

Service-oriented computing17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023 : revised selected papers / by: (Electronic resources)

Deploy container applications using Kubernetesimplementations with microk8s and AWS EKS / by: (Electronic resources)

Exploring macOSa journey through the Mac ecosystem / by: (Electronic resources)

Blockchain technology and application6th CCF China Blockchain Summit, CBCS 2023, Haikou, China, December 15-18, 2023 : revised selected papers / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Search-based software engineering16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024 : proceedings / by: (Electronic resources)

Arduino software internalsa complete guide to how your Arduino language and hardware work together / by: (Electronic resources)

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: (Electronic resources)

Structural information and communication complexity31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024 : proceedings / by: (Electronic resources)

Advanced information systems engineering36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024 : proceedings / by: (Electronic resources)

Applied informatics6th International Conference, ICAI 2023, Guayaquil, Ecuador, October 26-28, 2023 : proceedings / by: (Electronic resources)

The fundamental research for trustworthy software by: (Electronic resources)

Blockchain and trustworthy systems5th International Conference, BlockSys 2023, Haikou, China, August 8-10, 2023 : proceedings.Part I / by: (Electronic resources)

Blockchain and trustworthy systems5th International Conference, BlockSys 2023, Haikou, China, August 8-10, 2023 : proceedings.Part II / by: (Electronic resources)

Hard real-time computing systemspredictable scheduling algorithms and applications / by: (Electronic resources)

Advanced parallel processing technologies15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023 : proceedings / by: (Electronic resources)

Financial cryptography and data security27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023 : revised selected papers.Part II / by: (Electronic resources)

Financial cryptography and data security27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023 : revised selected papers.Part I / by: (Electronic resources)

Product-focused software process improvement24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023 : proceedings.Part II / by: (Electronic resources)

Search-based software engineering15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023 : proceedings / by: (Electronic resources)

Cognitive computing - ICCC 20237th International Conference held as part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023 : proceedings / by: (Electronic resources)

Distributed computing for emerging smart networks4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023 : revised selected papers / by: (Electronic resources)

Innovations and interdisciplinary solutions for underserved areas6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023 : proceedings / by: (Electronic resources)

Software business14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023 : proceedings / by: (Electronic resources)

Distributed ledger technology7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 - December 1, 2023 : revised selected papers / by: (Electronic resources)

Applied cryptography and network security22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024 : proceedings.Part II / by: (Electronic resources)

Applied cryptography and network security22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024 : proceedings.Part III / by: (Electronic resources)

Applied cryptography and network security22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024 : proceedings.Part I / by: (Electronic resources)

Advances in model and data engineering in the digitalization eraMEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023 : proceedings / by: (Electronic resources)

Digital forensics and cyber crime14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023 : proceedings.Part I / by: (Electronic resources)

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: (Electronic resources)

Euro-Par 2023parallel processing workshops : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - september 1, 2023 : revised selected papers.Part II / by: (Electronic resources)

Euro-Par 2023parallel processing workshops : Euro-Par 2023 International Workshops, Limassol, Cyprus, August 28 - september 1, 2023 : revised selected papers.Part I / by: (Electronic resources)

Enterprise information systems25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023 : revised selected papers.Part I / by: (Electronic resources)

Enterprise information systems25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023 : revised selected papers.Part II / by: (Electronic resources)

Software architectureECSA 2023 tracks, workshops, and doctoral symposium : Istanbul, Turkey, September 18-22, 2023 : revised selected papers / by: (Electronic resources)

Data storage architectures and technologies by: (Electronic resources)

Software architectureECSA 2024 Tracks and Workshops : Luxembourg City, Luxembourg, September 3-6, 2024 : proceedings / by: (Electronic resources)

Industrial vision systems with Raspberry Pibuild and design vision products using Python and OpenCV / by: (Electronic resources)

Software quality as a foundation for security16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024 : proceedings / by: (Electronic resources)

Distributed ledger technology8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024 : revised selected papers / by: (Electronic resources)

Innovations and Interdisciplinary Solutions for Underserved Areas7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024 : proceedings / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Structural information and communication complexity32nd International Colloquium, SIROCCO 2025, Delphi, Greece, June 2-4, 2025 : proceedings / by: (Electronic resources)

Applied informatics7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024 : proceedings.Part I / by: (Electronic resources)

Applied informatics7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024 : proceedings.Part II / by: (Electronic resources)

Service-oriented computing18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024 : revised selected papers / by: (Electronic resources)

Information and communication technologies12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024 : proceedings / by: (Electronic resources)

Stabilization, safety, and security of distributed systems26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024 : proceedings / by: (Electronic resources)

Web services - ICWS 202431st International Conference, held as part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024 : proceedings / by: (Electronic resources)

Financial cryptography and data securityFC 2024 International Workshops : Voting, DeFI, WTSC, CoDecFin, Willemstad, Curaçao, March 4-8, 2024 : revised selected papers / by: (Electronic resources)

Cognitive computing - ICCC 20248th International Conference, held as part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024 : proceedings / by: (Electronic resources)

Blockchain, metaverse and trustworthy systems6th International Conference, BlockSys 2024, Hangzhou, China, July 12-14, 2024 : revised selected papers.Part I / by: (Electronic resources)

Blockchain, metaverse and trustworthy systems6th International Conference, BlockSys 2024, Hangzhou, China, July 12-14, 2024 : revised selected papers.Part II / by: (Electronic resources)

Database Systems for Advanced ApplicationsDASFAA 2024 International Workshops : BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024 : proceedings / by: (Electronic resources)

Economics of grids, clouds, systems, and services20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024 : proceedings / by: (Electronic resources)

Financial cryptography and data security28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024 : revised selected papers.Part II / by: (Electronic resources)

Financial cryptography and data security28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024 : revised selected papers.Part I / by: (Electronic resources)

Network and parallel computing20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024 : proceedings.Part I / by: (Electronic resources)

Network and parallel computing20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024 : proceedings.Part II / by: (Electronic resources)

Blockchain technology and application7th CCF China Blockchain Conference, CBCC 2024, Shanghai, China, December 13-15, 2024 : revised selected papers.Part I / by: (Electronic resources)

Blockchain technology and application7th CCF China Blockchain Conference, CBCC 2024, Shanghai, China, December 13-15, 2024 : revised selected papers.Part II / by: (Electronic resources)

Advanced information systems engineering37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025 : proceedings.Part I / by: (Electronic resources)

Advanced information systems engineering37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025 : proceedings.Part II / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Applied cryptography and network security23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025 : proceedings.Part II / by: (Electronic resources)

Applied cryptography and network security23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025 : proceedings.Part III / by: (Electronic resources)

Applied cryptography and network security23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025 : proceedings.Part I / by: (Electronic resources)