Map
Index
Random
Help
Topics
th

ThesaHelp: references p-r

topics > Group: all references



ThesaHelp:
references a-b
ThesaHelp:
references c-d
ThesaHelp:
references e-f
ThesaHelp:
references g-h
ThesaHelp:
references i-l
ThesaHelp:
references m-o
ThesaHelp:
references p-r
ThesaHelp:
references sa-sz
ThesaHelp:
references t-z

Summary

Quotation references starting with 'p', 'q', or 'r'.
Quotations
QuoteRef: pagaFG3_1979 ;;Pagan, Semantic specification using two-level grammars: blocks, procedures and parameters
QuoteRef: pagaFG6_1988 ;;Pagan, Converting interpreters into compilers
QuoteRef: paicCD8_1996 ;;Paice, Method for evaluation of stemming algorithms based on error counting
QuoteRef: paleL12_1997 ;;Palen, Groupware adoption & adaptation: studies of successful use
QuoteRef: palmJ1_1978 ;;Palme, How I fought with hardware and software and succeeded
QuoteRef: palmJ5_1973 ;;Palme, Simula as a tool for extensible program products
QuoteRef: palmJ9_1979 ;;Palme, A human-computer interface for non-computer specialists
QuoteRef: pariG_1980 ;;Techniques of Program and System Maintenance
QuoteRef: parkR7_1978 ;;Parkin, On the use of keywords for passing procedure parameters
QuoteRef: parkSK10_1988 ;;Park, Miller, Random number generators: Good ones are hard to find
QuoteRef: parkSK7_1993 ;;Park, Miller, Stockmeyer [Response to] Remarks on choosing and implementing random number generators
QuoteRef: parkWT10_1984 ;;Park, State-space representations for coordination of multiple manipulators
QuoteRef: parlBN3_1975 ;;Parlett, Wang, The influence of the compiler on the cost of mathematical software
QuoteRef: parnDL10_1976 ;;Parnas, Bartussek, Handzel, Wurges, Using predicate transforms to verify the effects of "real" programs
QuoteRef: parnDL12_1972 ;;Parnas, On the criteria to be used in decomposing systems into modules
QuoteRef: parnDL12_1985 ;;Parnas, Software aspects of strategic defense systems
QuoteRef: parnDL12_1994 ;;Parnas, Madey, Iglewski, Precise documentation of well-structured programs
QuoteRef: parnDL2_1986 ;;Parnas, Clements, A rational design process: How and why to fake it
QuoteRef: parnDL3_1976 ;;Parnas, Shore, Weiss, Abstract data types defined as classes of variables
QuoteRef: parnDL4_1996 ;;Parnas, Mathematical methods: what we need and don't need
QuoteRef: parnDL5_1972 ;;Parnas, A technique for software module specification with examples
QuoteRef: parnDL5_1978 ;;Parnas, Designing software for ease of extension and contraction
QuoteRef: parnDL5_1988 ;;Parnas, van Schouwen, Kwan, Evaluation standards for safety critical software
QuoteRef: parnDL6_1990 ;;Parnas, van Schouwen, Kwan, Evaluation of safety-critical software
QuoteRef: parnDL8_1971 ;;Parnas, Information distribution aspects of design methodology
QuoteRef: parnDL8_1983 ;;Parnas, A generalized control structure and its formal definition
QuoteRef: parnDL8_1985 ;;Parnas, Weiss, Active design reviews: Principles and practices
QuoteRef: parnDL8_1993 ;;Parnas, Some theorems we should prove
QuoteRef: parnDL10_1976b ;;Parnas, Wurges, Response to undesired events in software systems
QuoteRef: parnDL_1977 ;;Parnas, The influence of software structure on reliability
QuoteRef: parnDL_1997 ;;Parnas, Mathematics of dependable systems II
QuoteRef: pascJ9_2000 ;;Pascoe, Ryan, Morse, Using while moving: HCI issues in fieldwork environments
QuoteRef: pashM9_2000 ;;Pashea, Microcontrollers & CORDIC methods
QuoteRef: pausR10_1992 ;;Pausch, Conway, DeLine, Lessons learned from SUIT, the simple user interface toolkit
QuoteRef: pearDJ7_1973 ;;Pearson, 'CADES' -- Computer aided design and evaluation system
QuoteRef: pearPK6_1990 ;;Pearson, Fast hashing of variable-length text strings
QuoteRef: pempS7_2000 ;;Pemberton, The accidental death of reviewing
QuoteRef: penrR_1989 ;;Penrose, The Emperor's New Mind. Concerning computers, minds, and the laws of physics
QuoteRef: perlAJ1_1986 ;;Perlis, Two thousand words and two thousand ideas--The 650 at Carnegie
QuoteRef: perlAJ2_1959 ;;Perlis, Smith, Evans, TASS Tech Assembly System
QuoteRef: perlAJ4_1957 ;;Perlis, Smith, A mathematical language compiler [IT]
QuoteRef: perlAJ8_1985 ;;Perlis, Another view of software
QuoteRef: perlK11_1998 ;;Perlin, Quikwriting: Continuous stylus-based text entry
QuoteRef: perrC_1984 ;;Perrow, Normal accidents. Living with high-risk technologies
QuoteRef: perrDE1_1990 ;;Perry, Kaiser, Adequate testing and object-oriented programming
QuoteRef: perrDE4_1998 ;;Perry, Siy, Votta, Parallel changes in large scale software development: An observational case study
QuoteRef: perrDE7_1994 ;;Perry, Staudenmayer, Votta, People, organizations, and process improvement
QuoteRef: perrDE7_2002 ;;Perry, Porter, Wade, Votta, Perpich, Reducing inspection interval in large-scale software development
QuoteRef: perrRH10_1979 ;;Perrott, A language for array and vector processors
QuoteRef: peteJL12_1980 ;;Peterson, Computer programs for detecting and correcting spelling errors
QuoteRef: peteJL9_1977 ;;Peterson, Petri nets
QuoteRef: peteJL_1981 ;;Peterson, Petri net theory and the modeling of systems
QuoteRef: peteJL_1982 ;;Peterson, Use of Webster's seventh new collegiate dictionary to construct a master hyphenation list
QuoteRef: peteS1_1997 ;;Petersen, Design traps in Delphi properties
QuoteRef: peteTJ_1982 ;;Peters, Waterman, In search of excellence Lessons from America's best-run companies
QuoteRef: petrCA10_1979 ;;Petri, Introduction to general net theory
QuoteRef: petrCA1_1966 ;;Petri, Communication with Automata
QuoteRef: petrCA_1996 ;;Petri, Nets, time and space
QuoteRef: petrL9_1982 ;;Petrone, Di Leva, Sirovich, Dual: An interactive tool for developing documented programs by step-wise refinements
QuoteRef: petrM6_1995 ;;Petre, Why looking isn't always seeing: readership skills and graphical programming
QuoteRef: pettGW11_2001 ;;Petty, Automated computation and consistency checking of physical dimensions and units in scientific programs
QuoteRef: peyrM3_2000 ;;Peyravian, Matyas, Roginsky, Zunic, Generation of RSA keys that are guaranteed to be unique for each user
QuoteRef: pfisGF6_1976 ;;Pfister, A high level language extension for creating and controlling dynamic pictures
QuoteRef: philJB5_1978 ;;Phillips, Burke, Wilson, Threaded code for laboratory computers
QuoteRef: philM_1974 ;;Phillips, The Seven laws of money
QuoteRef: pickL_1984 ;;Pickenhain, Towards a holistic conception of movement control
QuoteRef: pikeR1_1994 ;;Pike, Acme: a user interface for programmers
QuoteRef: pikeR3_1988 ;;Pike, Window systems should be transparent
QuoteRef: pitkHF_1972 ;;Pitkin, Wittgenstein and Justice
QuoteRef: pittT7_1987 ;;Pittman, Two-level hybrid interpreter/Native code execution for combined space-time program efficiency
QuoteRef: plaiC4_1996 ;;Plaisant, Milash, Rose, Widoff, Shneiderman, LifeLines: visualizing personal histories
QuoteRef: plamR7_1981 ;;Plamondon, Robillard, Harness a computer to write better software, faster
QuoteRef: plasR6_1999 ;;Plasmeijer, van Eekelen, Keep it CLEAN: a unique approach to functional programming
QuoteRef: plat_368 ;;Plato Theaetetus
QuoteRef: plumT3_1977 ;;Plum, Fooling the user of programming language
QuoteRef: podgA7_1993 ;;Podgurski, Pierce, Retrieving reusable software by sampling behavior
QuoteRef: poinH_1902 ;;Poincare, La science et l'hypothese
QuoteRef: poinH_1905 ;;Poincare, La Valeur de la Science
QuoteRef: poinH_1908 ;;Poincare, Science et methode
QuoteRef: poleM9_1999 ;;Poletto, Sarkar, Linear scan register allocation
QuoteRef: poloHN_1980 ;;Polovino, Farrell, Strand, A computer-based coding scheme for research data
QuoteRef: polsPG3_1973 ;;Polson, Scat: design critera and software
QuoteRef: polsPG_1972 ;;Polson, Campbell, Extended Scat
QuoteRef: poolIS_1979 ;;Pool, The first amendment and information policy
QuoteRef: poolPC10_1969 ;;Poole, Waite, Machine independent software
QuoteRef: portA11_1997 ;;Porter, Votta, What makes inspections work?
QuoteRef: portAA3_1997 ;;Porter, Johnson, Assessing software review meetings: results of a comparative analysis of two experimental studies
QuoteRef: portAA6_1997 ;;Porter, Sly, Toman, Votta, An experiment to assess the cost-benefits of code inspections in large scale software development
QuoteRef: postJB1_1988 ;;Postel, Finn, Katz, Reynolds, An experimental multimedia mail system
QuoteRef: postRM5_1987 ;;Poston, Bruen, Counting down to zero software failures
QuoteRef: postSW7_1978 ;;Postma, FEA* A formal English subset of algebra/assertions
QuoteRef: potaWA_1979 ;;Potas, Interactive systems as if users really mattered
QuoteRef: potoTE10_1999 ;;Potok, Vouk, Rindos, Productivity analysis of object-oriented software developed in a commercial environment
QuoteRef: pottC9_1993 ;;Potts, Software-engineering research revisited
QuoteRef: pounD11_1996 ;;Pountain, Parallel processing in bulk
QuoteRef: poupG5_1998 ;;Poupard, Stern, Security analysis of a practical "on the fly" authentication and signature generation
QuoteRef: pratGD9_1976 ;;Pratten, Snowdon, CADES -- Support of the development of complex software
QuoteRef: pratRE3_1981 ;;Prather, Flowcharts which preserve topology
QuoteRef: pratT3_1978 ;;Pratt, Control computations and the design of loop control structures
QuoteRef: pratV1_1983 ;;Pratt, Five paradigm shifts in programming language design and their realization in Viron, a dataflow programming language
QuoteRef: pratVR3_1974 ;;Pratt, Quick and clean--a structured approach to language definition
QuoteRef: pratVR_1980 ;;Pratt, On specifying verifiers
QuoteRef: precL10_1999 ;;Prechelt, Comparing Java vs. C/C++ efficiency differences to interpersonal differences
QuoteRef: precL10_2000 ;;Prechelt, An empirical comparison of seven programming languages
QuoteRef: precL5_2000 ;;Prechelt, Unger, An experiment measuring the effects of Personal Software Process (PSP) training
QuoteRef: prenB12_1998 ;;Preneel, Rijmen, Bosselaers, Principles and performance of cryptographic algorithms
QuoteRef: prenCJ8_1972 ;;Prenner, Spitzen, Wegbriet, An implementation of backtracking for programming language
QuoteRef: proeTA1_1995 ;;Proebsting, Optimizing an ANSI C interpreter with superoperators
QuoteRef: provN6_1999 ;;Provos, Mazieres, A future-adaptable password scheme
QuoteRef: prywNS10_1979 ;;Prywes, Pnueli, Shastry, Use of a nonprocedureal specification language and associated program generator in software development
QuoteRef: pughW6_1990 ;;Pugh, Skip lists: a probabilistic alternative to balanced trees
QuoteRef: putnH_1973 ;;Putnam, Meaning and reference
QuoteRef: pylyZW3_1978 ;;Pylyshyn, Computational models and empirical constraints
QuoteRef: pylyZW_1986 ;;Pylyshyn, Computation and Cognition. Toward a foundation for cognitive science
QuoteRef: qiuZ9_1997 ;;Qiu, Static head notes in the operations of dynamic structures
QuoteRef: quilMR_1967 ;;Quillian, Word concepts: A theory and simulation of some basic semantic capabilities
QuoteRef: quinS12_1991 ;;Quinlan, A cached WORM file system
QuoteRef: quinWV1_1951 ;;Quine, Two dogmas of empiricism
QuoteRef: quinWV2_1937 ;;Quine, New foundations for mathematical logic
QuoteRef: quinWV2_1947 ;;Quine, Logic and the reification of universals
QuoteRef: quinWV8_1951 ;;Quine, The problem of meaning in linguistics
QuoteRef: quinWV_1947 ;;Quine, Reference and modality
QuoteRef: quinWV_1950 ;;Quine, Identity, ostension, and hypostasis
QuoteRef: quinWV_1956 ;;Quine, Quantifiers and propositional attitudes
QuoteRef: quinWV_1969 ;;Quine, Set Theory and Its Logic
QuoteRef: quisJJ11_1991 ;;Quisquater, Desmedt, Chinese lotto as an exhaustive code-breaking machine
QuoteRef: rabiH8_1984 ;;Rabich, letter to the editor
QuoteRef: rabiMO8_1974 ;;Rabin, Theoretical impediments to artificial intelligence
QuoteRef: radaR3_1993 ;;Rada, Retrieval hierarchies in hypertext
QuoteRef: radeC3_1997 ;;Rader, Brand, Lewis, Degrees of comprehension: Children's understanding of a visual Programming environment
QuoteRef: radiG1_1965 ;;Radin, Royway, Highlights of a new programming language
QuoteRef: rahiSK_1982 ;;Rahimi, Franta, Fair timestamp allocation in distributed systems
QuoteRef: rainM1_1973 ;;Rain, Operation expressions in Mary
QuoteRef: rajkR_1991 ;;Rajkumar, Synchronization in real-time systems: a priority inheritance approach
QuoteRef: ramaCV9_1980 ;;Ramamoorthy, Ho, Performance evaluation of asynchronous concurrent systems using Petri nets
QuoteRef: ramaKK5_1990 ;;Ramakrishnan, Raj Jain A binary feedback scheme for congestion avoidance in computer networks
QuoteRef: ramaMV6_1989 ;;Ramakrishna, Larson, File organization using composite perfect hashing
QuoteRef: ramsHR5_1983 ;;Ramsey, Grimes, Human factors in interactive computer dialogue
QuoteRef: ramsHR6_1983 ;;Ramsey, Atwood, van Doren, Flowcharts versus program design languages: An experimental comparison
QuoteRef: ramsN1_1995 ;;Ramsey, Fernandez, The New Jersey machine-code toolkit
QuoteRef: ramsN4_1996 ;;Ramsey, A simple solver for linear equations containing nonlinear operators
QuoteRef: ramsN5_1997 ;;Ramsey, Fernandez, Specifying representations of machine instructions
QuoteRef: ramsN6_2000 ;;Ramsey, Peyton Jones, A single intermediate language that supports multiple implementations of exceptions
QuoteRef: randB6_1975 ;;Randell, System structure for software fault-tolerance
QuoteRef: randS_1957 ;;Sperry Rand, (Holt, UNIVAC generalized programming
QuoteRef: rashRF11_1986 ;;Rashid, From RIG to Accent to Mach: The evolution of a network operating system
QuoteRef: raskJ2_1997 ;;Raskin, Looking for a humane interface: Will computers ever become easy to use?
QuoteRef: rathED10_1976 ;;Rather, Moore, The Forth approach to operating systems
QuoteRef: rathED_1996 ;;Rather, Colburn, Moore, The evolution of Forth, with transcript of presentation
QuoteRef: ratha2_1991 ;;Rathi, Lu, Hedrick, Performance comparison of extendible hashing and linear hashing techniques
QuoteRef: rattJ3_1982 ;;Rattner, Hardware/Software cooperation in the iAPX-432
QuoteRef: raymC3_1996 ;;Raymo, Deep Blue vs. human self-esteem
QuoteRef: raymDR7_1988 ;;Raymond, Tompa, Hypertext and the Oxford English Dictionary,
QuoteRef: raymES3_1998 ;;Raymond, The cathedral and the bazaar
QuoteRef: readC_1989 ;;Reade, Elements of functional programming
QuoteRef: redeDD2_1980 ;;Redell, Dalal, Horsley, Lauer, Lynch, McJones, Murray, Purcell, Pilot: an operating system for a personal computer
QuoteRef: redeDH7_1979 ;;Redelmeier, Eliminating the variable from Dijkstra's mini-language
QuoteRef: reedDP2_1979 ;;Reed, Kanodia, Synchronization with event counts and sequencers
QuoteRef: reedES_1984 ;;Reed, From action gestalts to direct action
QuoteRef: reenTM8_1981 ;;Reenskaug, User-oriented descriptions of Smalltalk Systems
QuoteRef: regaJT8_2001 ;;Regan, Jensen, Capability file names: Separating authorization from user management in an Internet file system
QuoteRef: reghSC1_2000 ;;Reghizzi, Pradella, Pietro, Associative definition of programming languages
QuoteRef: reicC6_1991 ;;Reichenberger, Delta storage for arbitrary non-text files
QuoteRef: reidBK_1980 ;;Reid, A high-level approach to computer document formatting
QuoteRef: reidJK6_1980 ;;Reid, Functions for manipulating floating-point numbers
QuoteRef: reinJ11_1971 ;;Reinfelds, A concept by concept description of the AMTRAN language
QuoteRef: rellN3_1981 ;;Relles, Price, A user interface for online assistance
QuoteRef: remdJR11_1987 ;;Remde, Gomez, Landauer, SuperBook: An automatic tool for information exploration -hypertext?
QuoteRef: repsT11_1987 ;;Reps, Teitelbaum, Language processing in program editors
QuoteRef: requJ_1984 ;;Requin, Semjen, Bonnet, Bernstein's purposeful brain
QuoteRef: rettM4_1994 ;;Rettig, Prototyping for tiny fingers
QuoteRef: reynCF11_1971 ;;Reynolds, Codil. Part II, The Codil language and its interpreter
QuoteRef: reynCF3_1971 ;;Reynolds, The importance of flexibility
QuoteRef: reynJC5_1970 ;;Reynolds, Gedanken-- a simple typeless language based on the p? of completeness and the reference concept
QuoteRef: reynJC8_1972 ;;Reynolds, Definitional interpreters for higher-order programming languages
QuoteRef: reynJC9_1983 ;;Reynolds, Types, abstraction and parametric polymorphism
QuoteRef: reynJC_1965 ;;Reynolds, An introduction to the Cogent programming system
QuoteRef: reynRG11_1987 ;;Reynolds, The partial metrics system: Modeling the stepwise refinement process using partial metrics
QuoteRef: richC8_1988 ;;Rich, Waters, Automatic programming: Myths and prospects
QuoteRef: richEA_1985 ;;Rich, Panel Session: Comparative application of computer languages to practical problems
QuoteRef: richF12_1977 ;;Richard, Ledgard, A reminder for language designers
QuoteRef: richG9_1975 ;;Richter, On the relationship between information and data
QuoteRef: richH7_1985 ;;Richter, Noncorrecting syntax error recovery
QuoteRef: richM_1974 ;;Richards, Evans, Mobec, The BCPL reference manual
QuoteRef: ricoF6_1994 ;;Rico, Sanvicente, A very fast method for verifying digital signatures
QuoteRef: ridjD6_1983 ;;Ridjanovic, Brodie, Action and transaction skeletons: High level language constructs for database transactions
QuoteRef: riefE9_2000 ;;Rieffel, Polak, An introduction to quantum computing for non-physicists
QuoteRef: riplGD3_1978 ;;Ripley, Griswold, Hanson, Performance of storage management in an implementation of SNOBOL4
QuoteRef: ritcDM7_1978a ;;Ritchie, Thompson, The UNIX time-sharing system
QuoteRef: ritcDM7_1978b ;;Ritchie, UNIX time-sharing system: A retrospective
QuoteRef: ritcDM7_1978c ;;Ritchie, Johnson, Lesk, Kernighan, UNIX time-sharing system: The C programming language
QuoteRef: ritcDM_1979 ;;Ritchie, The UNIX I/O system
QuoteRef: ritcDM_1996 ;;Ritchie, The development of the C programming language, with transcript of presentation
QuoteRef: rittHW6_1973 ;;Rittel, Webber, Dilemmas in a general theory of planning
QuoteRef: rizzL4_1997 ;;Rizzo, A very fast algorithm for RAM compression
QuoteRef: roacJW10_1987 ;;Roach, Boaz, Coordinating the motions of robot arms in a common workspace
QuoteRef: robeG5_1981 ;;Robertson, McCracken, Newell, The ZOG approach to man-machine communication
QuoteRef: robeJD10_1981 ;;Roberts, Naming by colours: a graph-theoretic approach to distributed systems
QuoteRef: robeN12_1984 ;;Roberts, The pre-history of the information retrieval thesaurus
QuoteRef: robiKA8_1979 ;;Robinson, An Entity/Event data modeling method
QuoteRef: robiL9_1975 ;;Robinson, Levitt, Neumann, Saxena, A formal methodology for the design of operating system software
QuoteRef: robiM1_2000 ;;Robinson, Kovalainen, Auramaki, Diary as dialogue in papermill process control
QuoteRef: robsD8_1981 ;;Robson, Object-oriented software systems
QuoteRef: rochJA6_1989 ;;Rochlis, Eichin, With microscope and tweezers: The worm form MIT's perspective
QuoteRef: rodrNR8_1993 ;;Rodriguez, Ierusalimschy, Rangel, Types in School
QuoteRef: rogePM_1853 ;;Roget, Thesaurus of English words and phrases, classified and arranged so as to facilitate the expression of ideas and assist in literary composition
QuoteRef: rohdWF12_1979 ;;Rohde, Language tools for data access... Past, present and future
QuoteRef: rohmJ_1979 ;;Rohmer, APL2M A general computer aided software engineering environment for mini and microcomputers
QuoteRef: rojaR3_1998 ;;Rojas, How to make Zuse's Z3 a universal computer
QuoteRef: rojaR9_2000 ;;Rojas, Simulating Konrad Zuse's Computers
QuoteRef: roscE_1975 ;;Rosch, Mervis, Family resemblances: studies in the internal structure of categories
QuoteRef: roseM10_1991 ;;Rosenblum, Ousterhout, The design and implementation of a log-structured file system
QuoteRef: roseM2_1992 ;;Rosenblum, Ousterhout, The design and implementation of a log-structured file system
QuoteRef: rossDT11_1976 ;;Ross, Homilies for humble standards
QuoteRef: rossDT1_1977 ;;Ross, Structured analysis (SA): a language for communicating ideas
QuoteRef: rossDT1_1977a ;;Ross, Schoman, Structured analysis for requirements definition
QuoteRef: rossDT3_1957 ;;Ross, Design of special language for machine-tool programming
QuoteRef: rossDT3_1961 ;;Ross, A generalized technique for symbol manipulation and numerical calculation
QuoteRef: rossDT5_1964 ;;Ross, Feldmann, Verbal and graphical language for the AED system: a progress report
QuoteRef: rossDT5_1975 ;;Ross, Goodenough, Irvine, Software engineering: process, principles and goals
QuoteRef: rossDT_1963 ;;Ross, Rodriguez, Theoretical foundations for the computer-aided design system
QuoteRef: rossDT_1967 ;;Ross, The AED approach to generalized computer aided design
QuoteRef: rossDT_1970 ;;Ross, Uniform referents: an essential property for a software engineering language
QuoteRef: rossJP_1970 ;;Rossiensky, Tixier, A kernal approach to system programming SAM
QuoteRef: rothJ12_2002 ;;Rothe, Some facets of complexity theory and cryptography: a five-lecture tutorial
QuoteRef: rousN12_1986 ;;Roussopoulos, Kang, Principles and techniques in the design of ADMS+-
QuoteRef: rovnPD_1968 ;;Rovner, Feldman, The Leap language and data structure
QuoteRef: rozeRH_1984 ;;Rozendal, Biodynamics of locomotion, forty years later
QuoteRef: rtl2 ;;Rtl/2
QuoteRef: rubiAD11_2000 ;;Rubin, Kerberos versus the Leighton-Micali protocol
QuoteRef: rubiAD12_2002 ;;Rubin, Security considerations for remote electronic voting
QuoteRef: ruhlRC11_1976 ;;Ruhl, The CONTROL language challenges high-level compilers and programmable controllers
QuoteRef: rushA7_1986 ;;Rushinek, Rushinek, What makes users happy?
QuoteRef: rushJ12_1991 ;;Rushby, von Henke, Formal verification of algorithms for critical systems
QuoteRef: rushJ7_1983 ;;Rushby, Randell, A distributed secure system
QuoteRef: russB6_1902 ;;Russell, Letter to Frege, and Frege's Letter to Russell
QuoteRef: russB_1912 ;;Russel, Problems of Philosophy
QuoteRef: russB_1919 ;;Russell, Introduction to Mathematical Philosophy
QuoteRef: russB_1937 ;;Russell, A critical exposition of the philosophy of Leibniz
QuoteRef: russB_1956 ;;Russell, On denoting
QuoteRef: russDL3_1980 ;;Russell, State restoration in systems of communicating processes
QuoteRef: russGW1_1991 ;;Russell, Experience with inspection in ultralarge-scale developments
QuoteRef: rutkC10_1982 ;;Rutkowski, An introduction to the human applications standard computer interface Part 1: Theory and principles.
QuoteRef: rymaJW3_1982 ;;Rymarczyk, Coding guidelines for pipelined processors
QuoteRef: rzevG_1984 ;;Rzevski, Road, Prototypes versus pilot systems: strategies for evolutionary information system development

Related Topics up

ThesaHelp: references a-b (396 items)
ThesaHelp: references c-d (337 items)
ThesaHelp: references e-f (168 items)
ThesaHelp: references g-h (299 items)
ThesaHelp: references i-l (342 items)
ThesaHelp: references m-o (268 items)
ThesaHelp: references p-r (245 items)
ThesaHelp: references sa-sz (237 items)
ThesaHelp: references t-z
(309 items)

Updated barberCB 2/04
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.