Tag _book [56 articles] Export

Recent papers classified by the tag _book.

	Uml 2 Semantics and Applications [My Copy] (15 October 2009) by Kevin Lano posted to uml statecharts semantics _book 2009 by leonardo on 2009-10-20 13:03:41 as
	Understanding Concurrent Systems (Texts in Computer Science) [My Copy] (01 May 2010) by A. W. Roscoe posted to csp concurrent_systems _book 2010 by leonardo on 2009-10-08 15:12:56 as
	Programming Language Design Concepts [My Copy] (28 May 2004) by David A. Watt posted to programming_language_design paradigms _book 2005 by leonardo on 2009-09-11 03:32:07 as
	Touch of Class: Learning to Program Well with Objects and Contracts [My Copy] (11 September 2009) by Bertrand Meyer posted to objects _book 2009 by leonardo on 2009-09-10 23:34:13 as along with 1 person michaelbanks
	Conceptual Modeling: Foundations and Applications [My Copy] Vol. 5600 (11 August 2009) edited by Alex T. Borgida, Vinay Chaudhri, Paolo Giorgini, Eric S. Yu posted to for:marcia _book 2009 by leonardo on 2009-09-03 13:20:40 as
	Self-Similar Network Traffic and Performance Evaluation [My Copy] (2000) by Kihong Park, Walter Willinger posted to _2000 _book _reference characterization data modeling networking traffic by JoeVinegar on 2009-02-19 12:07:00 as
	Design Methods for Reactive Systems: Yourdon, Statemate, and the UML (The Morgan Kaufmann Series in Software Engineering and Programming) [My Copy] (10 January 2003) by R. J. Wieringa posted to 2003 _book reactive_systems statecharts by leonardo on 2009-02-16 13:47:34 as
	Oxford Collocations Dictionary for Students of English [My Copy] (12 December 2002) posted to 2002 _book writing by leonardo on 2009-02-01 21:33:37 as
	Beautiful Architecture: Leading Thinkers Reveal the Hidden Beauty in Software Design [My Copy] (29 January 2009) by Diomidis Spinellis, Georgios Gousios posted to 2009 _book _marcia by leonardo on 2009-01-26 20:08:44 as along with 2 people and 1 group mxp germoglio Software-Architecture
	Formal Semantics of Programming Languages [My Copy] (05 February 1993) by Glynn Winskel posted to 1993 _book axiomatic denotational formal operational semantics by leonardo on 2008-12-15 00:25:00 as along with 5 people newdawn hamish dsilva kontakte Malcohol
	The Art of Computer Programming 3. Sorting and Searching: The Classic Work Newly Updated and Revised [My Copy] (23 June 1998) by Donald E. Knuth posted to _book _marcia 1998 by leonardo on 2008-12-13 13:53:48 as along with 13 people Jingbo jmmcg gakincho toomash dsquared ddahlem sdvillal myui ismailfatih rpruim chandlerc Chrono germoglio
	Mastering Scientific and Medical Writing: A Self-help Guide [My Copy] (19 December 2006) by Silvia M. Rogers posted to 2007 _book writing by leonardo on 2008-11-11 22:48:53 as
	The Algorithm Design Manual [My Copy] (21 August 2008) by Steven S. Skiena posted to 2008 _book maraton by leonardo on 2008-11-11 22:41:52 as along with 1 person jmmcg
	Logic in Computer Science: Modelling and Reasoning about Systems [My Copy] (30 August 2004) by Michael Huth, Mark Ryan posted to 2004 _book by leonardo on 2008-06-24 18:30:09 as along with 3 people dokooh BastianSpanneberg rob_quill
	Principles of Model Checking [My Copy] (31 May 2008) by Christel Baier, Joost P. Katoen posted to 2008 _book model_checking by leonardo on 2008-06-21 15:41:47 as along with 4 people dwei98 mperalta cometyang srccheck
	Reactive Systems: Modelling, Specification and Verification [My Copy] (13 August 2007) by Luca Aceto, Anna Ingólfsdóttir, Kim G. Larsen, Jiri Srba posted to 2007 _book reactive_systems by leonardo on 2008-06-21 15:39:25 as
	Design Pattern Formalization Techniques [My Copy] (30 March 2007) by Toufik Taibi posted to 2007 _book by leonardo on 2008-05-30 15:47:05 as along with 1 person jeestirling
	The Mythical Man-Month: Essays on Software Engineering, 20th Anniversary Edition [My Copy] (12 August 1995) by Frederick P. Brooks posted to 1995 _book by leonardo on 2008-05-09 10:14:28 as along with 25 people and 5 groups muratp1 thermostat smogit robertlischke michaelbanks hamish neilernst carlblesius sga72 cedricboidin KAllendoerfer jolilius gergana_nikolova asilva jjamor aku8000 fsteeg mzygmunt brothers J_Raff kklo turiel germoglio bfraser cmalek Blog_and_Wiki_Research mgh-lcs TUCS-ES_Lab hst-bmi Software-Architecture
	Software Engineering: (Update) (8th Edition) [My Copy] (04 June 2006) by Ian Sommerville posted to 2006 _book _off software_engineering by leonardo on 2008-05-09 10:12:08 as along with 10 people and 1 group matsdb germoglio hoever nilmax embersp negola klinsz pajoma aku8000 jasmithoffice diosPyros
	The Dimwit's Dictionary: More Than 5,000 Overused Words and Phrases and Alternatives to Them [My Copy] (01 September 2006) by Robert H. Fiske posted to _book _off writing 2006 by leonardo on 2008-04-25 16:24:41 as
	The Dictionary of Concise Writing: More Than 10,000 Alternatives to Wordy Phrases [My Copy] (01 September 2006) by Robert H. Fiske posted to _book _off writing 2006 by leonardo on 2008-04-25 16:23:11 as
	101 Elegant Paragraphs (Vocabula 101 Series Handbooks) [My Copy] (01 September 2005) by Robert H. Fiske posted to _book writing 2005 by leonardo on 2008-04-25 16:22:43 as
	Dictionary of Disagreeable English, Deluxe Edition [My Copy] (24 June 2006) by Robert H. Fiske posted to _book writing 2006 by leonardo on 2008-04-25 16:20:58 as
	Linked: How Everything Is Connected to Everything Else and What It Means [My Copy] (29 April 2003) by Albert L. Barabasi posted to 2003 _book nopdf by leonardo on 2008-03-19 13:34:21 as along with 98 people and 34 groups borkurdotnet scottmoody davidleitner simdoc makrehchi fierykylin tomhebbron boosda mxro thegoose rickl MariaChiaraP pdlug nazimkeven eddymier mboehmer ajaymalik pacianca3 donade einatb gastarblogger fbr maike emre panisson Adso gkoenig mattjb mooniii pick600 germoglio hrwiltse laurobeltrao nigini camster draggin korakot Mandre A_Olympia zephoria RyanSchultz fmatthes scholz barry cyprien riadlem lehel zinp nkorf tautai wcrosbie cchesher cmmorel jekky Typewriter mbliemel Jenneke cgjj slariccia irinas petzlux marije seawidget hannont matteodellamico bibliothecaire bigbossman krisl spirit_of_numenor cristinaalp brusilovsky jwdietrich britton cerkut awooga mzygmunt azygmunt RafG jaspervoskuilen kevinemamy timflutre alexevasion flavian_vasile mattlandau PaulBHartzog roland_ewald jenna anansi sidds1601 rkalvi JimFolk asrilova anton-tayanovskyy aelzaim copyculture kamccollum kikimu thecolourblue Information Integration Architecture CMU-HCII Philosophy_of_Information dbk-lab Blog_and_Wiki_Research automatic_summarization structural_bioinformatics CSCW MathBio ASR digital_youth Sociology Librarians Semantic-Social-Networks Wikipedia CoP_CMS Bioinformatics folksonomy ETEC533 CMS Cybernetics social_navigation ComplexAdaptiveSystems Biomedical_Cybernetics AGH-IISG Adaptive-Web dIEMoSIRIS MoSi-Rostock AQUA-FONTIS-Study MASSS CSU_School_of_Education Web2-0_Education Social Web ICT4D
	Software Requirements And Specifications (Acm Press Books) [My Copy] (23 August 1995) by Michael Jackson posted to 1995 _book requirements by leonardo on 2008-02-11 16:08:22 as along with 5 people chrishmorris pnpo michaelbanks bkohler aku8000
	Object-Oriented Software Construction [My Copy] (21 March 2000) by Bertrand Meyer posted to no-tag 2000 _book _to_download by leonardo on 2008-02-10 02:26:00 as along with 12 people mertnuhoglu mcclurmc hamish plaugg guyomarj zemeigo wnpx anitabanerji cekay francolq mldechert chunchung
	A Manual for Writers of Research Papers, Theses, and Dissertations, Seventh Edition: Chicago Style for Students and Researchers (Chicago Guides to Writing, Editing, and Publishing) [My Copy] (15 April 2007) by Kate L. Turabian, Wayne G. Booth, Gregory G. Colomb, Joseph M. Williams posted to writing _book 2007 by leonardo on 2007-12-12 00:28:19 as along with 3 people mboehmer misc derchao
	Style: Lessons in Clarity and Grace (9th Edition) [My Copy] (15 December 2006) by Joseph M. Williams posted to writing _book 2006 by leonardo on 2007-12-12 00:25:32 as along with 2 people brianprickett jasmithoffice
	Style: Basics (3rd Edition) [My Copy] (10 February 2008) by Joseph M. Williams posted to writing _book 2008 by leonardo on 2007-12-12 00:19:05 as
	Craft of Argument, The (3rd Edition) [My Copy] (27 October 2006) by Joseph M. Williams, Gregory G. Colomb posted to _book writing 2006 by leonardo on 2007-12-12 00:17:38 as
	Style: Toward Clarity and Grace (Chicago Guides to Writing, Editing, and Publishing) [My Copy] (15 June 1995) by Joseph M. Williams posted to _book writing 1995 by leonardo on 2007-12-12 00:11:47 as along with 4 people michaelbanks pbartleby jasmithoffice Sarai-J
	Interactive Theorem Proving and Program Development [My Copy] (24 June 2004) by Yves Bertot, Pierre Castéran posted to 2004 _book theorem_prover by leonardo on 2007-11-16 15:10:01 as along with 2 people jimburton mvermaat
	Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) [My Copy] (11 December 2003) by Klaus Schneider posted to 2003 reactive_systems verification _book _to_download_springer by leonardo on 2007-11-16 15:00:02 as
	Elements of Finite Model Theory [My Copy] (17 August 2004) by Leonid Libkin posted to 2004 _book finite_model by leonardo on 2007-11-16 14:44:59 as along with 2 people masteraka JakubSzymanik
	Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) [My Copy] (11 June 2007) by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, et al.Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein posted to 2007 _book finite_model nopdf _to_download_springer by leonardo on 2007-11-16 14:36:55 as along with 3 people AbnerCYH masteraka JakubSzymanik
	Theoretical Computer Science : Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography [My Copy] (05 November 2003) by Juraj Hromkovic posted to 2005 _book theory _to_download_springer by leonardo on 2007-11-16 14:31:57 as along with 1 person BarrosH
	Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) [My Copy] (26 September 2007) by Wan Fokkink posted to 2007 _book distributed_systems nopdf _to_download_springer by leonardo on 2007-11-16 14:26:34 as
	Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling [My Copy] (31 July 2007) by Oscar Pastor, Juan C. Molina posted to 2007 _book _marcia mda _to_download_springer by leonardo on 2007-11-16 13:55:11 as
	SBMF 2004, Preface [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2004), Vol. 130 (12 May 2005), pp. 1-2. by Alexandre Mota, Arnaldo Moura posted to 2005 _book by leonardo to the group SRG on 2007-10-22 03:00:31 as
	SBMF 2005: Preface [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Second Brazilian Symposium on Formal Methods (SBMF 2005), Vol. 184 (12 July 2007), pp. 1-2. by Augusto Sampaio posted to 2005 _book by leonardo to the group SRG on 2007-10-08 02:40:49 as
	Refinement Techniques in Software Engineering [My Copy] In First Pernambuco Summer School on Software Engineering, PSSE (14 November 2006) by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock edited by Ana Cavalcanti, Augusto Sampaio, Jim Woodcock posted to 2006 _book refinement summer_school by leonardo to the group SRG on 2007-10-05 16:16:15 as
	An Algebraic Approach to Compiler Design [My Copy] (15 January 1997) by Augusto Sampaio posted to 1997 algebraic approach _book compiler design by leonardo to the group SRG on 2007-09-22 17:18:51 as
	Software Abstractions: Logic, Language, and Analysis [My Copy] (07 April 2006) by Daniel Jackson posted to no-tag 2006 _book alloy by leonardo on 2007-09-20 13:13:54 as along with 6 people zhensong leemond31 DavidChemouil keigoi jleny dyoo
	The Elements of Style Illustrated [My Copy] (28 August 2007) by William Strunk, E. B. White posted to 2007 _book writing by leonardo on 2007-08-23 01:57:55 as
	BUGS in Writing: A Guide to Debugging Your Prose (2nd Edition) [My Copy] (09 February 1998) by Lyn Dupre posted to no-tag 1998 _book writing by leonardo on 2007-08-17 15:23:47 as
	All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic [My Copy] (31 July 2007) by Manuel Clavel, Francisco Durán, Steven Eker, et al.Patrick Lincoln, Narciso M. Oliet, José Meseguer, Carolyn Talcott posted to 2007 _book maude nopdf _to_download_springer by leonardo on 2007-08-11 17:56:05 as along with 1 person Scis0000002
	Semantics with Applications: An Appetizer [My Copy] (28 March 2007) by Hanne R. Nielson, Flemming Nielson posted to 2007 _book semantics by leonardo on 2007-08-10 13:59:56 as along with 2 people robotact yoriyuki
	On Writing Well, 30th Anniversary Edition: The Classic Guide to Writing Nonfiction (On Writing Well) [My Copy] (01 May 2006) by William Zinsser posted to no-tag 2006 _book writing by leonardo on 2007-07-13 21:10:50 as along with 1 person laurobeltrao
	Real-Time Object-Oriented Modeling [My Copy] (22 April 1994) by Bran Selic, Garth Gullekson, Paul T. Ward posted to 1994 _book umlrt by leonardo on 2007-05-17 16:17:26 as
	Refinement Calculus: A Systematic Introduction (Texts in Computer Science) [My Copy] (13 April 1998) by Ralph J. Back, Joakim Wright posted to no-tag 1998 _book calculus refinement by leonardo on 2007-04-26 05:38:50 as along with 1 person mishra_satish

Note: You may cite this page as: http://www.citeulike.org/tag/_book

Result page: 1 2 Next

writing	17
2006	11
2007	10
_to_download_springer	7
2005	6
nopdf	6
1998	4
2003	4
2004	4
2008	4
2009	4
reactive_systems	4
semantics	4
statecharts	4
1995	3
_marcia	3
_off	3
refinement	3
uml	3
finite_model	2
mda	2
1986	1
1993	1
1994	1
1997	1
2000	1
2001	1
2002	1
2010	1
_2000	1
_reference	1
_to_download	1
algebraic	1
algorithims	1
alloy	1
approach	1
axiomatic	1
calculus	1
characterization	1
compiler	1
concurrent_systems	1
csp	1
data	1
denotational	1
design	1
distributed_systems	1
for:marcia	1
formal	1
marathon	1
maraton	1
maude	1
mdd	1
metamodelling	1
model_checking	1
model_transformation	1
modeling	1
networking	1
objects	1
operational	1
paradigms	1
programming_language_design	1
requirements	1
software_engineering	1
statemate	1
summer_school	1
tests	1
theorem_prover	1
theory	1
traffic	1
umlrt	1
verification	1

Tag _book [56 articles] Export

Related Tags