SériesFoundations of Computing Series

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

Mots-clés

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)

Utilisateurs ayant le plus d'œuvres de cette série

morphismus (11 œuvres), 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), Carlos_Lescano (1), 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), 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)

Popularité