Search Results for - Narrowed by: SpringerLink (Online service) - Operating Systems.

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

2024-05-23T18:37:42Z

by Izumi, Taisuke. editor.
https://doi.org/10.1007/978-3-030-03232-6
Format: Electronic Resources

Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers

2024-05-23T18:37:42Z

by Bi, Yuanguo. editor.
https://doi.org/10.1007/978-981-13-1026-3
Format: Electronic Resources

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

2024-05-23T18:37:42Z

by Pires, Luís Ferreira. editor.
https://doi.org/10.1007/978-3-319-94764-8
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

2024-05-23T18:37:42Z

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

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-05-23T18:37:42Z

by Jarvis, Stephen. editor.
https://doi.org/10.1007/978-3-319-72971-8
Format: Electronic Resources

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

2024-05-23T18:37:42Z

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

Interrupt Handling Schemes in Operating Systems

2024-05-23T18:37:42Z

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

Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers

2024-05-23T18:37:42Z

by Lotker, Zvi. editor.
https://doi.org/10.1007/978-3-030-01325-7
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII

2024-05-23T18:37:42Z

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

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

2024-05-23T18:37:42Z

by Zhang, Feng. editor. (orcid)0000-0003-1983-7321
https://doi.org/10.1007/978-3-030-05677-3
Format: Electronic Resources

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

2024-05-23T18:37:42Z

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

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

2024-05-23T18:37:42Z

by van Hoeve, Willem-Jan. editor.
https://doi.org/10.1007/978-3-319-93031-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-05-23T18:37:42Z

by Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251
https://doi.org/10.1007/978-3-319-92408-3
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Wang, Meng. editor.
https://doi.org/10.1007/978-3-319-89719-6
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-05-23T18:37:42Z

by Heras, Dora B. editor.
https://doi.org/10.1007/978-3-319-75178-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-05-23T18:37:42Z

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

Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings

2024-05-23T18:37:42Z

by Pahl, Claus. editor.
https://doi.org/10.1007/978-3-030-03596-9
Format: Electronic Resources

System and Architecture Proceedings of CSI 2015

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Transactions on Computational Science XXXIII

2024-05-23T18:37:42Z

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-05-23T18:37:42Z

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

Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers

2024-05-23T18:37:42Z

by Ferguson, Donald. editor.
https://doi.org/10.1007/978-3-319-94959-8
Format: Electronic Resources

Systems Programming in Unix/Linux

2024-05-23T18:37:42Z

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

Embedded Operating Systems A Practical Approach

2024-05-23T18:37:42Z

by Holt, Alan. author.
https://doi.org/10.1007/978-3-319-72977-0
Format: Electronic Resources

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

2024-05-23T18:37:42Z

by Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999
https://doi.org/10.1007/978-3-319-99241-9
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency XIII

2024-05-23T18:37:42Z

by Koutny, Maciej. editor.
https://doi.org/10.1007/978-3-662-58381-4
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-05-23T18:37:42Z

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

Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2024-05-23T18:37:42Z

by Yang, Alvin. editor.
https://doi.org/10.1007/978-3-319-94472-2
Format: Electronic Resources

Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2024-05-23T18:37:42Z

by Bonomi, Silvia. editor.
https://doi.org/10.1007/978-3-319-93767-0
Format: Electronic Resources

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

2024-05-23T18:37:42Z

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

5G Wireless Systems Simulation and Evaluation Techniques

2024-05-23T18:37:42Z

by Yang, Yang. author.
https://doi.org/10.1007/978-3-319-61869-2
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXVIII

2024-05-23T18:37:42Z

by Nguyen, Ngoc Thanh. editor.
https://doi.org/10.1007/978-3-319-78301-7
Format: Electronic Resources

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

2024-05-23T18:37:42Z

by Amunts, Katrin. editor.
https://doi.org/10.1007/978-3-319-50862-7
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-05-23T18:37:42Z

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

HCNA Networking Study Guide

2024-05-23T18:37:42Z

by Huawei Technologies Co., Ltd. editor.
https://doi.org/10.1007/978-981-10-1554-0
Format: Electronic Resources

Internetware A New Software Paradigm for Internet Computing

2024-05-23T18:37:42Z

by Mei, Hong. author.
https://doi.org/10.1007/978-981-10-2546-4
Format: Electronic Resources

Transactions on Modularity and Composition I

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Wittevrongel, Sabine. editor.
https://doi.org/10.1007/978-3-319-43904-4
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Secure Transaction Protocol Analysis Models and Applications

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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-05-23T18:37:42Z

by Ramalingam, G. editor.
http://dx.doi.org/10.1007/978-3-540-89330-1
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Lean Business Systems and Beyond

2024-05-23T18:37:42Z

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

Principles of the Spin Model Checker

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Ajax in Oracle JDeveloper

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Architecting Dependable Systems V

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Distributed Embedded Systems: Design, Middleware and Resources

2024-05-23T18:37:42Z

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

E-Government Ict Professionalism and Competences Service Science

2024-05-23T18:37:42Z

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

Distributed and Parallel Systems In Focus: Desktop Grid Computing

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Taubenfeld, Gadi. editor.
http://dx.doi.org/10.1007/978-3-540-87779-0
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Web Component Development with Zope 3

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Hee, Kees M. editor.
http://dx.doi.org/10.1007/978-3-540-68746-7
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-05-23T18:37:42Z

by Suzuki, Kenji. editor.
http://dx.doi.org/10.1007/978-3-540-68855-6
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-05-23T18:37:42Z

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

Dependability Metrics Advanced Lectures

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Moving Wearables into the Mainstream Taming the Borg

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Brueckner, Sven A. editor.
http://dx.doi.org/10.1007/978-3-540-69868-5
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Pelc, Andrzej. editor.
http://dx.doi.org/10.1007/978-3-540-75142-7
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-05-23T18:37:42Z

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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Web Component Development with Zope 3

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Architecting Dependable Systems IV

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Lukowicz, Paul. editor.
http://dx.doi.org/10.1007/978-3-540-71270-1
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-05-23T18:37:42Z

by Shen, Weiming. editor.
http://dx.doi.org/10.1007/978-3-540-72863-4
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Workflows for e-Science Scientific Workflows for Grids

2024-05-23T18:37:42Z

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

Introduction to Operating System Design and Implementation The OSP 2 Approach

2024-05-23T18:37:42Z

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

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2024-05-23T18:37:42Z

by Prodan, Radu. author.
http://dx.doi.org/10.1007/978-3-540-69262-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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Hutchison, David. editor.
http://dx.doi.org/10.1007/978-3-540-74917-2
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-05-23T18:37:42Z

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

Getting StartED with Mac OS X Leopard

2024-05-23T18:37:42Z

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

Distributed and Parallel Systems From Cluster to Grid Computing

2024-05-23T18:37:42Z

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

Formal Models of Operating System Kernels

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Distributed Services with OpenAFS for Enterprise and Education

2024-05-23T18:37:42Z

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

Beginning Fedora From Novice to Professional

2024-05-23T18:37:42Z

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

Grid Computing Security

2024-05-23T18:37:42Z

by Chakrabarti, Anirban. author.
http://dx.doi.org/10.1007/978-3-540-44493-0
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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-05-23T18:37:42Z

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

Transactions on Data Hiding and Multimedia Security I

2024-05-23T18:37:42Z

by Shi, Yun Q. editor.
http://dx.doi.org/10.1007/11926214
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-05-23T18:37:42Z

by Crescenzo, Giovanni. editor.
http://dx.doi.org/10.1007/11889663
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Song, Joo-Seok. editor.
http://dx.doi.org/10.1007/11604938
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-05-23T18:37:42Z

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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Reussner, Ralf H. editor.
http://dx.doi.org/10.1007/11786160
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-05-23T18:37:42Z

by Safavi-Naini, Reihaneh. editor.
http://dx.doi.org/10.1007/11787952
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-05-23T18:37:42Z

by Meer, Hermann. editor.
http://dx.doi.org/10.1007/11822035
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Shi, Yun Qing. editor.
http://dx.doi.org/10.1007/11922841
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Müller, Günter. editor.
http://dx.doi.org/10.1007/11766155
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-05-23T18:37:42Z

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-05-23T18:37:42Z

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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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-05-23T18:37:42Z

by Lightfoot, David E. editor.
http://dx.doi.org/10.1007/11860990
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-05-23T18:37:42Z

by Moreau, Luc. editor.
http://dx.doi.org/10.1007/11890850
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Clark, John A. editor.
http://dx.doi.org/10.1007/11734666
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-05-23T18:37:42Z

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-05-23T18:37:42Z

by Boer, Frank S. editor.
http://dx.doi.org/10.1007/11804192
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Gibbons, Phillip B. editor.
http://dx.doi.org/10.1007/11776178
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Fischer-Hübner, Simone. editor.
http://dx.doi.org/10.1007/11824633
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Access Control Systems Security, Identity Management and Trust Models

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Introduction to Reliable Distributed Programming

2024-05-23T18:37:42Z

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

High Availability and Disaster Recovery Concepts, Design, Implementation

2024-05-23T18:37:42Z

by Schmidt, Klaus. author.
http://dx.doi.org/10.1007/3-540-34582-5
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-05-23T18:37:42Z

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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Rigorous Development of Complex Fault-Tolerant Systems

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Distributed Multimedia Retrieval Strategies for Large Scale Networked Systems

2024-05-23T18:37:42Z

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

Multicriteria Scheduling Theory, Models and Algorithms

2024-05-23T18:37:42Z

by T’kindt, Vincent. author.
http://dx.doi.org/10.1007/b106275
Format: Electronic Resources

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

2024-05-23T18:37:42Z

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

Enterprise Service Oriented Architectures Concepts, Challenges, Recommendations

2024-05-23T18:37:42Z

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

Pro Windows Small Business Server 2003

2024-05-23T18:37:42Z

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

Virtual Machines

2024-05-23T18:37:42Z

by Craig, Iain D. author.
http://dx.doi.org/10.1007/978-1-84628-246-1
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Distributed Event-Based Systems

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Büschkes, Roland. editor.
http://dx.doi.org/10.1007/11790754
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Advanced Topics in Exception Handling Techniques

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Applied Cryptography and Network Security Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005. Proceedings

2024-05-23T18:37:42Z

by Ioannidis, John. editor.
http://dx.doi.org/10.1007/b137093
Format: Electronic Resources

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

2024-05-23T18:37:42Z

by Aldini, Alessandro. editor.
http://dx.doi.org/10.1007/11554578
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

2024-05-23T18:37:42Z

by Bacchus, Fahiem. editor.
http://dx.doi.org/10.1007/b137280
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-05-23T18:37:42Z

by Patrick, Andrew S. editor.
http://dx.doi.org/10.1007/b137875
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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-05-23T18:37:42Z

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

Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2024-05-23T18:37:42Z

by Kutvonen, Lea. editor.
http://dx.doi.org/10.1007/b137217
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-05-23T18:37:42Z

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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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-05-23T18:37:42Z

by Pan, Yi. editor.
http://dx.doi.org/10.1007/11576235
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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-05-23T18:37:42Z

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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Web Component Development with Zope 3

2024-05-23T18:37:42Z

by Weitershausen, Philipp. author.
http://dx.doi.org/10.1007/b139044
Format: Electronic Resources

Quality of Service – IWQoS 2005 13th International Workshop, IWQoS 2005, Passau, Germany, June 21-23, 2005. Proceedings

2024-05-23T18:37:42Z

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

Digital Watermarking 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005. Proceedings

2024-05-23T18:37:42Z

by Barni, Mauro. editor.
http://dx.doi.org/10.1007/11551492
Format: Electronic Resources

Peer-to-Peer Systems III Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers

2024-05-23T18:37:42Z

by Voelker, Geoffrey M. editor.
http://dx.doi.org/10.1007/b104020
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Martin, David. editor.
http://dx.doi.org/10.1007/b136164
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-05-23T18:37:42Z

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

Reliable Distributed Systems Technologies, Web Services, and Applications

2024-05-23T18:37:42Z

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

Soft Real-Time Systems Predictability vs. Efficiency

2024-05-23T18:37:42Z

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

New Horizons of Parallel and Distributed Computing

2024-05-23T18:37:42Z

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

Security Protocols 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers

2024-05-23T18:37:42Z

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

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

2024-05-23T18:37:42Z

by Roy, Peter. editor.
http://dx.doi.org/10.1007/b106627
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2005 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005. Proceedings

2024-05-23T18:37:42Z

by Cramer, Ronald. editor.
http://dx.doi.org/10.1007/b136415
Format: Electronic Resources

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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-05-23T18:37:42Z

by Yi, Kwangkeun. editor.
http://dx.doi.org/10.1007/11575467
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

2024-05-23T18:37:42Z

by Higashino, Teruo. editor.
http://dx.doi.org/10.1007/b138689
Format: Electronic Resources

Engineering Self-Organising Systems Methodologies and Applications

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Detection of Intrusions and Malware, and Vulnerability Assessment Second International Conference, DIMVA 2005, Vienna, Austria, July 7-8, 2005. Proceedings

2024-05-23T18:37:42Z

by Julisch, Klaus. editor.
http://dx.doi.org/10.1007/b137798
Format: Electronic Resources

Architecting Dependable Systems III

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Fraigniaud, Pierre. editor.
http://dx.doi.org/10.1007/11561927
Format: Electronic Resources

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

2024-05-23T18:37:42Z

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-05-23T18:37:42Z

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

Expert Oracle

2024-05-23T18:37:42Z

by Kyte, Thomas. author.
http://dx.doi.org/10.1007/978-1-4302-0019-2
Format: Electronic Resources

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

2024-05-23T18:37:42Z

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-05-23T18:37:42Z

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

Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings

2024-05-23T18:37:42Z

by Cao, Jiannong. editor.
http://dx.doi.org/10.1007/b104574
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

Distributed and Parallel Systems Cluster and Grid Computing

2024-05-23T18:37:42Z

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

Power-Aware Computer Systems Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers

2024-05-23T18:37:42Z

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

From Specification to Embedded Systems Application

2024-05-23T18:37:42Z

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

Analyzing Computer System Performance with Perl::PDQ

2024-05-23T18:37:42Z

by Gunther, Neil J. author.
http://dx.doi.org/10.1007/978-3-540-26860-4
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Kilian, Joe. editor.
http://dx.doi.org/10.1007/b106171
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Blundo, Carlo. editor.
http://dx.doi.org/10.1007/b105083
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-05-23T18:37:42Z

by Hoos, Holger H. editor.
http://dx.doi.org/10.1007/11527695
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

by Zhou, Jianying. editor.
http://dx.doi.org/10.1007/11556992
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-05-23T18:37:42Z

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

Embedded Systems Design The ARTIST Roadmap for Research and Development

2024-05-23T18:37:42Z

by Bouyssounouse, Bruno. author.
http://dx.doi.org/10.1007/b106761
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-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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

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

2024-05-23T18:37:42Z

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