LEADER 05247nam 2200613 450 001 9910797129903321 005 20200520144314.0 010 $a1-119-05975-5 010 $a1-119-05958-5 035 $a(CKB)3710000000418050 035 $a(EBL)2052358 035 $a(SSID)ssj0001535184 035 $a(PQKBManifestationID)11828689 035 $a(PQKBTitleCode)TC0001535184 035 $a(PQKBWorkID)11498296 035 $a(PQKB)10415976 035 $a(Au-PeEL)EBL2052358 035 $a(CaPaEBR)ebr11059003 035 $a(OCoLC)910880576 035 $a(CaSebORM)9781119059592 035 $a(MiAaPQ)EBC2052358 035 $a(EXLCZ)993710000000418050 100 $a20150611h20152015 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAutoCAD Civil 3D 2016 $eessentials : autodesk official press /$fEric Chappell 210 1$aIndianapolis, Indiana :$cJohn Wiley & Sons, Inc.,$d2015. 210 4$d©2015 215 $a1 online resource (790 p.) 300 $aIncludes index. 311 $a1-119-05959-3 327 $aCover; Title page; Credits; Copyright; Dedication; Acknowledgments; About the Author; Introduction; What's New in This Book?; Who Should Read This Book?; What Is Covered in This Book?; The Essentials Series; Chapter 1: Navigating the User Interface; Getting to Know the Civil 3D User Interface; Working with the Application Menu; Working with the Ribbon; Working with the Toolspace; Using the Drawing Area; Using the Command Line; Using Panorama; Using the Transparent Commands Toolbar; Using the Inquiry Tool; Chapter 2: Leveraging a Dynamic Environment; Connecting Objects and Styles 327 $aConnecting Labels and Label Styles Connecting Objects to Objects; Connecting Objects to Labels; Appreciating the Richness of the 3-D Model; Sharing Data in a Dynamic Environment; Chapter 3: Establishing Existing Conditions Using Survey Data; What Is Survey Data?; Creating a Survey Database; Importing Survey Data; Automating Field-to-Finish; Editing Survey Points; Editing Survey Figures; Creating Additional Points; Chapter 4: Modeling the Existing Terrain Using Surfaces; Understanding Surfaces; Creating a Surface from Survey Data; Using Breaklines to Improve Surface Accuracy; Editing Surfaces 327 $aDisplaying and Analyzing Surfaces Annotating Surfaces; Chapter 5: Designing in 2-D Using Alignments; Understanding Alignments; Creating Alignments from Objects; Creating Alignments Using the Alignment Creation Tools; Editing Alignments; Applying Design Criteria Files and Check Sets; Chapter 6: Displaying and Annotating Alignments; Using Alignment Styles; Applying Alignment Labels and Label Sets; Creating Station/Offset Labels; Creating Segment Labels; Using Tag Labels and Tables; Chapter 7: Designing Vertically Using Profiles; Creating Surface Profiles; Displaying Profiles in Profile Views 327 $aCreating Design Profiles Editing Profiles; Using Design Check Sets and Criteria Files; Chapter 8: Displaying and Annotating Profiles; Applying Profile Styles; Applying Profile View Styles; Applying Profile View Bands; Applying Profile Labels; Creating and Applying Profile Label Sets; Creating Profile View Labels; Projecting Objects to Profile Views; Chapter 9: Designing in 3D Using Corridors; Understanding Corridors; Creating an Assembly; Creating a Corridor; Applying Corridor Targets; Creating Corridor Surfaces; Chapter 10: Creating Cross Sections of the Design; Using the Section Editor 327 $aCreating Sample Lines Creating Section Views; Sampling More Sources; Chapter 11: Displaying and Annotating Sections; Applying Section Styles; Applying Section Labels; Controlling Corridor Section Display with Code Set Styles; Applying Labels with Code Set Styles; Applying Section View Styles; Applying Section View Bands; Applying Group Plot Styles; Creating Section View Labels; Chapter 12: Designing and Analyzing Boundaries Using Parcels; Understanding Parcels; Creating Parcels from Objects; Creating Parcels by Layout; Editing Parcels; Chapter 13: Displaying and Annotating Parcels 327 $aApplying Parcel Styles 330 $aStart designing today with this hands-on beginner's guide to AutoCAD Civil 3D 2016 AutoCAD Civil 3D 2016 Essentials gets you quickly up to speed with the features and functions of this industry-leading civil engineering software. This full-color guide features approachable, hands-on exercises and additional task-based tutorials that help you quickly become productive as you master the fundamental aspects of AutoCAD Civil 3D design. Each chapter opens with a quick discussion of concepts and learning goals, and then briskly moves into tutorial mode with screen shots that illustrate each step of 606 $aCivil engineering$xComputer programs 606 $aSurveying$xComputer programs 615 0$aCivil engineering$xComputer programs. 615 0$aSurveying$xComputer programs. 676 $a620.00420285536 700 $aChappell$b Eric$01479432 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910797129903321 996 $aAutoCAD Civil 3D 2016$93863235 997 $aUNINA LEADER 08252nam 22007695 450 001 9910143567203321 005 20251116234121.0 010 $a3-540-45241-9 024 7 $a10.1007/3-540-45241-9 035 $a(CKB)1000000000211441 035 $a(SSID)ssj0000325784 035 $a(PQKBManifestationID)11285612 035 $a(PQKBTitleCode)TC0000325784 035 $a(PQKBWorkID)10264730 035 $a(PQKB)10417214 035 $a(DE-He213)978-3-540-45241-6 035 $a(MiAaPQ)EBC3072231 035 $a(PPN)155165410 035 $a(BIP)7103853 035 $a(EXLCZ)991000000000211441 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aPractical Aspects of Declarative Languages $eThird International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings /$fedited by I.V. Ramakrishnan 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (VIII, 352 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1990 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-41768-0 320 $aIncludes bibliographical references and index. 327 $aA Model Checker for Value-Passing Mu-Calculus Using Logic Programming -- Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog -- Frappé: Functional Reactive Programming in Java -- From Subject Directories to Subject Meta-directories via Declarative Programming -- Programming Goal-Driven Web Sites Using an Agent Logic Language -- High-Level Server Side Web Scripting in Curry -- Logic Programming Techniques for Dynamic VRML Web Content Generation -- Soft Constraints for Security Protocol Analysis: Confidentiality -- Secure Deductive Databases -- Specifying Authentication Protocols Using Rewriting and Strategies -- Interoperability between Bioinformatics Tools: A Logic Programming Approach -- An A-Prolog Decision Support System for the Space Shuttle -- tuProlog: A Light-Weight Prolog for Internet Applications and Infrastructures -- A Novel Implementation of the Extended Andorra Model -- Soundcheck for SQL -- Compiling High-Level Type Constructors in Constraint Programming -- Constraint Database Models Characterizing Timed Bisimilarity -- Spatio-temporal Annotated Constraint Logic Programming -- A Meta-heuristic for Subset Problems -- Construction and Optimization of a Parallel Engine for Answer Set Programming -- FVision: A Declarative Language for Visual Tracking -- A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces -- State Generation in the PARMC Model Checker. 330 $aThe International Symposium on Practical Aspects of Declarative Languages (PADL)focusesonpracticalapplicationsofdeclarativelanguages. Thecollection ofpapersinthisvolumewaspresentedatPADL2001. Thesymposiumwasheld inLasVegas,Nevada,March11-12,2001. Fortypapersweresubmittedinresponsetothecallforpapers. Twenty-three paperswere'nallyselectedforpresentationatthesymposium. Thesymposium includedinvitedtalksbyJoeArmstrongofBluetail,RaghuRamakrishnanfrom theUniversityofWisconsinatMadison,andDavidS. Warrenfromthe State UniversityofNewYorkatStonyBrook. ThesymposiumwassponsoredandorganizedbyCOMPULOGAMERICAS (http://www. cs. nmsu. edu/~complog),anetworkofresearchgroupsdedicated topromotingresearchinlogicprogrammingandrelatedareas,bytheAssoc- tionforLogicProgramming(http://www. cwi. nl/projects/alp),theDepa- mentofComputerScience,UniversityofTexasatDallasandtheDepartment ofComputerScienceattheStateUniversityofNewYorkatStonyBrook. The supportofmanyindividualswascrucialtothesuccessofthissymposium. My thankstoGiridharPemmasani,SamikBasu,DivyangiAnchan,ShachiPoddar, and Shabbir Dahodwala for their help with organizing and managing the - viewingprocess. SpecialthankstoR. C. Sekarforsettingupandmanagingthe PADL2001 web site and to Gopal Gupta for handling all the organizational details. Manythankstotheprogramcommitteemembersforalltheirhelpin- viewingandtheiradvice. Finally,mythankstoalltheauthorswhotookinterest inPADL2001andsubmittedpapers. January2001 I. V. Ramakrishnan ProgramChair ProgramCommittee S. Antoy PortlandStateUniv. S. Debray Univ. ofArizona M. Fromherz XeroxPARC C. Geyer FederalUniversityofRioGrandedoSul,Brazil B. Goldberg NYU N. Heintze BellLabs,LucentTechnologies S. Krishnamurthi BrownUniversity L. Maranget INRIARocquencourt E. Meijer UtrechtUniversity G. Morrisett CornellUniversity U. Nilsson LinkopingUniversity C. Palamidessi PennStateUniv. E. Pontelli NewMexicoStateUniv. I. V. Ramakrishnan(PCChair) SUNYStonyBrook D. Sands ChalmersUniversityofTechnology R. Sekar SUNYStonyBrook D. Srivastava AT&TLabsResearch T. Swift SUNYStonyBrook K. Ueda WasedaUniversity R. Yap NationalUniversityofSingapore N-F. Zhou CUNYBrooklynCollegeandGraduateCenter Referees S. Antoy S. Krishnamurthi C. R. Ramakrishnan S. Debray L. Maranget D. Sands Frank G. Morrisett R. Sekar M. Fromherz K. NarayanKumar D. Srivastava C. Geyer U. Nilsson P. Swift B. Goldberg C. Palamidessi K. Ueda N. Heintze G. Pemmasani R. Yap O. Kaser E. Pontelli N-F. Zhou SponsoringInstitutions COMPULOGAMERICAS, http://www. cs. nmsu. edu/~complog AssociationforLogicProgramming, http://www. cwi. nl/projects/alp TableofContents AModelCheckerforValue-PassingMu-CalculusUsingLogic Programming. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 C. R. Ramakrishnan DesignandImplementationoftheHigh-LevelSpeci'cationLanguage CSP(LP)inProlog. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 M. Leuschel Frapp´e:FunctionalReactiveProgramminginJava . . . . . . . . . . . . . . . . . . . . . 29 A. Courtney FromSubjectDirectoriestoSubjectMeta-directoriesviaDeclarative Programming. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 A. BrogiandG. Caruso ProgrammingGoal-DrivenWebSitesUsinganAgentLogicLanguage . . . . 60 M. Baldoni,C. Baroglio,A. Chiarotto,andV. Patti High-LevelServerSideWebScriptinginCurry . . . . . . . . . . . . . . . . . . . . . . . . 76 M. Hanus LogicProgrammingTechniquesforDynamicVRMLWebContent Generation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 A. GuptaandP. Tarau SoftConstraintsforSecurityProtocolAnalysis:Con'dentiality. . . . . . . . . . 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1990 606 $aProgramming languages (Electronic computers) 606 $aSoftware engineering 606 $aComputer logic 606 $aComputer programming 606 $aArtificial intelligence 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aProgramming languages (Electronic computers) 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aComputer programming. 615 0$aArtificial intelligence. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Techniques. 615 24$aArtificial Intelligence. 676 $a005.13/1 702 $aRamakrishnan$b I.V$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aPADL 2001 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143567203321 996 $aPractical Aspects of Declarative Languages$9772495 997 $aUNINA