Foundations of software technology and theoretical computer science Proceedings of the 5th Conference New Delhi December 16-18, 1985

Foundations of software technology and theoretical computer science Proceedings of the 5th Conference New Delhi December 16-18, 1985

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Maheshwari, S. N. (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer-Verlag c1985
Σειρά:	Lecture Notes in Computer Science / G. Goos and J. Hartmanis 206
Θέματα:	COMPUTER SCIENCE COMPUTER SOFTWARE COMPUTER TECHNOLOGY Τεχνολογία λογισμικού PROCEEDINGS THEORETICAL COMPUTER SCIENCE ΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ ΗΛΕΚΤΡΟΝΙΚΟΙ ΥΠΟΛΟΓΙΣΤΕΣ > ΛΟΓΙΚΟ Συνέδρια LNCS

Παρόμοια τεκμήρια

Foundations of software technology and theoretical computer science Proceedings of the 6th conference New Delhi, India, Decdmber 18-20, 1986
Έκδοση: (1986)

Theoretical Computer Science
Έκδοση: (1975)

Software tools
ανά: Plauger, P. J., κ.ά.
Έκδοση: (1976)

Testing in software development
Έκδοση: (1989)

Scelbi 8080 software gourmet guide and cook book
ανά: Findley, Robert
Έκδοση: (1976)

Theoretical aspects of Computer Science STACS 86 [Proceedings] of the 3rd Annual Symposium Orsay, France, January 16-18,1986
Έκδοση: (1986)

Theoretical Aspects of Computer Science STACS 93 Proceedings of 10th Annual Symposium Wurzburg Germany, February 25-27, 1993
Έκδοση: (1993)

Theoretical Aspects of Computer Science STACS 92 Proceedings of 9th Annual Symposium Cachan, France, February 13-15, 1992
Έκδοση: (1992)

Graph-theoretic concepts in computer science Proceedings. International Workshop WG"88. Amsterdam, June 15-17, 1988
Έκδοση: (1989)

Automated deduction Proceedings of the 8th International Conference Oxford, England, July 27 - August 1, 1986
Έκδοση: (1986)

Software engineering Design, reliability and management
ανά: Shooman, Martin L.
Έκδοση: (1988)

Rewriting techniques and applications [Proceedings of the 1rst international conference] Dijon, France, May 20-22, 1985
Έκδοση: (1985)

Introduction to computer concepts hardware and software
ανά: Dickey, Larry W.
Έκδοση: (1974)

Trends in theoretical computer science
Έκδοση: (1988)

Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990
Έκδοση: (1991)

Current trends in concurrency [Proceedings of the ESPRIT/LPC Noordwijlerhout, The Netherlands, June 10-21, 1985]
Έκδοση: (1985)

Parallel computer architectures Theory, hardware, software, applications. The 1st workshop
Έκδοση: (1993)

Advances in petri nets 1985 [Procedings of the 6th European Workshop on applications and theory of Petri Nets. Espoo, Finland, June, 1985]
Έκδοση: (1986)

Software engineering standards
Έκδοση: (1990)

Programs as data objects Proceedings of a Workshop Copenhagen, Denmark, October 17-19, 1985
Έκδοση: (1986)

Computer performance and reliability Proceedings of the 2nd Int. MCPR Workshop. Rome, May 25-29, 1987
Έκδοση: (1988)

A First Course in Computer Technology
ανά: Hartley, Michael G., κ.ά.
Έκδοση: (1978)

ESOP 86. European symposium on programming Proceedings. Saarbrucken, Germany, March 17-19, 1986
Έκδοση: (1986)

Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship
ανά: Zwiers, J.
Έκδοση: (1989)

User-centred requirements for software engineering environments /
Έκδοση: (1994)

Understanding computers and cognition A new foundation for design
ανά: Flores, Fernando, κ.ά.
Έκδοση: (1988)

The mind tool Computers and their impact on society
ανά: Graham, Neill
Έκδοση: (1986)

Introduction to the computer An integrative approach
ανά: Frates, Jeffrey, κ.ά.
Έκδοση: (1980)

Principles of computer science
ανά: Schaffer, Cullen
Έκδοση: (1988)

Fifth generation computers Concepts, implementations and uses
ανά: Bishop, Peter
Έκδοση: (1986)

Information Representation and Manipulation in a Computer
ανά: Page, E. S., κ.ά.
Έκδοση: (1978)

Peripheral Devices
ανά: Flores, Ivan
Έκδοση: (1973)

Introduction to the computer The tool of business
ανά: Fuori, William M.
Έκδοση: (1973)

Computers
ανά: Taylor, P. J., κ.ά.
Έκδοση: (1969)

Agent-oriented software engineering first international workshop, AOSE 2000, Limerick, Ireland, June 10, 2000 revised papers
Έκδοση: (2001)

Interval mathematics 1985 Proceedings of the International Symposium. Freidurg i Br., Germany, September 23-26, 1985.
Έκδοση: (1986)

ACM Turing Award Lectures The First Twenty Years 1966-1985
Έκδοση: (1987)

Computers and computing
ανά: Morris, J. L. (John Lionel), κ.ά.
Έκδοση: (1973)

Laboratory On-line Computing An Introduction for Engineers and Physicists
ανά: Brignell, John E., κ.ά.
Έκδοση: (1975)

Computing A second course
ανά: Gruenberger, Fred
Έκδοση: (1971)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών