• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Functional and logic programming

پدید آورنده
/ Matthias Blume, Naoki Kobayashi, German Vidal (eds.

موضوع
Functional programming (Computer science), Congresses,Logic programming, Congresses

رده
QA76
.
62
.
F56
2010

کتابخانه
Central Library, Center of Documentation and Supply of Scientific Resources

محل استقرار
استان: East Azarbaijan ـ شهر:

Central Library, Center of Documentation and Supply of Scientific Resources

تماس با کتابخانه : 04133443834

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
9783642122514

NATIONAL BIBLIOGRAPHY NUMBER

Country Code
IR
Number
E-4940

LANGUAGE OF THE ITEM

.Language of Text, Soundtrack etc
انگلیسی

COUNTRY OF PUBLICATION OR PRODUCTlON

Country of publication
IR

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Functional and logic programming
General Material Designation
[Book]
Other Title Information
:10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings
First Statement of Responsibility
/ Matthias Blume, Naoki Kobayashi, German Vidal (eds.

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Berlin ;New York
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2010.

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
xi, 353 p., ill.

SERIES

Series Title
(Lecture notes in computer science,0302-9743
Series Title
(LNCS sublibrary
Other Title Information
: SL 1-theoretical computer science and general issues.)
Volume Designation
; 6009.)

NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.

Text of Note
Print

INTERNAL BIBLIOGRAPHIES/INDEXES NOTE

Text of Note
Includes bibliographical references and index.

SERIES

Title
Lecture notes in computer science
Title
LNCS sublibrary.SL 1,Theoretical computer science and general issues
Volume Number
6009

TOPICAL NAME USED AS SUBJECT

Functional programming (Computer science), Congresses
Logic programming, Congresses

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA76
.
62
Book number
.
F56
2010

PERSONAL NAME - SECONDARY RESPONSIBILITY

Blume, Matthias,1966-
Kobayashi, Naoki
Vidal, Germaan(Germaan Francisco Vidal Oriola)

CORPORATE BODY NAME - PRIMARY RESPONSIBILITY

Fuji International Symposium on Functional and Logic Programming(10th :2010 :Sendai-shi (Miyagi-ken, Japan))

ORIGINATING SOURCE

Country
ایران

old catalog

p

BL
1

a
Y

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival