skip to main content
Language:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Results 1 - 20 of 16,735  for All Library Resources

Results 1 2 3 4 5 next page
Show only
Refined by: creation date: 1975 To 1991 remove subject: Software remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India December 16–18, 1985 Proceedings
Material Type:
Book
Add to My Research

Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India December 16–18, 1985 Proceedings

Springer-Verlag Berlin Heidelberg 1985 ;ISSN: 0302-9743 ;ISBN: 3662200473 ;ISBN: 9783662200476 ;ISBN: 9783540160427 ;ISBN: 3540160426 ;EISSN: 1611-3349 ;EISBN: 9783540397229 ;EISBN: 3540397221 ;DOI: 10.1007/3-540-16042-6

Full text available

2
Database Machines: Sixth International Workshop, IWDM '89 Deauville, France, June 19–21, 1989 Proceedings
Material Type:
Book
Add to My Research

Database Machines: Sixth International Workshop, IWDM '89 Deauville, France, June 19–21, 1989 Proceedings

Springer-Verlag Berlin Heidelberg 1989 ;ISSN: 0302-9743 ;ISBN: 9783540513247 ;ISBN: 3662175592 ;ISBN: 9783662175590 ;ISBN: 3540513248 ;EISSN: 1611-3349 ;EISBN: 3540461973 ;EISBN: 9783540461975 ;DOI: 10.1007/3-540-51324-8

Full text available

3
Graph drawing by force-directed placement
Material Type:
Article
Add to My Research

Graph drawing by force-directed placement

Software, practice & experience, 1991-11, Vol.21 (11), p.1129-1164 [Peer Reviewed Journal]

Copyright © 1991 John Wiley & Sons, Ltd ;1992 INIST-CNRS ;ISSN: 0038-0644 ;EISSN: 1097-024X ;DOI: 10.1002/spe.4380211102 ;CODEN: SPEXBL

Full text available

4
The NAS parallel benchmarks
Material Type:
Article
Add to My Research

The NAS parallel benchmarks

The International journal of supercomputer applications, 1991-09, Vol.5 (3), p.63-73 [Peer Reviewed Journal]

1992 INIST-CNRS ;ISSN: 0890-2720 ;DOI: 10.1177/109434209100500306 ;CODEN: IJSAE9

Full text available

5
Learning logical definitions from relations
Material Type:
Article
Add to My Research

Learning logical definitions from relations

Machine learning, 1990-08, Vol.5 (3), p.239-266 [Peer Reviewed Journal]

ISSN: 0885-6125 ;EISSN: 1573-0565 ;DOI: 10.1007/BF00117105

Full text available

6
Modeling and verification of time dependent systems using time Petri nets
Material Type:
Article
Add to My Research

Modeling and verification of time dependent systems using time Petri nets

IEEE transactions on software engineering, 1991-03, Vol.17 (3), p.259-273 [Peer Reviewed Journal]

1991 INIST-CNRS ;Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Mar 1991 ;ISSN: 0098-5589 ;EISSN: 1939-3520 ;DOI: 10.1109/32.75415 ;CODEN: IESEDJ

Full text available

7
Robust taboo search for the quadratic assignment problem
Material Type:
Article
Add to My Research

Robust taboo search for the quadratic assignment problem

Parallel computing, 1991-07, Vol.17 (4), p.443-455 [Peer Reviewed Journal]

1991 Elsevier Science Publishers B.V. All rights reserved ;1992 INIST-CNRS ;ISSN: 0167-8191 ;EISSN: 1872-7336 ;DOI: 10.1016/S0167-8191(05)80147-4 ;CODEN: PACOEJ

Full text available

8
Automated software test data generation
Material Type:
Article
Add to My Research

Automated software test data generation

IEEE transactions on software engineering, 1990-08, Vol.16 (8), p.870-879 [Peer Reviewed Journal]

1991 INIST-CNRS ;Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Aug 1990 ;ISSN: 0098-5589 ;EISSN: 1939-3520 ;DOI: 10.1109/32.57624 ;CODEN: IESEDJ

Full text available

9
Dynamic load balancing for distributed memory multiprocessors
Material Type:
Article
Add to My Research

Dynamic load balancing for distributed memory multiprocessors

Journal of parallel and distributed computing, 1989-10, Vol.7 (2), p.279-301 [Peer Reviewed Journal]

1989 ;1990 INIST-CNRS ;ISSN: 0743-7315 ;EISSN: 1096-0848 ;DOI: 10.1016/0743-7315(89)90021-X

Full text available

10
Computation of component image velocity from local phase information
Material Type:
Article
Add to My Research

Computation of component image velocity from local phase information

International journal of computer vision, 1990-08, Vol.5 (1), p.77-104 [Peer Reviewed Journal]

ISSN: 0920-5691 ;EISSN: 1573-1405 ;DOI: 10.1007/BF00056772

Full text available

11
A new curve detection method: Randomized Hough transform (RHT)
Material Type:
Article
Add to My Research

A new curve detection method: Randomized Hough transform (RHT)

Pattern recognition letters, 1990-05, Vol.11 (5), p.331-338 [Peer Reviewed Journal]

1990 ;1990 INIST-CNRS ;ISSN: 0167-8655 ;EISSN: 1872-7344 ;DOI: 10.1016/0167-8655(90)90042-Z ;CODEN: PRLEDG

Full text available

12
Genetic algorithms and neural networks: optimizing connections and connectivity
Material Type:
Article
Add to My Research

Genetic algorithms and neural networks: optimizing connections and connectivity

Parallel computing, 1990-08, Vol.14 (3), p.347-361 [Peer Reviewed Journal]

1990 ;1991 INIST-CNRS ;ISSN: 0167-8191 ;EISSN: 1872-7336 ;DOI: 10.1016/0167-8191(90)90086-O ;CODEN: PACOEJ

Full text available

13
The evolving philosophers problem: dynamic change management
Material Type:
Article
Add to My Research

The evolving philosophers problem: dynamic change management

IEEE transactions on software engineering, 1990-11, Vol.16 (11), p.1293-1306 [Peer Reviewed Journal]

1991 INIST-CNRS ;Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Nov 1990 ;ISSN: 0098-5589 ;EISSN: 1939-3520 ;DOI: 10.1109/32.60317 ;CODEN: IESEDJ

Full text available

14
Cones of Matrices and Set-Functions and 0–1 Optimization
Material Type:
Article
Add to My Research

Cones of Matrices and Set-Functions and 0–1 Optimization

SIAM journal on optimization, 1991-05, Vol.1 (2), p.166-190 [Peer Reviewed Journal]

[Copyright] © 1991 Society for Industrial and Applied Mathematics ;ISSN: 1052-6234 ;EISSN: 1095-7189 ;DOI: 10.1137/0801013

Full text available

15
A calculus of durations
Material Type:
Article
Add to My Research

A calculus of durations

Information processing letters, 1991-12, Vol.40 (5), p.269-276 [Peer Reviewed Journal]

1991 ;1992 INIST-CNRS ;Copyright Elsevier Sequoia S.A. Dec 13, 1991 ;ISSN: 0020-0190 ;EISSN: 1872-6119 ;DOI: 10.1016/0020-0190(91)90122-X ;CODEN: IFPLAT

Full text available

16
Test selection based on finite state models
Material Type:
Article
Add to My Research

Test selection based on finite state models

IEEE transactions on software engineering, 1991-06, Vol.17 (6), p.591-603 [Peer Reviewed Journal]

1992 INIST-CNRS ;Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Jun 1991 ;ISSN: 0098-5589 ;EISSN: 1939-3520 ;DOI: 10.1109/32.87284 ;CODEN: IESEDJ

Full text available

17
A computational framework and an algorithm for the measurement of visual motion
Material Type:
Article
Add to My Research

A computational framework and an algorithm for the measurement of visual motion

International journal of computer vision, 1989-01, Vol.2 (3), p.283-310 [Peer Reviewed Journal]

ISSN: 0920-5691 ;EISSN: 1573-1405 ;DOI: 10.1007/BF00158167

Full text available

18
STATEMATE: a working environment for the development of complex reactive systems
Material Type:
Article
Add to My Research

STATEMATE: a working environment for the development of complex reactive systems

IEEE transactions on software engineering, 1990-04, Vol.16 (4), p.403-414 [Peer Reviewed Journal]

1990 INIST-CNRS ;Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Apr 1990 ;ISSN: 0098-5589 ;EISSN: 1939-3520 ;DOI: 10.1109/32.54292 ;CODEN: IESEDJ

Full text available

19
Automatic signature verification and writer identification — the state of the art
Material Type:
Article
Add to My Research

Automatic signature verification and writer identification — the state of the art

Pattern recognition, 1989, Vol.22 (2), p.107-131 [Peer Reviewed Journal]

1989 ;1989 INIST-CNRS ;ISSN: 0031-3203 ;EISSN: 1873-5142 ;DOI: 10.1016/0031-3203(89)90059-9 ;CODEN: PTNRA8

Full text available

20
An ontological model of an information system
Material Type:
Article
Add to My Research

An ontological model of an information system

IEEE transactions on software engineering, 1990-11, Vol.16 (11), p.1282-1292 [Peer Reviewed Journal]

1991 INIST-CNRS ;Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Nov 1990 ;ISSN: 0098-5589 ;EISSN: 1939-3520 ;DOI: 10.1109/32.60316 ;CODEN: IESEDJ

Full text available

Results 1 - 20 of 16,735  for All Library Resources

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 (8,388)

Refine My Results

Creation Date 

From To
  1. Before 1978  (77)
  2. 1978 To 1982  (513)
  3. 1983 To 1987  (4,321)
  4. 1988 To 1993  (11,838)
  5. After 1993  (7)
  6. More options open sub menu

Language 

  1. English  (16,731)
  2. Japanese  (953)
  3. French  (3)
  4. German  (1)
  5. More options open sub menu

Searching Remote Databases, Please Wait