Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P
Computer Information Systems and Industrial Management: 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings
Computer Information Systems and Industrial Management: 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings
Secure Data Management: 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings
Secure Data Management: 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings
Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing: 10th International Conference, FPL 2000 Villach, Austria, August 27–30, 2000 Proceedings
Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing: 10th International Conference, FPL 2000 Villach, Austria, August 27–30, 2000 Proceedings
Advances in Multimedia Information Processing - PCM 2009: 10th Pacific Rim Conference on Multimedia, Bangkok, Thailand, December 15-18, 2009 Proceedings
Advances in Multimedia Information Processing - PCM 2009: 10th Pacific Rim Conference on Multimedia, Bangkok, Thailand, December 15-18, 2009 Proceedings
Characterization of Porous Solids VI, Proceedings of the 6 International Symposium on the Characterization of Porous Solids (COPS-VI)
Belief Functions: Theory and Applications: Third International Conference, BELIEF 2014, Oxford, UK, September 26-28, 2014. Proceedings
Visualizing the Size of the Java Standard API [from: Proceedings of the New Zealand Computer Science Research Students Conference (NZCSRSC), Wellington, New Zealand, 2010]
Visualizing the Size of the Java Standard API [from: Proceedings of the New Zealand Computer Science Research Students Conference (NZCSRSC), Wellington, New Zealand, 2010]
Information Assurance in Computer Networks: Methods, Models and Architectures for Network Security International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21–23, 2001 Proceedings
Information Assurance in Computer Networks: Methods, Models and Architectures for Network Security International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21–23, 2001 Proceedings
Characterisation of porous solids VIII: proceedings of the 8th International Symposium on the Characterisation of Porous Solids
Fundamentals of Computation Theory: 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003. Proceedings
Computational Systems-Biology and Bioinformatics: First International Conference, CSBio 2010, Bangkok, Thailand, November 3-5, 2010, Proceedings (Communications in Computer and Information Science)
Computational Systems-Biology and Bioinformatics: First International Conference, CSBio 2010, Bangkok, Thailand, November 3-5, 2010, Proceedings (Communications in Computer and Information Science)
Function spaces, interpolation theory, and related topics: proceedings of the international conference in honour of Jaak Peetre on his 65th birthday: Lund, Sweden, August 17-22, 2000
Function spaces, interpolation theory, and related topics: proceedings of the international conference in honour of Jaak Peetre on his 65th birthday: Lund, Sweden, August 17-22, 2000
Characterisation of Porous Solids V, Proceedings of the 5th International Symposium on the Characterisation of Porous Solids (COPS-V)