Search by Bookstore
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
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 ServicePaperYou can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
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.
- Material Type
- 図書
- Author Heading
- Publication, Distribution, etc.
- Place of Publication (Country Code)
- uk
- Target Audience
- 一般
- Related Material
- Miranda[TM] : the craft of functional programmingComparative programming languagesPrinciples of expert systemsSoftware development with AdaOffice automation : concepts, technologies, and issuesHandbook of algorithms and data structures : in Pascal and CObject-oriented database systems : concepts and architecturesData models, database languages and database management systemsDistributed systems : concepts and designDistributed database systemsPerformance modelling of communication networks and computer architecturesAn introduction to programming with Modula-2High-level languages and their compilersDistributed systems : concepts and designIntroduction to expert systemsType theory and functional programmingThe UNIX System V environmentFunctional programmingProlog programming for artificial intelligenceConcurrent systems : an integrated approach to operating systems, database and distributed systemsParallel processing : the transputer and its applicationsPrinciples of object-oriented software developmentReal-time systems and programming languages : ada 95, real-time Java and real-time POSIXAda from the beginningDatabase systems : a practical approach to design, implementation, and managementConcurrent programmingParallel processing : principles and practiceSoftware engineeringPrinciples of object-oriented software developmentSoftware engineeringConcurrent programmingThe craft of software engineeringProgram verificationProgramming in Ada 95Software designPrologFoundations of computing : system development with set theory and logicSpecification of computer programsSoftware engineeringModels and languages of object-oriented databasesProgramming language translation : a practical approachJava from the beginningIntroductory logic and sets for computer scientistsLocal area network designC++ : from the beginningSoftware designUNIX system programmingOperating systems : concurrent and distributed software designModula-2 : discipline & designSoftware engineeringLocal area network architecturesFunctional programming and parallel graph rewritingSoftware development with Modula-2UNIX system programmingProlog programming for artificial intelligenceSoftware engineeringReal-time systems and programming languages : Ada, Real-Time Java and C/Real-Time POSIXA structured approach to FORTRAN 77 programmingThe theory of computability : programs, machines, effectiveness and feasibilityAnalysis of algorithms and data structuresProgram derivation : the development of programs from specificationsThe UNIX systemNumerical methods in practice : using the NAG LibraryPerformance measurement of computer systemsAda : a first course in programming and software engineeringMicrocomputers in engineering and scienceProgramming in Ada : plus language reference manualSyntax analysis and software toolsPOP-11 programming for artificial intelligenceUNIX for super-usersHaskell : the craft of functional programmingProgramming in ADACommon LISP programming for artificial intelligenceProgramming in ADAJava gentlyC++ from the beginningProgramming language essentialsThe UNIX systemAlgorithms and data structures : design, correctness, analysisIntroduction to expert systemsSoftware specification techniquesAlgorithms and data structures : design, correctness, analysisProgramming in ADAFortran 77 programming : with an introduction to Fortran 90 standardSoftware engineeringNumerical methods with Fortran 77 : a practical introductionConcurrent systems : operating systems, database and distributed systems--an integrated approachDatabase systems : a practical approach to design, implementation, and managementProgramming in Ada : plus an overview of Ada 9XIntroduction to expert systemsSoftware engineeringJava gently for engineers and scientistsHaskell : the craft of functional programmingSoftware engineering with BDistributed systems : concepts and designThe Cambridge distributed computing systemAdvanced computer architectures : a design space approachData communications for programmersText processing and typesetting with UnixData abstraction in programming languagesCompiler designLogic programming and knowledge engineeringDatabase systems : a practical approach to design, implementation, and managementIntroduction to parallel processingReal-time systems and programming languagesThe programming process : an introduction using VDM and PascalSoftware development with Z : a practical approach to formal methods in software engineeringReal-time systems and their programming languagesObject-oriented programming in EiffelAn introduction to functional programming through Lambda calculusPractical compiling with Pascal-SCompiler constructionSoftware prototyping, formal methods and VDMIntroduction to programming using SMLHandbook of algorithms and data structuresClausal form logic : an introduction to the logic of computer reasoningSoftware engineeringObject-oriented programming with SIMULAComputer architectureDatabase : theory and practiceInteractive computer graphics : functional, procedural and device-level methodsSystem simulation : programming styles and languagesFortran 90 programmingAlgorithms : a functional programming approachDistributed systems : concepts and designDiscrete mathematics for computer scientistsLogic : a foundation for computer scienceElements of functional programmingC programming in a UNIX environmentProgramming for artificial intelligence : methods, tools, and applicationsAn introduction to numerical methods with PascalFunctional CLogic for computer scienceProlog programming for artificial intelligenceComputer science applied to business systemsDatabase systems : a practical approach to design, implementation, and managementProgramming in Ada 2005Parallel programming
- Related Material (URI)
- Data Provider (Database)
- 国立情報学研究所 : CiNii Research
- Original Data Provider (Database)
- CiNii Books