LEADER 01530nlm0 22004211i 450 
001 990009247940403321
010   $a9783540719984
035   $a000924794
035   $aFED01000924794
035   $a(Aleph)000924794FED01
035   $a000924794
100   $a20100926d2007----km-y0itay50------ba
101 0 $aeng
102   $aDE
135   $adrnn-008mamaa
200 1 $aRecent Trends in Algebraic Development Techniques$bRisorsa elettronica$e18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers$fedited by José Luiz Fiadeiro, Pierre-Yves Schobbens
210   $aBerlin ; Heidelberg$cSpringer$d2007
225 1 $aLecture Notes in Computer Science$x0302-9743$v4409
230   $aDocumento elettronico
336   $aTesto
337   $aFormato html, pdf
702  1$aFiadeiro,$bJosé Luiz
702  1$aSchobbens,$bPierre-Yves
801  0$aIT$bUNINA$gREICAT$2UNIMARC
856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-540-71998-4
901   $aEB
912   $a990009247940403321
961   $aAlgebra$aData processing
961   $aComputer science
961   $aComputer Science
961   $aLogic design
961   $aLogics and Meanings of Programs
961   $aMathematical Logic and Formal Languages
961   $aSoftware engineering
961   $aSoftware Engineering
961   $aSymbolic and Algebraic Manipulation
996   $aRecent Trends in Algebraic Development Techniques$9771917
997   $aUNINA

LEADER 01627nam  2200433   450 
001 9910165107903321
005 20230808205209.0
010   $a1-5040-3486-4
035   $a(CKB)4330000000002801
035   $a(EBL)4460250
035   $a(SSID)ssj0001671218
035   $a(PQKBManifestationID)16459039
035   $a(PQKBTitleCode)TC0001671218
035   $a(PQKBWorkID)15004741
035   $a(PQKB)11590058
035   $a(MiAaPQ)EBC4460250
035   $a(EXLCZ)994330000000002801
100   $a20160617h20161989  uy|            0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aPeeper /$fLoren D. Estleman
210  1$aNew York :$cOpen Road Integrated Media,$d2016.
210  4$d©1989
215   $a1 online resource (157 p.)
300   $aDescription based upon print version of record.
327   $aCover Page; Title Page; Dedication; Chapter 1; Chapter 2; Chapter 3; Chapter 4; Chapter 5; Chapter 6; Chapter 7; Chapter 8; Chapter 9; Chapter 10; Chapter 11; Chapter 12; Chapter 13; Chapter 14; Chapter 15; Chapter 16; Chapter 17; Chapter 18; Chapter 19; Chapter 20; Chapter 21; Chapter 22; Chapter 23; Chapter 24; Chapter 25; Chapter 26; Chapter 27; Chapter 28; Chapter 29; Chapter 30; Chapter 31; A Biography of Loren D. Estleman; Copyright Page
606   $aDetective and mystery stories
615  0$aDetective and mystery stories.
700   $aEstleman$b Loren D.$01374515
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910165107903321
996   $aPeeper$93411041
997   $aUNINA