Εξώφυλλο

Κώδικας QR

The nuts and bolts of proofs

Κύριος συγγραφέας:	Cupillari, Antonella.
Μορφή:	Ηλεκτρονική πηγή
Γλώσσα:	English
Στοιχεία έκδοσης:	Amsterdam ; Boston : Elsevier Academic Press, c2005.
Έκδοση:	3rd ed.
Θέματα:	Proof theory. Electronic books.
Διαθέσιμο Online:	http://www.loc.gov/catdir/enhancements/fy0627/2005296426-t.html http://www.sciencedirect.com/science/book/9780120885091
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Proof theory of modal logic/
Στοιχεία έκδοσης: (1996)

Proof techniques in graph theory;$bproceedings/
Στοιχεία έκδοσης: (1969)

Hack proofing XML
Στοιχεία έκδοσης: (2002)

Hack proofing your network
Στοιχεία έκδοσης: (2002)

Modern cryptography, probabilistic proofs, and pseudorandomness /
από: Goldreich, Oded.
Στοιχεία έκδοσης: (1999)

Hack proofing ColdFusion
Στοιχεία έκδοσης: (2002)

Hack proofing Sun Solaris 8
από: Miles, Wyman.
Στοιχεία έκδοσης: (2001)

Hack proofing Windows 2000 Server
από: Todd, Chad.
Στοιχεία έκδοσης: (2001)

Hack proofing your Web applications
Στοιχεία έκδοσης: (2001)

Hack proofing your wireless network
Στοιχεία έκδοσης: (2002)

Hacker proof : the ultimate guide to network security /
από: Klander, Lars M.
Στοιχεία έκδοσης: (1997)

Communications with a computer/ by A. b. Bolt and M.E. Warlde.
από: Bolt, A. B.
Στοιχεία έκδοσης: (1970)

Hack proofing Linux a guide to open source security /
από: Stanger, James.
Στοιχεία έκδοσης: (2001)

Hack proofing your identity in the information age protect your family on the internet! /
από: Bidwell, Teri.
Στοιχεία έκδοσης: (2002)

Crash proof : how to profit from the coming economic collapse /
από: Schiff, Peter, 1948-
Στοιχεία έκδοσης: (2007)

Hack proofing your e-commerce site the only way to stop a hacker is to think like one /
Στοιχεία έκδοσης: (2001)

Πρόταση κανονισμού του Ευρωπαϊκού Κοινοβουλίου και του Συμβουλίου για τη θέσπιση μιας κοινής ονοματολογίας των εδαφικών στατιστικών μονάδων (NUTS): υποβληθείσα από την Επιτροπή/
Στοιχεία έκδοσης: (2001)

Contract theory /
από: Bolton, Patrick, 1957-
Στοιχεία έκδοσης: (2005)

Principles of optimization theory /
από: Bector, C. R.
Στοιχεία έκδοσης: (2005)

Financial theory and corporate policy /
από: Copeland, Thomas E.
Στοιχεία έκδοσης: (2005)

R-trees : theory and applications /
Στοιχεία έκδοσης: (2005)

Aspects of multivariate statistical theory /
από: Muirhead, Robb J.$q(Robb John),$d1946-
Στοιχεία έκδοσης: (2005)

Intermediate financial theory /
από: Danthine, Jean-Pierre.
Στοιχεία έκδοσης: (2005)

Bioelectronics : from theory to applications /
Στοιχεία έκδοσης: (2005)

Elasticity theory, applications, and numerics /
από: Sadd, Martin H.
Στοιχεία έκδοσης: (2005)

Mathematical programming theory and methods.
από: Sinha, Satyabroto.
Στοιχεία έκδοσης: (2005)

Measurement errors and uncertainties : theory and practice /
από: Rabinovich, S. G.
Στοιχεία έκδοσης: (2005)

Feminist theory : a philosophical anthology /
Στοιχεία έκδοσης: (2005)

Machine vision theory, algorithms, practicalities /
από: Davies, E. R.
Στοιχεία έκδοσης: (2005)

Microeconomic theory : a concise course /
από: Bergin, James.
Στοιχεία έκδοσης: (2005)

Fatigue testing and analysis theory and practice /
Στοιχεία έκδοσης: (2005)

Bayesian theory /
από: Bernardo, Jose M.
Στοιχεία έκδοσης: (1993)

Measure theory /
από: Cohn, Donald L., 1942-
Στοιχεία έκδοσης: (1980)

Set theory /
από: Jech, Thomas J.
Στοιχεία έκδοσης: (1978)

Measures theory /
από: Halmos, Paul Richard, 1914-
Στοιχεία έκδοσης: (1974)

The theory of profit/
από: Lamberton, Donald Mclean, 1927-
Στοιχεία έκδοσης: (1965)

The theory of price/
από: Stigler, George Joseph, 1911-
Στοιχεία έκδοσης: (1947)

Macroeconomic theory /
από: Sargent, Thomas J.
Στοιχεία έκδοσης: (1979)

The theory of wages/
από: Douglas, Paul Howard, 1892-
Στοιχεία έκδοσης: (1964)

The Theory of Protection /
από: Corden, Warner Max.
Στοιχεία έκδοσης: (1971)