Computer Science

Behaviour Monitoring and Interpretation – BMI

The notion of well-being is one which is crucial to many aspects of our daily lives. In addition to …
read more...

Combinatorial Optimization: Methods and Applications

This book is a collection of six articles arising from the meeting of the NATO Advanced Study Instit…
read more...

Process-oriented Semantic Web Search

Pub. date
March 2011
Author
Tran, D.T.
Volume
10 of Studies on the Semantic Web
Price
US$93 / €64
ISBN
978-1-60750-716-1
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science, Semantic Web
The book is composed of two main parts. The first part is a general study of Semantic Web Search. Th…
read more...

Formal Models and Techniques for Analyzing Security Protocols

Pub. date
March 2011
Editors
Cortier, V., Kremer, S.
Volume
5 of Cryptology and Information Security Series
Price
US$152 / €105
ISBN
978-1-60750-713-0
Subject
Computer & Communication Sciences, Computer Science, Security & Terrorism, Social Sciences
Security protocols are the small distributed programs which are omnipresent in our daily lives in ar…
read more...

Radio Frequency Identification System Security

Pub. date
March 2011
Editors
Li, T., Chu, C.-H., Wang, P., Wang, G.
Volume
6 of Cryptology and Information Security Series
Price
US$138 / €95
ISBN
978-1-60750-721-5
Subject
Computer & Communication Sciences, Computer Science, Security & Terrorism
This book, which forms part of the Cryptology and Information Security Series (CISS), presents the c…
read more...

From Mathematical Beauty to the Truth of Nature

Pub. date
February 2011
Editors
Gambin, A., Niwiński, D., Urzyczyn, P.
Price
US$145 / €100
ISBN
978-1-60750-697-3
Subject
Computer & Communication Sciences, Computer Science, Mathematics/Electronics/Mechanics
This book, a special issue of the journal Fundamenta Informaticae, is a collection of 16 papers writ…
read more...

A Change-Oriented Architecture for Mathematical Authoring Assistance

The computer-assisted authoring of mathematical documents using a scientific text-editor requires n…
read more...

Granularity Analysis for Tutoring Mathematical Proofs

Pub. date
February 2011
Author
Schiller, M.R.G.
Volume
334 of Dissertations in Artificial Intelligence
Price
US$72 / €50
ISBN
978-1-60750-719-2
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer & Communication Sciences, Computer Science
Rigorous formal proof is one of the key techniques in the natural sciences, engineering, and of cour…
read more...

Computability

ISSN
2211-3568
Price
US$280 / €200
Volume
2; 2 issues
Subject
Computer & Communication Sciences, Computer Science, Mathematics
Computability is the journal of the association Computability in Europe. It is a peer reviewed inter…
read more...

Intelligenza Artificiale

ISSN
1724-8035
Price
US$315 / €230
Volume
7; 2 issues
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science
Intelligenza Artificiale publishes rigorously reviewed articles (in English) in all areas of Artific…
read more...

Journal of Ambient Intelligence and Smart Environments

The new Journal of Ambient Intelligence and Smart Environments (JAISE) will serve as a forum to disc…
read more...

Intelligent Decision Technologies

ISSN
1872-4981
Price
US$495 / €365
Volume
7; 4 issues
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science
Intelligent Decision Technologies (IDT) publishes original research contributions on the fundamental…
read more...

Journal on Satisfiability, Boolean Modeling and Computation

ISSN
1574-0617
Price
US$640 / €465
Volume
9; 4 issues
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science
The Journal on Satisfiability, Boolean Modeling and Computation (JSAT) is a peer reviewed internatio…
read more...

Journal of Embedded Computing

ISSN
1740-4460
Price
US$305 / €270
Volume
5; 4 issues
Subject
Computer & Communication Sciences, Computer Science
The objective of the Journal of Embedded Computing is to provide an outstanding channel for academic…
read more...

Journal of Computational Methods in Sciences and Engineering

ISSN
1472-7978
Price
US$870 / €640
Volume
13; 6 issues
Subject
Computer & Communication Sciences, Computer Science
The major goal of the Journal of Computational Methods in Sciences and Engineering (JCMSE) is the pu…
read more...

Multiagent and Grid Systems

ISSN
1574-1702
Price
US$460 / €330
Volume
9; 4 issues
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science
Multiagent and Grid Systems - An International Journal aims to provide a timely and leading forum fo…
read more...

Informatica

ISSN
0868-4952
Price
US$320 / €235
Volume
24; 4 issues
Subject
Computer & Communication Sciences, Computer Science, Mathematics, Mathematics/Electronics/Mechanics
The quarterly journal Informatica provides an international forum for high-quality original research…
read more...

Scientific Programming

ISSN
1058-9244
Price
US$750 / €550
Volume
21; 4 issues
Subject
Computer & Communication Sciences, Computer Science
Scientific Programming provides a meeting ground for research results in, and practical experience w…
read more...

Journal of Integrated Design & Process Science

ISSN
1092-0617
Price
US$520 / €380
Volume
17; 4 issues
Subject
Computer Science, Engineering, Management Science
Journal of Integrated Design and Process Science (JIDPS) is the official journal of the Society for …
read more...

Journal of Intelligent & Fuzzy Systems

The purpose of the Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Techn…
read more...

Journal of Computer Security

ISSN
0926-227X
Price
US$1330 / €950
Volume
21; 6 issues
Subject
Computer & Communication Sciences, Computer Science, Science & Technology Policy
The Journal of Computer Security presents research and development results of lasting significance i…
read more...

Journal of High Speed Networks

ISSN
0926-6801
Price
US$680 / €485
Volume
19; 4 issues
Subject
Computer & Communication Sciences, Computer Science, Telecommunication
The Journal of High Speed Networks is an international archival journal, active since 1992, providin…
read more...

Integrated Computer-Aided Engineering

ISSN
1069-2509
Price
US$730 / €535
Volume
20; 4 issues
Subject
Computer & Communication Sciences, Computer Science, Engineering
Integrated Computer-Aided Engineering (ICAE) was founded in 1993. "Based on the premise that interdi…
read more...

Fundamenta Informaticae

ISSN
0169-2968
Price
US$2080 / €1530
Volume
122-128; 28 issues
Subject
Computer & Communication Sciences, Computer Science
Fundamenta Informaticae is an international journal publishing original research results in all area…
read more...

Web Intelligence and Agent Systems

ISSN
1570-1263
Price
US$615 / €455
Volume
11; 4 issues
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science
This journal aims to achieve a disciplinary balance between Web technology and intelligent agent tec…
read more...

Semantic Web journal: Eetu Mäkelä, Eero Hyvönen and Tuukka Ruotsalo win best paper award

November 14, 2012 - Boston - The winners of the Semantic Web journal's outstanding paper and outstanding reviewer awards 2011/2012 have been announced at the International Semantic Web Conference 2012 (ISWC) in Boston, MA, USA.

Visual alerts shown to evoke quicker reactions than alerts through other senses

February 27, 2012 - New research has shown that visual alerting methods are still considered to be the most trustworthy, as compared to auditory...