LEADER 01564nam  2200361Ia 450 
001 996396262303316
005 20221108074852.0
035   $a(CKB)4330000000329240
035   $a(EEBO)2248504301
035   $a(OCoLC)11809016
035   $a(EXLCZ)994330000000329240
100   $a19850315d1685      uy             |
101 0 $aeng
135   $aurbn||||a|bb|
200 13$aAn historical vindication of the divine right of tithes$b[electronic resource] $efrom scripture, reason, and the opinion and practice of Jews, Gentiles, and Christians in all ages : designed to supply the omissions, answer the objections, and rectifie the mistakes of Mr. Selden's History of Tithes : to which is added a discourse concerning excommunication /$fby Tho. Comber ..
205   $aSecond edition corrected and inlarged.
210   $aLondon $cPrinted by S. Roycroft for Robert Clavel ...$d1685
215   $a2 pts. ([28], 247, 120, 11 leaves, 199 p.)
300   $aEach part and the Discourse has separate t.p.
300   $aImperfect: his A discourse concerning excommunication [120 p.], is lacking in the filmed copy.
300   $aReproduction of original in Bristol Public Library, Bristol, England.
330   $aeebo-0016
606   $aTithes$zEngland$xHistory
615  0$aTithes$xHistory.
700   $aComber$b Thomas$f1645-1699.$0793670
801  0$bEAA
801  1$bEAA
801  2$bm/c
801  2$bWaOLN
906   $aBOOK
912   $a996396262303316
996   $aAn historical vindication of the divine right of tithes$92334522
997   $aUNISA

LEADER 03762nam  22005655  450 
001 9910767529303321
005 20250610155023.0
010   $a9783031118067$b(electronic bk.)
010   $z9783031118050
024 7 $a10.1007/978-3-031-11806-7
035   $a(MiAaPQ)EBC7144579
035   $a(Au-PeEL)EBL7144579
035   $a(CKB)25456763300041
035   $a(PPN)266349358
035   $a(DE-He213)978-3-031-11806-7
035   $a(EXLCZ)9925456763300041
100   $a20221122d2022      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProgramming Language Design and Implementation /$fby Torben Ægidius Mogensen
205   $a1st ed. 2022.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022.
215   $a1 online resource (333 pages)
225 1 $aTexts in Computer Science,$x1868-095X
300   $aIncludes index.
311 08$aPrint version: Ægidius Mogensen, Torben Programming Language Design and Implementation Cham : Springer International Publishing AG,c2022 9783031118050 
327   $a1. A Brief History of Programming Languages -- 2. Implementation Strategies -- 3. Syntax -- 4. Memory Management -- 5. Scopes, Functions, and Parameter Passing -- 6. Control Structures -- 7. Types -- 8. Modularisation -- 9. Language Paradigms -- 10. Domain-Speci?c Programming Languages -- 11. Specifying the Semantics of a Programming Language -- 12. Exploring the Limits.
330   $aThis concise textbook is intended as a guide for programming-language designers and users to better help them understand consequences of design decisions. The text aims to provide readers with an overview of the design space for programming languages and how design choices affect implementation. It is not a classical compilers book, as it assumes the reader is familiar with basic compiler implementation techniques; nor is it a traditional comparative programming languages book, because it does not go into depth about any particular language, instead taking examples from a wide variety of programming languages to illustrate design concepts. Readers are assumed to already have done at least a bit of programming in functional, imperative, and object-oriented languages. Topics and features: Provides topic-by-topic coverage of syntax, types, scopes, memory management and more Includes many technical exercises and discussion exercises Inspires readers to think about language design choices, how these interact, and how they can be implemented Covers advanced topics such as formal semantics and limits of computation Suitable for advanced undergraduates and beginning graduates, this highly practical and useful textbook/guide will also offer programming language professionals a superb reference and learning toolkit. Torben Ægidius Mogensen is Associate Professor at the Dept. of Computer Science at the University of Copenhagen, Denmark. .
410  0$aTexts in Computer Science,$x1868-095X
606   $aProgramming languages (Electronic computers)
606   $aProgramming Language
606   $aLlenguatges de programació$2thub
606   $aProgramació (Ordinadors)$2thub
608   $aLlibres electrònics$2thub
615  0$aProgramming languages (Electronic computers)
615 14$aProgramming Language.
615  7$aLlenguatges de programació.
615  7$aProgramació (Ordinadors)
676   $a001.642
676   $a005.13
700   $aÆgidius Mogensen$b Torben$01267873
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
912   $a9910767529303321
996   $aProgramming Language Design and Implementation$92982364
997   $aUNINA