Skip to content
VuFind
  • Feedback
  • Book Bag: 0 items (Full)
  • Login
    • العربية
    • الإنجليزية

Discover Knowledge Resources!

Explore our comprehensive collection of books, articles, digital media, and more

Advanced
  • OneSearch
  • Library Catalog
  • Digital Repository
  • Channels
  • Formal description of programming concepts :
Search for more channels:

Similar Items: Formal description of programming concepts :

Concepts of programming languages /

Concepts of programming languages /

Concepts of programming languages /

Concepts of programming languages /

Concepts of programming languages /

Concepts of programming languages /

Functionalism and formalism in linguistics /

The denotational description of programming languages : an introduction /

Global modelling : proceedings of the IFIP-WG 7/1 Working Conference, Dubrovnik, Yugoslavia, Sept. 1-5, 1980 /

Semi-infinite programming : proceedings of a workshop, Bad Honnef, August 30-September 1, 1978 /

Introduction to formal languages /

Programming languages and systems : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics i.e. Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /

Optimization techniques : proceedings of the 8th IFIP Conference on Optimization Techniques, Wurzburg, September, 5-9, 1977 /

Java 1.5 program design /

Computational linguistics in medicine : proceedings of the IFIP Working Conference on Computational Linguistics in Medicine /

An introduction to formal languages and automata /

An introduction to formal languages and automata /

Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 /

Formal syntax /

Information processing 77 ; proceedings of IFIP Congress 77, Toronto, August 8-12, 1977 /

Topic: Computer programming

The 8086 Microprocessor Systems Lab Manual

FORTRAN IV computing and applications

International Computing Symposium, 1977 : proceedings of the International Computing Symposium, 1977, Liege, Belgium, 4-7 April 1977 /

Fundamental structures of computer science /

Computer programming/Fortran /

Introduction to computers and basic programming /

Computers and intractability : a guide to the theory of NP-completeness /

Elementary COBOL programming; a step by step approach

Introduction to computers /

Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 /

Understanding computation /

Introduction to algorithms /

ALGOL in brief: a short, practical guide to computer programming in ALGOL,

COBOL programming : an introduction for librarians /

Structured computer organization /

Software tools in Pascal /

Introduction to computer programming using Fortran 77

Introduction to computer data processing /

Computers and computing : an introduction through BASIC /

An introduction to computer science : an algorithmic approach /

Topic: Formal languages

  • Topic: Congresses

An introduction to formal languages and automata /

Languages and machines : an introduction to the theory of computer science /

Machines, languages, and computation /

Introduction to formal languages /

Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 /

An extended abstract data type specification mechanism /

Introduction to automata theory, languages, and computation/

Mathematical foundations of programming /

Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 /

An introduction to formal languages and automata /

Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979 /

Introduction to automata theory, languages, and computation /

Author: Neuhold, Erich J.

Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 /

Digital libraries : implementing strategies and sharing experiences : 8th International Conference on Asian Digital Libraries, ICADL 2005, Bangkok, Thailand, December 12-15, 2005 : proceedings /

Author: IFIP Working Conference on Formal Description of Programming Concepts St. Andrews, N.B.

Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 /

Discover Knowledge with Imam University's Digital Discovery Portal

Access thousands of academic resources, research materials, and scholarly publications

Start Exploring Now
Imam University Team
Imam University Logo

Imam Muhammad Ibn Saud Islamic University

Riyadh, Kingdom of Saudi Arabia
+966 11 259 5000
info@imamu.edu.sa

Resources

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels
  • Course Reserves
  • New Items
  • Educational resources
  • ImamU API

Search & Help

  • Basic search
  • Advanced search
  • Search history
  • Feedback
  • Search Tips
  • Ask a Librarian
  • Help
  • FAQs
  • Service level agreement
  • End User Agreement

Connect With Us

© 2026 Imam Muhammad Ibn Saud Islamic University. All rights reserved.

VuFind