Home
Research Trends
Scientific Articles
Journals
Scientific Journals
Open Access Journals
Journals Search
Contact
Sign Up
Login
Language
English
German
Progress in Informatics
Title
Publication Date
Language
Citations
An expressive bidirectional transformation language for XQuery view update
2013/03/01
English
Modularising inductive families
2013/03/01
English
Advanced programming techniques for construction of robust, generic and evolutionary programs
2013/03/01
English
Load-balanced routing with selective even traffic splitting
2013/03/01
English
Wander types : A formalization of coinduction-recursion
2013/03/01
English
Equational reasoning about programs with general recursion and call-by-value semantics
2013/03/01
English
Internet challenges for informatics research
2005/11/01
English
New uses for computer in medical education, clinical practice, and patient safety in the US and Japan
2005/11/01
English
Government information and roles of libraries and archives:Recent policy issues in Japan
2005/03/01
English
From search engines to question-answering systems-The role of fuzzy logic
2005/03/01
English
Traffic analysis and network bandwidth provisioning tools for academic information networks
2005/03/01
English
Single photons for quantum information systems
2005/03/01
English
The test collection for navigational retrieval on WWW data-Design and characteristics
2005/03/01
English
Progress of the Digital Silk Roads project
2005/03/01
English
Field trial of all-optical 40 Gbps transmission system for next-generation networks
2005/03/01
English
Information power and international security
2005/03/01
English
A dynamic programming algorithm for lot-sizing problem with outsourcing
2012/03/01
English
Entropy estimation with suffix arrays
2012/03/01
English
Implementation issues of clique enumeration algorithm
2012/03/01
English
An almost optimal algorithm for Winkler's sorting pairs in bins
2012/03/01
English
Theoretical computer science and discrete mathematics
2012/03/01
English
A new order theory of set systems and better quasi-orderings
2012/03/01
English
An immersion of a square in 4-edge-connected graphs
2012/03/01
English
Evaluation of Japanese universities' research activity based on the number of awards of Grants-in-Aid for Scientific Research from 1998 to 2002 and in 2003
2007/03/01
English
Rewriting XQuery by child-path folding
2007/03/01
English
Overview of SINET3-next-generation Science Information Network
2007/03/01
English
Unpredictability and chance in scientific progress
2007/03/01
English
ILL/DD in Japan across the turn of the century-Basic findings about NACSIS-ILL from 1994 to 2005
2007/03/01
English
Quality Evaluation of Embedded Software in Robot Software Design Contest
2007/03/01
English
3D image and video technology
2010/03/01
English
«
‹ Pervious
Next ›
»