The Collection of
Computer Science Bibliographies
Up: Bibliographies on Software/Hardware Engineering and Formal Methods Collection Home

Bibliography of publications in the area of program development

[   About   |  Browse   |   Statistics   ]

Number of references:217Last update:October 13, 2000
Number of online publications:0Supported:no
Most recent reference:1995

Search the bibliography

Help on: [ Syntax | Options | Compression of results | Improving your query | Query examples ]
Boolean operators:and and or. Use () to group subexpressions.
Query:
Options:      
Results:       compress results (in case of low bandwidth)
Return a maximum of references.

Information on the Bibliography

Authors:
ESPRIT COMPULOG NET (Network of excellence in Computational Logic)

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(143), article(54), proceedings(13), phdthesis(3), techreport(2), book(1), inbook(1)
Fields:
title(217), year(217), author(204), pages(173), booktitle(143), publisher(142), editor(132), address(94), series(84), journal(54), month(54), volume(47), number(41), note(39), key(5), school(3), editors(2), institution(2), chapter(1)

Distribution of publication dates:

Distribution of publication dates

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>.

This page is part of the Computer Science Bibliography Collection.
Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.