MARC record from Internet Archive

LEADER: 06233cam 2201057Ia 4500
001 ocn262680750
003 OCoLC
005 20180710062855.0
008 081017s2005 gw a ob 101 0 eng d
006 m o d
007 cr cn|||||||||
010 $a 2005922176
040 $aGW5XE$beng$epn$cGW5XE$dI8H$dHNK$dWAU$dCOO$dNUI$dN$T$dOCLCQ$dAU@$dYNG$dE7B$dOCLCQ$dOCLCO$dOCLCQ$dOCLCF$dBEDGE$dITD$dOCLCO$dNLGGC$dIDEBK$dSLY$dOCLCO$dOCLCQ$dOCLCO$dOCL$dOCLCO$dOCLCQ$dEBLCP$dVT2$dESU$dDGU$dOCLCQ$dU3W$dSTF$dUAB$dOCLCQ
019 $a58041845$a224215688$a288263546$a613660124$a690009969$a707511353$a739139691$a767174930$a785777392$a880023368$a964912964$a1005804347$a1035666945
020 $a9783540319597
020 $a354031959X
020 $a3540253270
020 $a9783540253273
035 $a(OCoLC)262680750$z(OCoLC)58041845$z(OCoLC)224215688$z(OCoLC)288263546$z(OCoLC)613660124$z(OCoLC)690009969$z(OCoLC)707511353$z(OCoLC)739139691$z(OCoLC)767174930$z(OCoLC)785777392$z(OCoLC)880023368$z(OCoLC)964912964$z(OCoLC)1005804347$z(OCoLC)1035666945
037 $a978-3-540-25327-3$bSpringer$nhttp://www.springerlink.com
050 4 $aQA76.754$b.W32 2004
072 7 $aCOM$x051390$2bisacsh
072 7 $aCOM$x051440$2bisacsh
072 7 $aCOM$x051230$2bisacsh
082 04 $a005.1$222
084 $aTP301. 6-532$2clc
111 2 $aWADT 2004$d(2004 :$cBarcelona, Spain)
245 10 $aRecent trends in algebraic development techniques :$b17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers /$cJose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.).
246 30 $aWADT 2004
260 $aBerlin ;$aNew York :$bSpringer,$c℗♭2005.
300 $a1 online resource (viii, 269 pages) :$billustrations.
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
490 1 $aLecture notes in computer science,$x0302-9743 ;$v3423
500 $a"WADT 2004 took place at the Technical University of Catalonia (UPC)"--Preface.
504 $aIncludes bibliographical references and index.
520 $a"This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques."
588 0 $aPrint version record.
650 0 $aComputer software$xDevelopment$vCongresses.
650 0 $aComputer science$xMathematics$vCongresses.
650 0 $aAbstract data types (Computer science)$vCongresses.
650 6 $aLogiciels$xDe veloppement$vCongre s.
650 6 $aInformatique$xMathe matiques$vCongre s.
650 6 $aTypes abstraits de donne es (Informatique)$vCongre s.
650 7 $aCOMPUTERS$xProgramming$xOpen Source.$2bisacsh
650 7 $aCOMPUTERS$xSoftware Development & Engineering$xTools.$2bisacsh
650 7 $aCOMPUTERS$xSoftware Development & Engineering$xGeneral.$2bisacsh
650 07 $aComputer software$xDevelopment.$2cct
650 07 $aComputer science$xMathematics.$2cct
650 07 $aAbstract data types (Computer science)$2cct
650 7 $aInformatique.$2eclas
650 7 $aAbstract data types (Computer science)$2fast$0(OCoLC)fst00794745
650 7 $aComputer science$xMathematics.$2fast$0(OCoLC)fst00872460
650 7 $aComputer software$xDevelopment.$2fast$0(OCoLC)fst00872537
653 $aFACinfotech$aComputer science
653 $aER$aInternet$aBook$aFull text
655 4 $aElectronic books.
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
700 1 $aFiadeiro, Jose Luiz,$d1961-
700 1 $aMosses, Peter.
700 1 $aOrejas, F.$q(Fernando)
776 08 $iPrint version:$aWADT 2004 (2004 : Barcelona, Spain).$tRecent trends in algebraic development techniques.$dBerlin ; New York : Springer, ℗♭2005$z3540253270$z9783540253273$w(DLC) 2005922176$w(OCoLC)59116601
830 0 $aLecture notes in computer science ;$v3423.$x0302-9743
856 40 $3ebrary$uhttp://site.ebrary.com/id/10528805
856 40 $3EBSCOhost$uhttp://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=182947
856 40 $3MyiLibrary$uhttp://www.myilibrary.com?id=139064
856 40 $3OhioLINK$uhttp://rave.ohiolink.edu/ebooks/ebc/11407355
856 40 $3SpringerLink$uhttp://dx.doi.org/10.1007/b107129
856 40 $3SpringerLink$uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3423
856 40 $3SpringerLink$uhttp://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-25327-3
856 40 $3SpringerLink$uhttp://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3423&issue=preprint
856 40 $3SpringerLink$uhttp://0-www.springerlink.com.alpha2.latrobe.edu.au/openurl.asp?genre=issue&issn=0302-9743&volume=3423
856 41 $uhttp://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3423$zRestricted to SpringerLink subscribers
856 42 $3Publisher description$uhttp://catdir.loc.gov/catdir/enhancements/fy0663/2005922176-d.html
856 40 $zClick here to view book$uhttp://public.eblib.com/choice/PublicFullRecord.aspx?p=3067862$3Ebook Library
856 40 $uhttp://link.springer.com/openurl?genre=book&isbn=978-3-540-25327-3
856 40 $uhttps://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/b107129
856 40 $uhttp://proxy.library.georgetown.edu/login?url=http://link.springer.com/10.1007/b107129
856 40 $uhttps://link.springer.com/openurl?genre=book&isbn=978-3-540-25327-3
856 40 $uhttps://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/b107129$zConnect to Springer e-book
856 40 $zAvailable to Stanford-affiliated users.$uhttps://ebookcentral.proquest.com/lib/stanford-ebooks/detail.action?docID=3067862$yEbook Central$xProvider: ProQuest$xpurchased$xeLoaderURL$xpe4$xpeEBC3067862
938 $aebrary$bEBRY$nebr10528805
938 $aEBSCOhost$bEBSC$n182947
938 $aProQuest MyiLibrary Digital eBook Collection$bIDEB$ncis23798896
938 $aEBL - Ebook Library$bEBLB$nEBL3067862
029 1 $aAU@$b000026950057
029 1 $aNLGGC$b384382770
029 1 $aAU@$b000058161312
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 385 OTHER HOLDINGS