WICI-Library
From The International WIC Institute WIKI
WICI Library provides proceedings, books, journals, magazines services to all the WICI members for free. Please contact huangshuai@bjut.edu.cn to order these services.
We thank Dr. Zhisheng Huang (Vrije University Amsterdam) for donating some of the Ph.D theses and books.
[edit]
Books
- Termination and Productivity, Jorg Endrullis, 2010.
- Gesture Interaction at a Distance, Wim Fikkert, 2010.
- Modelling Human-Awareness for Ambient Agents: A Human MindReading Perspective, 2010.
- Multinomial Language Learning, investigations into the geometry of language, Stephan Raaijmakers, 2009.
- Quantitative Prediction of Quality Attributes for Component-Based Software Architectures, Evgeny Eskenazi, Alexander Fyukov, 2004.
- Efficient Identification of Timed Automata, theory and practice, 2010.
- Principles of Probabilistic Query Optimization, Florain Waas, 2000.
- Processing Structured Hypermedia - A Matter of Style, Jacco van Ossenbruggen, 2001.
- Mechanical Verification of Concurrency Control and Recovery Protocols, Dmitri Chkliaev, 2001.
- Anoter Formal Specification Language, Erik Saaman, 2000.
- Drawing Graphs for Cartographic Applications, Elena Mumford, 2008.
- Renovation of Idiomatic Crosscutting Concerns in Embedded Systems, Magiel Bruntink, 2008.
- Composing Constraint Solvers, Peter Zoeteweij, 2005.
- Language Based Security for Java and JML, 2006.
- Comparing building blocks of life, Sequence alignment and evaluation of predicted structural and functional features, Walter Pirovano 2010.
- Balancing Vectorized Query Execution with Bandwidth-Optimized Storage, Marcin Zukowski, 2009.
- Formal Verification of Distributed Systems, Jun Pang, 2004.
- Automated Web Service Reconfiguration, Sander van Splunter, 2010.
- Armada: an Evolving Database System, Fabian Groffen, 2009.
- An Object-based Software Distribution Network, Arno Bakker, 2002.
- Object-Oriented Software Development, 2nd Edition, Anton Eliens, 2000.