SarjatFoundations of Computing Series

24 Teokset Suosituimmuussija 21,611 (345 Jäseniä) 499 Kirjat 2 Kirja-arvosteluja ½ 3.6
seuraava
näytä kaikki 24
TarinaJulkaisutiedot
Algebraic Semantics of Imperative Programs (tekijä: Joseph A. Goguen) 8 kappaletta
Algebraic Theory of Processes (tekijä: Matthew Hennessy) 10 kappaletta
Algorithmic Number Theory, Vol. 1: Efficient Algorithms (tekijä: Eric Bach) 23 kappaletta
Basic Category Theory for Computer Scientists (tekijä: Benjamin C. Pierce) 164 kappaletta, 2 arvostelua
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (tekijä: Andrea Asperti) 23 kappaletta
Circuit Complexity and Neural Networks (Foundations of Computing) (tekijä: Ian Parberry) 2 kappaletta
Computability and Complexity: From a Programming Perspective (tekijä: Neil D. Jones) 26 kappaletta
Control Flow Semantics (Foundations of Computing) (tekijä: Jaco de Bakker) 5 kappaletta
Dynamic Logic (Foundations of Computing) (tekijä: David Harel) 10 kappaletta
Equational Logic as a Programming Language (Foundations of Computing) (tekijä: Michael J. O'Donnell) 11 kappaletta
Exploring Interior-Point Linear Programming: Algorithms and Software (Foundations of Computing) (tekijä: Ami Arbel) 1 kappale
The Formal Semantics of Programming Languages: An Introduction (tekijä: Glynn Winskel) 62 kappaletta
Foundations for Programming Languages (tekijä: John C. Mitchell) 41 kappaletta
From Logic to Logic Programming (Foundations of Computing) (tekijä: Kees Doets) 10 kappaletta
Hilbert's 10th Problem (Foundations of Computing) (tekijä: Yuri Matiyasevich) 15 kappaletta
Logic and Information Flow (Foundations of Computing) (tekijä: Jan van Eijck) 4 kappaletta
Proof, Language, and Interaction: Essays in Honour of Robin Milner (tekijä: Gordon Plotkin) 11 kappaletta
PX: A Computational Logic (Foundations of Computing) (tekijä: Susumu Hayashi) 3 kappaletta
Realistic Compiler Generation (Foundations of Computing) (tekijä: Peter Lee) 7 kappaletta
Semantics of Programming Languages: Structures and Techniques (tekijä: Carl A. Gunter) 30 kappaletta
The stable marriage problem : structure and algorithms (tekijä: Dan Gusfield) 2 kappaletta
The Structure of Typed Programming Languages (tekijä: David A. Schmidt) 13 kappaletta
Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (tekijä: Carl A. Gunter) 15 kappaletta
Theory of Deductive Systems and Its Applications (Mit Press Series in the Foundations of Computing) (tekijä: S.Yu Maslov) 2 kappaletta

Avainsanoja

1994(2) 2007(2) @eB(2) algorithms(2) amy-book(6) Box 8(2) browsed(2) category theory(25) collection:computing(1) compilers(2) computer science(64) computers(6) computing(18) Computing Science(9) cs(9) ddc 005(1) e(2) functional programming(2) goodreads(6) language(2) languages(2) logic(10) logic programming(3) math(47) Math Books To Give Away(1) MIT Press(2) non-fiction(8) number theory(4) office(2) OfficeHallway(2) own(3) owned(4) owner:cslib(2) owner:klaus(7) plt(2) process algebra(2) programming(17) programming languages(12) science(2) semantics(14) Semantics and Type Theory(2) textbook(4) Theo(2) Theodore's library(1) to-read(25) types(5) unread(2) where:klaus office(4) where:seba office(2) work(2)

Huippujäsenet

morphismus (11 teosta), mkjones (9), brpl (6), housel (6), zhuazhua88 (5), steshaw (5), koffieyahoo (5), scg (5), mainland (4), shingarov (4), akopete (4), draganigajic (4), rds56 (3), hrsii (3), CMUQLResearch (3), pascal.weisser (3), hemlisp (3), pgourdin (3), laguvajra (3), theocide (3), nocebo (3), sullen (2), gbooch (2), aFewMooreBooks (2), pbumbulis (2), aahlad (2), thsutton (2), cleague (2), lwbrown (2), hypatian_kat (2), Markober (2), phillner (2), hmack777 (2), pausam (2), legonis (2), pleigh20 (2), tlockney (2), xoanon93 (2), bruce123 (2), exfas (2), the_sponge (2), bmenasha (2), Patentnonsense (2), axiomsofchoice (2), nounours (2), FeralWhippet (2), reddean (2), lidaskoteina (2), bertilak (2), RLKnighten (2), kc.shashidhar (2), Dymaxion (2), bwa32 (2), ericandkoriallen (2), stefano (2), raak (2), Buchmerkur (1), BerrinSerdar (1), prengel90 (1), JWvdVuurst (1), jose.calero.gt (1), jbrubaker999 (1), briannyc (1), mcldch (1), Castinet (1), mash-a (1), lrsjohnson (1), eri_kars (1), eatonphil (1), lispnik (1), dlcohn (1), mdko (1), gpassmore (1), marssaxman (1), sjfloat (1), KBKarma (1), scelib (1), Gaius_the_Meek (1), isovector (1), ajtindall (1), DawnDrain (1), NRCWilson (1), nholik (1), valcomm (1), ahickling (1), lipidity (1), boyan.. (1), tr0n (1), ehavugi (1), azradv (1), Plasmoid (1), smitty2567 (1), excessbooks (1), garryjr (1), mffowler (1), dmngmln (1), danielsoneg (1), libib479 (1), Dehong (1), jd7h (1), kenshin79 (1), lafstern (1), hogank (1), JoaquimRC (1), awstlaur (1), Alain-Lecomte (1), Zana.Chan (1), KennethUdut (1), erathostenes (1), MaxHaydenChiz (1), eyongxin (1), DartmouthBookSlide (1), aalpar (1), Kliban (1), 4soft (1), unlearnedhand (1), stevemwilliams (1), benwr (1), tomh5908 (1), dkcampbell (1), emf1123 (1), BUMPCS (1), NickIvanov (1), mhewett (1), LPSLibrary (1), snapinteractive (1), PedrBran (1), wish-dumain (1), siandra11 (1), John_Scott (1), hunan.rostomyan (1), mklucznik (1), smuemisdept (1), Thomas.Levy (1), russjohnson09 (1), cheesestraws (1), skippa (1), bcat24 (1), ahkaissi (1), emily.and.maia.estes (1), edwtjo (1), Tammmer (1), ziefle (1), ExportFrisian (1), Johnicholas (1), gvaf (1), RGtx (1), timcowlishaw (1), porges (1), patanahi5 (1), Klonuo (1), fogus (1), edorrington (1), Tautadiction (1), wvc (1), ocharles (1), 23Skidoo (1), jozi (1), bockmabe (1), narain (1), shiza (1), frink (1), rmies (1), jorgecardoso (1), vishallama (1), jgg (1), volkani (1), DeptInformatique (1), edwincoleman (1), MLeoDaalder (1), DoctorQ (1), jmccarro (1), tih (1), JanKroken (1), marc.frei (1), jimburton (1), rpennock (1), cyberlaw (1), frogman2 (1), Keirsey (1), dpiponi (1), nadathur (1), fouvry (1), naastik (1), JPArroyo (1), Nostrand (1), apgarcia (1), tmroeder (1), sp_ (1), RolfRolles (1), SciPort (1), george_h (1), clifflib (1), AlkerVirtualLibrary (1), olifante (1), tremali (1), quokka70 (1), erohwedd (1), RobertReader (1), randomwalker (1)

Suosituimmuussija