Monographs in computer science

Material type: 図書

Author: -

Publisher: Springer Verlag

Publication date: -

Material Format: Paper

Capacity, size, etc.: -

NDC: -

View All

Related materials as well as pre- and post-revision versions

Parsing techniques : a practical guide Parameterized complexity Reverse engineering of object oriented code Active rules in database systems Panoramic vision : sensors, theory, and applications Specification and development of interactive systems : focus on streams,interfaces, and refinement Language equations A discipline of multiprogramming : programming theory for distributed applications Super-recursive algorithms Parsing techniques : a practical guide Numerical geometry of non-rigid shapes Programming methodology High performance discovery in time series : techniques and case studies Computer systems : theory, technology, and applications : a tribute to Roger Needham Software configuration management using Vesta Geometrical methods in robotics ML with concurrency : design, analysis, implementation, and application Evolutionary synthesis of pattern recognition systems Asynchronous circuits Set theory for computing : from decision procedures to declarative programming with sets Geometric fundamentals of robotics Expert systems and probabilistic network models On a method of multiprogramming Abstraction, refinement and proof for probabilistic systems A theory of objects Adapting proofs-as-programs : the Curry-Howard protocol

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: Monographs in computer science
Publication, Distribution, etc.: Springer Verlag
Place of Publication (Country Code): us
Target Audience: 一般
Related Material: Parsing techniques : a practical guide
https://cir.nii.ac.jp/crid/1130000793876663424
Parameterized complexity
https://cir.nii.ac.jp/crid/1130000793966359808
Reverse engineering of object oriented code
https://cir.nii.ac.jp/crid/1130000794081211136
Active rules in database systems
https://cir.nii.ac.jp/crid/1130000794138096384
Panoramic vision : sensors, theory, and applications
https://cir.nii.ac.jp/crid/1130000795045616384
Specification and development of interactive systems : focus on streams,interfaces, and refinement
https://cir.nii.ac.jp/crid/1130000795639078912
Language equations
https://cir.nii.ac.jp/crid/1130000795748550272
A discipline of multiprogramming : programming theory for distributed applications
https://cir.nii.ac.jp/crid/1130000796196747008
Super-recursive algorithms
https://cir.nii.ac.jp/crid/1130000796207256704
Parsing techniques : a practical guide
https://cir.nii.ac.jp/crid/1130000796399340928
Numerical geometry of non-rigid shapes
https://cir.nii.ac.jp/crid/1130000796534316416
Programming methodology
https://cir.nii.ac.jp/crid/1130000796974029312
High performance discovery in time series : techniques and case studies
https://cir.nii.ac.jp/crid/1130000797134169600
Computer systems : theory, technology, and applications : a tribute to Roger Needham
https://cir.nii.ac.jp/crid/1130000797426278784
Software configuration management using Vesta
https://cir.nii.ac.jp/crid/1130000797445492224
Geometrical methods in robotics
https://cir.nii.ac.jp/crid/1130282268714368256
ML with concurrency : design, analysis, implementation, and application
https://cir.nii.ac.jp/crid/1130282268722862464
Evolutionary synthesis of pattern recognition systems
https://cir.nii.ac.jp/crid/1130282269452194816
Asynchronous circuits
https://cir.nii.ac.jp/crid/1130282269950323968
Set theory for computing : from decision procedures to declarative programming with sets
https://cir.nii.ac.jp/crid/1130282271575166336
Geometric fundamentals of robotics
https://cir.nii.ac.jp/crid/1130282272199014272
Expert systems and probabilistic network models
https://cir.nii.ac.jp/crid/1130282272284137728
On a method of multiprogramming
https://cir.nii.ac.jp/crid/1130282272393765120
Abstraction, refinement and proof for probabilistic systems
https://cir.nii.ac.jp/crid/1130282272712465024
A theory of objects
https://cir.nii.ac.jp/crid/1130282272956210304
Adapting proofs-as-programs : the Curry-Howard protocol
https://cir.nii.ac.jp/crid/1130282273369342848
Related Material (URI): https://ci.nii.ac.jp/ncid/BA25153956#entity
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA25153956 : BA25153956