Search Results for - Narrowed by: Computer science. - Operating systems (Computers).

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2024-06-01T14:40:14Z

by Wang, Meng. editor.
https://doi.org/10.1007/978-3-319-89719-6
Format: Electronic Resources

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-06-01T14:40:14Z

by Rensink, Arend. editor. (orcid)0000-0002-1714-6319
https://doi.org/10.1007/978-3-319-93317-7
Format: Electronic Resources

Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings

2024-06-01T14:40:14Z

by Berekovic, Mladen. editor.
https://doi.org/10.1007/978-3-319-77610-1
Format: Electronic Resources

System and Architecture Proceedings of CSI 2015

2024-06-01T14:40:14Z

by Muttoo, Sunil Kumar. editor.
https://doi.org/10.1007/978-981-10-8533-8
Format: Electronic Resources

Detection of Intrusions and Malware, and Vulnerability Assessment 15th International Conference, DIMVA 2018, Saclay, France, June 28–29, 2018, Proceedings

2024-06-01T14:40:14Z

by Giuffrida, Cristiano. editor.
https://doi.org/10.1007/978-3-319-93411-2
Format: Electronic Resources

Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21–22, 2018, Proceedings

2024-06-01T14:40:14Z

by Dinur, Itai. editor.
https://doi.org/10.1007/978-3-319-94147-9
Format: Electronic Resources

Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliability

2024-06-01T14:40:14Z

by Jahanshahi, Mohsen. author.
https://doi.org/10.1007/978-3-319-78473-1
Format: Electronic Resources

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2024-06-01T14:40:14Z

by Pires, Luís Ferreira. editor.
https://doi.org/10.1007/978-3-319-94764-8
Format: Electronic Resources

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

2024-06-01T14:40:14Z

by Heras, Dora B. editor.
https://doi.org/10.1007/978-3-319-75178-8
Format: Electronic Resources

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

2024-06-01T14:40:14Z

by Mishra, Anurag. editor.
https://doi.org/10.1007/978-981-10-7656-5
Format: Electronic Resources

The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generation

2024-06-01T14:40:14Z

by ASC Community. author.
https://doi.org/10.1007/978-981-10-3731-3
Format: Electronic Resources

Handbook of Model Checking

2024-06-01T14:40:14Z

by Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

2024-06-01T14:40:14Z

by Sokolinsky, Leonid. editor.
https://doi.org/10.1007/978-3-319-99673-8
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

2024-06-01T14:40:14Z

by Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05051-1
Format: Electronic Resources

Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-06-01T14:40:14Z

by Chandrasekaran, Sunita. editor.
https://doi.org/10.1007/978-3-319-74896-2
Format: Electronic Resources

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

2024-06-01T14:40:14Z

by Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251
https://doi.org/10.1007/978-3-319-92408-3
Format: Electronic Resources

Transactions on Computational Science XXXIII

2024-06-01T14:40:14Z

by Gavrilova, Marina L. editor.
https://doi.org/10.1007/978-3-662-58039-4
Format: Electronic Resources

Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings

2024-06-01T14:40:14Z

by Fortino, Giancarlo. editor.
https://doi.org/10.1007/978-3-319-97795-9
Format: Electronic Resources

Interrupt Handling Schemes in Operating Systems

2024-06-01T14:40:14Z

by Mejia-Alvarez, Pedro. author.
https://doi.org/10.1007/978-3-319-94493-7
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

2024-06-01T14:40:14Z

by Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-58415-6
Format: Electronic Resources

Research in Attacks, Intrusions, and Defenses 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings

2024-06-01T14:40:14Z

by Bailey, Michael. editor.
https://doi.org/10.1007/978-3-030-00470-5
Format: Electronic Resources

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

2024-06-01T14:40:14Z

by Yokota, Rio. editor. (orcid)0000-0001-7573-7873
https://doi.org/10.1007/978-3-319-92040-5
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2024-06-01T14:40:14Z

by Baier, Christel. editor.
https://doi.org/10.1007/978-3-319-92612-4
Format: Electronic Resources

Image Analysis and Recognition 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27–29, 2018, Proceedings

2024-06-01T14:40:14Z

by Campilho, Aurélio. editor.
https://doi.org/10.1007/978-3-319-93000-8
Format: Electronic Resources

Low-Power Design and Power-Aware Verification

2024-06-01T14:40:14Z

by Khondkar, Progyna. author.
https://doi.org/10.1007/978-3-319-66619-8
Format: Electronic Resources

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2024-06-01T14:40:14Z

by Itsykson, Vladimir. editor.
https://doi.org/10.1007/978-3-319-71734-0
Format: Electronic Resources

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

2024-06-01T14:40:14Z

by Xu, Weixia. editor.
https://doi.org/10.1007/978-981-10-7844-6
Format: Electronic Resources

Systems Programming in Unix/Linux

2024-06-01T14:40:14Z

by Wang, K.C. author.
https://doi.org/10.1007/978-3-319-92429-8
Format: Electronic Resources

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2024-06-01T14:40:14Z

by Li, Chao. editor.
https://doi.org/10.1007/978-981-13-2423-9
Format: Electronic Resources

Closing the Gap Between Practice and Research in Industrial Engineering

2024-06-01T14:40:14Z

by Viles, Elisabeth. editor.
https://doi.org/10.1007/978-3-319-58409-6
Format: Electronic Resources

Dependable Multicore Architectures at Nanoscale

2024-06-01T14:40:14Z

by Ottavi, Marco. editor.
https://doi.org/10.1007/978-3-319-54422-9
Format: Electronic Resources

Transactions on Modularity and Composition I

2024-06-01T14:40:14Z

by Chiba, Shigeru. editor.
https://doi.org/10.1007/978-3-319-46969-0
Format: Electronic Resources

Brain-Inspired Computing Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers

2024-06-01T14:40:14Z

by Amunts, Katrin. editor.
https://doi.org/10.1007/978-3-319-50862-7
Format: Electronic Resources

High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers

2024-06-01T14:40:14Z

by Taufer, Michela. editor.
https://doi.org/10.1007/978-3-319-46079-6
Format: Electronic Resources

Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation

2024-06-01T14:40:14Z

by Al-Begain, Khalid. editor.
https://doi.org/10.1007/978-3-319-33786-9
Format: Electronic Resources

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

2024-06-01T14:40:14Z

by Wittevrongel, Sabine. editor.
https://doi.org/10.1007/978-3-319-43904-4
Format: Electronic Resources

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

2024-06-01T14:40:14Z

by Shen, Xipeng. editor.
https://doi.org/10.1007/978-3-319-29778-1
Format: Electronic Resources

Instruction Level Parallelism

2024-06-01T14:40:14Z

by Aiken, Alex. author.
https://doi.org/10.1007/978-1-4899-7797-7
Format: Electronic Resources

Advanced Computer Architecture 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings

2024-06-01T14:40:14Z

by Wu, Junjie. editor.
https://doi.org/10.1007/978-981-10-2209-8
Format: Electronic Resources

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

2024-06-01T14:40:14Z

by Rayadurgam, Sanjai. editor.
https://doi.org/10.1007/978-3-319-40648-0
Format: Electronic Resources

Understanding Control Flow Concurrent Programming Using μC++

2024-06-01T14:40:14Z

by Buhr, Peter A. author.
https://doi.org/10.1007/978-3-319-25703-7
Format: Electronic Resources

Microsoft Windows Server 2012 Administration Instant Reference.

2024-06-01T14:40:14Z

by Hester, Matthew.
Click to View
Format: Electronic Resources

Teach Yourself VISUALLY Windows 8.1.

2024-06-01T14:40:14Z

by McFedries, Paul.
Click to View
Format: Electronic Resources

Windows 8.1 All-in-One For Dummies.

2024-06-01T14:40:14Z

by Leonhard, Woody.
Click to View
Format: Electronic Resources

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

2024-06-01T14:40:14Z

by Leucker, Martin. editor.
http://dx.doi.org/10.1007/978-3-540-89247-2
Format: Electronic Resources

Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers

2024-06-01T14:40:14Z

by Hirschfeld, Robert. editor.
http://dx.doi.org/10.1007/978-3-540-89275-5
Format: Electronic Resources

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

2024-06-01T14:40:14Z

by Ramalingam, G. editor.
http://dx.doi.org/10.1007/978-3-540-89330-1
Format: Electronic Resources

Middleware 2008 ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings

2024-06-01T14:40:14Z

by Issarny, Valérie. editor.
http://dx.doi.org/10.1007/978-3-540-89856-6
Format: Electronic Resources

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings

2024-06-01T14:40:14Z

by Sadayappan, Ponnuswamy. editor.
http://dx.doi.org/10.1007/978-3-540-89894-8
Format: Electronic Resources

Provenance and Annotation of Data and Processes Second International Provenance and Annotation Workshop, IPAW 2008, Salt Lake City, UT, USA, June 17-18, 2008. Revised Selected Papers

2024-06-01T14:40:14Z

by Freire, Juliana. editor.
http://dx.doi.org/10.1007/978-3-540-89965-5
Format: Electronic Resources

Distributed and Parallel Systems In Focus: Desktop Grid Computing

2024-06-01T14:40:14Z

by Kacsuk, Péter. editor.
http://dx.doi.org/10.1007/978-0-387-79448-8
Format: Electronic Resources

Principles of the Spin Model Checker

2024-06-01T14:40:14Z

by Ben-Ari, Mordechai. author.
http://dx.doi.org/10.1007/978-1-84628-770-1
Format: Electronic Resources

E-Government Ict Professionalism and Competences Service Science

2024-06-01T14:40:14Z

by Mazzeo, Antonino. editor.
http://dx.doi.org/10.1007/978-0-387-09712-1
Format: Electronic Resources

Autonomous Systems – Self-Organization, Management, and Control Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008

2024-06-01T14:40:14Z

by Mahr, Bernd. editor.
http://dx.doi.org/10.1007/978-1-4020-8889-6
Format: Electronic Resources

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

2024-06-01T14:40:14Z

by Meyer, Bertrand. editor.
http://dx.doi.org/10.1007/978-3-540-69149-5
Format: Electronic Resources

Distributed Computing in Sensor Systems 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings

2024-06-01T14:40:14Z

by Nikoletseas, Sotiris E. editor.
http://dx.doi.org/10.1007/978-3-540-69170-9
Format: Electronic Resources

Constructing Ambient Intelligence AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers

2024-06-01T14:40:14Z

by Mühlhäuser, Max. editor.
http://dx.doi.org/10.1007/978-3-540-85379-4
Format: Electronic Resources

Secure Transaction Protocol Analysis Models and Applications

2024-06-01T14:40:14Z

by Chen, Qingfeng. author.
http://dx.doi.org/10.1007/978-3-540-85074-8
Format: Electronic Resources

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

2024-06-01T14:40:14Z

by Boer, Frank S. editor.
http://dx.doi.org/10.1007/978-3-540-92188-2
Format: Electronic Resources

Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers

2024-06-01T14:40:14Z

by Shen, Weiming. editor.
http://dx.doi.org/10.1007/978-3-540-92719-8
Format: Electronic Resources

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

2024-06-01T14:40:14Z

by Chaudron, Michel R. V. editor.
http://dx.doi.org/10.1007/978-3-540-87891-9
Format: Electronic Resources

Computer Security - ESORICS 2008 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings

2024-06-01T14:40:14Z

by Jajodia, Sushil. editor.
http://dx.doi.org/10.1007/978-3-540-88313-5
Format: Electronic Resources

Cooperative Design, Visualization, and Engineering 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings

2024-06-01T14:40:14Z

by Luo, Yuhua. editor.
http://dx.doi.org/10.1007/978-3-540-88011-0
Format: Electronic Resources

Systems and Virtualization Management. Standards and New Technologies Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings

2024-06-01T14:40:14Z

by Boursas, Latifa. editor.
http://dx.doi.org/10.1007/978-3-540-88708-9
Format: Electronic Resources

Performance Modeling and Engineering

2024-06-01T14:40:14Z

by Liu, Zhen. editor.
http://dx.doi.org/10.1007/978-0-387-79361-0
Format: Electronic Resources

Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings

2024-06-01T14:40:14Z

by Wu, Song. editor.
http://dx.doi.org/10.1007/978-3-540-68083-3
Format: Electronic Resources

Multiaccess, Reservations & Queues

2024-06-01T14:40:14Z

by Denteneer, Dee. author.
http://dx.doi.org/10.1007/978-3-540-69317-8
Format: Electronic Resources

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings

2024-06-01T14:40:14Z

by Meier, René. editor.
http://dx.doi.org/10.1007/978-3-540-68642-2
Format: Electronic Resources

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

2024-06-01T14:40:14Z

by Hee, Kees M. editor.
http://dx.doi.org/10.1007/978-3-540-68746-7
Format: Electronic Resources

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

2024-06-01T14:40:14Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/978-3-540-68863-1
Format: Electronic Resources

Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers

2024-06-01T14:40:14Z

by Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-540-78827-0
Format: Electronic Resources

Advances in Information and Computer Security Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings

2024-06-01T14:40:14Z

by Matsuura, Kanta. editor.
http://dx.doi.org/10.1007/978-3-540-89598-5
Format: Electronic Resources

A Modular Calculus for the Average Cost of Data Structuring

2024-06-01T14:40:14Z

by Schellekens, Michel. author.
http://dx.doi.org/10.1007/978-0-387-73384-5
Format: Electronic Resources

Moving Wearables into the Mainstream Taming the Borg

2024-06-01T14:40:14Z

by Dvorak, Joseph L. author.
http://dx.doi.org/10.1007/978-0-387-69142-8
Format: Electronic Resources

Innovation in Manufacturing Networks Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23–25, 2008

2024-06-01T14:40:14Z

by Azevedo, Américo. editor.
http://dx.doi.org/10.1007/978-0-387-09492-2
Format: Electronic Resources

Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity

2024-06-01T14:40:14Z

by Georgiou, Chryssis. author.
http://dx.doi.org/10.1007/978-0-387-69045-2
Format: Electronic Resources

Distributed Embedded Systems: Design, Middleware and Resources

2024-06-01T14:40:14Z

by Kleinjohann, Bernd. editor.
http://dx.doi.org/10.1007/978-0-387-09661-2
Format: Electronic Resources

Lean Business Systems and Beyond

2024-06-01T14:40:14Z

by Koch, Tomasz. editor.
http://dx.doi.org/10.1007/978-0-387-77249-3
Format: Electronic Resources

Distributed Computing 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

2024-06-01T14:40:14Z

by Taubenfeld, Gadi. editor.
http://dx.doi.org/10.1007/978-3-540-87779-0
Format: Electronic Resources

Architecting Dependable Systems V

2024-06-01T14:40:14Z

by Lemos, Rogério. editor.
http://dx.doi.org/10.1007/978-3-540-85571-2
Format: Electronic Resources

The Testing Network An Integral Approach to Test Activities in Large Software Projects

2024-06-01T14:40:14Z

by Henry, Pierre. author.
http://dx.doi.org/10.1007/978-3-540-78504-0
Format: Electronic Resources

Architecture of Computing Systems – ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings

2024-06-01T14:40:14Z

by Brinkschulte, Uwe. editor.
http://dx.doi.org/10.1007/978-3-540-78153-0
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers

2024-06-01T14:40:14Z

by Frachtenberg, Eitan. editor.
http://dx.doi.org/10.1007/978-3-540-78699-3
Format: Electronic Resources

Secure Data Management 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings

2024-06-01T14:40:14Z

by Jonker, Willem. editor.
http://dx.doi.org/10.1007/978-3-540-85259-9
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

2024-06-01T14:40:14Z

by Suzuki, Kenji. editor.
http://dx.doi.org/10.1007/978-3-540-68855-6
Format: Electronic Resources

Dependability Metrics Advanced Lectures

2024-06-01T14:40:14Z

by Eusgeld, Irene. editor.
http://dx.doi.org/10.1007/978-3-540-68947-8
Format: Electronic Resources

Ajax in Oracle JDeveloper

2024-06-01T14:40:14Z

by Vohra, Deepak. author.
http://dx.doi.org/10.1007/978-3-540-77596-6
Format: Electronic Resources

Web Component Development with Zope 3

2024-06-01T14:40:14Z

by Weitershausen, Philipp. author.
http://dx.doi.org/10.1007/978-3-540-76448-9
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

2024-06-01T14:40:14Z

by Kleine Büning, Hans. editor.
http://dx.doi.org/10.1007/978-3-540-79719-7
Format: Electronic Resources

Modelling, Computation and Optimization in Information Systems and Management Sciences Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008. Proceedings

2024-06-01T14:40:14Z

by Le Thi, Hoai An. editor.
http://dx.doi.org/10.1007/978-3-540-87477-5
Format: Electronic Resources

Extreme Man-Made and Natural Hazards in Dynamics of Structures

2024-06-01T14:40:14Z

by Ibrahimbegovic, Adnan. editor.
http://dx.doi.org/10.1007/978-1-4020-5656-7
Format: Electronic Resources

Distributed and Parallel Systems From Cluster to Grid Computing

2024-06-01T14:40:14Z

by Kacsuk, Péter. editor.
http://dx.doi.org/10.1007/978-0-387-69858-8
Format: Electronic Resources

Software Verification and Validation An Engineering and Scientific Approach

2024-06-01T14:40:14Z

by Fisher, Marcus S. author.
http://dx.doi.org/10.1007/978-0-387-47939-2
Format: Electronic Resources

Beginning Fedora From Novice to Professional

2024-06-01T14:40:14Z

by Sharma, Shashank. author.
http://dx.doi.org/10.1007/978-1-4302-0297-4
Format: Electronic Resources

Grid Computing Security

2024-06-01T14:40:14Z

by Chakrabarti, Anirban. author.
http://dx.doi.org/10.1007/978-3-540-44493-0
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

2024-06-01T14:40:14Z

by Marques-Silva, João. editor.
http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Electronic Resources

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-06-01T14:40:14Z

by Bonsangue, Marcello M. editor.
http://dx.doi.org/10.1007/978-3-540-72952-5
Format: Electronic Resources

Advances in Information and Computer Security Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007. Proceedings

2024-06-01T14:40:14Z

by Miyaji, Atsuko. editor.
http://dx.doi.org/10.1007/978-3-540-75651-4
Format: Electronic Resources

Self-Organizing Systems Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007. Proceedings

2024-06-01T14:40:14Z

by Hutchison, David. editor.
http://dx.doi.org/10.1007/978-3-540-74917-2
Format: Electronic Resources

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

2024-06-01T14:40:14Z

by Kleijn, Jetty. editor.
http://dx.doi.org/10.1007/978-3-540-73094-1
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

2024-06-01T14:40:14Z

by Frachtenberg, Eitan. editor.
http://dx.doi.org/10.1007/978-3-540-71035-6
Format: Electronic Resources

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings

2024-06-01T14:40:14Z

by Lee, Yann-Hang. editor.
http://dx.doi.org/10.1007/978-3-540-72685-2
Format: Electronic Resources

Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings

2024-06-01T14:40:14Z

by Tovar, Eduardo. editor.
http://dx.doi.org/10.1007/978-3-540-77096-1
Format: Electronic Resources

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings

2024-06-01T14:40:14Z

by Choi, Lynn. editor.
http://dx.doi.org/10.1007/978-3-540-74309-5
Format: Electronic Resources

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

2024-06-01T14:40:14Z

by Shao, Zhong. editor.
http://dx.doi.org/10.1007/978-3-540-76637-7
Format: Electronic Resources

Distributed Computing in Sensor Systems Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings

2024-06-01T14:40:14Z

by Aspnes, James. editor.
http://dx.doi.org/10.1007/978-3-540-73090-3
Format: Electronic Resources

Ruby on Rails for PHP and Java Developers

2024-06-01T14:40:14Z

by Vohra, Deepak. author.
http://dx.doi.org/10.1007/978-3-540-73145-0
Format: Electronic Resources

Formal Aspects in Security and Trust Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers

2024-06-01T14:40:14Z

by Dimitrakos, Theo. editor.
http://dx.doi.org/10.1007/978-3-540-75227-1
Format: Electronic Resources

Secure Data Management 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings

2024-06-01T14:40:14Z

by Jonker, Willem. editor.
http://dx.doi.org/10.1007/978-3-540-75248-6
Format: Electronic Resources

Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings

2024-06-01T14:40:14Z

by Cerqueira, Renato. editor.
http://dx.doi.org/10.1007/978-3-540-76778-7
Format: Electronic Resources

Workflows for e-Science Scientific Workflows for Grids

2024-06-01T14:40:14Z

by Taylor, Ian J. editor.
http://dx.doi.org/10.1007/978-1-84628-757-2
Format: Electronic Resources

Distributed Services with OpenAFS for Enterprise and Education

2024-06-01T14:40:14Z

by Milicchio, Franco. author.
http://dx.doi.org/10.1007/978-3-540-36634-8
Format: Electronic Resources

Web Component Development with Zope 3

2024-06-01T14:40:14Z

by Weitershausen, Philipp. author.
http://dx.doi.org/10.1007/978-3-540-33808-6
Format: Electronic Resources

Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

2024-06-01T14:40:14Z

by Shen, Weiming. editor.
http://dx.doi.org/10.1007/978-3-540-72863-4
Format: Electronic Resources

Information Security 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings

2024-06-01T14:40:14Z

by Garay, Juan A. editor.
http://dx.doi.org/10.1007/978-3-540-75496-1
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

2024-06-01T14:40:14Z

by Paillier, Pascal. editor.
http://dx.doi.org/10.1007/978-3-540-74735-2
Format: Electronic Resources

Parallel and Distributed Processing and Applications 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings

2024-06-01T14:40:14Z

by Stojmenovic, Ivan. editor.
http://dx.doi.org/10.1007/978-3-540-74742-0
Format: Electronic Resources

Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings

2024-06-01T14:40:14Z

by Luo, Yuhua. editor.
http://dx.doi.org/10.1007/978-3-540-74780-2
Format: Electronic Resources

Recent Advances in Intrusion Detection 10th International Symposium, RAID 2007, Gold Goast, Australia, September 5-7, 2007. Proceedings

2024-06-01T14:40:14Z

by Kruegel, Christopher. editor.
http://dx.doi.org/10.1007/978-3-540-74320-0
Format: Electronic Resources

Ambient Intelligence European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007. Proceedings

2024-06-01T14:40:14Z

by Schiele, Bernt. editor.
http://dx.doi.org/10.1007/978-3-540-76652-0
Format: Electronic Resources

Introduction to Operating System Design and Implementation The OSP 2 Approach

2024-06-01T14:40:14Z

by Kifer, Michael. author.
http://dx.doi.org/10.1007/1-84628-843-6
Format: Electronic Resources

Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings

2024-06-01T14:40:14Z

by Lukowicz, Paul. editor.
http://dx.doi.org/10.1007/978-3-540-71270-1
Format: Electronic Resources

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2024-06-01T14:40:14Z

by Prodan, Radu. author.
http://dx.doi.org/10.1007/978-3-540-69262-1
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

2024-06-01T14:40:14Z

by Derrick, John. editor.
http://dx.doi.org/10.1007/978-3-540-73196-2
Format: Electronic Resources

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-06-01T14:40:14Z

by Indulska, Jadwiga. editor.
http://dx.doi.org/10.1007/978-3-540-72883-2
Format: Electronic Resources

Network and Parallel Computing IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007. Proceedings

2024-06-01T14:40:14Z

by Li, Keqiu. editor.
http://dx.doi.org/10.1007/978-3-540-74784-0
Format: Electronic Resources

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

2024-06-01T14:40:14Z

by Boer, Frank S. editor.
http://dx.doi.org/10.1007/978-3-540-74792-5
Format: Electronic Resources

Architecting Dependable Systems IV

2024-06-01T14:40:14Z

by Lemos, Rogério. editor.
http://dx.doi.org/10.1007/978-3-540-74035-3
Format: Electronic Resources

Active Networks IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers

2024-06-01T14:40:14Z

by Minden, Gary J. editor.
http://dx.doi.org/10.1007/978-3-540-71500-9
Format: Electronic Resources

Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-06-01T14:40:14Z

by Brueckner, Sven A. editor.
http://dx.doi.org/10.1007/978-3-540-69868-5
Format: Electronic Resources

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings

2024-06-01T14:40:14Z

by Cérin, Christophe. editor.
http://dx.doi.org/10.1007/978-3-540-72360-8
Format: Electronic Resources

Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures

2024-06-01T14:40:14Z

by Aldini, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-540-74810-6
Format: Electronic Resources

Computer Security – ESORICS 2007 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 — 26, 2007. Proceedings

2024-06-01T14:40:14Z

by Biskup, Joachim. editor.
http://dx.doi.org/10.1007/978-3-540-74835-9
Format: Electronic Resources

Distributed Computing 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings

2024-06-01T14:40:14Z

by Pelc, Andrzej. editor.
http://dx.doi.org/10.1007/978-3-540-75142-7
Format: Electronic Resources

Responsibility and Dependable Systems

2024-06-01T14:40:14Z

by Dewsbury, Guy. editor.
http://dx.doi.org/10.1007/978-1-84628-626-1
Format: Electronic Resources

Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Services

2024-06-01T14:40:14Z

by Gunther, Neil J. author.
http://dx.doi.org/10.1007/978-3-540-31010-5
Format: Electronic Resources

Formal Models of Operating System Kernels

2024-06-01T14:40:14Z

by Craig, Iain D. author.
http://dx.doi.org/10.1007/978-1-84628-718-3
Format: Electronic Resources

Getting StartED with Mac OS X Leopard

2024-06-01T14:40:14Z

by Williams, Justin. author.
http://dx.doi.org/10.1007/978-1-4302-0519-7
Format: Electronic Resources

Reliability, Life Testing and the Prediction of Service Lives For Engineers and Scientists

2024-06-01T14:40:14Z

by Saunders, Sam C. author.
http://dx.doi.org/10.1007/978-0-387-48538-6
Format: Electronic Resources

Enterprise Service Oriented Architectures Concepts, Challenges, Recommendations

2024-06-01T14:40:14Z

by McGovern, James. author.
http://dx.doi.org/10.1007/1-4020-3705-8
Format: Electronic Resources

Embedded Systems – Modeling, Technology, and Applications

2024-06-01T14:40:14Z

by Hommel, Günter. editor.
http://dx.doi.org/10.1007/1-4020-4933-1
Format: Electronic Resources

Distributed Multimedia Retrieval Strategies for Large Scale Networked Systems

2024-06-01T14:40:14Z

by Veeravalli, Bharadwaj. author.
http://dx.doi.org/10.1007/978-0-387-29675-3
Format: Electronic Resources

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy

2024-06-01T14:40:14Z

by Damiani, Ernesto. editor.
http://dx.doi.org/10.1007/0-387-34226-5
Format: Electronic Resources

Trust in Technology: A Socio-Technical Perspective

2024-06-01T14:40:14Z

by Clarke, Karen. editor.
http://dx.doi.org/10.1007/1-4020-4258-2
Format: Electronic Resources

Access Control Systems Security, Identity Management and Trust Models

2024-06-01T14:40:14Z

by Benantar, Messaoud. author.
http://dx.doi.org/10.1007/0-387-27716-1
Format: Electronic Resources

Pro Oracle Database 10g RAC on Linux Installation, Administration, and Performance

2024-06-01T14:40:14Z

by Dyke, Julian. author.
http://dx.doi.org/10.1007/978-1-4302-0214-1
Format: Electronic Resources

Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006. Proceedings

2024-06-01T14:40:14Z

by Dolev, Shlomi. editor.
http://dx.doi.org/10.1007/11864219
Format: Electronic Resources

Large Scale Management of Distributed Systems 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006. Proceedings

2024-06-01T14:40:14Z

by State, Radu. editor.
http://dx.doi.org/10.1007/11907466
Format: Electronic Resources

Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2024-06-01T14:40:14Z

by Eliassen, Frank. editor.
http://dx.doi.org/10.1007/11773887
Format: Electronic Resources

Rigorous Development of Complex Fault-Tolerant Systems

2024-06-01T14:40:14Z

by Butler, Michael. editor.
http://dx.doi.org/10.1007/11916246
Format: Electronic Resources

Distributed Computing in Sensor Systems Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006. Proceedings

2024-06-01T14:40:14Z

by Gibbons, Phillip B. editor.
http://dx.doi.org/10.1007/11776178
Format: Electronic Resources

UbiComp 2006: Ubiquitous Computing 8th International Conference, UbiComp 2006 Orange County, CA, USA, September 17-21, 2006 Proceedings

2024-06-01T14:40:14Z

by Dourish, Paul. editor.
http://dx.doi.org/10.1007/11853565
Format: Electronic Resources

Recent Advances in Intrusion Detection 9th International Symposium, RAID 2006 Hamburg, Germany, September 20-22, 2006 Proceedings

2024-06-01T14:40:14Z

by Zamboni, Diego. editor.
http://dx.doi.org/10.1007/11856214
Format: Electronic Resources

Digital Watermarking 5th International Workshop, IWDW 2006, Jeju Island, Korea, November 8-10, 2006. Proceedings

2024-06-01T14:40:14Z

by Shi, Yun Qing. editor.
http://dx.doi.org/10.1007/11922841
Format: Electronic Resources

Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings

2024-06-01T14:40:14Z

by Luo, Yuhua. editor.
http://dx.doi.org/10.1007/11863649
Format: Electronic Resources

Computer Security – ESORICS 2006 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006. Proceedings

2024-06-01T14:40:14Z

by Gollmann, Dieter. editor.
http://dx.doi.org/10.1007/11863908
Format: Electronic Resources

Information Networking. Advances in Data Communications and Wireless Networks International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers

2024-06-01T14:40:14Z

by Chong, Ilyoung. editor.
http://dx.doi.org/10.1007/11919568
Format: Electronic Resources

Middleware 2006 ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, 2006. Proceedings

2024-06-01T14:40:14Z

by Steen, Maarten. editor.
http://dx.doi.org/10.1007/11925071
Format: Electronic Resources

Principles of Distributed Systems 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers

2024-06-01T14:40:14Z

by Anderson, James H. editor.
http://dx.doi.org/10.1007/11795490
Format: Electronic Resources

Introduction to Reliable Distributed Programming

2024-06-01T14:40:14Z

by Guerraoui, Rachid. author.
http://dx.doi.org/10.1007/3-540-28846-5
Format: Electronic Resources

Information Security Practice and Experience Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006. Proceedings

2024-06-01T14:40:14Z

by Chen, Kefei. editor.
http://dx.doi.org/10.1007/11689522
Format: Electronic Resources

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings

2024-06-01T14:40:14Z

by Clark, John A. editor.
http://dx.doi.org/10.1007/11734666
Format: Electronic Resources

Information Security Applications 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers

2024-06-01T14:40:14Z

by Song, Joo-Seok. editor.
http://dx.doi.org/10.1007/11604938
Format: Electronic Resources

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2024-06-01T14:40:14Z

by Gorrieri, Roberto. editor.
http://dx.doi.org/10.1007/11768869
Format: Electronic Resources

Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

2024-06-01T14:40:14Z

by Shen, Wei-ming. editor.
http://dx.doi.org/10.1007/11686699
Format: Electronic Resources

Emerging Trends in Information and Communication Security International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006. Proceedings

2024-06-01T14:40:14Z

by Müller, Günter. editor.
http://dx.doi.org/10.1007/11766155
Format: Electronic Resources

Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings

2024-06-01T14:40:14Z

by Chung, Yeh-Ching. editor.
http://dx.doi.org/10.1007/11745693
Format: Electronic Resources

Digital Rights Management. Technologies, Issues, Challenges and Systems First International Conference, DRMTICS 2005, Sydney, Australia, October 31 - November 2, 2005. Revised Selected Papers

2024-06-01T14:40:14Z

by Safavi-Naini, Reihaneh. editor.
http://dx.doi.org/10.1007/11787952
Format: Electronic Resources

Formal Aspects in Security and Trust Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers

2024-06-01T14:40:14Z

by Dimitrakos, Theo. editor.
http://dx.doi.org/10.1007/11679219
Format: Electronic Resources

Topics in Cryptology – CT-RSA 2006 The Cryptographers’ Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005. Proceedings

2024-06-01T14:40:14Z

by Pointcheval, David. editor.
http://dx.doi.org/10.1007/11605805
Format: Electronic Resources

Distributed Event-Based Systems

2024-06-01T14:40:14Z

by Mühl, Gero. author.
http://dx.doi.org/10.1007/3-540-32653-7
Format: Electronic Resources

Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings

2024-06-01T14:40:14Z

by Halevi, Shai. editor.
http://dx.doi.org/10.1007/11681878
Format: Electronic Resources

Recent Advances in Intrusion Detection 8th International Symposium, RAID 2005, Seattle, WA, USA, September 7-9, 2005. Revised Papers

2024-06-01T14:40:14Z

by Valdes, Alfonso. editor.
http://dx.doi.org/10.1007/11663812
Format: Electronic Resources

Pervasive Computing 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings

2024-06-01T14:40:14Z

by Fishkin, Kenneth P. editor.
http://dx.doi.org/10.1007/11748625
Format: Electronic Resources

Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers

2024-06-01T14:40:14Z

by Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/11666806
Format: Electronic Resources

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings

2024-06-01T14:40:14Z

by Grass, Werner. editor.
http://dx.doi.org/10.1007/11682127
Format: Electronic Resources

Selected Areas in Cryptography 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers

2024-06-01T14:40:14Z

by Preneel, Bart. editor.
http://dx.doi.org/10.1007/11693383
Format: Electronic Resources

Privacy Enhancing Technologies 5th International Workshop, PET 2005, Cavtat, Croatia, May 30-June 1, 2005, Revised Selected Papers

2024-06-01T14:40:14Z

by Danezis, George. editor.
http://dx.doi.org/10.1007/11767831
Format: Electronic Resources

Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

2024-06-01T14:40:14Z

by Dunne, Steve. editor.
http://dx.doi.org/10.1007/11768173
Format: Electronic Resources

Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

2024-06-01T14:40:14Z

by Boer, Frank S. editor.
http://dx.doi.org/10.1007/11804192
Format: Electronic Resources

Data and Applications Security XX 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings

2024-06-01T14:40:14Z

by Damiani, Ernesto. editor.
http://dx.doi.org/10.1007/11805588
Format: Electronic Resources

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program

2024-06-01T14:40:14Z

by Kohlas, Jürg. editor.
http://dx.doi.org/10.1007/11808107
Format: Electronic Resources

Wired/Wireless Internet Communications 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006. Proceedings

2024-06-01T14:40:14Z

by Braun, Torsten. editor.
http://dx.doi.org/10.1007/11750390
Format: Electronic Resources

Autonomic and Trusted Computing Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings

2024-06-01T14:40:14Z

by Yang, Laurence T. editor.
http://dx.doi.org/10.1007/11839569
Format: Electronic Resources

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

2024-06-01T14:40:14Z

by Biere, Armin. editor.
http://dx.doi.org/10.1007/11814948
Format: Electronic Resources

Advances in Information and Computer Security First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006. Proceedings

2024-06-01T14:40:14Z

by Yoshiura, Hiroshi. editor.
http://dx.doi.org/10.1007/11908739
Format: Electronic Resources

Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings

2024-06-01T14:40:14Z

by Shvartsman, Mariam Momenzadeh Alexander A. editor.
http://dx.doi.org/10.1007/11945529
Format: Electronic Resources

Parallel and Distributed Processing and Applications 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings

2024-06-01T14:40:14Z

by Guo, Minyi. editor.
http://dx.doi.org/10.1007/11946441
Format: Electronic Resources

Security and Cryptography for Networks 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006. Proceedings

2024-06-01T14:40:14Z

by Prisco, Roberto. editor.
http://dx.doi.org/10.1007/11832072
Format: Electronic Resources

Information Security 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings

2024-06-01T14:40:14Z

by Katsikas, Sokratis K. editor.
http://dx.doi.org/10.1007/11836810
Format: Electronic Resources

Advances in Cryptology - EUROCRYPT 2006 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedings

2024-06-01T14:40:14Z

by Vaudenay, Serge. editor.
http://dx.doi.org/10.1007/11761679
Format: Electronic Resources

High Availability and Disaster Recovery Concepts, Design, Implementation

2024-06-01T14:40:14Z

by Schmidt, Klaus. author.
http://dx.doi.org/10.1007/3-540-34582-5
Format: Electronic Resources

Self-Organizing Systems First 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

2024-06-01T14:40:14Z

by Meer, Hermann. editor.
http://dx.doi.org/10.1007/11822035
Format: Electronic Resources

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings

2024-06-01T14:40:14Z

by Jesshope, Chris. editor.
http://dx.doi.org/10.1007/11859802
Format: Electronic Resources

Security Protocols 12th International Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers

2024-06-01T14:40:14Z

by Christianson, Bruce. editor.
http://dx.doi.org/10.1007/11861386
Format: Electronic Resources

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings

2024-06-01T14:40:14Z

by Lightfoot, David E. editor.
http://dx.doi.org/10.1007/11860990
Format: Electronic Resources

Transactions on Data Hiding and Multimedia Security I

2024-06-01T14:40:14Z

by Shi, Yun Q. editor.
http://dx.doi.org/10.1007/11926214
Format: Electronic Resources

Fault Diagnosis and Tolerance in Cryptography Third International Workshop, FDTC 2006, Yokohama, Japan, October 10, 2006. Proceedings

2024-06-01T14:40:14Z

by Breveglieri, Luca. editor.
http://dx.doi.org/10.1007/11889700
Format: Electronic Resources

Ubiquitous Intelligence and Computing Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006. Proceedings

2024-06-01T14:40:14Z

by Ma, Jianhua. editor.
http://dx.doi.org/10.1007/11833529
Format: Electronic Resources

Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

2024-06-01T14:40:14Z

by Brueckner, Sven A. editor.
http://dx.doi.org/10.1007/11734697
Format: Electronic Resources

Information Security and Cryptology - ICISC 2005 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers

2024-06-01T14:40:14Z

by Won, Dong Ho. editor.
http://dx.doi.org/10.1007/11734727
Format: Electronic Resources

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

2024-06-01T14:40:14Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/11741060
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings

2024-06-01T14:40:14Z

by Goubin, Louis. editor.
http://dx.doi.org/10.1007/11894063
Format: Electronic Resources

Secure Data Management Third VLDB Workshop, SDM 2006, Seoul, Korea, September 10-11, 2006. Proceedings

2024-06-01T14:40:14Z

by Jonker, Willem. editor.
http://dx.doi.org/10.1007/11844662
Format: Electronic Resources

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

2024-06-01T14:40:14Z

by Donatelli, Susanna. editor.
http://dx.doi.org/10.1007/11767589
Format: Electronic Resources

Applied Cryptography and Network Security 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006. Proceedings

2024-06-01T14:40:14Z

by Zhou, Jianying. editor.
http://dx.doi.org/10.1007/11767480
Format: Electronic Resources

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

2024-06-01T14:40:14Z

by Kobayashi, Naoki. editor.
http://dx.doi.org/10.1007/11924661
Format: Electronic Resources

Advances in Cryptology - CRYPTO 2006 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006. Proceedings

2024-06-01T14:40:14Z

by Dwork, Cynthia. editor.
http://dx.doi.org/10.1007/11818175
Format: Electronic Resources

Advanced Topics in Exception Handling Techniques

2024-06-01T14:40:14Z

by Dony, Christophe. editor.
http://dx.doi.org/10.1007/11818502
Format: Electronic Resources

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

2024-06-01T14:40:14Z

by Najm, Elie. editor.
http://dx.doi.org/10.1007/11888116
Format: Electronic Resources

Financial Cryptography and Data Security 10th International Conference, FC 2006 Anguilla, British West Indies, February 27-March 2, 2006 Revised Selected Papers

2024-06-01T14:40:14Z

by Crescenzo, Giovanni. editor.
http://dx.doi.org/10.1007/11889663
Format: Electronic Resources

Provenance and Annotation of Data International Provenance and Annotation Workshop, IPAW 2006, Chicago, IL, USA, May 3-5, 2006, Revised Selected Papers

2024-06-01T14:40:14Z

by Moreau, Luc. editor.
http://dx.doi.org/10.1007/11890850
Format: Electronic Resources

Trust and Privacy in Digital Business Third International Conference, TrustBus 2006, Kraków, Poland, September 4-8, 2006. Proceedings

2024-06-01T14:40:14Z

by Fischer-Hübner, Simone. editor.
http://dx.doi.org/10.1007/11824633
Format: Electronic Resources

Information Security and Privacy 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006. Proceedings

2024-06-01T14:40:14Z

by Batten, Lynn Margaret. editor.
http://dx.doi.org/10.1007/11780656
Format: Electronic Resources

Computational Intelligence in Fault Diagnosis

2024-06-01T14:40:14Z

by Palade, Vasile. editor.
http://dx.doi.org/10.1007/978-1-84628-631-5
Format: Electronic Resources

Virtual Machines

2024-06-01T14:40:14Z

by Craig, Iain D. author.
http://dx.doi.org/10.1007/978-1-84628-246-1
Format: Electronic Resources

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

2024-06-01T14:40:14Z

by Reussner, Ralf H. editor.
http://dx.doi.org/10.1007/11786160
Format: Electronic Resources

Detection of Intrusions and Malware & Vulnerability Assessment Third International Conference, DIMVA 2006, Berlin, Germany, July 13-14, 2006. Proceedings

2024-06-01T14:40:14Z

by Büschkes, Roland. editor.
http://dx.doi.org/10.1007/11790754
Format: Electronic Resources

Smart Card Research and Advanced Applications 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006. Proceedings

2024-06-01T14:40:14Z

by Domingo-Ferrer, Josep. editor.
http://dx.doi.org/10.1007/11733447
Format: Electronic Resources

Pro Windows Small Business Server 2003

2024-06-01T14:40:14Z

by Campbell, Tony. author.
http://dx.doi.org/10.1007/978-1-4302-0186-1
Format: Electronic Resources

Formal Aspects in Security and Trust IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France

2024-06-01T14:40:14Z

by Dimitrakos, Theo. editor.
http://dx.doi.org/10.1007/b104303
Format: Electronic Resources

Reliable Distributed Systems Technologies, Web Services, and Applications

2024-06-01T14:40:14Z

by Birman, Kenneth P. author.
http://dx.doi.org/10.1007/0-387-27601-7
Format: Electronic Resources

New Horizons of Parallel and Distributed Computing

2024-06-01T14:40:14Z

by Guo, Minyi. editor.
http://dx.doi.org/10.1007/0-387-28967-4
Format: Electronic Resources

Soft Real-Time Systems Predictability vs. Efficiency

2024-06-01T14:40:14Z

by Buttazzo, Giorgio. author.
http://dx.doi.org/10.1007/0-387-28147-9
Format: Electronic Resources

From Specification to Embedded Systems Application

2024-06-01T14:40:14Z

by Rettberg, Achim. editor.
http://dx.doi.org/10.1007/11523277
Format: Electronic Resources

Distributed and Parallel Systems Cluster and Grid Computing

2024-06-01T14:40:14Z

by Juhász, Zoltán. editor.
http://dx.doi.org/10.1007/b100604
Format: Electronic Resources

Distributed Computing in Sensor Systems First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30 – July 1, 2005. Proceedings

2024-06-01T14:40:14Z

by Prasanna, Viktor K. editor.
http://dx.doi.org/10.1007/b137498
Format: Electronic Resources

Progress in Cryptology - INDOCRYPT 2004 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004. Proceedings

2024-06-01T14:40:14Z

by Canteaut, Anne. editor.
http://dx.doi.org/10.1007/b104579
Format: Electronic Resources

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

2024-06-01T14:40:14Z

by Nicola, Rocco. editor.
http://dx.doi.org/10.1007/11580850
Format: Electronic Resources

Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers

2024-06-01T14:40:14Z

by Falsafi, Babak. editor.
http://dx.doi.org/10.1007/11574859
Format: Electronic Resources

Theory of Cryptography Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005. Proceedings

2024-06-01T14:40:14Z

by Kilian, Joe. editor.
http://dx.doi.org/10.1007/b106171
Format: Electronic Resources

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings

2024-06-01T14:40:14Z

by Beigl, Michael. editor.
http://dx.doi.org/10.1007/b106632
Format: Electronic Resources

Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

2024-06-01T14:40:14Z

by Luo, Yuhua. editor.
http://dx.doi.org/10.1007/11555223
Format: Electronic Resources

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

2024-06-01T14:40:14Z

by Schönwälder, Jürgen. editor.
http://dx.doi.org/10.1007/11568285
Format: Electronic Resources

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings

2024-06-01T14:40:14Z

by Jin, Hai. editor.
http://dx.doi.org/10.1007/11577188
Format: Electronic Resources

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

2024-06-01T14:40:14Z

by Yi, Kwangkeun. editor.
http://dx.doi.org/10.1007/11575467
Format: Electronic Resources

Security in Communication Networks 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers

2024-06-01T14:40:14Z

by Blundo, Carlo. editor.
http://dx.doi.org/10.1007/b105083
Format: Electronic Resources

Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers

2024-06-01T14:40:14Z

by Konagaya, Akihiko. editor.
http://dx.doi.org/10.1007/b106923
Format: Electronic Resources

Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

2024-06-01T14:40:14Z

by Priami, Corrado. editor.
http://dx.doi.org/10.1007/b103251
Format: Electronic Resources

Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings

2024-06-01T14:40:14Z

by Maziero, Carlos Alberto. editor.
http://dx.doi.org/10.1007/11572329
Format: Electronic Resources

Information Security Applications 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers

2024-06-01T14:40:14Z

by Lim, Chae Hoon. editor.
http://dx.doi.org/10.1007/b103174
Format: Electronic Resources

Information and Communications Security 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005. Proceedings

2024-06-01T14:40:14Z

by Qing, Sihan. editor.
http://dx.doi.org/10.1007/11602897
Format: Electronic Resources

Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings

2024-06-01T14:40:14Z

by Pan, Yi. editor.
http://dx.doi.org/10.1007/11576235
Format: Electronic Resources

Wired/Wireless Internet Communications Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005. Proceedings

2024-06-01T14:40:14Z

by Braun, Torsten. editor.
http://dx.doi.org/10.1007/b136247
Format: Electronic Resources

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

2024-06-01T14:40:14Z

by Ramos, Félix F. editor.
http://dx.doi.org/10.1007/11533962
Format: Electronic Resources

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2024-06-01T14:40:14Z

by Steffen, Martin. editor.
http://dx.doi.org/10.1007/b136996
Format: Electronic Resources

Financial Cryptography and Data Security 9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 – March 3, 2005. Revised Papers

2024-06-01T14:40:14Z

by Patrick, Andrew S. editor.
http://dx.doi.org/10.1007/b137875
Format: Electronic Resources

Information Security and Privacy 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005. Proceedings

2024-06-01T14:40:14Z

by Boyd, Colin. editor.
http://dx.doi.org/10.1007/b137750
Format: Electronic Resources

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

2024-06-01T14:40:14Z

by Barthe, Gilles. editor.
http://dx.doi.org/10.1007/b105030
Format: Electronic Resources

Component-Based Software Development for Embedded Systems An Overview of Current Research Trends

2024-06-01T14:40:14Z

by Atkinson, Colin. editor.
http://dx.doi.org/10.1007/11591962
Format: Electronic Resources

Topics in Cryptology – CT-RSA 2005 The Cryptographers’ Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005. Proceedings

2024-06-01T14:40:14Z

by Menezes, Alfred. editor.
http://dx.doi.org/10.1007/b105222
Format: Electronic Resources

Architecting Dependable Systems III

2024-06-01T14:40:14Z

by Lemos, Rogério. editor.
http://dx.doi.org/10.1007/11556169
Format: Electronic Resources

Privacy Enhancing Technologies 4th International Workshop, PET 2004, Toronto, Canada, May 26-28, 2004. Revised Selected Papers

2024-06-01T14:40:14Z

by Martin, David. editor.
http://dx.doi.org/10.1007/b136164
Format: Electronic Resources

Information Security Practice and Experience First International Conference, ISPEC 2005, Singapore, April 11-14, 2005. Proceedings

2024-06-01T14:40:14Z

by Deng, Robert H. editor.
http://dx.doi.org/10.1007/b107167
Format: Electronic Resources

Computer Security – ESORICS 2005 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings

2024-06-01T14:40:14Z

by Vimercati, Sabrina de Capitani. editor.
http://dx.doi.org/10.1007/11555827
Format: Electronic Resources

Information Security 8th International Conference, ISC 2005, Singapore, September 20-23, 2005. Proceedings

2024-06-01T14:40:14Z

by Zhou, Jianying. editor.
http://dx.doi.org/10.1007/11556992
Format: Electronic Resources

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers

2024-06-01T14:40:14Z

by Wu, Zhaohui. editor.
http://dx.doi.org/10.1007/11535409
Format: Electronic Resources

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings

2024-06-01T14:40:14Z

by Srikanthan, Thambipillai. editor.
http://dx.doi.org/10.1007/11572961
Format: Electronic Resources

Grid and Cooperative Computing - GCC 2005 4th International Conference, Beijing, China, November 30 - December 3, 2005. Proceedings

2024-06-01T14:40:14Z

by Zhuge, Hai. editor.
http://dx.doi.org/10.1007/11590354
Format: Electronic Resources

Progress in Cryptology - INDOCRYPT 2005 6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005. Proceedings

2024-06-01T14:40:14Z

by Maitra, Subhamoy. editor.
http://dx.doi.org/10.1007/11596219
Format: Electronic Resources

Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings

2024-06-01T14:40:14Z

by Yang, Laurence T. editor.
http://dx.doi.org/10.1007/11599555
Format: Electronic Resources

Cryptology and Network Security 4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005. Proceedings

2024-06-01T14:40:14Z

by Desmedt, Yvo G. editor.
http://dx.doi.org/10.1007/11599371
Format: Electronic Resources

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

2024-06-01T14:40:14Z

by Ciardo, Gianfranco. editor.
http://dx.doi.org/10.1007/b136988
Format: Electronic Resources

Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures

2024-06-01T14:40:14Z

by Aldini, Alessandro. editor.
http://dx.doi.org/10.1007/11554578
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2005 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005. Proceedings

2024-06-01T14:40:14Z

by Shoup, Victor. editor.
http://dx.doi.org/10.1007/11535218
Format: Electronic Resources

Information Networking. Convergence in Broadband and Mobile Networking International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005. Proceedings

2024-06-01T14:40:14Z

by Kim, Cheeha. editor.
http://dx.doi.org/10.1007/b105584
Format: Electronic Resources

Embedded Systems Design The ARTIST Roadmap for Research and Development

2024-06-01T14:40:14Z

by Bouyssounouse, Bruno. author.
http://dx.doi.org/10.1007/b106761
Format: Electronic Resources

Secure Data Management Second VLDB Workshop, SDM 2005, Trondheim, Norway, September 2-3, 2005. Proceedings

2024-06-01T14:40:14Z

by Jonker, Willem. editor.
http://dx.doi.org/10.1007/11552338
Format: 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 24-28, 2005. Proceedings

2024-06-01T14:40:14Z

by Gorodetsky, Vladimir. editor.
http://dx.doi.org/10.1007/11560326
Format: Electronic Resources

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

2024-06-01T14:40:14Z

by Paliouras, Vassilis. editor.
http://dx.doi.org/10.1007/11556930
Format: Electronic Resources

Engineering Self-Organising Systems Methodologies and Applications

2024-06-01T14:40:14Z

by Brueckner, Sven A. editor.
http://dx.doi.org/10.1007/b136984
Format: Electronic Resources

Peer-to-Peer Systems IV 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers

2024-06-01T14:40:14Z

by Castro, Miguel. editor.
http://dx.doi.org/10.1007/11558989
Format: Electronic Resources

Digital Watermarking Third International Workshop, IWDW 2004, Seoul, South Korea, October 30 - November 1, 2004, Revised Selected Papers

2024-06-01T14:40:14Z

by Cox, Ingemar J. editor.
http://dx.doi.org/10.1007/b106346
Format: Electronic Resources

Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings

2024-06-01T14:40:14Z

by Hutter, Dieter. editor.
http://dx.doi.org/10.1007/b135497
Format: Electronic Resources

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

2024-06-01T14:40:14Z

by Rust, Heinrich. author.
http://dx.doi.org/10.1007/978-3-540-32008-1
Format: Electronic Resources

Scientific Applications of Grid Computing First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers

2024-06-01T14:40:14Z

by Herrero, Pilar. editor.
http://dx.doi.org/10.1007/b136149
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers

2024-06-01T14:40:14Z

by Feitelson, Dror G. editor.
http://dx.doi.org/10.1007/b107134
Format: Electronic Resources

Trust, Privacy, and Security in Digital Business Second International Conference, TrustBus 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings

2024-06-01T14:40:14Z

by Katsikas, Sokratis. editor.
http://dx.doi.org/10.1007/11537878
Format: Electronic Resources

Information Security and Cryptology First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005. Proceedings

2024-06-01T14:40:14Z

by Feng, Dengguo. editor.
http://dx.doi.org/10.1007/11599548
Format: Electronic Resources

Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings

2024-06-01T14:40:14Z

by Alonso, Gustavo. editor.
http://dx.doi.org/10.1007/11587552
Format: Electronic Resources

Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

2024-06-01T14:40:14Z

by Rao, Josyula R. editor.
http://dx.doi.org/10.1007/11545262
Format: Electronic Resources

UbiComp 2005: Ubiquitous Computing 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005. Proceedings

2024-06-01T14:40:14Z

by Beigl, Michael. editor.
http://dx.doi.org/10.1007/11551201
Format: Electronic Resources

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings

2024-06-01T14:40:14Z

by Dearle, Alan. editor.
http://dx.doi.org/10.1007/11590712
Format: Electronic Resources

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

2024-06-01T14:40:14Z

by Shen, Weiming. editor.
http://dx.doi.org/10.1007/11568421
Format: Electronic Resources

Distributed Computing 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005. Proceedings

2024-06-01T14:40:14Z

by Fraigniaud, Pierre. editor.
http://dx.doi.org/10.1007/11561927
Format: 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

2024-06-01T14:40:14Z

by Roy, Bimal. editor.
http://dx.doi.org/10.1007/11593447
Format: Electronic Resources

Information Security and Cryptology – ICISC 2004 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers

2024-06-01T14:40:14Z

by Park, Choon-sik. editor.
http://dx.doi.org/10.1007/b137120
Format: 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

2024-06-01T14:40:14Z

by Wang, Farn. editor.
http://dx.doi.org/10.1007/11562436
Format: Electronic Resources

Pervasive Computing Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005. Proceedings

2024-06-01T14:40:14Z

by Gellersen, Hans -W. editor.
http://dx.doi.org/10.1007/b136550
Format: Electronic Resources

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers

2024-06-01T14:40:14Z

by Sloot, Peter M. A. editor.
http://dx.doi.org/10.1007/b137919
Format: Electronic Resources

Information Systems Security First International Conference, ICISS 2005, Kolkata, India, December 19-21, 2005. Proceedings

2024-06-01T14:40:14Z

by Jajodia, Sushil. editor.
http://dx.doi.org/10.1007/11593980
Format: Electronic Resources

Distributed Computing – IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings

2024-06-01T14:40:14Z

by Pal, Ajit. editor.
http://dx.doi.org/10.1007/11603771
Format: Electronic Resources

Human Interactive Proofs Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005. Proceedings

2024-06-01T14:40:14Z

by Baird, Henry S. editor.
http://dx.doi.org/10.1007/b136509
Format: Electronic Resources

Analyzing Computer System Performance with Perl::PDQ

2024-06-01T14:40:14Z

by Gunther, Neil J. author.
http://dx.doi.org/10.1007/978-3-540-26860-4
Format: Electronic Resources

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

2024-06-01T14:40:14Z

by Hoos, Holger H. editor.
http://dx.doi.org/10.1007/11527695
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

2024-06-01T14:40:14Z

by Feitelson, Dror. editor.
http://dx.doi.org/10.1007/11605300
Format: Electronic Resources

Data and Applications Security XIX 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005. Proceedings

2024-06-01T14:40:14Z

by Jajodia, Sushil. editor.
http://dx.doi.org/10.1007/11535706
Format: Electronic Resources

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

2024-06-01T14:40:14Z

by Boer, Frank S. editor.
http://dx.doi.org/10.1007/11561163
Format: Electronic Resources

Distributed Computing - IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings

2024-06-01T14:40:14Z

by Sen, Arunabha. editor.
http://dx.doi.org/10.1007/b104419
Format: Electronic Resources

Selected Areas in Cryptography 11th International Workshop, SAC 2004, Waterloo, Canada, August 9-10, 2004, Revised Selected Papers

2024-06-01T14:40:14Z

by Handschuh, Helena. editor.
http://dx.doi.org/10.1007/b105103
Format: Electronic Resources