skip to main content
Results 1 2 3 4 5 next page
Show only
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Impossible pair constrained test path generation in a program
Material Type:
Article
Add to e-Shelf

Impossible pair constrained test path generation in a program

Srimani, Pradip K. ; Sinha, Bhabani P.

Information sciences, 1982-01, Vol.28 (2), p.87-103 [Peer Reviewed Journal]

New York, NY: Elsevier Inc

Full text available

2
An addressable machine as the interpretation of a free group
Material Type:
Article
Add to e-Shelf

An addressable machine as the interpretation of a free group

Lauria, Francesco E.

Information sciences, 1982-01, Vol.28 (2), p.131-160 [Peer Reviewed Journal]

New York, NY: Elsevier Inc

Full text available

3
Tentative steps towards a development method for interfering programs
Material Type:
Article
Add to e-Shelf

Tentative steps towards a development method for interfering programs

JONES, C. B

ACM transactions on programming languages and systems, 1983, Vol.5 (4), p.596-619 [Peer Reviewed Journal]

New York, NY: Association for Computing Machinery

Full text available

4
Recursion and iteration in continuous theores: the M-construction
Material Type:
Article
Add to e-Shelf

Recursion and iteration in continuous theores: the M-construction

BLOOM, S. L ; THATCHER, J. W ; WAGNER, E. G ; WRIGHT, J. B

Journal of computer and system sciences, 1983, Vol.27 (2), p.148-164 [Peer Reviewed Journal]

Brugge: Academic Press

Full text available

5
On infinite computations in denotational semantics
Material Type:
Article
Add to e-Shelf

On infinite computations in denotational semantics

DE BAKKER, J. W ; MEYER, J. J. C ; ZUCKER, J. I

Theoretical computer science, 1983, Vol.29 (1-2), p.229-230 [Peer Reviewed Journal]

Amsterdam: Elsevier

Full text available

6
The blit debugger
Material Type:
Article
Add to e-Shelf

The blit debugger

CARGILL, T. A

The Journal of systems and software, 1983, Vol.3 (4), p.227-284 [Peer Reviewed Journal]

New York, NY: Elsevier Science

Full text available

7
Algebraic semantics of recursive flowchart schemes
Material Type:
Article
Add to e-Shelf

Algebraic semantics of recursive flowchart schemes

Schmeck, Hartmut

Information and control, 1983, Vol.59 (1), p.108-126

New York, NY: Elsevier B.V

Full text available

8
Scanning on the fly: An approach to the user interface
Material Type:
Article
Add to e-Shelf

Scanning on the fly: An approach to the user interface

Seidel, Steven R.

Computers and education, 1983, Vol.7 (3), p.153-165 [Peer Reviewed Journal]

New York, NY: Elsevier Ltd

Full text available

9
Implementing SNOBOL4 pattern matching in Icon
Material Type:
Article
Add to e-Shelf

Implementing SNOBOL4 pattern matching in Icon

Griswold, Ralph E.

Computer languages, 1983, Vol.8 (2), p.77-92

Oxford: Elsevier Ltd

Full text available

10
Data-editing BASIC programs for creating, modifying, and combining apple II disk files
Material Type:
Article
Add to e-Shelf

Data-editing BASIC programs for creating, modifying, and combining apple II disk files

WEST, R. F

Behavior research methods and instrumentation, 1983, Vol.15 (3), p.387-388

Austin, TX: Psychonomic Journals

Full text available

Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (12,077)

Refine My Results

Resource Type 

  1. Articles  (8,647)
  2. Conference Proceedings  (4,818)
  3. Book Chapters  (1,366)
  4. magazinearticle  (397)
  5. Books  (211)
  6. More options open sub menu

Creation Date 

From To
  1. Before1988  (955)
  2. 1988To1994  (1,675)
  3. 1995To2001  (4,504)
  4. 2002To2009  (6,627)
  5. After 2009  (1,907)
  6. More options open sub menu

Language 

  1. Japanese  (451)
  2. Portuguese  (4)
  3. French  (3)
  4. Spanish  (1)
  5. More options open sub menu

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far