Kompiuterija ir informacinės technologijos

Software Engineering and Formal Methods

Software Engineering for Resilient Systems

Software Engineering: A Hands-On Approach

Software Language Engineering

Software and Data Technologies

Software and Data Technologies

Space-Efficient Data Structures, Streams, and Algorithms

Speech and Computer

Stabilization, Safety, and Security of Distributed Systems

Statistical Language and Speech Processing

String Processing and Information Retrieval

Structured Object-Oriented Formal Language and Method

Sustainable Web Ecosystem Design

Swarm, Evolutionary, and Memetic Computing

Swarm, Evolutionary, and Memetic Computing

Symbolic and Quantiative Approaches to Resoning with Uncertainty

TEXPLORE: Temporal Difference Reinforcement Learning for Robots and Time-Constrained Domains

Technology-Enabled Innovation for Democracy, Government and Governance

Testing Software and Systems

Text, Speech, and Dialogue

The Basics of Hacking and Penetration Testing

The Beauty of Functional Code

The C++ Programming Language

The C++ Programming Language

The Definitive Guide to MongoDB

The Digital Photography Book, Part 2

The Influence of Technology on Social Network Analysis and Mining

The Languages of Western Tonality

The People's Web Meets NLP

The Personal Web

The Satisfiability Problem

The Semantic Web - ISWC 2013

The Semantic Web - ISWC 2013

The Semantic Web: ESWC 2013 Satellite Events

Theories of Programming and Formal Methods

Theory and Applications of Satisfiability Testing - SAT 2013

Theory and Practice of Natural Computing

Theory of Cryptography

Theory of Quantum Computation, Communication, and Cryptography

Theory, Practice, and Applications of Rules on the Web

Tool-Based Requirement Traceability between Requirement and Design Artifacts for Safety-Critical Systems

Tools and Algorithms for the Construction and Analysis of Systems

Training Guide: Programming in HTML5 with JavaScript and CSS3

Transaction Level Modeling and High Performance Simulation of Embedded Systems

Transactions on Computational Collective Intelligence XI

Transactions on Computational Science XIX

Transactions on Computational Science XX

Transactions on Computational Science XXI