Kompiuterija ir informacinės technologijos

Formal Modeling and Analysis of Timed Systems

Formal Refinement for Operating System Kernels

Formal Techniques for Networked and Distributed Systems - FORTE 2007

Foundations Book II

Foundations of Generic Optimization 2

Foundations of Security Analysis and Design IV

Foundations of Software Science and Computational Structures

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops

Fun with Algorithms

Fundamental Approaches to Software Engineering

Graph Drawing

Grid Computing Security

Grid-Based Problem Solving Environments

Groupware: Design, Implementation, and Use

Guide to Advanced Empirical Software Engineering

Hacking VIM

Handbook of Database Security

High Performance Computing - HiPC 2007

High Performance Computing and Communications

High Performance Embedded Architectures and Compilers

Human Interface and the Management of Information. Interacting in Information Environments

Human Motion

Human-Computer Interaction.HCI Intelligent Multimodal Interaction Environments

ICCS 2007

IEEE Workshop on Human Computer Interaction

Image Analysis

Implementation and Application of Functional Languages

Independent Component Analysis and Signal Separation

Information Hiding

Information Security Applications

Information Security Conference

Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems

Information Security and Cryptology - ICISC 2007

Information Security and Privacy

Information and Communications Security

Intelligence and Security Informatics

Inter-Domain Management

Interactive Systems Design, Specification, and Verification

Interactive TV: a Shared Experience

Interated Formal Methods

Intercultural Collaboration

International Symposium on Fundamentals of Software Engineering

Internet and Network Economics

Kommunikation in Verteilten Systemen (KiVS) 2007

Learning PHP Data Objects

Learning Programming Using MATLAB

Linux Kernel in a Nutshell

Logics of Programs