Availability: The little MLer | Technische Universität München

The little MLer:

Saved in:

Bibliographic Details
Main Authors:	Felleisen, Matthias (Author), Friedman, Daniel P. (Author)
Format:	Book
Language:	English
Published:	Cambridge, Mass. MIT Press 1998
Subjects:	Langages de programmation ML (langage de programmation) ML Ordinateurs - Programmation Técnicas de programação Verificação e validação de software langage programmation ML (Computer program language)
Physical Description:	XVI, 181 S. Ill.
ISBN:	026256114X

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV012279414
003	DE-604
005	00000000000000.0
007	t\|
008	981125s1998 xx a\|\|\| \|\|\|\| 00\|\|\| eng d
020			\|a 026256114X \|9 0-262-56114-X
035			\|a (OCoLC)633538414
035			\|a (DE-599)BVBBV012279414
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-91G
050		0	\|a QA76.73.M6
082	0		\|a 005.13/3 \|2 21
100	1		\|a Felleisen, Matthias \|e Verfasser \|4 aut
245	1	0	\|a The little MLer \|c Matthias Felleisen ; Daniel P. Friedman
264		1	\|a Cambridge, Mass. \|b MIT Press \|c 1998
300			\|a XVI, 181 S. \|b Ill.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650		7	\|a Langages de programmation \|2 ram
650		7	\|a ML (langage de programmation) \|2 ram
650		7	\|a ML \|2 inriac
650		7	\|a Ordinateurs - Programmation \|2 ram
650		7	\|a Técnicas de programação \|2 larpcal
650		7	\|a Verificação e validação de software \|2 larpcal
650		7	\|a langage programmation \|2 inriac
650		4	\|a ML (Computer program language)
700	1		\|a Friedman, Daniel P. \|e Verfasser \|4 aut
943	1		\|a oai:aleph.bib-bvb.de:BVB01-008323937

Record in the Search Index

DE-BY-TUM_call_number	0102 DAT 368f 2001 A 32788
DE-BY-TUM_katkey	1597594
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010335854
_version_	1821933560176574466
any_adam_object
author	Felleisen, Matthias Friedman, Daniel P.
author_facet	Felleisen, Matthias Friedman, Daniel P.
author_role	aut aut
author_sort	Felleisen, Matthias
author_variant	m f mf d p f dp dpf
building	Verbundindex
bvnumber	BV012279414
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.73.M6
callnumber-search	QA76.73.M6
callnumber-sort	QA 276.73 M6
callnumber-subject	QA - Mathematics
ctrlnum	(OCoLC)633538414 (DE-599)BVBBV012279414
dewey-full	005.13/3
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.13/3
dewey-search	005.13/3
dewey-sort	15.13 13
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01208nam a2200385 c 4500</leader><controlfield tag="001">BV012279414</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">981125s1998 xx a\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">026256114X</subfield><subfield code="9">0-262-56114-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633538414</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012279414</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.73.M6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/3</subfield><subfield code="2">21</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Felleisen, Matthias</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The little MLer</subfield><subfield code="c">Matthias Felleisen ; Daniel P. Friedman</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 181 S.</subfield><subfield code="b">Ill.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ML (langage de programmation)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ML</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Programmation</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Técnicas de programação</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Verificação e validação de software</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">ML (Computer program language)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Friedman, Daniel P.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008323937</subfield></datafield></record></collection>
id	DE-604.BV012279414
illustrated	Illustrated
indexdate	2024-12-20T10:27:32Z
institution	BVB
isbn	026256114X
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-008323937
oclc_num	633538414
open_access_boolean
owner	DE-91G DE-BY-TUM
owner_facet	DE-91G DE-BY-TUM
physical	XVI, 181 S. Ill.
publishDate	1998
publishDateSearch	1998
publishDateSort	1998
publisher	MIT Press
record_format	marc
spellingShingle	Felleisen, Matthias Friedman, Daniel P. The little MLer Langages de programmation ram ML (langage de programmation) ram ML inriac Ordinateurs - Programmation ram Técnicas de programação larpcal Verificação e validação de software larpcal langage programmation inriac ML (Computer program language)
title	The little MLer
title_auth	The little MLer
title_exact_search	The little MLer
title_full	The little MLer Matthias Felleisen ; Daniel P. Friedman
title_fullStr	The little MLer Matthias Felleisen ; Daniel P. Friedman
title_full_unstemmed	The little MLer Matthias Felleisen ; Daniel P. Friedman
title_short	The little MLer
title_sort	the little mler
topic	Langages de programmation ram ML (langage de programmation) ram ML inriac Ordinateurs - Programmation ram Técnicas de programação larpcal Verificação e validação de software larpcal langage programmation inriac ML (Computer program language)
topic_facet	Langages de programmation ML (langage de programmation) ML Ordinateurs - Programmation Técnicas de programação Verificação e validação de software langage programmation ML (Computer program language)
work_keys_str_mv	AT felleisenmatthias thelittlemler AT friedmandanielp thelittlemler

Availability

Order (Login required)

Order paper/chapter scan

Branch Library Mathematics & Informatics

Holdings details from Teilbibliothek Mathematik & Informatik
Call Number:	0102 DAT 368f 2001 A 32788 Floor plan
Copy 1	Available for loan On Shelf