ReihenFoundations of Computing Series

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

Tags

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)

Top Members

morphismus (11 Werke), 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)

Beliebtheit