Swierstra r (8 Ergebnisse)
Hr.Ms. Willem van der Zaan. Van mijnenlegger tot manusje-van-alles
Harmse, R. & Kuilenburg, H. van & Swierstra, D. & Veelen, A.J. van & Wijn, J.J.A. (eindredactie)
- Softcover
Anbieter: Barksdale Books, Almere, NiederlandeBarksdale Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 10,00
EUR 20,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
Zustand: New.
Verlag: Jacob van Kampen, Amsterdam, 1928
- Hardcover
Anbieter: Barksdale Books, Almere, NiederlandeBarksdale Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 10,00
EUR 20,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
Zustand: Good. 4th Edition.
Weitere BilderSprache: Niederländisch
Verlag: Haarlem, Stam, 1947
- Hardcover
Anbieter: avelibro OHG, Dinkelscherben, Deutschlandavelibro OHG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: BOEV
Zustand: Gebraucht - Gut
EUR 25,90
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
8° Halbleinen. Zustand: Gut. Deel I. 182 S. Halbleinenrückenverstärkung. Vorder- und Rückendeckel aus Pappband an den Kanten stark berieben. Goldprägeschrift des Titels auf Buchrücken. Schnitt und Seitenwerk alters-/papiertypisch nachgedunkelt. Kleiner Aufkleber auf der Innenseite des Vorderdeckels. B16-01-03J Sprache: Niederlän…disch Gewicht in Gramm: 474.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,35
EUR 14,05 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Advanced Functional Programming: Third International School, Afp '98, Braga, Portugal, September 12-19, 1998 : Revised Lectures (Lecture Notes in Computer Science)
Henriques, Pedro R./ Swierstra, S. Doaitse/ Oliveira, Jose N.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 83,60
EUR 14,66 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 1999 edition. 289 pages. 9.25x6.25x0.75 inches. In Stock.
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,38 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Inthisvolumeyouwill ndthelecturenotescorrespondingtothepres- rd tationsgivenatthe3 summerschoolonAdvancedFunctionalProgramming, heldinBraga,PortugalfromSeptember12 19,1998. ThisschoolwasprecededbyearlieronesinB astad(1995,Sweden,LNCS925) andOlympia,W…A(1996,USA,LNCS1129). Thegoalofthisseriesofschoolsis tobringrecentdevelopmentsintheareaoffunctionalprogrammingtoalarge groupofstudents. Thenotesarepublishedinordertoenableindividuals,small studygroups,andlecturerstobecomeacquaintedwithrecentworkinthefast developingareaoffunctionalprogramming. Whatmadethisschoolparticularlyinterestingwasthefactthatalllectures introducedusefulsoftware,thatwasusedbythestudentsintheclassestoget hands-onexperiencewiththesubjectstaught. Weurgereadersofthisvolumeto downloadthelatestversionofthissoftwarefromtheInternetandtrytodothe exercisesfromthetextthemselves;theproofoftheprogramisinthetyping. The rstlecture,onSortingMorphisms,servesasagentleintroductiontothe thingstocome. Ifyouhavealwaysbeenafraidoftheword morphism ,andyou havebeenwonderingwhatcatamorphisms,anamorphisms,hylomorphims,and paramorphimswereabout,thisisthepapertoread rst;youwilldiscoverthat theyaremerelynamesforrecursionpatternsthatoccuroverandoveragainwhen writingfunctionalprograms. Thealgorithmsinthepaperareallaboutsorting, andsinceyouarelikelytoknowthosealgorithmsbyheartalready,seeingthem structuredandanalyzedinanovelwayshouldserveasamotivationtoreadon tothesecondlecture. Thesecondlecture,onGenericProgramming,isalmostabookinabook. ThenotescanbeseenastheculminatingpointoftheSTOP-project,sponsored bytheDutchgovernmentattheendofthe80 sandthebeginningofthe90 s. Its overallgoalwasthedevelopmentofacalculationalwayofderivingprograms. The projecthasprovideddeeperinsightintorealfunctionalprogrammingandinto thetheorybehindmanythingscommonlywrittenbyfunctionalprogrammers. Oneofthemainachievementsoftheprojecthasbeentomakepeopleaware ofthefactthatmanyalgorithmscanbedescribedinadata-independentway. ThePolyPsystemintroducedinthesenotesisoneofthetranslationstothe Haskell-worldofthistheoreticalunderpinning. Thethirdlecture,onGenericProgramTransformation,canalsobeseenas anapplicationofthetheoryintroducedinlecturetwo. Manye ciency-improving programtransformationscanbeperformedinamechanicalway,andthesewould nothavebeenpossiblewithoutinsightintothecorrectnessofsuchtransfor- tionsgainedinthelectureonGenericProgramming. Thefourthlecture,onDesigningandImplementingCombinatorLanguages, introducesaneasytowriteformalismforwritingdownthecatamorphismsint- ducedinearlierchapters. Itisshownhowquitecomplicatedcatamorphisms,that at rstsightseemratherforbiddingbymakingextensiveuseofhigher-orderdo- VI Preface mains,canactuallybedevelopedinastep-wisefashion,usinganattributegr- marview;itisfurthermoreshownhowtorelatethiswayofprogrammingwith conceptsfromtheobject-orientedworldthusmakingclearwhatthestrengths andweaknessesofeachworldare. The fthlecture,titledUsingMetaML:AStagedProgrammingLanguage, introducestheconceptofpartialevaluation. Itservesasanotherinstanceof thequestfor themostgenericofwritingprogramsatthelowestcost . The stagingtechniquesshowhowcoststhatwereintroducedbyaddingextralevels ofabstraction,maybemovedfromrun-timetocompile-time. Ithasbeencommonknowledgetousersofmodernfunctionallanguagesthat thetypesystemcanbeagreathelpinshorteningprogramsandreducingerrors. Intheextremeonemightseeatypeasapredicatecapturingtheproperties ofanyexpressionwiththattype. InthesixthlectureonCayenne Spiceup yourProgrammingwithDependentTypesitisshowninwhatdirectionfunctional languagesaremostlikelytodevelop,andwhatmaybeexpectedofthenewtype systemstobeintroduced. Thelastlecture,titledHaskellasanAutomationController,showsthat writingfunctionalprogramsdoesnothavetoimplythatoneisboundtoremain isolatedfromtherestoftheworld. Beingabletocommunicatewithsoftware writtenbyothersinauniformway,isprobablyoneofthemostinteresting newdevelopmentsincurrentcomputerscience. Itappearsthattheconceptofa monadtogetherwiththeHaskelltypingrules,isquiteadequatetod.
Sprache: Niederländisch
Verlag: Amsterdam, Jacob van Campen, 1934
Anbieter: Antiquariat Im Baldreit, Baden-Baden, DeutschlandAntiquariat Im Baldreit
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 32,00
EUR 45,10 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zesde druk, 1 Band.. Mit zahlreichen Abbildungen auf Tafeln und im Text, 242, 260 Seiten, Gutes festes Exemplar mit gestempeltem Besitzvermerk Sprache: Niederländisch 8°, rotes Hln mit goldgeprägtem Rücken.
