LEADER 05327nam 2200661Ia 450 001 9910511643903321 005 20170810190744.0 010 $a1-281-75497-8 010 $a9786611754976 010 $a0-08-051845-1 035 $a(CKB)1000000000384507 035 $a(EBL)405423 035 $a(OCoLC)437246381 035 $a(SSID)ssj0000255787 035 $a(PQKBManifestationID)11216755 035 $a(PQKBTitleCode)TC0000255787 035 $a(PQKBWorkID)10217344 035 $a(PQKB)11115981 035 $a(MiAaPQ)EBC3561972 035 $a(MiAaPQ)EBC405423 035 $a(PPN)170267679 035 $a(EXLCZ)991000000000384507 100 $a20020927d2003 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aTCP/IP clearly explained$b[electronic resource] /$fPete Loshin 205 $a4th ed. 210 $aAmsterdam ;$aBoston $cMorgan Kaufmann Publishers$dc2003 215 $a1 online resource (737 p.) 225 1 $aThe Morgan Kaufmann Series in Networking 300 $aDescription based upon print version of record. 311 $a1-55860-782-X 327 $aFront Cover; TCP/IP Clearly Explained; Copyright Page; Conents; Preface; Audience; Acknowledgments; Part I: Concepts and Fundamentals of Networking; Chapter 1. Introduction: What is This Book About?; 1.1 Graphical Conventions Used in this Book; 1.2 Notes on Style; 1.3 Overview; Chapter 2. A Language of Networking; 2.1 Network Terms; 2.2 Network Media and Interfaces; 2.3 Nodes and Hosts; 2.4 Clients and Servers; 2.5 LAN, MAN, WAN, SAN; 2.6 Network Systems; 2.7 Network Protocols; 2.8 Internetwork Terms; 2.9 Chapter Summary; Chapter 3. Network Addresses, Network Names 327 $a3.1 Scalability and Network Naming/Numbering3.2 Network Identification Terms, Defined; 3.3 Binary and Hexadecimal Numbering; 3.4 Network Addressing Spaces; 3.5 Network Names; 3.6 Chapter Summary; Chapter 4. Applying Networking Concepts; 4.1 Virtual Circuits; 4.2 Bandwidth and Throughput; 4.3 Latency; 4.4 Packet Switching and Routing; 4.5 Best Effort Delivery; 4.6 Unicast, Broadcast, Multicast, and Anycast; 4.7 Switching, Routing, and Bridging; 4.8 Edge, Non-Edge, and Backbone Devices; 4.9 Chapter Summary; Chapter 5. Network Models and Internetworking Concepts; 5.1 OSI vs IP 327 $a5.2 The OSI Reference Model5.3 The DoD (IP) Reference Model; 5.4 Encapsulation; 5.5 Internetwork Interface Devices; 5.6 Defining the Internet; 5.7 Chapter Summary; Chapter 6. Internet Protocol Overview; 6.1 Network Interface Layer; 6.2 Internet Layer; 6.3 Transport Layer; 6.4 Application Layer; 6.5 Internet Security and IPsec; 6.6 Integrated Services, Differentiated Services; 6.7 Network Management; 6.8 Chapter Summary; Part II: Internet Applications; Chapter 7. Meet Joe's Packets; 7.1 Meet Joe; 7.2 The Application Layer: DNS and HTTP; 7.3 The Transport Layer; 7.4 Internet Layer 327 $a7.5 Network Link Layer7.6 The Big Picture; 7.7 Routing Joe's Packets; 7.8 Chapter Summary; Chapter 8. The Domain Name System; 8.1 Problem Statement; 8.2 The Domain Name System Solution; 8.3 The Database; 8.4 The Protocol; 8.5 Domain Name System in Action; 8.6 Additional Domain Name System Issues; 8.7 Chapter Summary; Chapter 9. Internet Mail; 9.1 Internet Messaging Architecture; 9.2 Simple Mail Transfer Protocol Details; 9.3 More Simple Mail Transfer Protocol Issues; 9.4 Internet Mail Lessons; 9.5 Chapter Summary; Chapter 10. Telnet; 10.1 Problem Statement; 10.2 Terminal Functions 327 $a10.3 Telnet Protocol Basics10.4 Secure Shell Protocol; 10.5 Chapter Summary; Chapter 11. Internet File Transfer; 11.1 Problem Statement; 11.2 File Transfer Protocol Basics; 11.3 What's Special About File Transfer Protocol; 11.4 Trivial File Transfer Protocol; 11.5 File Sharing; 11.6 Anonymous File Transfer Protocol; 11.7 FTP Updates; 11.8 Chapter Summary; Chapter 12. The Web; 12.1 Specifying Web Resources; 12.2 The Hypertext Transfer Protocol (HTTP); 12.3 Hypertext Transfer Protocol and Multipurpose Internet Message Extensions; 12.4 Hypertext Transfer Protocol in Action 327 $a12.5 Web Caching and Intermediaries 330 $aWith over 30,000 copies sold in previous editions, this fourth edition of TCP/IP Clearly Explained stands out more than ever. You still get a practical, thorough exploration of TCP/IP networking, presented in plain language, that will benefit newcomers and veterans alike. The coverage has been updated, however, to reflect new and continuing technological changes, including the Stream Control Transmission Protocol (SCTP), the Blocks architecture for application protocols, and the Transport Layer Security Protocol (TLS). The improvements go far beyond the updated material: they also incl 410 4$aThe Morgan Kaufmann Series in Networking 606 $aTCP/IP (Computer network protocol) 606 $aComputer network protocols 608 $aElectronic books. 615 0$aTCP/IP (Computer network protocol) 615 0$aComputer network protocols. 676 $a004.6/2 22 676 $a004.62 700 $aLoshin$b Peter$0627539 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910511643903321 996 $aTCP$91213061 997 $aUNINA LEADER 02978nam 2200565 450 001 9910796815103321 005 20200520144314.0 010 $a3-7329-9539-9 035 $a(CKB)4100000004835671 035 $a(MiAaPQ)EBC5431707 035 $a(Au-PeEL)EBL5431707 035 $a(OCoLC)1041909776 035 $a5f283a41-51a4-4b21-af03-7b8ab0dd2d03 035 $a(EXLCZ)994100000004835671 100 $a20180828d2018 uy 0 101 0 $ager 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aDie Legitimierung des deutschen Syrien-Einsatzes $epolitischer Diskurs und Medienresonanz 2015 /$fGina Hoffmann 210 1$aBerlin :$cFrank & Timme, Verlag fu?r wissenschaftliche Literatur,$d[2018] 210 4$d©2018 215 $a1 online resource (153 pages) 225 1 $aInternationale und Interkulturelle Kommunikation ;$vBand 13 300 $aPublicationDate: 20180615 311 $a3-7329-0462-8 330 $aBiographical note: In den Tagen nach den Anschlägen in Paris am 13. November 2015 beherrschte vor allem Angst die europäische Politik. Die Versammlungsrechte in Frankreich wurden kurzweilig ausgesetzt und auch im Rest Europas wurden die Sicherheitsmaßnahmen verschärft. Der Deutsche Bundestag entschied, Frankreich im Kampf gegen den selbsternannten ?Islamischen Staat? in Syrien zu unterstützen. Dieser dritte offensive Einsatz der Bundeswehr wurde innerhalb kürzester Zeit durchs Parlament gebracht. Mit Hilfe einer Argumentationsanalyse zeigt das Buch auf, mit welchen Begründungen der Einsatz in Politik und Massenmedien legitimiert wurde. Der zivilgesellschaftliche Protest blieb aus und lässt die Frage zurück, was aus pazifistischen Wertvorstellungen geworden ist. 330 $aBiographical note: Gina Hoffmann wurde 1991 in Saalfeld/Saale geboren. Sie studierte Angewandte Medienwissenschaften an der Technischen Universität Ilmenau. Den Masterabschluss erlangte sie 2017 an der Universität Erfurt im Studiengang Kommunikationsforschung: Politik und Gesellschaft, mit dem Schwerpunkt Politik. 410 0$aInternationale und Interkulturelle Kommunikation ;$vBand 13. 606 $aIslam$xPress coverage$zEurope 606 $aCommunication in politics 606 $aIslam$xPublic opinion 606 $aPublic opinion$zEurope 606 $aDiscourse analysis$xPolitical aspects 607 $aSyria$xHistory$yCivil War, 2011-$xParticipation, German 615 0$aIslam$xPress coverage 615 0$aCommunication in politics. 615 0$aIslam$xPublic opinion. 615 0$aPublic opinion 615 0$aDiscourse analysis$xPolitical aspects. 676 $a070.449297 700 $aHoffmann$b Gina$01579709 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910796815103321 996 $aDie Legitimierung des deutschen Syrien-Einsatzes$93859974 997 $aUNINA LEADER 06370nam 22008775 450 001 9910484799703321 005 20251226202831.0 010 $a3-642-04027-6 024 7 $a10.1007/978-3-642-04027-6 035 $a(CKB)1000000000784708 035 $a(SSID)ssj0000316898 035 $a(PQKBManifestationID)11246637 035 $a(PQKBTitleCode)TC0000316898 035 $a(PQKBWorkID)10276724 035 $a(PQKB)10472840 035 $a(DE-He213)978-3-642-04027-6 035 $a(MiAaPQ)EBC3064573 035 $a(PPN)139955275 035 $a(EXLCZ)991000000000784708 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Science Logic $e23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings /$fedited by Erich Grädel, Reinhard Kahle 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XI, 567 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5771 300 $aIncludes index. 311 08$a3-642-04026-8 327 $aInvited Talks -- Algebra for Tree Languages -- Forcing and Type Theory -- Functional Interpretations of Intuitionistic Linear Logic -- Fixed-Point Definability and Polynomial Time -- Special Invited Talk to Commemorate the Centenary of Stephen Cole Kleene -- Kleene?s Amazing Second Recursion Theorem -- Contributed Papers -- Typed Applicative Structures and Normalization by Evaluation for System F ? -- Jumping Boxes -- Tree-Width for First Order Formulae -- Algorithmic Analysis of Array-Accessing Programs -- Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems -- Cardinality Quantifiers in MLO over Trees -- From Coinductive Proofs to Exact Real Arithmetic -- On the Relation between Sized-Types Based Termination and Semantic Labelling -- Expanding the Realm of Systematic Proof Theory -- EXPTIME Tableaux for the Coalgebraic ?-Calculus -- On the Word Problem for -Categories, and the Properties of Two-Way Communication -- Intersection, Universally Quantified, and Reference Types -- Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata -- Enriching an Effect Calculus with Linear Types -- Degrees of Undecidability in Term Rewriting -- Upper Bounds on Stream I/O Using Semantic Interpretations -- Craig Interpolation for Linear Temporal Languages -- On Model Checking Boolean BI -- Efficient Type-Checking for Amortised Heap-Space Analysis -- Deciding the Inductive Validity of ????* Queries -- On the Parameterised Intractability of Monadic Second-Order Logic -- Automatic Structures of Bounded Degree Revisited -- Nondeterminism and Observable Sequentiality -- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions -- Focalisation and Classical Realisability -- Decidable Extensions of Church?s Problem -- NestedHoare Triples and Frame Rules for Higher-Order Store -- A Complete Characterization of Observational Equivalence in Polymorphic ?-Calculus with General References -- Non-Commutative First-Order Sequent Calculus -- Model Checking FO(R) over One-Counter Processes and beyond -- Confluence of Pure Differential Nets with Promotion -- Decision Problems for Nash Equilibria in Stochastic Games -- On the Complexity of Branching-Time Logics -- Nominal Domain Theory for Concurrency -- The Ackermann Award 2009. 330 $aThe annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7?11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL. This conference was the 23rd meeting and 18th EACSL conference; it was organized at the Department of Mathematics, Faculty of S- ence and Technology, University of Coimbra. In response to the call for papers, a total of 122 abstracts were submitted to CSL 2009of which 89 werefollowedby a full paper. The ProgrammeCommittee selected 34 papers for presentation at the conference and publication in these proceedings. The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. The awardrecipient for 2009 was Jakob Nordstr¨ om. Citation of the award, abstract of the thesis, and a biographical sketch of the recipient may be found at the end of the proceedings. The award was sponsored for the years 2007?2009 by Logitech S.A. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5771 606 $aArtificial intelligence 606 $aMathematical logic 606 $aMachine theory 606 $aComputer science 606 $aComputer science$xMathematics 606 $aCoding theory 606 $aInformation theory 606 $aArtificial Intelligence 606 $aMathematical Logic and Foundations 606 $aFormal Languages and Automata Theory 606 $aComputer Science Logic and Foundations of Programming 606 $aSymbolic and Algebraic Manipulation 606 $aCoding and Information Theory 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aMachine theory. 615 0$aComputer science. 615 0$aComputer science$xMathematics. 615 0$aCoding theory. 615 0$aInformation theory. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Foundations. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aCoding and Information Theory. 676 $a004.015113 686 $aDAT 540f$2stub 686 $aDAT 706f$2stub 686 $aSS 4800$2rvk 701 $aGradel$b Erich$060991 701 $aKahle$b Reinhard$01735965 712 02$aEuropean Association for Computer Science Logic. 712 12$aCSL 2009 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484799703321 996 $aComputer science logic$94189683 997 $aUNINA