Proceedings of the ... Annual Computer Personnel Research Conference, Reasoning about knowledge



Theoretical aspects of reasoning about knowledge

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0001778040 / 1986-03-20
Date of Publication:
March 3, 1986
Date of Creation:
1986
Title:
Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California / edited by Joseph Y. Halpern.
Language:
Conference cosponsored by I B M, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery.
Imprint:
Los Altos, Calif. : Morgan Kaufmann Publishers, c1986.
Description:
407 p.
Copyright Claimant:
Morgan Kaufmann Publishers, Inc.
Names:
Joseph Y. Halpern 1953-
IBM (335 documents)
example document: ADSTAR distributed storage manager using the application program interface

Copyrights records by IBM

American Association of Artificial Intelligence
Office of Naval Research (28 documents)
example document: Acousto-optic bulk wave devices

Copyrights records by Office of Naval Research

Association for Computing Machinery (2151 documents)
example document: Proceedings of the 1997 ACM SIGCPR conference

Copyrights records by Association for Computing Machinery

Morgan Kaufmann Publishers, Inc. (55 documents)
example document: Advanced Renderman

Copyrights records by Morgan Kaufmann Publishers, Inc.

Probabilistic reasoning in intelligent systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002724237 / 1990-01-08
Date of Publication:
September 15, 1988
Date of Creation:
1988
Title:
Probabilistic reasoning in intelligent systems : networks of plausible inference / Judea Pearl.
Imprint:
San Mateo, Calif. : M. Kaufmann Publishers, c1988.
Description:
552 p.
Copyright Claimant:
Morgan Kaufmann Publishers, Inc.
Names:
Judea Pearl (2 documents)
example document: At home in the world

Copyrights records by Pearl, Judea

Morgan Kaufmann Publishers, Inc. (55 documents)
example document: The object data standard

Readings in object-oriented database systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0002730179 / 1990-01-08
Date of Publication:
September 30, 1989
Date of Creation:
1989
Title:
Readings in object-oriented database systems / edited by Stanley B. Zdonik and David Maier.
Basis of Claim:
New Matter: compilation & arr., introd. & bibliography.
Description:
1 v.
Copyright Claimant:
Morgan Kaufmann Publishers, Inc.
Names:
Stanley B. Zdonik
David Maier (9 documents)
example document: Slow motion coronas
Morgan Kaufmann Publishers, Inc. (55 documents)
example document: Readings in natural language processing

Reasoning about knowledge

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004170555 / 1995-12-08
Date of Publication:
August 14, 1995
Date of Creation:
1995
Title:
Reasoning about knowledge / Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi.
Imprint:
Cambridge, MA : MIT Press, c1995.
Description:
477 p.
Copyright Claimant:
Massachusetts Institute of Technology
Names:
Ronald Fagin
Joseph Y. Halpern
Yoram Moses
Moshe Y. Vardi
Massachusetts Institute of Technology (3583 documents)
example document: Analysis of visual behavior

Copyrights records by Massachusetts Institute of Technology

The object database standard

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004588626 / 1997-08-12
Date of Publication:
May 12, 1997
Date of Creation:
1997
Title:
The object database standard : ODMG 2.0 / edited by R. G. G. Cattell, Douglas K. Barry ; contributors, Dirk Bartels, Mark Berler, Jeff Eastman ... [et al.]
Imprint:
San Francisco : Morgan Kaufmann Publishers, c1997.
Description:
270 p.
Variant title:
The object database standard : ODMG 2.0
Copyright Claimant:
Morgan Kaufmann Publishers, Inc.
Names:
R. G. G. Cattell (1 documents)
example document: The object data standard
Douglas K. Barry (2 documents)
example document: The object data standard

Copyrights records by Barry, Douglas K.

Dirk Bartels
Mark Berler (1 documents)
example document: The object data standard
Jeff Eastman (1 documents)
example document: The object data standard
Morgan Kaufmann Publishers, Inc. (55 documents)
example document: Universal database management

Practical digital libraries

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004627151 / 1997-11-26
Date of Publication:
July 30, 1997
Date of Creation:
not given on appl.
Title:
Practical digital libraries : books, bytes, and bucks / Michael Lesk.
Imprint:
San Francisco : M. Kaufmann Publishers, c1997.
Description:
297 p.
Copyright Claimant:
Morgan Kaufmann Publishers, Inc.
Names:
Michael Lesk 1945-
Morgan Kaufmann Publishers, Inc. (55 documents)
example document: Universal database management

Predictive data mining

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004653492 / 1998-08-24
Date of Publication:
August 18, 1997
Date of Creation:
1997
Title:
Predictive data mining : a practical guide / Sholom M. Weiss, Nitin Indurkhya.
Copyright Note:
C.O. correspondence.
Imprint:
San Francisco : Morgan Kaufmann Publishers, c1998.
Description:
228 p.
Variant title:
Predictive data mining : a practical guide
Copyright Claimant:
Morgan Kaufmann Publishers, Inc.
Names:
Sholom M. Weiss 1947-
Nitin Indurkhya 1962-
Morgan Kaufmann Publishers, Inc. (55 documents)
example document: Readings in information retrieval

Introduction to implicit surfaces

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004656261 / 1997-10-27
Date of Publication:
July 28, 1997
Date of Creation:
1997
Title:
Introduction to implicit surfaces / edited by Jules Bloomenthal, 1951-.
Imprint:
San Francisco : Morgan Kaufmann Publishers, c1997.
Description:
332 p.
Copyright Claimant:
Morgan Kaufmann Publishers, Inc.
Names:
Jules Bloomenthal 1951-
Morgan Kaufmann Publishers, Inc. (55 documents)
example document: Thin clients clearly explained

Applying case-based reasoning

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004656262 / 1997-10-27
Date of Publication:
July 16, 1997
Date of Creation:
1997
Title:
Applying case-based reasoning : techniques for enterprise systems / Ian Watson, 1960-.
Imprint:
San Francisco : Morgan Kaufmann Publishers, c1997.
Description:
289 p.
Variant title:
Applying case-based reasoning : techniques for enterprise systems
Copyright Claimant:
Morgan Kaufmann Publishers, Inc.
Names:
Ian Watson 1960-
Morgan Kaufmann Publishers, Inc. (55 documents)
example document: Transaction processing

Advanced compiler design and implementation

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004665976 / 1997-11-24
Date of Publication:
August 19, 1997
Date of Creation:
1997
Title:
Advanced compiler design and implementation / Steven S. Muchnick.
Imprint:
San Francisco : Morgan Kaufmann Publishers, c1997.
Description:
856 p.
Copyright Claimant:
Morgan Kaufmann Publishers, Inc.
Names:
Steven S. Muchnick 1945-
Morgan Kaufmann Publishers, Inc. (55 documents)
example document: Using the new DB2

Principles of transaction processing

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004672397 / 1997-11-21
Date of Publication:
November 15, 1996
Date of Creation:
1996
Title:
Principles of transaction processing / Philip A. Bernstein, Eric Newcomer.
Imprint:
San Francisco : Morgan Kaufmann Publishers, c1997.
Description:
358 p.
Copyright Claimant:
Morgan Kaufmann Publishers, Inc.
Names:
Philip A. Bernstein 1949-
Eric Newcomer 1954-
Morgan Kaufmann Publishers, Inc. (55 documents)
example document: The object data standard

Parallel programming with MPI

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004674685 / 1997-11-24
Date of Publication:
October 18, 1996
Date of Creation:
1996
Title:
Parallel programming with MPI / Peter S. Pacheco.
Imprint:
San Francisco : Morgan Kaufmann Publishers, c1997.
Description:
418 p.
Copyright Claimant:
Morgan Kaufmann Publishers, Inc.
Names:
Peter S. Pacheco 1951-
Morgan Kaufmann Publishers, Inc. (55 documents)
example document: Computer organization and design--the hardware/software interface

Database modeling & design

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004675257 / 1997-11-21
Date of Publication:
March 6, 1994
Date of Creation:
1994
Title:
Database modeling & design : the fundamental principles / Toby J. Teorey.
Edition:
2nd ed.
Imprint:
San Francisco : Morgan Kaufmann Publishers, 1994.
Description:
277 p.
Variant title:
Database modeling & design : the fundamental principles
Copyright Claimant:
Morgan Kaufmann Publishers, Inc.
Names:
Toby J. Teorey 1942-
Morgan Kaufmann Publishers, Inc. (55 documents)
example document: Machine learning

Joe Celko's SQL for smarties

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004677535 / 1997-11-21
Date of Publication:
May 27, 1995
Date of Creation:
1995
Title:
Joe Celko's SQL for smarties : advanced SQL programming.
Imprint:
San Francisco : Morgan Kaufmann Publishers, c1995.
Description:
467 p.
Number of similar titles:
1
Variant title:
Joe Celko's SQL for smarties : advanced SQL programming
Other Title:
SQL for smarties : advanced SQL programming
Copyright Claimant:
Morgan Kaufmann Publishers, Inc.
Names:
Joe Celko 1947-
Morgan Kaufmann Publishers, Inc. (55 documents)
example document: Readings in natural language processing

Distributed algorithms

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004678603 / 1997-12-02
Date of Publication:
March 29, 1996
Date of Creation:
1996
Title:
Distributed algorithms / Nancy A. Lynch.
Imprint:
San Francisco : Morgan Kaufmann Publishers, c1996.
Description:
872 p.
Copyright Claimant:
Morgan Kaufmann Publishers, Inc.
Names:
Nancy A. Lynch 1948-
Morgan Kaufmann Publishers, Inc. (55 documents)
example document: Computer organization and design--the hardware/software interface

Wavelets for computer graphics

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004678606 / 1997-12-02
Date of Publication:
July 25, 1996
Date of Creation:
1996
Title:
Wavelets for computer graphics : theory and applications / Eric J. Stollnitz, Tony D. DeRose, David H. Salesin.
Series:
Morgan Kaufmann series in computer graphics and geometric modeling
Imprint:
San Francisco : Morgan Kaufman Publishers, c1996.
Description:
245 p.
Other Title:
Morgan Kaufmann series in computer graphics and geometric modeling
Copyright Claimant:
Morgan Kaufmann Publishers, Inc.
Names:
Eric J. Stollnitz 1970-
Tony D. DeRose 1958-
David H. Salesin 1961-
Morgan Kaufmann Publishers, Inc. (55 documents)
example document: Computer architecture: a quantitative approach & 2 other titles

High-performance communication networks

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004678703 / 1997-11-21
Date of Publication:
October 1, 1996
Date of Creation:
1996
Title:
High-performance communication networks / Jean Walrand, Pravin Varaiya.
Imprint:
San Francisco : M. Kaufmann Publishers, c1996.
Description:
535 p.
Number of similar titles:
1
Copyright Claimant:
Morgan Kaufmann Publishers, Inc.
Names:
Jean Walrand 1951-
Pravin Varaiya 1940-
Morgan Kaufmann Publishers, Inc. (55 documents)
example document: The object data standard

Readings in human-computer interaction

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004680403 / 1997-11-21
Date of Publication:
May 8, 1995
Date of Creation:
1995
Title:
Readings in human-computer interaction : toward the year 2000 / written and edited by Ronald M. Baecker, Jonathan Grudin, William A. S. Buxton, Saul Greenberg.
Edition:
2nd ed.
Copyright Note:
C.O. correspondence.
Imprint:
San Francisco : Morgan Kaufmann, c1995.
Description:
950 p.
Variant title:
Readings in human-computer interaction : toward the year 2000
Copyright Claimant:
Morgan Kaufmann Publishers, Inc.
Names:
Ronald M. Baecker 1942-
Jonathan Grudin 1949-
William A. S. Buxton 1949-
Saul Greenberg 1954-
Morgan Kaufmann Publishers, Inc. (55 documents)
example document: Readings in natural language processing

Introduction to data compression

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0004680772 / 1997-11-24
Date of Publication:
November 30, 1995
Date of Creation:
1995
Title:
Introduction to data compression / Khalid Sayood.
Imprint:
San Francisco : Morgan Kaufmann Publishers, c1996.
Description:
475 p.
Number of similar titles:
1
Copyright Claimant:
Morgan Kaufmann Publishers, Inc
Names:
Khalid Sayood 1956-
Morgan Kaufmann Publishers, Inc (56 documents)
example document: Readings in natural language processing

Data base

Title:
Data base.
Copyright Note:
No issues recorded for year
Serial Publication Year:
1978
Description:
print material.
Continues:
SIGBDP newsletter.
Other Title:
Proceedings of a conference on decision support systems
Authorship on Application:
Association for Computing Machinery, employer for hire.
Names:
Eric D. Carlson (4 documents)
example document: The Nose

Copyrights records by Carlson, Eric D.

Association for Computing Machinery (2151 documents)
example document: Communications of the Association for Computing Machinery. Vol. 5, no. 2, Feb. 1962
Association for Computing Machinery. Special Interest Group of Business Data Processing
International Business Machines Corporation. Research Division (2 documents)
example document: Supercomputing at I B M Research

Copyrights records by International Business Machines Corporation. Research Division

University of Pennsylvania, Philadelphia. The Wharton School. Department of Decision Sciences
Massachusetts Institute of Technology. Sloan School of Management. Center for Information Systems Research
Special Interest Group of Business Data Processing, Association for Computing Machinery.
Research Division, I B M Corporation.
Center for Information Systems Research, Sloan School of Management.
Department of Decision Sciences, the Wharton School.

Proceedings of the ... Annual Computer Personnel Research Conference

Title:
Proceedings of the ... Annual Computer Personnel Research Conference / edited by Theodore C. Willoughby.
Copyright Note:
No issues recorded for year
Serial Publication Year:
1979
Imprint:
New York : Special Interest Group on Computer Personnel Research, The Association.
Description:
print material.
Number of similar titles:
8
Variant title:
SIGCPR conference proceedings.
Description based on:
No. 15.
Names:
Theodore C. Willoughby
Association for Computing Machinery. Special Interest Group on Computer Personnel Research
Computer Personnel Research Conference, 15th, Arlington, Va., 1977
Association for Computing Machinery (2151 documents)
example document: Fourth Workshop on Computer Architecture for Non-numeric Processing
Special Interest Group on Computer Personnel Research, Association for Computing Machinery.

Data base

Title:
Data base : a quarterly newsletter of the Special Interest Group on Business Data Processing of the Association for Computing Machinery / managing editor, Richard K. Cherry ... [et al.].
Serial Publication Year:
1979
Serial Key Title:
Data base
Imprint:
New York : The Association.
ISSN:
0095-0033

0163-5808

Description:
print material.
Continues:
SIGBDP newsletter.
Other Title:
Data base directions, the next steps
SIGMOD record
Description based on:
Vol. 8, no. 2, fall 1976.
Copyright Claimant:
Association for Computing Machinery.
Authorship on Application:
Association for Computing Machinery, employer for hire.
Names:
Richard K. Cherry

Copyrights records by Cherry, Richard K.

John L. Berg

Copyrights records by Berg, John L.

Association for Computing Machinery (2151 documents)
example document: 1999 IEEE parallel visualization and graphics symposium
Conference on Decision Support Systems, Santa Clara, Calif., 1977

Copyrights records by Conference on Decision Support Systems, Santa Clara, Calif., 1977

United States. Department of Commerce. National Bureau of Standards (33 documents)
example document: Proceedings

Copyrights records by United States. Department of Commerce. National Bureau of Standards

Association for Computing Machinery. Special Interest Group on Business Data Processing (5 documents)
example document: Very large data bases

Copyrights records by Association for Computing Machinery. Special Interest Group on Business Data Processing

Decision Support Systems, Conference on.

Copyrights records by Decision Support Systems, Conference on.

Special Interest Group on Business Data Processing of the Association for Computing Machinery.

Copyrights records by Special Interest Group on Business Data Processing of the Association for Computing Machinery.

National Bureau of Standards. (17 documents)
example document: Fatigue mechanisms

Copyrights records by National Bureau of Standards.

Data base

Title:
Data base : a quarterly newsletter of the Special Interest Group on Business Data Processing of the Association for Computing Machinery / managing editor, Richard K. Cherry ... [et al.].
Title Qualifier:
A C M
Copyright Note:
No issues recorded for year
Serial Publication Year:
1982
Imprint:
New York : The Association.
Description:
print material.
Continues:
SIGBDP newsletter.
Other Title:
SIGMOD record
Description based on:
Vol. 8, no. 2, fall 1976.
Authorship on Application:
Association for Computing Machinery, employer for hire.
Names:
Richard K. Cherry
Association for Computing Machinery (2151 documents)
example document: Graphics interface '94
Association for Computing Machinery. Special Interest Group on Business Data Processing (5 documents)
example document: Very large data bases
Special Interest Group on Business Data Processing of the Association for Computing Machinery.

ACM Sigdoc .

Title:
ACM Sigdoc . : the ... International Conference on Systems Documentation : proceedings / Association for Computing Machinery Special Interest Group on Systems Documentation.
Serial Publication Year:
1987
Imprint:
New York : ACM.
Description:
print material.
Frequency:
Frequency unknown.
Number of similar titles:
1
Description based on:
No. 4, '85.
Copyright Claimant:
Association for Computing Machinery, Inc.
Authorship on Application:
Association for Computing Machinery, employer for hire.
Names:
International Conference on Systems Documentation, 4th, Cornell University, 1985
Association for Computing Machinery. Special Interest Group on Systems Documentation
Cornell University. Computing Services

Copyrights records by Cornell University. Computing Services

Association for Computing Machinery (2151 documents)
example document: Report of the A C M task force on the core of computer science
ACM Sigdoc

Copyrights records by ACM Sigdoc

Systems Documentation, International Conference on (8 documents)
example document: International Conference on Systems Documentation, January 22-23, 1982, Carson, California

Copyrights records by Systems Documentation, International Conference on

ACM Letters on programming languages and systems

Title:
ACM Letters on programming languages and systems : a publication of the Association for Computing Machinery.
Series:
ACM series on systems and programming
Serial Publication Year:
1993
Serial Key Title:
ACM Letters on programming languages and systems
ISSN:
1057-4514

Description:
print material.
Frequency:
Quarterly.
Publication History:
Vol. 1, no. 1, Mar. 1992-
Number of similar titles:
2
Variant title:
LOPLAS.
Other Title:
Letters on programming languages and systems
Names:
Association for Computing Machinery. (80 documents)
example document: Motion

Copyrights records by Association for Computing Machinery.

ACM (90 documents)
example document: Communications of the Association for Computing Machinery. Vol. 5, no. 5, May 1962

Copyrights records by ACM

Association for Computing Machinery, Inc. (1906 documents)
example document: Proceedings

Copyrights records by Association for Computing Machinery, Inc.

Tri-Ada ... proceedings

Title:
Tri-Ada ... proceedings : government, industry, academia / sponsored by ACM SIGAda.
Application Title:
Conference proceedings Tri-Ada ....
Copyright Note:
No issues recorded for year
Serial Publication Year:
1995
Description:
print material.
Frequency:
Annually.
Number of similar titles:
2
Other Title:
Proceedings Tri-Ada '94 conference & expo
Description based on:
'91 conference proceedings.
Names:
ACM SIGAda

Copyrights records by ACM SIGAda

Association for Computing Machinery, Inc. SIGAda

Copyrights records by Association for Computing Machinery, Inc. SIGAda

Association for Computing Machinery, Inc. (1906 documents)
example document: Proceedings of the 14th ACM international conference on information and knowledge management

International Conference on Systems Documentation

Title:
International Conference on Systems Documentation : proceedings of the ... ACM Sigdoc ....
Application Title:
Sigdoc ... ACM ... annual International Conference on Systems Documentation.
Copyright Note:
No issues recorded for year
Serial Publication Year:
1993
Imprint:
New York : ACM.
Description:
print material.
Frequency:
Frequency unknown.
Number of similar titles:
2
Similar Title:
International Conference on Systems Documentation, January 22-23, 1982, Carson, California
Variant title:
Proceedings, ACM-Sigdoc.
Other Title:
ACM Sigdoc
Proceedings of the A C M Sigdoc ...
Description based on:
No. 3, '84.
Notes:
Sponsored by the Association for Computing Machinery, Special Interest Group on Systems Documentation.
Prior issues see Proceedings of the A C M Sigdoc ....
Names:
International Conference on Systems Documentation, 9th, Chicago, 1991
Association for Computing Machinery, Inc. Special Interest Group on Systems Documentation

Copyrights records by Association for Computing Machinery, Inc. Special Interest Group on Systems Documentation

Systems Documentation, International Conference on (8 documents)
example document: International Conference on Systems Documentation, January 22-23, 1982, Carson, California
Association for Computing Machinery, Inc. (1906 documents)
example document: Proceedings of the 2004 ACM SIGPLAN-SIGSOFT workshop on program analysis for software tools and engineering (PASTE'04)

ACM-SIGCPR Conference

Title:
ACM-SIGCPR Conference : proceedings of the ... / the Special Interest Group on Computer Personnel Research SIGCPR) of the Association for Computing Machinery.
Copyright Note:
No issues recorded for year
Serial Publication Year:
1995
Imprint:
New York : ACM, 1988-.
Description:
print material.
Frequency:
Annually.
Publication History:
1988-
Continues:
ACM-SIGBDP-SIGCPR Conference.
Number of similar titles:
2
Variant title:
Proceedings ... ACM-SIGCPR Conference ....
Other Title:
Proceedings of the ... A C M-S I G C P R Conference
Notes:
Prior issues see Proceedings of the ... A C M-S I G C P R Conference.
Names:
Special Interest Group on Computer Personnel Research

Copyrights records by Special Interest Group on Computer Personnel Research

SIGCPR

Copyrights records by SIGCPR

Association for Computing Machinery, Inc. Special Interest Group on Computer Personnel Research (13 documents)
example document: Proceedings of the 1991 ACM SIGCPR Conference

Copyrights records by Association for Computing Machinery, Inc. Special Interest Group on Computer Personnel Research

Association for Computing Machinery, Inc. (1906 documents)
example document: Proceedings of ISPD'04

Supercomputing .

Title:
Supercomputing . : proceedings / sponsored by IEEE Computer Society and ACM Sigarch.
Application Title:
Proceedings Supercomputing ....
Serial Publication Year:
1989
Description:
print material.
Frequency:
Annually.
Number of similar titles:
4
Description based on:
'89 conference.
Copyright Claimant:
Association for Computing Machinery.
Authorship on Application:
Association for Computing Machinery, Inc., employer for hire.
Names:
Association for Computing Machinery, Inc. (1906 documents)
example document: The Papers of the Fifth Workshop on Computer Architecture for Non-Numeric Processing
Supercomputing, Reno, 1989
Association for Computing Machinery, Inc. Sigarch

Copyrights records by Association for Computing Machinery, Inc. Sigarch

IEEE. Computer Society
ACM Sigarch

Copyrights records by ACM Sigarch

Software engineering notes

Title:
Software engineering notes : an informal newsletter of the Special Interest Group on Software Engineering.
Serial Publication Year:
1990
Serial Key Title:
Software engineering notes
ISSN:
0163-5948

Description:
print material.
Continues:
ACM Sigsoft software engineering notes.
Number of similar titles:
4
Variant title:
SEN.
Other Title:
ACM Sigsoft software engineering notes
Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development
Description based on:
Vol. 17, no. 1, Jan. 1992.
Copyright Claimant:
Association for Computing Machinery, Inc.
Notes:
Pub. 4 times a year, plus extra proceedings issues.
Authorship on Application:
Association for Computing Machinery, Inc., employer for hire.
Names:
Association for Computing Machinery, Inc. Special Interest Group on Software Engineering

Copyrights records by Association for Computing Machinery, Inc. Special Interest Group on Software Engineering

ACM SIGSOFT International Workshop on Formal Methods in Software Development, Napa, Calif., 1990
Association for Computing Machinery, Inc. (1906 documents)
example document: Report of the A C M task force on the core of computer science
Special Interest Group on Software Engineering

Copyrights records by Special Interest Group on Software Engineering

Formal Methods in Software Development, ACM SIGSOFT International Workshop on
This website is not affiliated with document authors or copyright owners. This page is provided for informational purposes only. Unintentional errors are possible. Multiple persons can share the same name.