Logical Foundations of functional Programming
| Andre forfattere: | |
|---|---|
| Sprog: | engelsk |
| Udgivet: |
New York, Addison-Wesley Publishing Company, 1990
|
| Fag: | |
| Format: | Bog |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=63583 |
Lignende værker
OS/2tm Programming An Introduction
af: Schildt H. Herbert
Udgivet: (Berkeley, McGraw-Hill, 1988)
af: Schildt H. Herbert
Udgivet: (Berkeley, McGraw-Hill, 1988)
Parallel Program Design a Foundation
af: Chandy K. M. K. Mani
Udgivet: (New York, Addison-Wesley Publishing Company, 1989)
af: Chandy K. M. K. Mani
Udgivet: (New York, Addison-Wesley Publishing Company, 1989)
The Art of C Programming
af: Jones R. Robin
Udgivet: (New York, Springer-Verlag, 1987)
af: Jones R. Robin
Udgivet: (New York, Springer-Verlag, 1987)
A Book on C. An introduction to programming in C
af: Kelley A. Al
Udgivet: (London, The Benjamin/Cummings Publishing Company, Inc, 1984)
af: Kelley A. Al
Udgivet: (London, The Benjamin/Cummings Publishing Company, Inc, 1984)
Programming the TI-55 slide rule calculator
af: Shover S. L. Stephen L.
Udgivet: (New Jersey, A Spectrum book, 1982)
af: Shover S. L. Stephen L.
Udgivet: (New Jersey, A Spectrum book, 1982)
The Art of Distributed Applications. Programming Technigues for Remote Procedure Calls
af: Corbin J. R. John R.
Udgivet: (New York, Springer-Verlag, 1990)
af: Corbin J. R. John R.
Udgivet: (New York, Springer-Verlag, 1990)
Assembley Language Programming under OS/2 ТМ
af: Murray III W. William
Udgivet: (Berkeley, McGraw-Hill, 1989)
af: Murray III W. William
Udgivet: (Berkeley, McGraw-Hill, 1989)
Digital Color Imaging handbook
Udgivet: (New York, CRC Press, 2003)
Udgivet: (New York, CRC Press, 2003)
Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine
af: Harel D. David
Udgivet: (Berlin, Springer-Verlag, 2003)
af: Harel D. David
Udgivet: (Berlin, Springer-Verlag, 2003)
Principles of Program Analysis with 56 Figures and 51 Tables
af: Nielson F.
Udgivet: (Berlin, Springer-Verlag, 1999)
af: Nielson F.
Udgivet: (Berlin, Springer-Verlag, 1999)
Software Pioneers. Contributions to Software Engineering
Udgivet: (Berlin, Springer, 2002)
Udgivet: (Berlin, Springer, 2002)
Dr.Dobb s Toolbook of 68000 Programming editors of Dr.Dobb s Journal of Software Tools
Udgivet: (New York, Published by Prentice-Hall Press, 1986)
Udgivet: (New York, Published by Prentice-Hall Press, 1986)
Programming Languages Implementation and Logic Programming International Workshop PLILP'88 Orleans, France, May 16-18, 1988 Proceedings
Udgivet: (Berlin, Springer-Verlag, 1988)
Udgivet: (Berlin, Springer-Verlag, 1988)
SPSS Made Simple Student price book
af: Hedderson J. John
Udgivet: (California, Wadsworth Publishing Company, 1986)
af: Hedderson J. John
Udgivet: (California, Wadsworth Publishing Company, 1986)
Programming in Pascal: communicating with computers
af: Frates J. Jeffrey
Udgivet: (New Jersey, Prentice Hall, 1986)
af: Frates J. Jeffrey
Udgivet: (New Jersey, Prentice Hall, 1986)
Mathematical Foundations of Computational Engineering A Handbook
af: Pahl P. J. Peter Jan
Udgivet: (Berlin, Springer-Verlag, 2001)
af: Pahl P. J. Peter Jan
Udgivet: (Berlin, Springer-Verlag, 2001)
Programming language standardisation
Udgivet: (New York, John Wiley and Sons, Inc., 1980)
Udgivet: (New York, John Wiley and Sons, Inc., 1980)
Auswahl von Standard-Applikations-Software Organisation und Instrumentarien
af: Lang G. Gert
Udgivet: (Berlin, Springer-Verlag, 1989)
af: Lang G. Gert
Udgivet: (Berlin, Springer-Verlag, 1989)
Network form of implementation of master's Degree programs
af: Pukhova V. M.
Udgivet: (2017)
af: Pukhova V. M.
Udgivet: (2017)
Programming in the VBA environment Учебное пособие
af: Габдрахманова К.Ф. Клара Фаткулиновна
Udgivet: (Вологда, Инфра-Инженерия, 2024)
af: Габдрахманова К.Ф. Клара Фаткулиновна
Udgivet: (Вологда, Инфра-Инженерия, 2024)
Новые англо-русские термины по вычислительной технике
Udgivet: (Москва, Информэйшн Компьютер Энтерпрайз, 1991)
Udgivet: (Москва, Информэйшн Компьютер Энтерпрайз, 1991)
The Basics of Information Technology
af: Rowley J. E. Jennifer E.
Udgivet: (London, Clive Bingley, 1988)
af: Rowley J. E. Jennifer E.
Udgivet: (London, Clive Bingley, 1988)
High-Performange Interactive Graphics Modeling, Rendering and Animating For IBM PCS and Compatibles
af: Adams L. Lee
Udgivet: (USA, Blue Ridge Summit, 1987)
af: Adams L. Lee
Udgivet: (USA, Blue Ridge Summit, 1987)
Oxford English for Computing Student`s Book
af: Boeckner K. Keith
Udgivet: (Oxford, Oxford University Press, 1997)
af: Boeckner K. Keith
Udgivet: (Oxford, Oxford University Press, 1997)
Oxford English for Computing Answer Book with teaching notes
af: Boeckner K. Keith
Udgivet: (Oxford, Oxford University Press, 1996)
af: Boeckner K. Keith
Udgivet: (Oxford, Oxford University Press, 1996)
Oxford dictionary of Computing For learners of English
Udgivet: (Oxford, Oxford University Press, 1996)
Udgivet: (Oxford, Oxford University Press, 1996)
The 8086/8088 family: design, programming, and interfacing
af: Uffenbeck J. John
Udgivet: (New York, Prentice Hall, 1987)
af: Uffenbeck J. John
Udgivet: (New York, Prentice Hall, 1987)
Computers and Automation: Professional Vocabulary Building : Study Guide
af: Gazizulina L.
Udgivet: (Казань, КНИТУ, 2023)
af: Gazizulina L.
Udgivet: (Казань, КНИТУ, 2023)
Русско-англо-немецко-французский словарь по вычислительной технике. Основные термины 5400 терминов
af: Масловский Е. К. Евгений Константинович
Udgivet: (Москва, Русский язык, 1990)
af: Масловский Е. К. Евгений Константинович
Udgivet: (Москва, Русский язык, 1990)
Checking Experiments in Seguential Mashines
af: Bhattacharyya A. Asok
Udgivet: (New York, John Wiley & Sons, 1989)
af: Bhattacharyya A. Asok
Udgivet: (New York, John Wiley & Sons, 1989)
Turbo C at Any Speed
af: Wiener R. S. Richard
Udgivet: (New York, John Wiley & Sons, Inc., 1988)
af: Wiener R. S. Richard
Udgivet: (New York, John Wiley & Sons, Inc., 1988)
Design Problem Solving Knowledge Structures and Control Strategies
af: Brown D. C. David
Udgivet: (London, Morgan Kaufmann Publishers, 1989)
af: Brown D. C. David
Udgivet: (London, Morgan Kaufmann Publishers, 1989)
Vol. 4: Computers, Software Engineering, and Digital Devices
Udgivet: (2006)
Udgivet: (2006)
Computer science
af: Walker T. Tricia
Udgivet: (Oxford, Prentice Hall, 1992)
af: Walker T. Tricia
Udgivet: (Oxford, Prentice Hall, 1992)
Настольные издательские системы Учебное пособие
af: Леонидова Г.Ф. Галина Федоровна
Udgivet: (Кемерово, ФГБОУ ВО "Кемеровский государственный институт культуры", 2017)
af: Леонидова Г.Ф. Галина Федоровна
Udgivet: (Кемерово, ФГБОУ ВО "Кемеровский государственный институт культуры", 2017)
API в разработке приложений Autodesk Inventor. Практическое руководство Учебное пособие
af: Дюймовский П. Пайни
Udgivet: (Вологда, Инфра-Инженерия, 2023)
af: Дюймовский П. Пайни
Udgivet: (Вологда, Инфра-Инженерия, 2023)
Настольные издательские системы Практикум Учебное пособие
af: Леонидова Г.Ф. Галина Федоровна
Udgivet: (Кемерово, ФГБОУ ВО "Кемеровский государственный институт культуры", 2016)
af: Леонидова Г.Ф. Галина Федоровна
Udgivet: (Кемерово, ФГБОУ ВО "Кемеровский государственный институт культуры", 2016)
Turbo Pascal DOS Untilities
af: Alonso R. Robert
Udgivet: (New York, John Wiley & Sons, Inc., 1987)
af: Alonso R. Robert
Udgivet: (New York, John Wiley & Sons, Inc., 1987)
Англо-русский толковый словарь по вычислительной технике, Интернету и программированию Более 8 400 терминов
af: Пройдаков Э. М. Эдуард Михайлович
Udgivet: (Москва, Русская Редакция, 2000)
af: Пройдаков Э. М. Эдуард Михайлович
Udgivet: (Москва, Русская Редакция, 2000)
Using MS-DOS
af: Jamsa K. Kris
Udgivet: (Berkeley, McGraw-Hill, 1988)
af: Jamsa K. Kris
Udgivet: (Berkeley, McGraw-Hill, 1988)