附属図書館Computer Science

Book_Title

Algorithmic Learning in a Random World

Understanding 3D Animation Using Maya

Quantitative Measure for Discrete Event Supervisory Control

Computer Network Security

Introduction to Assembly Language Programming

Geometric Fundamentals of Robotics

An Integrated Approach to Software Engineering

Guide to RISC Processors

Coding for Data and Computer Communications

Evolutionary Synthesis of Pattern Recognition Systems

Reliable Distributed Systems

Multimedia Introduction to Programming Using Java

Advanced Wired and Wireless Networks

Emerging Solutions for Future Manufacturing Systems

Mobile Information Systems (vol. # 158)

Logical Data Modeling

Nearest Neighbor Search:

Secure Group Communications Over Data Networks

Ambient Intelligence

XML for Bioinformatics

Advances in Pervasive Computing and Networking

Event-Triggered and Time-Triggered Control Paradigms

Integrating Human Aspects in Production Management

Distributed and Parallel Systems

Optical Communication Theory and Techniques

Mobile and Wireless Communications Networks

Intelligent Information Processing II

Designing and Evaluating E-Management Decision Tools

Optical Networks and Technologies

"Network Control and Engineering for QOS, Security and Mobility, III"

The Austin Protocol Compiler

Genetic Programming Theory and Practice II

Component Models and Systems for Grid Applications

Alternative Breast Imaging

Web Services in the Enterprise

QoS in Packet Networks

Intrusion Detection and Correlation

Image and Video Encryption

Legal Programming

"Privacy, Security and Trust within the Context of Pervasive Computing"

Encyclopedia of Cryptography and Security

"The Next Wave in Computing, Optimization, and Decision Technologies"

Semistructured Database Design

Soft Real-Time Systems: Predictability vs. Efficiency

Virtual Organizations

Optical Burst Switched Networks

Adapting Proofs-as-Programs

Distributed Network Systems

Knowledge and Skill Chains in Engineering and Manufacturing

Trusted Computing Platforms

Broadband Satellite Communication Systems and the Challenges of Mobility

Computer Security in the 21st Century

Information Technology and Educational Management in the Knowledge Society

Technology Enhanced Learning

High Performance Computational Science and Engineering

Formal Aspects in Security and Trust (vol. # 173)

History of Nordic Computing

Managing Cyber Threats

Mining Sequential Patterns from Large Data Sets

Fuzzy Database Modeling with XML

Software Process Modeling

Net-Centric Approaches to Intelligence and National Security

Security in E-Learning

Impacts and Risk Assessment of Technology for Internet Security

Agent Intelligence Through Data Mining

Web Content Delivery

Stream Data Management

Multimedia Encryption and Watermarking

A Software Process Model Handbook for Incorporating People's Capabilities

New Horizons of Parallel and Distributed Computing

Data Mining and Knowledge Discovery Handbook

Communications and Multimedia Security (vol. # 175)

Fuzzy Models and Algorithms for Pattern Recognition and Image Processing

Multi-Agent Programming

Architecture Description Languages

Information Systems Development

Genetic Programming IV

Certification and Security in Inter-Organizational E-Services

Information Processing and Security Systems

Home-Oriented Informatics and Telematics

Understanding IPv6

Perspectives and Policies on ICT in Society

Business Agility and Information Technology Diffusion

Security and Privacy in the Age of Ubiquitous Computing

Motion-Free Super-Resolution

Guide to Assembly Language Programming in Linux

Information and Communication Technologies and Real-Life Learning

Knowledge Sharing in the Integrated Enterprise

From Specification to Embedded Systems Application

Designing Ubiquitous Information Environments: Socio-Technical Issues and Challenges

Real-Time Vision for Human-Computer Interaction

Collaborative Networks and Their Breeding Environments

Artificial Intelligence Applications and Innovations II

Industrial Applications of Semantic Web

"Challenges of Expanding Internet: E-Commerce, E-Business, and E-Government"

Intelligence in Communication Systems

Mobile Information Systems II

New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design

Advances in Digital Forensics

"Abstraction, Refinement and Proof for Probabilistic Systems"

Reverse Engineering of Object Oriented Code

Handbook of Face Recognition

Text Mining

Principles of Computer Graphics

Super-Recursive Algorithms

Enterprise Information Systems V

"Virtual, Distributed and Flexible Organisations"

Web Search: Public Searching of the Web

New Developments in Parsing Technology

From Brows to Trust

Funology

The Inside Text

Computer-Aided Design of User Interfaces IV

"Spaces, Spatiality and Technology"

Machine Learning in Computer Vision

Charting a New Course: Natural Language Processing and Information Retrieval.

Cyberspace Security and Defense: Research Issues

Biological and Artificial Intelligence Environments

Mathematical Morphology: 40 Years On

Everyday Innovators

Engineering Theories of Software Intensive Systems

Communities and Technologies 2005

Manage IT!

Foundations of Generic Optimization

Citation Analysis in Research Evaluation

Intelligent Document Retrieval

The Turn

New Directions in Cognitive Information Retrieval

ECSCW 2005

Human-Centered Software Engineering - Integrating Usability in the Software Development Lifecycle

Multimodal Video Characterization and Summarization

Intelligent Knowledge-Based Systems

System-Level Design Techniques for Energy-Efficient Embedded Systems

Education and the Knowledge Society

E-Training Practices for Professional Organizations

System Modeling and Optimization (vol. # 166)

"Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems"

E-government and Public Sector Process Rebuilding

Autonomy Oriented Computing

Biometric Systems

Computer Vision Beyond the Visible Spectrum

Data Mining in Bioinformatics

Probabilistic Modeling in Bioinformatics and Medical Informatics

Evolutionary Multiobjective Optimization

Visualizing Information Using SVG and X3D

Future Interaction Design

Computer Graphics and Geometric Modeling

Computer Graphics and Geometric Modelling

Constructing Correct Software

Production Rendering

The Complete IS-IS Routing Protocol

Mobile World

Geometry for Computer Graphics

Automating Business Modelling

Multiobjective Evolutionary Algorithms and Applications

Creating Web-based Laboratories

Information Processing with Evolutionary Algorithms

Advanced Techniques in Knowledge Discovery and Data Mining

From P2P to Web Services and Grids

Requirements Engineering

Validated Designs for Object-oriented Systems

Hebbian Learning and Negative Feedback Networks

Probabilistic Conditional Independence Structures

People and Computers XVIII - Design for Life

Research and Development in Intelligent Systems XXI

Applications and Innovations in Intelligent Systems XII

Hexagonal Image Processing

Support Vector Machines for Pattern Classification

Mobile Communications

Logic Programming with Prolog

The Quintessential PIC? Microcontroller

Computer Insecurity

Artificial Life Models in Software

Accessible Access 2003

Constituents of Modern System-safety Thinking

Designing Virtual Reality Systems

Cognitive Engineering

Advanced Methods for Knowledge Discovery from Complex Data

Computer Viruses: from theory to applications

Adaptive and Natural Computing Algorithms

Secure Systems Development with UML

Dissemination of Information in Communication Networks

Form-Oriented Analysis

Information Sharing on the Semantic Web

Handbook of Geometric Computing

Classification and Modeling with Linguistic Information Granules

Comprehensive Mathematics for Computer Scientists 2

Component-Based Software Testing with UML

Analyzing Computer System Performance with Perl::PDQ

A Theory of Distributed Objects

Best Practices in Software Measurement

Bioinformatics Technologies

Categories for Software Engineering

Differential Evolution

Complexity Theory

Abstract Computing Machines

Testing Commercial-off-the-Shelf Components and Systems

Universal Artificial Intelligence

Complexity Theory and Cryptology

Web Component Development with Zope 3

Learning Design

A Practical Theory of Reactive Systems

JDF

E-Business@Print

Design and Analysis of Randomized Algorithms

Implementing Distributed Systems with Java and CORBA

Spatially Structured Evolutionary Algorithms

Software Product Line Engineering

Supply Chain Management on Demand

Data Mining with Computational Intelligence

Engineering and Managing Software Requirements

Model-Driven Software Development

Classification - the Ubiquitous Challenge

Digital Design of Nature

Theoretical and Experimental DNA Computation

Organizational Principles for Multi-Agent Architectures

Constraint Satisfaction Techniques for Agent-Based Reasoning

Ontologies for Agents: Theory and Experiences

Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming

Applications of Agent Technology in Traffic and Transportation

Contemporary Cryptology

"Software Agent-Based Applications, Platforms and Development Kits"

Economic Analysis of Information System Investment in Banking Industry

Agent-Based Simulation: From Modeling Methodologies to Real-World Applications

Access Control Systems

Handbook of Multibiometrics

Designing Human Interface in Speech Technology

Curves and Surfaces for Computer Graphics

Algebraic Aspects of the Advanced Encryption Standard

Intelligence and Security Informatics for International Security

Evolvable Hardware

Encyclopedia of Multimedia

Computation Engineering

Human Identification Based on Gait

Hop Integrity in the Internet

EndNote 1 - 2 - 3 Easy!

A Classical Introduction to Cryptography

Multimedia Database Retrieval

Privacy Preserving Data Mining

Privacy and Technologies of Identity

Continuous System Simulation

Coordination of Large-Scale Multiagent Systems

Biometric User Authentication for IT Security

Handbook of Mathematical Models in Computer Vision

Unconstrained Face Recognition

Semantic Management of Middleware

Understanding Intrusion Detection through Visualization

A Classical Introduction to Cryptography Exercise Book

Future Generation Grids

Genetic Programming Theory and Practice III

Software Engineering Techniques Applied to Agricultural Systems

Methods and Procedures for the Verification and Validation of Artificial Neural Networks

Hyperspectral Data Compression

Distributed Multimedia Retrieval Strategies for Large Scale Networked Systems

CryptoGraphics

Quality Of Protection

Combinatorial Optimization in Communication Networks

Optical WDM Networks

Similarity Search

Canadian Semantic Web

"Security Management, Integrity, and Internal Control in Information Systems"

Computer Viruses and Malware

"Semantic Web Services, Processes and Applications"

The Information Society: Emerging Landscapes

Ontology Learning and Population from Text

EUNICE 2005: Networks and Applications Towards a Ubiquitously Connected World

Advances in Information Systems Development

Challenges in Ad Hoc Networking

Adaptive Learning of Polynomial Networks

Precision Assembly Technologies for Mini and Micro Products

Multivariate Public Key Cryptosystems

System Modeling and Optimization (vol. # 199)

Modeling and Simulation Tools for Emerging Telecommunication Networks

VLSI-SOC: From Systems to Chips

Security and Privacy in Dynamic Environments

"Systems, Control, Modeling and Optimization"

Artificial Intelligence Applications and Innovations

Open Source Systems

Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques

Research and Practical Issues of Enterprise Information Systems

"Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management"

The Transfer and Diffusion of Information Technology for Organizational Resilience

Social Inclusion: Societal and Organizational Implications for Information Systems

Education for the 21st Century - Impact of ICT and Digital Resources

The Past and Future of Information Systems: 1976 -2006 and Beyond

Biologically Inspired Cooperative Computing

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006

Mobile and Wireless Communication Networks

Ad-Hoc Networking

History of Computing and Education 2 (HCE2)

Artificial Intelligence in Theory and Practice

Professional Practice in Artificial Intelligence

"Network Control and Engineering for QoS, Security and Mobility, V"

Advanced Software Engineering: Expanding the Frontiers of Software Technology

Semantic Web and Education

"Biometrics, Computer Security Systems and Artificial Intelligence Applications"

Information Technology for Balanced Manufacturing Systems

Human Work Interaction Design: Designing for Human Work

Advances in Digital Forensics II

Social Informatics: An Information Society for All? In Remembrance of Rob Kling

Network-Centric Collaboration and Supporting Frameworks

Project E-Society: Building Bricks

From Model-Driven Design to Resource Management for Distributed Embedded Systems

Handbook of Nature-Inspired and Innovative Computing

Guide to Wireless Network Security

Elementary Functions

eLearning and Digital Publishing

New Directions in Human Information Behavior

Enterprise Information Systems VI

Enterprise Service Oriented Architectures

Geometric Properties for Incomplete Data

Avatars at Work and Play

Computing Attitude and Affect in Text: Theory and Applications

Consuming Music Together

"Wittgenstein, Language and Information: ""Back to the Rough Ground!"""

"Informatics in Control, Automation and Robotics I"

Information Technology and Lawyers

Computer Vision and Graphics

AmIware

HCI related papers of Interacci?n 2004

End-User Development

Trust in Technology: A Socio-Technical Perspective

SAT 2005

"Uncertainty, Rationality, and Agency"

Informing Digital Futures

e-Business and Telecommunication Networks

Imaging Beyond the Pinhole Camera

National Systems of Innovation in Comparison

Information Extraction: Algorithms and Prospects in a Retrieval Context

Positive Operators

Rigid Flexibility

Ad-hoc Networks: Fundamental Properties and Network Topologies

Enterprise Information Systems VII

Building an Enterprise Architecture Practice

"Adobe? Acrobat? and PDF for Architecture, Engineering, and Construction"

Theoretical Introduction to Programming

Machine Learning and Data Mining for Computer Security

Fundamental Networking in Java

Developing Services for the Wireless Internet

Mathematics for Computer Graphics

Ubiquitous and Pervasive Commerce

Introduction to Programming with Fortran

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Data Complexity in Pattern Recognition

Fast Track to MDX

Foundations of 3D Graphics Programming

People and Computers XIX - The Bigger Picture

Foundations of Computer Security

Applications and Innovations in Intelligent Systems XIII

Research and Development in Intelligent Systems XXII

Discrete Mathematics Using a Computer

Mathematical Approaches to Software Quality

Information Assurance

Networked Neighbourhoods

Body Sensor Networks

Theory of Computation

EC2ND 2005

Boundary Representation Modelling Techniques

Developments in Risk-based Approaches to Safety

Information Visualization

Computational Intelligence in Fault Diagnosis

Information Systems Reengineering and Integration

Mobile 3D Graphics

Transformations and Projections in Computer Graphics

Concurrency Theory

Mathematical and Computer Programming Techniques for Computer Graphics

Optimized Bayesian Dynamic Advising

Agile Software Construction

Agent Technology from a Formal Perspective

Virtual Machines

Visualizing the Semantic Web

R-Trees: Theory and Applications

Grey Information

Grid Computing: Software Environments and Tools

Algorithmes d'approximation

Introduction pratique aux bases de donn?es relationnelles

Developing Ambient Intelligence

Software Engineering 1

Software Engineering 2

Software Engineering 3

Fuzzy-Neuro Approach to Agent Applications

Grammatical Picture Generation

Web Archiving

SmartKom: Foundations of Multimodal Dialogue Systems

Object-Oriented Metrics in Practice

High Availability and Disaster Recovery

Knowledge Representation and the Semantics of Natural Language

Applications of Membrane Computing

An Introduction to Language Processing with Perl and Prolog

New Algorithms for Macromolecular Simulation

Value-Based Software Engineering

Exploratory Analysis of Spatial and Temporal Data

Wiki

Biologically Inspired Algorithms for Financial Modelling

Vision with Direction

Web Communities

Field-Based Coordination for Pervasive Multiagent Systems

Web Engineering

Semantic Web and Peer-to-Peer

Grouping Multidimensional Data

Embedded Security in Cars

Essential Software Architecture

Introduction to Reliable Distributed Programming

Free Convection Film Flows and Heat Transfer

Enterprise Ontology

Parameterized Complexity Theory

Conceptual Modeling for Traditional and Spatio-Temporal Applications

Model-Driven Design Using Business Patterns

Nanotechnology: Science and Computation

Enabling Technologies for Wireless E-Business

Rationale Management in Software Engineering

Mobile Information Systems

Fundamentals of Algebraic Graph Transformation

Multiagent Engineering

Experimental Research in Evolutionary Computation

Model Driven Architecture and Ontology Development

Distributed Event-Based Systems

Formal Models of Communicating Systems

Adaptive Business Intelligence

Concurrent Zero-Knowledge

Data Quality

Software Product Lines

Long-Term Preservation of Digital Documents

Performance Analysis of Network Architectures

Embedded Robotics

Ontologies for Software Engineering and Software Technology

Stochastic Optimization

Interactive Computation

A Computational Model of Natural Language Communication

Comprehensive Mathematics for Computer Scientists 1

Advances in Artificial Economics

Agent-based Supply Network Event Management

ISSE 2006 ? Securing Electronic Busines Processes

Adaptive Motion of Animals and Machines

Trust Management II

Wireless Sensor and Actor Networks II

From Grids to Service and Pervasive Computing

Grid Computing

Advances in Ad Hoc Networking

Innovation in Manufacturing Networks

Biologically-Inspired Collaborative Computing

History of Computing and Education 3 (Hce3)

Knowledge Management In Action

"Distributed Embedded Systems: Design, Middleware and Resources"

Human-Computer Interaction Symposium

Fifth Ifip International Conference On Theoretical Computer Science ? Tcs 2008

"Advances in Information Systems Research, Education and Practice"

"Open Source Development, Communities and Quality"

Artificial Intelligence in Theory and Practice II

Computer-Aided Innovation (CAI)

"Proceedings of The IFIP Tc 11 23 ""rd"" International Information Security Conference"

New Frontiers for Entertainment Computing

E-Government Ict Professionalism and Competences Service Science

Learning to Live in the Knowledge Society

Information Technology in the Service Economy: Challenges and Possibilities for the 21st Century

Parsing Techniques 2

Encyclopedia of Algorithms

"Encyclopedia of Geographical Information Systems, Science and Services"

Hypercomputation

Do-All Computing in Distributed Systems

"An Introduction to Kolmogorov Complexity and Its Applications, 3"

New Computational Paradigms

Real-world Applications of Semantic Web Technology and Ontologies

Handbook of Database Security

Cryptanalytic Attacks on RSA

Wireless Sensor Networks and Applications

Advances in Ad Hoc and Sensor Networks

Botnet Detection

Moving Wearable Technology into the Mainstream

Ontology Management

Securing Biometrics Applications

Soft Computing for Knowledge Discovery and Data Mining

Privacy-Preserving Data Mining:

Handbook of Biometrics

"Smart Cards, Tokens, Security and Applications"

Security for Telecommunications Networks

Signal Processing for Image Enhancement and Multimedia Processing

The Web Resource Space Model

Achievements in European Research on Grid Systems

Advances in Information Processing and Protection

A Modular Calculus for the Average Cost of Data Structuring

DNA Computing Models

Rigid Body Dynamics Algorithms

Vulnerability Analysis and Defense for the Internet

Encyclopedia of Multimedia

VLSI-SoC: Research Trends in VLSI and Systems on Chip

IP Networking over Next-Generation Satellite Systems

Unifying Perspectives in Computational and Robot Vision

Digitally Archiving Cultural Objects

Research and Practical Issues of Enterprise Information Systems II Volume 1

Genetic Programming Theory and Practice V

Research and Practical Issues of Enterprise Information Systems II

Multimodal Processing and Interaction

Home Networking

Support Vector Machines

Lean Business Systems and Beyond

"Computer And Computing Technologies In Agriculture, Volume I"

"Computer And Computing Technologies In Agriculture, Volume II"

Intrusion Detection Systems

Insider Attack and Cyber Security

ITIL? Version 3?at a Glance

Micro-Assembly Technologies and Applications

"Social Computing, Behavioral Modeling, and Prediction"

Spyware and Adware

The China Information Technology Handbook

"Telecommunications Modeling, Policy, and Technology"

Policies and Research in Identity Management

Grid Middleware and Services

Making Grids Work

Automated Multi-Camera Surveillance: Algorithms and Practice

"The Burrows-Wheeler Transform: Data Compression, Suffix Arrays, and Pattern Matching"

The Future of Identity in the Information Society

Performance Modeling and Engineering

Programming Languages

Methods and Tools for Collaborative Networked Organizations

Collaborative Networks: Reference Modeling

Distributed and Parallel Systems

Social Dimensions Of Information And Communication Technology Policy

Pervasive Collaborative Networks

Wireless and Mobile Networking

Advances in Digital Forensics IV

Towards Sustainable Society on Ubiquitous Networks

Open IT-Based Innovation: Moving Towards Cooperative IT Transfer and Knowledge Diffusion

Intelligent Information Processing IV

Algorithms and Programming

Logic for Computer Scientists

The Developer's Guide to Debugging

Automatic Program Development

Probing Experience

Safeguards in a World of Ambient Intelligence

Human Motion

Parsing the Turing Test

Design Computing and Cognition '08

"Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering"

"Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education"

Advances in Computer and Information Sciences and Engineering

Data Mining and Applications in Genomics

Digital Image Processing in Java

Analysis and Design of Information Systems

Principles of Spin

Network Performance Analysis

Crowd Simulation

"Sets, Logic and Maths for Computing"

Introduction to Computer Graphics

Interactive Curve Modeling

Anatomy Ontologies for Bioinformatics

Advanced Methods for Inconsistent Knowledge Management

"Resources, Co-Evolution and Artifacts"

Digital Convergence - Libraries of the Future

Precision Landmark Location for Machine Vision and Photogrammetry

Advances in Biometrics

Web Engineering: Modelling and Implementing Web Applications

"Cognition, Communication and Interaction"

Computers and Education

Maturing Usability

B?zier and Splines in Image Processing and Machine Vision

Advances in Applied Self-organizing Systems

Mathematical Linguistics

Geometric Algebra for Computer Graphics

Toward Artificial Sapience

"Machine Learning for Audio, Image and Video Analysis"

Thesis Projects

Value-Range Analysis of C Programs

OpenGL Graphics Through Applications

Interactive Media: The Semiotics of Embodied Interaction

Distributed Search by Constrained Agents

Guide to Advanced Empirical Software Engineering

Survey of Text Mining II

Web Accessibility

The Algorithm Design Manual

A Concise Introduction to Data Compression

Semantic Multimedia and Ontologies

Elementary Logic

A Brief History of Computing

Applications and Innovations in Intelligent Systems XV

Research and Development in Intelligent Systems XXIV

Improvements in System Safety

Surgical Scene Generation for Virtual Reality-Based Training in Medicine

Introduction to Geometric Computing

Stepping into Virtual Reality

A Concise Introduction to Languages and Machines

Protein-protein Interactions and Networks

Human Ear Recognition by Computer

Statistical Models of Shape

Computer Graphics for Artists: An Introduction

Automatic Speech Recognition on Mobile Devices and over Communication Networks

Knowledge Cartography

Networked RFID

Integrated Graphic and Computer Modelling

Agile Software Engineering

Mathematical Tools for Data Mining

Problem Solving for Wireless Sensor Networks

An Introduction to PHP for Scientists and Engineers

Robust Intelligent Systems

Foundations of 3D Graphics Programming

Graph-based Knowledge Representation

A Concise Introduction to Software Engineering

Knowledge Processing with Interval and Soft Computing

Developing Ambient Intelligence

Writing mental ray shaders

Algorithms in Invariant Theory

Preferences and Similarities

Logical and Relational Learning

Wiki

Requirements Management

Temporal Logic and State Systems

Modeling Semantic Web Services

The IT Measurement Compendium

Agile Processes in Software Engineering and Extreme Programming

Web Information Systems and Technologies

Tools for High Performance Computing

Advances in Enterprise Engineering I

Literature-based Discovery

"Multiaccess, Reservations & Queues"

Global E-Security

Time-Dependent Scheduling

"Objects, Components, Models and Patterns"

Embedded Robotics

Bioinformatics Research and Development

Software and Data Technologies

E-Business and Telecommunication Networks

Networked RFID Systems and Lightweight Cryptography

Markov Models for Pattern Recognition

Model-Driven Testing

Dissemination of Information in Optical Networks

The Art of Artificial Evolution

Advances in Metaheuristics for Hard Optimization

Multiobjective Problem Solving from Nature

A Modern Approach to Intelligent Animation

Swarm Intelligence

Decision Procedures

Logics of Specification Languages

Design by Evolution

Stochastic Discrete Event Systems

Software Architecture

Advanced Data Warehouse Design

Developments in Telecommunications

Information Access through Search Engines and Digital Libraries

Visualization for Information Retrieval

Machine Learning Techniques for Multimedia

"Mobility, Data Mining and Privacy"

Web Search

Software Evolution

Web Component Development with Zope 3

The Semantic Web

Countering Counterfeit Trade

Implementing Semantic Web Services

Rightshore!

Unfoldings

Principles of Protocol Design

"Negotiation, Auctions, and Market Engineering"

Enterprise Information Systems

Rationale-Based Software Engineering

Ajax in Oracle JDeveloper

The Modern Algebra of Information Retrieval

Computational Geometry

Algorithms and Data Structures

"Data Analysis, Machine Learning and Applications"

VizSEC 2007

The Testing Network

Bioinformatics

Enterprise Applications and Services in the Finance Industry

Semantic Service Provisioning

TestGoal

Information Systems and e-Business Technologies

Model-Based Software and Data Integration

End-to-End Quality of Service Over Heterogeneous Networks

Introduction to Video Search Engines

Business Information Systems

Active Knowledge Modeling of Enterprises

Machine Learning

"Semantic Grid: Model, Methodology, and Applications"

"Transdisciplinary Digital Art. Sound, Vision and the New Screen"

Constructing Ambient Intelligence

Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques

Software Process Improvement

"Modelling, Computation and Optimization in Information Systems and Management Sciences"

The Open Knowlege Society. A Computer Science and Information Systems Manifesto

Systems and Virtualization Management. Standards and New Technologies

Issues in Multi-Agent Systems

Agent Technology and e-Health

Advanced Autonomic Networking and Communication

Defence Industry Applications of Autonomous Agents and Multi-Agent Systems

CASCOM: Intelligent Service Coordination in the Semantic Web

Bidding Strategies in Agent-Based Continuous Double Auctions

"Emerging Web Services Technology, Volume II"

Microsoft Dynamics NAV

Contributions to Simulation Speed-Up

UMTS Radio Network Planning: Mastering Cell Coupling for Capacity Optimization

User Interfaces for Wearable Computers

Robotica Mobile

Qualit? dei Dati

Handbook of Peer-to-Peer Networking

Data Mining and Knowledge Discovery Handbook

Digital Signatures

Encyclopedia of Machine Learning

Network Security

Introduction to Computational Cardiology

Electronic Healthcare Information Security

Network Intrusion Detection and Prevention

Handbook of Ambient Intelligence and Smart Environments

Elements of Computer Security

International Handbook of Internet Research

Encryption for Digital Content

Production Grids in Asia

Cyber Situational Awareness

Visual Information Communication

Foundations for Efficient Web Service Selection

Multi-Modal User Interactions in Controlled Environments

C Compilers for ASIPs

Information Theoretic Learning

Genetic Programming Theory and Practice VII

Future Application and Middleware Technology on e-Science

Domain Driven Data Mining

Open Source Software for Digital Forensics

Managing and Mining Graph Data

Estimating Impact

Managed Grids and Cloud Systems in the Asia-Pacific Research Community

Handbook of Cloud Computing

Web Service Mining

Temporal Information Systems in Medicine

Association Rule Hiding for Data Mining

Adaptive Cryptographic Access Control

Image-Based Modeling

"Grids, P2P and Services Computing"

"Open Networked ""i-Learning"""

Economics of Information Security and Privacy

Terminological Ontologies

Specification and Verification of Multi-agent Systems

Insider Threats in Cyber Security

Handbook of Social Network Technologies and Applications

Composing Software Components

The P=NP Question and G?del?s Lost Letter

Evolving Towards the Internetworked Enterprise

Queueing Theory for Telecommunications

Grids and Service-Oriented Architectures for Service Level Agreements

Canadian Semantic Web

Tile-Based Geospatial Information Systems

Linking Enterprise Data

Inductive Databases and Constraint-Based Data Mining

A Process Algebraic Approach to Software Architecture Design

Computational Social Network Analysis

Guide to Intelligent Data Analysis

Supporting People with Dementia Using Pervasive Health Technologies

DRAWING PROGRAMS: The Theory and Practice of Schematic Functional Programming

Web-based Support Systems

Dynamic Business Process Formation for Instant Virtual Enterprises

Mobile TV: Customizing Content and Experience

Shared Encounters

Shared Encounters

The Engineering of Mixed Reality Systems

Formal Methods: State of the Art and New Directions

Algorithms for Next Generation Networks

Systems Approaches to Managing Change: A Practical Guide

Online Worlds: Convergence of the Real and the Virtual

Guide to Reliable Internet Services and Applications

Handbook of Data Compression

Reflections on the Work of C.A.R. Hoare

Programming Languages: Principles and Paradigms

Geometric Computing

Technology for Modelling

Evaluating User Experience in Games

From CSCW to Web 2.0: European Developments in Collaborative Design

Research and Development in Intelligent Systems XXVI

Mathematics for Computer Graphics

Ethical and Social Issues in the Information Age

Agent-Based Service-Oriented Computing

Developing Multi-Database Mining Applications

Researching Learning in Virtual Worlds

Coverage Control in Sensor Networks

Emergent Web Intelligence: Advanced Information Retrieval

Emergent Web Intelligence: Advanced Semantic Technologies

Making Systems Safer

A Practical Guide to Brain-Computer Interfacing with BCI2000

Introduction to Databases

Support Vector Machines for Pattern Classification

Comparative Gene Finding

Geometric Algebra Computing

Tabletops - Horizontal Interactive Displays

Systems Practice: How to Act in a Climate Change World

Social Learning Systems and Communities of Practice

Art and Technology of Entertainment Computing and Communication

Frontiers in Computational and Systems Biology

Computational Methods in Biometric Authentication

Symbol Spotting in Digital Libraries

Game of Life Cellular Automata

Exploring Digital Design

Fundamentals of Predictive Text Mining

The Essential PIC18? Microcontroller

An Introduction to Object Recognition

Privacy and Anonymity in Information Management Systems

Cloud Computing

Modeling and Simulating Bodies and Garments

Brain-Computer Interfaces

802.11 Wireless Networks

Scientific Data Analysis using Jython Scripting and Java

Discrete Calculus

Thriving Systems Theory and Metaphor-Driven Modeling

Introduction to Modeling for Biosciences

Robot Intelligence

Social Media on the Road

Network Science

Multimedia Interaction and Intelligent User Interfaces

Optimisation combinatoire

Codes and Turbo Codes

Emerging Web Services Technology Volume III

Run-time Models for Self-managing Systems and Applications

Autonomics Development: A Domain-Specific Aspect Language Approach

Reliable and Autonomous Computational Science

Cognitive Research

"The Design of Material, Organism, and Minds"

Agile Software Development

Security for Web Services and Service-Oriented Architectures

Practical Signcryption

Machine-based Intelligent Face Recognition

"Advances in Data Analysis, Data Handling and Business Intelligence"

Architecture-Based Design of Multi-Agent Systems

Evolution of Communication and Language in Embodied Agents

Business Process Technology

HPC@Green IT

Graphs and Algorithms in Communication Networks

The LLL Algorithm

Sensitivity Analysis for Neural Networks

Neural Networks and Micromechanics

Experimental Methods for the Analysis of Optimization Algorithms

Automating the Design of Data Mining Algorithms

Origins and Foundations of Computing

Modern Business Process Automation

Quantum Private Communication

Unique Radio Innovation for the 21st Century

Semantic Technologies for E-Government

Peer-to-Peer Computing

Changing Cultures in Higher Education

Service Oriented Infrastructures and Cloud Service Platforms for the Enterprise

Understanding Cryptography

Test-Driven Development

Semantic Web Information Management

Logical Tools for Handling Change in Agent-Based Systems

Parallel Programming

Strategic IT Management

Patent Law for Computer Scientists

Collaborative Software Engineering

Animation and Performance Capture Using Digitized Models

Stochastic Models for Fault Tolerance

Tools for High Performance Computing 2009

Web Dynpro ABAP for Practitioners

Autonomic Computing and Communications Systems

Information Behavior

Security in Emerging Wireless Communication and Networking Systems

Sensor Systems and Software

Information Security and Digital Forensics

Digital Business

Digital Forensics and Cyber Crime

Arts and Technology

Precision Assembly Technologies and Systems

"High Performance Networking, Computing, Communication Systems, and Mathematical Foundations"

Emerging Trends in Technological Innovation

Next Generation Society. Technological and Legal Issues

Access Networks

Biomedical Engineering Systems and Technologies

Ad Hoc Networks

Quantum Communication and Quantum Networking

Networks for Grid Applications

Facets of Virtual Environments

Electronic Healthcare

"Human Work Interaction Design: Usability in Social, Cultural and Organizational Contexts"

"MATLAB R2009, SIMULINK et STATEFLOW pour Ing?nieurs, Chercheurs et Etudiants"

Mobile Networks and Management

Agents and Artificial Intelligence

"Computer Vision, Imaging and Computer Graphics. Theory and Applications"

"Sensor Applications, Experimentation, and Logistics"

"Information Systems, Technology and Management"

Human Benefit through the Diffusion of Information Systems Design Science Research

Business Process Management Workshops

Information Processing and Management

Computer and Computing Technologies in Agriculture III

VLSI-SoC: Design Methodologies for SoC and SiP

Modeling and Tools for Network Simulation

The Structure of Style

Web Information Systems and Technologies

Agility Across Time and Space

Advanced Manufacturing and Sustainable Logistics

Intentional Perspectives on Information Systems Engineering

Agile Software Development

"Mobile Computing, Applications, and Services"

User Centric Media

Cloud Computing

E-Infrastructures and E-Services on Developing Countries

"Bioinspired Models of Network, Information, and Computing Systems"

Business Information Systems

Advances in Enterprise Engineering IV

"Enterprise, Business-Process and Information Systems Modeling"

Agile Processes in Software Engineering and Extreme Programming

Technology Enhanced Learning. Quality of Teaching and Educational Reform

Moving Objects Management

Open Source Software: New Horizons

Music Recommendation and Discovery

Advanced Computer Science and Information Technology

Information Security and Assurance

Advanced Communication and Networking

Trust Management IV

Ubiquitous Computing and Multimedia Applications

Information Systems for eGovernment

Personal Satellite Services

Software Business

Software Engineering Approaches for Offshore and Outsourced Development

Computer Networks

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications

"Revision, Acceptability and Context"

Recent Trends in Wireless and Mobile Networks

Privacy and Identity Management for Life

Networked Digital Technologies

Efficient Secure Two-Party Protocols

Networked Digital Technologies

Advanced Statistical Steganalysis

Exploring Services Science

Balanced Automation Systems for Future Manufacturing Networks

Locally Decodable Codes and Private Information Retrieval Schemes

Towards Hardware-Intrinsic Security

Recent Trends in Network Security and Applications

Recent Trends in Networks and Communications

Logical Analysis of Hybrid Systems

Specification and Verification of Declarative Open Interaction Models

Enabling Real-Time Business Intelligence

Evaluation of Novel Approaches to Software Engineering

Contemporary Computing

Advanced Intelligent Computing Theories and Applications

Contemporary Computing

Parsing Beyond Context-Free Grammars

Digital Ecosystems

Scandinavian Information Systems Research

Compiler Design

Systems and Virtualization Management. Standards and the Cloud

Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets

Sustainable e-Business Management

ImageCLEF

History of Computing. Learning from the Past

E-Commerce and Web Technologies

Cultural Computing

Verification and Validation in Systems Engineering

Human-Computer Interaction

"Distributed, Parallel and Biologically Inspired Systems"

Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis

Theoretical Computer Science

Security and Privacy ? Silver Linings in the Cloud

Artificial Intelligence in Theory and Practice III

"E-Government, E-Services and Global Processes"

Key Competencies in the Knowledge Society

Business Information Systems Workshops

Global Sourcing of Information Technology and Business Processes

Performance Analysis and Optimization of Multi-Traffic on Communication Networks

Communications: Wireless in Developing Countries and Networks of the Future

"What Kind of Information Society? Governance, Virtuality, Surveillance, Sustainability, Resilience"

Advances in Digital Forensics VI

"Enterprise Architecture, Integration and Interoperability"

E-Health

"Systems, Software and Services Process Improvement"

"Global Security, Safety, and Sustainability"

Enterprise and Organizational Modeling and Simulation

Information and Communication Technologies

Trends in Intelligent Robotics

Digital Libraries

Life System Modeling and Intelligent Computing

Life System Modeling and Intelligent Computing

S-BPM ONE ? Setting the Stage for Subject-Oriented Business Process Management

Collaborative Networks for a Sustainable World

Technological Convergence and Social Networks in Information Management

Perspectives in Business Informatics Research

Web Application Security

Security and Privacy in Communication Networks

Artificial Intelligence Applications and Innovations

Software Services for e-World

"Knowledge Management, Information Systems, E-Learning, and Sustainability Research"

"Organizational, Business, and Technological Aspects of the Knowledge Society"

Intelligent Information Processing V

Information Computing and Applications

"Advances in Production Management Systems. New Challenges, New Approaches"

Research and Education in Robotics - EUROBOT 2009

Computational Intelligence and Intelligent Systems

E-business Technology and Strategy

ENTERprise Information Systems

Lean Enterprise Software and Systems

ENTERprise Information Systems

Security-Enriched Urban Computing and Smart Grid

"Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science"

Exact Exponential Algorithms

Bioinspired Computation in Combinatorial Optimization

Metadata and Semantic Research

Qualitative Spatial Abstraction in Reinforcement Learning

Mobile Lightweight Wireless Systems

Advances in Information Technology

Computational Systems-Biology and Bioinformatics

Practice-Driven Research on Enterprise Transformation

The Practice of Enterprise Modeling

Critical Infrastructure Protection IV

Trends in Enterprise Architecture Research

Policies and Research in Identity Management

Security and Privacy in Mobile Information and Communication Systems

Advances in Software Engineering

Communication and Networking

Communication and Networking

"Security Technology, Disaster Recovery and Business Continuity"

"Database Theory and Application, Bio-Science and Bio-Technology"

"Grid and Distributed Computing, Control and Automation"

Signal Processing and Multimedia

"U- and E-Service, Science and Technology"

"Mobile Wireless Middleware, Operating Systems, and Applications"

Ad Hoc Networks

Structural Bioinformatics of Membrane Proteins

From Sociology to Computing in Social Networks

Economic Models and Algorithms for Distributed Systems

Mathematical Logic

Using Microsoft Dynamics AX 2009

Domain-Specific Model-Driven Testing

ISSE 2009 Securing Electronic Business Processes

Architecture and Methods for Flexible Content Management in Peer-to-Peer Systems

Structural Failure Models for Fault-Tolerant Distributed Computing

Context-Based Routing in Dynamic Networks

Natural Computing

Scienza dei servizi

Et voil? i robot

Linguistic Modeling of Information and Markup Languages

Quantum Neural Computation

Advanced Techniques in Computing Sciences and Software Engineering

Innovations in Computing Sciences and Software Engineering

Transforming Enterprise Cloud Services

FEATURE

  • MEIJO MAG
  • 名城大学チャレンジ支援プログラム
  • HELLO WORLD!
  • 名城サポーターズ募金
  • ナゴヤドーム前キャンパス
  • 社会連携センターPLAT
  • MS-26 学びのコミュニティ