Skip to content
CAVAL Home
  • Start Over
  • החשבון שלך
  • יציאה מהחשבון
  • כניסה לחשבון
  • שפה
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
מתקדם
  • Constructivity in computer sci...
  • יצירת מראה מקום
  • שליחה במסרון
  • שלח את זה
  • הדפסה
  • יצוא רשומה
    • יצוא אל RefWorks
    • יצוא אל EndNoteWeb
    • יצוא אל EndNote
  • הוספה למועדפים
  • Permanent link
Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings /

Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings /

שמור ב:
מידע ביבליוגרפי
מחברים אחרים: O'Donnell, Michael J., 1952-, Myers, J. P. (J. Paul), 1946-
פורמט: ספר
שפה:English
יצא לאור: Berlin ; New York : Springer-Verlag, c1992.
סדרה:Lecture notes in computer science ; 613.
נושאים:
Computer science > Mathematics > Congresses.
  • מלאי ספרים
  • תיאור
  • תצוגת צוות

CARM 1 Store

פרטי מלאי ספרים מ CARM 1 Store
סימן המיקום: A2:AM07E0 C05494
עותק 1 זמין  ביצוע הזמנה

פריטים דומים

  • Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 /
    יצא לאור: (1984)
  • Mathematical foundations of computer science 1988 : proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 /
    יצא לאור: (1988)
  • Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craców, Poland, September 2-6, 1996 : proceedings /
    יצא לאור: (1996)
  • Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 /
    יצא לאור: (1992)
  • Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings /
    יצא לאור: (1993)
  • Home
  • About Us
    • Contact Us
    • News
    • Governance
    • Photo Gallery
  • Solutions
    • FOLIO + ReShare
    • Storage and Archives
    • Shelf-Ready Services
    • Cataloguing and Metadata
    • Language Resources
    • Digital Platforms
  • Member Services
    • Member Benefits
    • Our Members
    • Shared Collection
    • Reciprocal Borrowing
    • Mentoring Program
    • CAVAL card

Contact Us

4 Park Drive

Bundoora, Victoria, 3083

Australia

T +61 3 9450 5500

Email: caval@caval.edu.au

Twitter Facebook LinkedIn

  • Privacy and Disclaimer
  • Site Map