Generic and indexed programming : international spring school, SSGIP 2010 : Oxford, UK, March 22-26, 2010 : revised lectures. (Lecture Notes in Computer Science ; 7470. Tutorial)

Generic and indexed programming : international spring school, SSGIP 2010 : Oxford, UK, March 22-26, 2010 : revised lectures.

(Lecture Notes in Computer Science ; 7470. Tutorial)

Call No. (NDL): M17-13-636
Bibliographic ID of National Diet Library: 024014480

Material type: 図書

Author: SSGIP 2010 (2010 : Oxford, England)ほか

Publisher: Springer

Publication date: c2012.

Material Format: Paper

Capacity, size, etc.: vi, 258 p. ; 24 cm.

NDC: -

View Details

Notes on use

Note (General)：: Revised selected papers.Described as "(...) a Spring School on Generic and Indexed Programming, (...) during March 22-24, 2010; (...)" -- pref.

Other physical details：: ill.

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: 図書
ISBN: 9783642322020 (e-ISBN)
9783642322013
ISSN: 16113349 (e-ISSN)
ISSN (series): 03029743
Title: Generic and indexed programming : international spring school, SSGIP 2010 : Oxford, UK, March 22-26, 2010 : revised lectures.
Series Title: Lecture Notes in Computer Science ; 7470. Tutorial
Title Heading: Lecture notes in computer science ; 7470. 1611-3349
Lecture notes in computer science. Tutorial.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Author Heading: SSGIP 2010 (2010 : Oxford, England)
Gibbons, Jeremy, 1966-
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2012.
Publication Date (W3CDTF): 2012
Extent: vi, 258 p.
Other physical details: ill.
Size: 24 cm.
Additional Title: Mar 2010, Oxford, UK.
Place of Publication (Country Code): DE
US
Text Language Code: eng
Genre/Form Terms: Electronic books.
Subject Heading: Generic programming (Computer science)--Congresses.
Computer science.
Software engineering.
Data structures (Computer science).
Logic design.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
LCC: QA76.6245
DDC: 005.1/1
NDLC: M17
Target Audience: 一般
Note (General): Revised selected papers.
Described as "(...) a Spring School on Generic and Indexed Programming, (...) during March 22-24, 2010; (...)" -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Source: SpringerLink
http://dx.doi.org/10.1007/978-3-642-32202-0
Holding library: 国立国会図書館
Call No.: M17-13-636
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 024014480
http://id.ndl.go.jp/bib/024014480
OCLC No.: 801937630
https://www.worldcat.org/oclc/801937630
Cataloging Rule: Anglo-American Cataloging Rules
Bibliographic Record Category (NDL): 215

See Less