LEADER 00856nam0-2200313---450- 001 990009716090403321 005 20130415152144.0 035 $a000971609 035 $aFED01000971609 035 $a(Aleph)000971609FED01 035 $a000971609 100 $a20130415d1980----km-y0itay50------ba 101 1 $aita 102 $aIT 105 $ay-------001yy 200 1 $aViaggiatori a Trieste$fNicolas Powell 210 $aMilano$cMursia$d1980 215 $a173 p.$d21 cm 225 1 $aTestimonianze fra cronaca e letteratura$v2 610 0 $aTrieste 676 $a945.393$v19$zita 700 1$aPowell,$bNicolas$0215931 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a990009716090403321 952 $aXIV B 1001$b6867$fFSPBC 959 $aFSPBC 996 $aTravellers to trieste. The history of a City$912778 997 $aUNINA LEADER 05908nam 22007335 450 001 996465565003316 005 20200706140415.0 010 $a1-280-30803-6 010 $a9786610308033 010 $a3-540-24754-8 024 7 $a10.1007/b96926 035 $a(CKB)1000000000212355 035 $a(DE-He213)978-3-540-24754-8 035 $a(SSID)ssj0000159669 035 $a(PQKBManifestationID)11164537 035 $a(PQKBTitleCode)TC0000159669 035 $a(PQKBWorkID)10181347 035 $a(PQKB)10348070 035 $a(MiAaPQ)EBC3087821 035 $a(PPN)155224336 035 $a(EXLCZ)991000000000212355 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFunctional and Logic Programming$b[electronic resource] $e7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings /$fedited by Yukiyoshi Kameyama, Peter J. Stuckey 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (X, 307 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2998 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-21402-X 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Papers -- A Brief Survey of Quantum Programming Languages -- Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic -- Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework -- Refereed Papers Logic and Functional-Logic Programming -- Online Justification for Tabled Logic Programs -- Constructive Intensional Negation -- Analysing Definitional Trees: Looking for Determinism -- Applications -- : a Declarative Debugging Tool for Functional-Logic Languages -- LIX: an Effective Self-applicable Partial Evaluator for Prolog -- Program Analysis -- Multivariant Non-failure Analysis via Standard Abstract Interpretation -- Set-Sharing Is Not Always Redundant for Pair-Sharing -- Backward Pair Sharing Analysis -- Rewriting -- Implementing Natural Rewriting and Narrowing Efficiently -- Complete Axiomatization of an Algebraic Construction of Graphs -- Sub-Birkhoff -- Types and Modules -- Relaxing the Value Restriction -- Rigid Mixin Modules -- Logic and Semantics -- Semantics of Linear Continuation-Passing in Call-by-Name -- A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus -- Functional Programming -- Normalization by Evaluation for ? ?2 -- Basic Pattern Matching Calculi: a Fresh View on Matching Failure -- Derivation of Deterministic Inverse Programs Based on LR Parsing. 330 $aThis volume contains the proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004), held in Nara, Japan, April 7?9, 2004 at the New Public Hall, Nara. FLOPS is a forum for research on all issues concerning functional programming and logic programming. In particular it aims to stimulate the cross-fertilization as well as the integration of the two paradigms. The previous FLOPS meetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba (1999),Tokyo(2001)and Aizu (2002). The proceedings of FLOPS 1999,FLOPS 2001 and FLOPS 2002 were published by Springer-Verlag in the Lecture Notes in Computer Science series, as volumes 1722, 2024 and 2441, respectively. In response to the call for papers, 55 papers were submitted by authors from 1 Australia (1), Austria (1), Canada (1), China (4), Denmark (2), Estonia ( ), 2 1 1 France (3 ), Germany (4 ), Italy (1), Japan (15), the Netherlands (1), Oman 2 4 1 1 (1), Portugal ( ), Singapore (2), Spain (8), UK (3), and USA (6 ). Each paper 2 4 was reviewed by at least three program committee members with the help of expert external reviewers. The program committee meeting was conducted electronically for a period of 2 weeks in December 2003. After careful and thorough discussion, the program committee selected 18 papers (33%) for presentation at the conference. In addition to the 18 contributed papers, the symposium included talks by three invited speakers: Masami Hagiya (University of Tokyo), Carsten Schur ¨ mann (Yale University), and Peter Selinger (University of Ottawa). 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2998 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aArtificial intelligence 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 0$aArtificial intelligence. 615 14$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aArtificial Intelligence. 676 $a005.1/14 702 $aKameyama$b Yukiyoshi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aStuckey$b Peter J$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465565003316 996 $aFunctional and Logic Programming$9772537 997 $aUNISA LEADER 00889nam a22002411i 4500 001 991001521319707536 005 20030227152045.0 008 030127s1963 it |||||||||||||||||ita 035 $ab12158914-39ule_inst 035 $aARCHE-024871$9ExL 040 $aDip.to Filologia Ling. e Lett.$bita$cA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l. 100 1 $aBarilli, Bruno$0327896 245 13$aIl libro dei viaggi /$cBruno Barilli 260 $aFirenze :$bVallecchi,$c1963 300 $a642 p. ;$c22 cm 440 0$aOpere di Bruno Barilli ;$v2 700 1 $aFalqui, Enrico 907 $a.b12158914$b02-04-14$c01-04-03 912 $a991001521319707536 945 $aLE008 FL.M. II A 24$cV. 2$g1$iLE008IFM-785/ter$lle008$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i12490064$z01-04-03 996 $aLibro dei viaggi$9147913 997 $aUNISALENTO 998 $ale008$b01-04-03$cm$da $e-$fita$git $h3$i1 LEADER 01851oam 2200457 450 001 9910705336803321 005 20140730162838.0 035 $a(CKB)5470000002450010 035 $a(OCoLC)879367830 035 $a(EXLCZ)995470000002450010 100 $a20140508d2014 ua 0 101 0 $aeng 135 $aurbn||||a|||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aThe role of receivers in a spectrum scarce world $ehearing before the Subcommittee on Communications and Technology of the Committee on Energy and Commerce, House of Representatives, One Hundred Twelfth Congress, second session, November 29, 2012 210 1$aWashington :$cU.S. Government Printing Office,$d2014. 215 $a1 online resource (iii, 59 pages) 300 $aTitle from title screen (viewed on May 8, 2014). 300 $aPaper version available for sale by the Superintendent of Documents, U.S. Government Printing Office. 300 $a"Serial no. 112-183." 517 $aRole of receivers in a spectrum scarce world 606 $aRadio$xReceivers and reception$xTechnological innovations 606 $aRadio$xInterference$xPrevention 606 $aRadio frequency allocation$zUnited States 606 $aBroadband communication systems$xTechnological innovations 608 $aLegislative hearings.$2lcgft 615 0$aRadio$xReceivers and reception$xTechnological innovations. 615 0$aRadio$xInterference$xPrevention. 615 0$aRadio frequency allocation 615 0$aBroadband communication systems$xTechnological innovations. 801 0$bGPO 801 1$bGPO 801 2$bCOO 801 2$bOCLCO 801 2$bGPO 906 $aBOOK 912 $a9910705336803321 996 $aThe role of receivers in a spectrum scarce world$93437632 997 $aUNINA