Clear Search

Books+ Search Results

Subject: "Computers"
Subject (Genre): Is
Is Is Not
Congresses
Subject: Is
Is Is Not
Computer programs

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (29)
1.
Proceedings, Scientific Computer Information Exchange Meeting, September 12-13, 1979, Livermore, California : theme, impact of advanced systems on scientific computations
Author
Scientific Computer Information Exchange Meeting (1979 : Livermore, Calif.)
Published
[Washington, D.C.?] : The Office : Springfield, Va. : Available from National Technical Information Service, [1979?]
Location
SML, Microform (Non-Circulating) >> E 1.10:790902
Format
Books / Microforms
2.
Proceedings of the Symposium on Computer Software Engineering, New York, N. Y., April 20-22, 1976
Author
Symposium on Computer Software Engineering (1976 : New York)
Published
Brooklyn: Polytechnic Press of the Polytechnic Institute of New York ; New York : distributors, Halsted Press, 1976.
Location
Library Shelving Facility (LSF) >> QA76.6 S97 1976 (LC)
Format
Books
3.
Proceedings of the ... OOPSLA Workshop on Eclipse Technology Exchange
Author
OOPSLA Workshop on Eclipse Technology Exchange
Published
[New York, N.Y.] : Association for Computing Machinery
Online
https://yale.idm.oclc.org/login?URL=http://portal.acm.org/browse%5Fdl.cfm?lin...
Location
Yale Internet Resource >> None
Format
Journals & Newspapers / Online
4.
Towards the integration of ICT in language learning and teaching : reflection and experience
Published
Castelló de la Plana : Universitat Jaume I, c2006.
Location
Library Shelving Facility (LSF) >> P98 .T69 2004 (LC)
Format
Books
5.
Speech and natural language : proceedings of a workshop, held at Philadelphia, Pennsylvania, February 21-23, 1989
Author
DARPA Speech and Natural Language Workshop (1st : 1989 : Philadelphia, Pa.)
Published
San Mateo, Calif. : Distributed by Morgan Kaufman Publishers, c[1989]
Location
SML, Stacks, LC Classification >> P98.5 D37 1989 (LC)+ Oversize
Format
Books
6.
14th International Conference on Software Engineering, May 11-15, 1992, Melbourne, Australia
Author
International Conference on Software Engineering (14th : 1992 : Melbourne, Vic.)
Published
[New York, NY.] : ACM Press, 1992.
Online
IEEE conference proceeding
Location
Yale Internet Resource
Format
Books / Online
7.
Proceedings 13th International Conference on Software Engineering, May 13-16, 1991, Austin, Texas
Author
International Conference on Software Engineering (13th : 1991 : Austin, Tex.)
Published
Washington, D.C. : IEEE Computer Society Press, c1991.
Online
IEEE conference proceeding
Location
Yale Internet Resource
Format
Books / Online
8.
Proceedings 12th International Conference on Software Engineering, March 26-30, 1990, Nice, France
Author
International Conference on Software Engineering (12th : 1990 : Nice, France)
Published
Washington, D.C. : IEEE Computer Society Press, c1990.
Online
IEEE conference proceeding
Location
Yale Internet Resource
Format
Books / Online
9.
Proceedings 11th International Conference on Software Engineering, [May 16-18, 1989, Pittsburgh, Pennsylvania]
Author
International Conference on Software Engineering (11th : 1989 : Pittsburgh, Pa.)
Published
Washington, D.C. : IEEE Computer Society Press, c1989.
Online
IEEE conference proceeding
Location
Yale Internet Resource
Format
Books / Online
10.
Proceedings 10th International Conference on Software Engineering, April 11-15, 1988, Singapore
Author
International Conference on Software Engineering (10th : 1988 : Singapore)
Published
Washington, D.C. : IEEE Computer Society Press ; Baltimore, MD : ACM Order Dept., c1988.
Online
IEEE conference proceeding
Location
Yale Internet Resource
Format
Books / Online
11.
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings
Author
VMCAI 2006 (2006 : Charleston, S.C.)
Published
Berlin : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3855 (LC)
Format
Books
12.
Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
Author
VMCAI 2005 (2005 : Paris, France)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3385 (LC)
Format
Books
13.
Verification, model checking, and abstract interpretation : 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
Author
VMCAI 2003 (2003 : New York, NY)
Published
Berlin ; New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76.A1 L43 2575 (LC)
Format
Books
14.
Verification, model checking and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 2002 : proceedings
Author
VMCAI 2002 (2002 : Venice, Italy)
Published
Berlin ; New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2294 (LC)
Format
Books
15.
Proceedings of the Fourth International Workshop on Laser Ranging Instrumentation : software sessions, 1981 October 13-15
Author
International Workshop on Laser Ranging Instrumentation (4th : 1981 : Austin, Tex.)
Published
[Austin, Tex.] : [University of Texas], [1982]
Location
Library Shelving Facility (LSF) >> TA1673 .I67 1981
Format
Books
16.
Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981
Published
Berlin ; New York : Springer-Verlag, 1982.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 134 (LC)
Format
Books
17.
Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981
Published
Berlin ; New York : Springer-Verlag, 1982.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
18.
Programs as data objects : second symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings
Author
PADO 2001 (2001 : Aarhus, Denmark)
Published
Berlin ; New York : Springer, c2001.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2053 (LC)
Format
Books
19.
Computer litigation in the 1990's cloning and beyond
Published
[Chicago, Ill.] : The Section, 1989.
Location
Law Library >> Fiche S70 KF325.194 .A8C66 1989
Format
Books / Microforms
20.
Bang : Pure Data
Published
Berlin : Wolke, 2006.
Location
Library Shelving Facility (LSF) >> ML1380 B216 P9
MUSIC LIBRARY, SML, Recordings Collection >> ML1380 B216 P9
Format
Books / Images / Video & Film
21.
Workshop on Workflows in Support of Large-Scale Science [proceedings]
Author
Workshop on Workflows in Support of Large-Scale Science
Published
[Piscataway, NJ] : [Institute of Electrical and Electronic Engineers], [2006]-
Online
Full text
Location
Yale Internet Resource >> None
Format
Journals & Newspapers / Online
22.
Numerical software with result verification : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 2003 : revised papers
Published
Berlin ; New York : Springer, c2004.
Location
Library Shelving Facility (LSF) >> QA76 .A1 L43 2991 (LC)
Format
Books
23.
Intelligent agents for telecommunication applications : Third International Workshop, IATA'99, Stockholm, Sweden, August 9-10, 1999 : proceedings
Author
International Workshop on Intelligent Agents for Telecommunication Applications (3rd : 1999 : Stockholm, Sweden)
Published
Berlin ; New York : Springer, c1999.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1699 (LC)
Format
Books
24.
Intelligent agents for telecommunication applications : Second International Workshop, IATA'98, Paris, France, July 4-7, 1998 : proceedings
Published
Berlin ; New York : Springer, c1998.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1437 (LC)
Format
Books
25.
Persuasive technology : third international conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008 : proceedings
Author
International Conference on Persuasive Technology for Human Well-Being (3rd : 2008 : Oulu, Finland)
Published
Berlin ; New York : Springer, c2008.
Location
SML, Stacks, LC Classification >> QA76.A1 L43 5033
Format
Books