International computer science series

• 資料種別: 図書
• タイトル: International computer science series
• 著者標目: McGettrick, Andrew D.; https://ci.nii.ac.jp/author/DA00366181; Leeuwen, Jan van; https://ci.nii.ac.jp/author/DA00983632
• 出版事項: Addison-Wesley Pub. Co.
• 出版地（国名コード）: uk
• 対象利用者: 一般
• 関連情報: Miranda[TM] : the craft of functional programming; https://cir.nii.ac.jp/crid/1130000793651510016; Comparative programming languages; https://cir.nii.ac.jp/crid/1130000793678184192; Principles of expert systems; https://cir.nii.ac.jp/crid/1130000793717630208; Software development with Ada; https://cir.nii.ac.jp/crid/1130000793754571520; Office automation : concepts, technologies, and issues; https://cir.nii.ac.jp/crid/1130000793774967168; Handbook of algorithms and data structures : in Pascal and C; https://cir.nii.ac.jp/crid/1130000793884872832; Object-oriented database systems : concepts and architectures; https://cir.nii.ac.jp/crid/1130000793917579520; Data models, database languages and database management systems; https://cir.nii.ac.jp/crid/1130000794030830336; Distributed systems : concepts and design; https://cir.nii.ac.jp/crid/1130000794052252416; Distributed database systems; https://cir.nii.ac.jp/crid/1130000794078057856; Performance modelling of communication networks and computer architectures; https://cir.nii.ac.jp/crid/1130000794098534656; An introduction to programming with Modula-2; https://cir.nii.ac.jp/crid/1130000794111774080; High-level languages and their compilers; https://cir.nii.ac.jp/crid/1130000794122305920; https://cir.nii.ac.jp/crid/1130000794209082496; Introduction to expert systems; https://cir.nii.ac.jp/crid/1130000794243517184; Type theory and functional programming; https://cir.nii.ac.jp/crid/1130000794353775488; The UNIX System V environment; https://cir.nii.ac.jp/crid/1130000794498438528; Functional programming; https://cir.nii.ac.jp/crid/1130000794556661888; Prolog programming for artificial intelligence; https://cir.nii.ac.jp/crid/1130000794654809728; Concurrent systems : an integrated approach to operating systems, database and distributed systems; https://cir.nii.ac.jp/crid/1130000794753829248; Parallel processing : the transputer and its applications; https://cir.nii.ac.jp/crid/1130000794872378112; Principles of object-oriented software development; https://cir.nii.ac.jp/crid/1130000794983605632; Real-time systems and programming languages : ada 95, real-time Java and real-time POSIX; https://cir.nii.ac.jp/crid/1130000795060683648; Ada from the beginning; https://cir.nii.ac.jp/crid/1130000795170062080; Database systems : a practical approach to design, implementation, and management; https://cir.nii.ac.jp/crid/1130000795197524736; Concurrent programming; https://cir.nii.ac.jp/crid/1130000795238760448; Parallel processing : principles and practice; https://cir.nii.ac.jp/crid/1130000795239628800; Software engineering; https://cir.nii.ac.jp/crid/1130000795241437184; https://cir.nii.ac.jp/crid/1130000795257400576; https://cir.nii.ac.jp/crid/1130000795267235072; https://cir.nii.ac.jp/crid/1130000795302191488; The craft of software engineering; https://cir.nii.ac.jp/crid/1130000795327183616; Program verification; https://cir.nii.ac.jp/crid/1130000795451310592; Programming in Ada 95; https://cir.nii.ac.jp/crid/1130000795510149120; Software design; https://cir.nii.ac.jp/crid/1130000795549063552; Prolog; https://cir.nii.ac.jp/crid/1130000795613402624; Foundations of computing : system development with set theory and logic; https://cir.nii.ac.jp/crid/1130000795666705280; Specification of computer programs; https://cir.nii.ac.jp/crid/1130000795784325248; https://cir.nii.ac.jp/crid/1130000795826033792; Models and languages of object-oriented databases; https://cir.nii.ac.jp/crid/1130000795938630528; Programming language translation : a practical approach; https://cir.nii.ac.jp/crid/1130000795940299904; Java from the beginning; https://cir.nii.ac.jp/crid/1130000796042578176; Introductory logic and sets for computer scientists; https://cir.nii.ac.jp/crid/1130000796091819904; Local area network design; https://cir.nii.ac.jp/crid/1130000796107319424; C++ : from the beginning; https://cir.nii.ac.jp/crid/1130000796234848896; https://cir.nii.ac.jp/crid/1130000796279948416; UNIX system programming; https://cir.nii.ac.jp/crid/1130000796343467904; Operating systems : concurrent and distributed software design; https://cir.nii.ac.jp/crid/1130000796473022464; Modula-2 : discipline & design; https://cir.nii.ac.jp/crid/1130000796582623872; https://cir.nii.ac.jp/crid/1130000796598541824; Local area network architectures; https://cir.nii.ac.jp/crid/1130000796709693952; Functional programming and parallel graph rewriting; https://cir.nii.ac.jp/crid/1130000796750582656; Software development with Modula-2; https://cir.nii.ac.jp/crid/1130000796760514944; https://cir.nii.ac.jp/crid/1130000796767218048; https://cir.nii.ac.jp/crid/1130000796785197184; https://cir.nii.ac.jp/crid/1130000796794720640; Real-time systems and programming languages : Ada, Real-Time Java and C/Real-Time POSIX; https://cir.nii.ac.jp/crid/1130000796811545216; A structured approach to FORTRAN 77 programming; https://cir.nii.ac.jp/crid/1130000796917536640; The theory of computability : programs, machines, effectiveness and feasibility; https://cir.nii.ac.jp/crid/1130000797130524544; Analysis of algorithms and data structures; https://cir.nii.ac.jp/crid/1130000797199638016; Program derivation : the development of programs from specifications; https://cir.nii.ac.jp/crid/1130000797236499584; The UNIX system; https://cir.nii.ac.jp/crid/1130000797280420608; Numerical methods in practice : using the NAG Library; https://cir.nii.ac.jp/crid/1130000797325619840; Performance measurement of computer systems; https://cir.nii.ac.jp/crid/1130000797375209984; Ada : a first course in programming and software engineering; https://cir.nii.ac.jp/crid/1130000797397871616; Microcomputers in engineering and science; https://cir.nii.ac.jp/crid/1130000797404940672; Programming in Ada : plus language reference manual; https://cir.nii.ac.jp/crid/1130000797405265408; Syntax analysis and software tools; https://cir.nii.ac.jp/crid/1130000797413888640; POP-11 programming for artificial intelligence; https://cir.nii.ac.jp/crid/1130000797512239104; UNIX for super-users; https://cir.nii.ac.jp/crid/1130000797533108992; Haskell : the craft of functional programming; https://cir.nii.ac.jp/crid/1130000797574026880; Programming in ADA; https://cir.nii.ac.jp/crid/1130000797767788800; Common LISP programming for artificial intelligence; https://cir.nii.ac.jp/crid/1130000797826034304; https://cir.nii.ac.jp/crid/1130000797847800448; Java gently; https://cir.nii.ac.jp/crid/1130000797937429760; C++ from the beginning; https://cir.nii.ac.jp/crid/1130000797995898368; Programming language essentials; https://cir.nii.ac.jp/crid/1130000798024281216; https://cir.nii.ac.jp/crid/1130000798083786752; Algorithms and data structures : design, correctness, analysis; https://cir.nii.ac.jp/crid/1130000798104445184; https://cir.nii.ac.jp/crid/1130000798206985728; Software specification techniques; https://cir.nii.ac.jp/crid/1130000798231746944; https://cir.nii.ac.jp/crid/1130000798259656576; https://cir.nii.ac.jp/crid/1130000798322302464; Fortran 77 programming : with an introduction to Fortran 90 standard; https://cir.nii.ac.jp/crid/1130000798329700096; https://cir.nii.ac.jp/crid/1130282268638764672; Numerical methods with Fortran 77 : a practical introduction; https://cir.nii.ac.jp/crid/1130282268799529472; Concurrent systems : operating systems, database and distributed systems--an integrated approach; https://cir.nii.ac.jp/crid/1130282268820871040; https://cir.nii.ac.jp/crid/1130282268958791680; Programming in Ada : plus an overview of Ada 9X; https://cir.nii.ac.jp/crid/1130282268981639808; https://cir.nii.ac.jp/crid/1130282269023674496; https://cir.nii.ac.jp/crid/1130282269093493376; Java gently for engineers and scientists; https://cir.nii.ac.jp/crid/1130282269243715712; https://cir.nii.ac.jp/crid/1130282269313130240; Software engineering with B; https://cir.nii.ac.jp/crid/1130282269584405504; https://cir.nii.ac.jp/crid/1130282269668305152; The Cambridge distributed computing system; https://cir.nii.ac.jp/crid/1130282269736104320; Advanced computer architectures : a design space approach; https://cir.nii.ac.jp/crid/1130282269762803584; Data communications for programmers; https://cir.nii.ac.jp/crid/1130282269859838080; Text processing and typesetting with Unix; https://cir.nii.ac.jp/crid/1130282269926971392; Data abstraction in programming languages; https://cir.nii.ac.jp/crid/1130282270005814400; Compiler design; https://cir.nii.ac.jp/crid/1130282270064431872; Logic programming and knowledge engineering; https://cir.nii.ac.jp/crid/1130282270232294912; https://cir.nii.ac.jp/crid/1130282270339075840; Introduction to parallel processing; https://cir.nii.ac.jp/crid/1130282270348467200; Real-time systems and programming languages; https://cir.nii.ac.jp/crid/1130282270449664512; The programming process : an introduction using VDM and Pascal; https://cir.nii.ac.jp/crid/1130282270482911488; Software development with Z : a practical approach to formal methods in software engineering; https://cir.nii.ac.jp/crid/1130282270594494976; Real-time systems and their programming languages; https://cir.nii.ac.jp/crid/1130282270610470272; Object-oriented programming in Eiffel; https://cir.nii.ac.jp/crid/1130282270620487936; An introduction to functional programming through Lambda calculus; https://cir.nii.ac.jp/crid/1130282270760188032; Practical compiling with Pascal-S; https://cir.nii.ac.jp/crid/1130282270948220288; Compiler construction; https://cir.nii.ac.jp/crid/1130282271113060352; Software prototyping, formal methods and VDM; https://cir.nii.ac.jp/crid/1130282271146840320; Introduction to programming using SML; https://cir.nii.ac.jp/crid/1130282271192564992; Handbook of algorithms and data structures; https://cir.nii.ac.jp/crid/1130282271551986816; Clausal form logic : an introduction to the logic of computer reasoning; https://cir.nii.ac.jp/crid/1130282271615584768; https://cir.nii.ac.jp/crid/1130282271739134720; Object-oriented programming with SIMULA; https://cir.nii.ac.jp/crid/1130282271840014976; Computer architecture; https://cir.nii.ac.jp/crid/1130282271842622208; Database : theory and practice; https://cir.nii.ac.jp/crid/1130282271868201216; Interactive computer graphics : functional, procedural and device-level methods; https://cir.nii.ac.jp/crid/1130282271920651264; System simulation : programming styles and languages; https://cir.nii.ac.jp/crid/1130282272084690048; Fortran 90 programming; https://cir.nii.ac.jp/crid/1130282272120332672; Algorithms : a functional programming approach; https://cir.nii.ac.jp/crid/1130282272228552192; https://cir.nii.ac.jp/crid/1130282272274156544; Discrete mathematics for computer scientists; https://cir.nii.ac.jp/crid/1130282272438128640; Logic : a foundation for computer science; https://cir.nii.ac.jp/crid/1130282272569770240; Elements of functional programming; https://cir.nii.ac.jp/crid/1130282272679680384; C programming in a UNIX environment; https://cir.nii.ac.jp/crid/1130282272840984320; Programming for artificial intelligence : methods, tools, and applications; https://cir.nii.ac.jp/crid/1130282272864502784; An introduction to numerical methods with Pascal; https://cir.nii.ac.jp/crid/1130282272904914432; Functional C; https://cir.nii.ac.jp/crid/1130282273045729792; Logic for computer science; https://cir.nii.ac.jp/crid/1130282273056970496; https://cir.nii.ac.jp/crid/1130282273090337280; Computer science applied to business systems; https://cir.nii.ac.jp/crid/1130282273108033152; https://cir.nii.ac.jp/crid/1130282273161114368; Programming in Ada 2005; https://cir.nii.ac.jp/crid/1130282273221830144; Parallel programming; https://cir.nii.ac.jp/crid/1130282273260700160
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA00203522#entity
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA00203522 : BA00203522

目次

Miranda[TM] : the craft of functional programming

Comparative programming languages

Principles of expert systems

Software development with Ada

Office automation : concepts, technologies, and issues