LEADER 01560nam2-2200433li-450 001 990000211760203316 005 20180312154641.0 010 $a3-540-58085-9 035 $a0021176 035 $aUSA010021176 035 $a(ALEPH)000021176USA01 035 $a0021176 100 $a20001109d1994----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aTypes for proofs and programs$eInternational workshop types'93$eNijmegen , The Netherlands, May 24-28, 1993$fHenk Barendregt (ed.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1994 215 $a383 p.$cill.$d24 cm 225 2 $aLecture notes in computer science$v806 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$anijmegen$a1993 610 1 $alinguaggi di programmazione$acongressi$a1993 610 1 $alogica matematica$acongressi$a1993 610 1 $asistemi$amodelli matematici$acongressi$a1993 676 $a005131$9Logica matematica (Logica simbolica) 702 1$aBarendregt,$bHenk 710 12$aInternational workshop TYPES'93$eNijmegen$f1993$0746317 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000211760203316 951 $a001 LNCS (806)$b0016339$c001$d00103124 959 $aBK 969 $aSCI 979 $c19960130 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010130$lUSA01$h1531 979 $c20020403$lUSA01$h1629 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aTypes for proofs and programs$91489443 997 $aUNISA LEADER 05276nam 22006495 450 001 9910832998103321 005 20240402112751.0 010 $a9783110345629 010 $a3110345625 010 $a9783110384512 010 $a3110384515 024 7 $a10.1515/9783110345629 035 $a(CKB)3360000000515161 035 $a(EBL)1663112 035 $a(SSID)ssj0001470670 035 $a(PQKBManifestationID)11870060 035 $a(PQKBTitleCode)TC0001470670 035 $a(PQKBWorkID)11413046 035 $a(PQKB)10167368 035 $a(MiAaPQ)EBC1663112 035 $a(DE-B1597)246336 035 $a(OCoLC)1013954749 035 $a(OCoLC)922639313 035 $a(DE-B1597)9783110345629 035 $a(ScCtBLL)439b97c5-7077-477b-bad8-f58ec9f73a11 035 $a(EXLCZ)993360000000515161 100 $a20190920d2014 fg 101 0 $ager 135 $aur|n|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aJahrbuch der Deutschen Schillergesellschaft $eInternationales Organ für Neuere deutsche Literatur$hBand 58$i2014 /$fWilfried Barner, Christine Lubkoll, Ernst Osterkamp, Ulrich Raulff 205 $a1st ed. 210 1$aBerlin ;$aBoston :$cDe Gruyter,$d[2014] 210 4$d©2015 215 $a1 online resource (724 pages) 225 0 $aJahrbuch der Deutschen Schillergesellschaft ;$vBand 58. 300 $aDescription based upon print version of record. 311 08$a9783110345551 311 08$a3110345552 327 $tFrontmatter --$tInhalt --$tTexte und Dokumente --$t»... so grundfalsch war alles Weitere« /$rHemecker, Wilhelm / Österle, David --$t»Paraguay und Schleswig« /$rBambey, Hans R. / Horwath, Peter --$tSchreib- und Schießübungen /$rGfrereis, Heike --$tAufsätze --$tDas Maß der Potsdamer Garde /$rSpoerhase, Carlos --$tNarrative der Natur /$rKlesse, Marc --$tDie »Bestimmung des Menschen« in Wielands Geschichte des Agathon /$rWels, Volkhard --$tDie Macht der Bühne /$rLiewerscheidt, Dieter --$tWieviel steht in Peter Schlemihls Macht? /$rBernauer, Hermann --$tBorchardt - Heymel - Winsloe /$rSprengel, Peter --$tAnklänge und Ansichten, ?high? gegen ?low? /$rWolf, Norbert Christian --$t»Trance!« /$rCostagli, Simone --$t»Hört ihr den Regen?« /$rDehrmann, Mark-Georg --$tDer verborgene Goethe /$rNebrig, Alexander --$tZur Entstehung von Peter Handkes Erzählung Langsame Heimkehr (1979) /$rBarner, Ines --$t»(es gibt / keine leere)« /$rSpecht, Benjamin --$tDiskussionen --$t»Was heißt und wozu dient heute literarische Bildung?« /$rDie Herausgeber --$t»Was heißt und wozu dient heute literarische Bildung?« /$rAbraham, Ulf --$tDie Chancen der Schule /$rHoheisel, Wiebke --$tLiterarische Bildung /$rLiebau, Eckart --$tMein Traum /$rMangold, Ijoma --$tDer vitale Kern literarischer Bildung /$rvon Petersdorff, Dirk --$tLiterarische Bildung als Kern des Deutschunterrichts auf der Oberstufe /$rKämper-van den Boogaart, Michael --$tFan Fiction als literarische Bildung /$rZemanek, Evi --$tBerichte --$tSammelbehälter der Moderne /$rBarnert, Arno --$tAnmut und Politik /$rHambsch, Jasmin --$tZwölf Teile und doch nur ein Anfang /$rBürger, Jan --$tMarbacher Schiller-Bibliographie 2013 /$rRiedel, Nicolai --$tMarbacher Vorträge --$tKann Literatur ausgestellt werden? /$rGumbrecht, Hans Ulrich --$tGrußwort /$rGourdault-Montagne, Maurice --$tGrußwort /$rPickard, Nick --$tDer Lärm der Schlacht und die Stille des Archivs /$rLethen, Helmut --$tSchiller-Rede /$rKrüger, Michael --$tNachruf auf Walter Scheffler /$rOtt, Ulrich --$tDeutsche Schillergesellschaft --$tJahresbericht der Deutschen Schillergesellschaft /$rRaulff, Ulrich --$tAnschriften der Jahrbuch-Mitarbeiter --$tZum Frontispiz --$tInternet --$tImpressum 330 $aDas Jahrbuch der Deutschen Schillergesellschaft ist ein literaturwissenschaftliches Periodikum, das vorwiegend Beiträge zur deutschsprachigen Literatur von der Aufklärung bis zur Gegenwart veröffentlicht. Diese Zeitspanne entspricht den Sammelgebieten des Deutschen Literaturarchivs Marbach, das von der Deutschen Schillergesellschaft getragen wird. Arbeiten zu Schiller sind besonders willkommen, bilden aber naturgemäß nur einen Teil des Spektrums. Weitere Gebiete, denen ein verstärktes Interesse gilt, sind die Geschichte der Germanistik (der sich auch eine Marbacher Arbeitsstelle widmet) und die deutschsprachige Literatur seit 1945. Darüber hinaus ist es ein Ziel des Schiller-Jahrbuchs, wichtige unveröffentlichte "Texte und Dokumente" zu publizieren. Außerdem werden regelmäßig Diskussionen über aktuelle Probleme der Literaturwissenschaft und des literarischen Lebens geführt sowie eine jährliche internationale Bibliographie zu Schiller geboten. 410 $aJahrbuch der Deutschen Schillergesellschaft 606 $aGerman literature$xHistory and criticism 615 0$aGerman literature$xHistory and criticism. 676 $a830.9 702 $aBarner$b Wilfried 702 $aLubkoll$b Christine 702 $aOsterkamp$b Ernst 702 $aRaulff$b Ulrich 801 0$bDE-B1597 801 1$bDE-B1597 906 $aBOOK 912 $a9910832998103321 996 $aJAHRBUCH der deutschen Schillergesellschaft$9536506 997 $aUNINA LEADER 06400nam 22007335 450 001 9910349386903321 005 20251225205317.0 010 $a9783030057558 010 $a3030057550 024 7 $a10.1007/978-3-030-05755-8 035 $a(CKB)4100000007204979 035 $a(DE-He213)978-3-030-05755-8 035 $a(MiAaPQ)EBC6286310 035 $a(PPN)232963932 035 $a(EXLCZ)994100000007204979 100 $a20181208d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSmart Computing and Communication $eThird International Conference, SmartCom 2018, Tokyo, Japan, December 10?12, 2018, Proceedings /$fedited by Meikang Qiu 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XII, 462 p. 268 illus., 170 illus. in color.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v11344 300 $aIncludes index. 311 08$a9783030057541 311 08$a3030057542 327 $aA Two-Way Identity Authentication Scheme Based on Dynamic Password -- Adaptive Quality Control Scheme to Improve QoE of Video Streaming in Wireless Networks -- Traveler Review Analysis System with Big Data (TRAS) -- Vulnerability Assessment for PMU Communication Networks -- Proposal of parallel processing area extraction and data transfer number reduction for automatic GPU offloading of IoT applications -- Performance Evaluation of industrial OPC UA Gateway with energy cost-saving -- Travel-Time Prediction Methods: A Review -- The influence of sleep on opportunistic relay in linear wireless sensor networks -- Reconfigurable Hardware Generation for Tensor Flow Models of CNN Algorithms on a Heterogeneous Acceleration Platform -- Image Segmentation Algorithm Based on Spatial Pyramid and Visual Salience -- Fast Implementation for SM4 Cipher Algorithm Based on Bit-Slice Technology -- Static Analysis of Android Apps Interaction with Automotive CAN -- Opportunistic Content Offloading for Mobile Edge Computing -- Image Annotation Algorithm Based on Semantic Similarity and Multi-Features -- One Secure IoT Scheme for Protection of True Nodes -- Predicted Mobile Data Offloading for Mobile Edge Computing Systems -- A Monte Carlo based Computation Offloading Algorithm for Feeding Robot IoT System -- Collective Behavior Aware Collaborative Caching for Mobile Edge Computing -- Implementation of distributed multi-agent scheduling algorithm based on Pi-calculus -- SmartDetect: A Smart Malicious Web Shell Code Detection Scheme via Ensemble Learning Algorithm -- An optimized MBE Algorithm on Sparse Bipartite Graphs -- IoT Framework for Interworking and Autonomous Interaction between Heterogeneous IoT Platforms -- Improvement of TextRank Based on Co-occurrence Word Pairs and Context Information -- Augmenting Embedding with Domain Knowledge for Oral Disease Diagnosis Prediction -- Regional Estimation Prior Network for Crowd Analyzing -- RBD: A Reference Railway Big Data System Model -- Artificial IntelligencePlatform for Heterogeneous Computing -- Review on Application of artificial intelligence in photovoltaic output prediction -- Abnormal Flow Detection Technology In GPU Network Based On Statistical Classification Method -- Research on Data Forwarding Algorithm Based on Link Quality in Vehicular Ad Hoc Networks -- The Knowledge Map Analysis of User Profile Research Based on CiteSpace -- The Accuracy of Fuzzy C-Means in Lower-Dimensional Space for Topic Detection -- Information-Centric Fog Computing for Disaster Relief -- Smartly Deploying WeChat Mobile Application on Cloud Foundry PaaS -- Normal Profile Updating Method For Enhanced Packet Header Anomaly Detection -- Research on Arm Motion Capture of Virtual Reality Based on Kinematics -- Financial News Quantization and Stock Market Forecast Research Based on CNN and LSTM -- Correlation Coefficient based Cluster Data Preprocessing and LSTM Prediction Model for Time Series Data in Large Aircraft Test Flights -- PSPChord - A Novel Fault Tolerance Approach for P2P Overlay Network -- Studying Weariness Prediction Using SMOTE and Random Forests -- Design of Heterogeneous Evaluation Method for Redundant Circuits -- Senior2Local: a Machine Learning Based Intrusion Detection Method for VANETs -- Depth Prediction from Monocular Images with CGAN -- Anomaly Detection for Power Grid based on Network Flow -- A K-Anonymous Full Domain Generalization Algorithm Based on Heap Sort. 330 $aThis book constitutes the refereed proceedings of the Third International Conference on Smart Computing and Communications, SmartCom 2018, held in Tokyo, Japan, in December 2018. The 45 papers presented in this volume were carefully reviewed and selected from 305 submissions. They focus on topics from smart data to smart communications, as well as smart cloud computing to smart security. . 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v11344 606 $aComputer networks 606 $aComputer networks$xSecurity measures 606 $aArtificial intelligence 606 $aComputers$xLaw and legislation 606 $aInformation technology$xLaw and legislation 606 $aComputer vision 606 $aComputer Communication Networks 606 $aMobile and Network Security 606 $aArtificial Intelligence 606 $aLegal Aspects of Computing 606 $aComputer Vision 615 0$aComputer networks. 615 0$aComputer networks$xSecurity measures. 615 0$aArtificial intelligence. 615 0$aComputers$xLaw and legislation. 615 0$aInformation technology$xLaw and legislation. 615 0$aComputer vision. 615 14$aComputer Communication Networks. 615 24$aMobile and Network Security. 615 24$aArtificial Intelligence. 615 24$aLegal Aspects of Computing. 615 24$aComputer Vision. 676 $a004 676 $a004.6782 702 $aQiu$b Meikang$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349386903321 996 $aSmart Computing and Communication$91939023 997 $aUNINA