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 743  for All Library Resources

Results 1 2 3 4 5 next page
Show only
Refined by: creation date: 1990 To 2000 remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Graph-Theoretic Concepts in Computer Science: 22nd International Workshop, WG '96 Cadenabbia, Italy, June 12–14, 1996 Proceedings
Material Type:
Book
Add to My Research

Graph-Theoretic Concepts in Computer Science: 22nd International Workshop, WG '96 Cadenabbia, Italy, June 12–14, 1996 Proceedings

Springer-Verlag Berlin Heidelberg 1997 ;ISSN: 0302-9743 ;ISBN: 3662177994 ;ISBN: 9783662177990 ;ISBN: 9783540625599 ;ISBN: 3540625593 ;EISSN: 1611-3349 ;EISBN: 3540680721 ;EISBN: 9783540680727 ;DOI: 10.1007/3-540-62559-3

Full text available

2
Graph-Theoretic Concepts in Computer Science: 18th International Workshop, WG '92 Wiesbaden-Naurod, Germany, June 18–20, 1992 Proceedings
Material Type:
Book
Add to My Research

Graph-Theoretic Concepts in Computer Science: 18th International Workshop, WG '92 Wiesbaden-Naurod, Germany, June 18–20, 1992 Proceedings

Springer-Verlag Berlin Heidelberg 1993 ;ISSN: 0302-9743 ;ISBN: 9783662168974 ;ISBN: 9783540564027 ;ISBN: 3662168979 ;ISBN: 3540564020 ;EISSN: 1611-3349 ;EISBN: 3540475540 ;EISBN: 9783540475545 ;DOI: 10.1007/3-540-56402-0

Full text available

3
Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings
Material Type:
Book
Add to My Research

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Springer-Verlag Berlin Heidelberg 1996 ;ISSN: 0302-9743 ;ISBN: 3540615504 ;ISBN: 9783540615507 ;ISBN: 9783662188781 ;ISBN: 3662188783 ;EISSN: 1611-3349 ;EISBN: 354070597X ;EISBN: 9783540705970 ;DOI: 10.1007/3-540-61550-4

Full text available

4
Graph-Theoretic Concepts in Computer Science: 20th International Workshop, WG '94 Herrsching, Germany, June 16–18, 1994 Proceedings
Material Type:
Book
Add to My Research

Graph-Theoretic Concepts in Computer Science: 20th International Workshop, WG '94 Herrsching, Germany, June 16–18, 1994 Proceedings

Springer-Verlag Berlin Heidelberg 1995 ;ISSN: 0302-9743 ;ISBN: 9783540590712 ;ISBN: 9783662164136 ;ISBN: 3540590714 ;ISBN: 3662164132 ;EISSN: 1611-3349 ;EISBN: 354049183X ;EISBN: 9783540491835 ;DOI: 10.1007/3-540-59071-4

Full text available

5
Applied Computational Geometry Towards Geometric Engineering: FCRC'96 Workshop, WACG'96 Philadelphia, PA, May 27–28, 1996 Selected Papers
Material Type:
Book
Add to My Research

Applied Computational Geometry Towards Geometric Engineering: FCRC'96 Workshop, WACG'96 Philadelphia, PA, May 27–28, 1996 Selected Papers

Springer-Verlag Berlin Heidelberg 1996 ;ISSN: 0302-9743 ;ISBN: 354061785X ;ISBN: 9783540617853 ;ISBN: 9783662192870 ;ISBN: 366219287X ;EISSN: 1611-3349 ;EISBN: 9783540706809 ;EISBN: 3540706801 ;DOI: 10.1007/BFb0014474

Full text available

6
Quantitative Evaluation of Computing and Communication Systems: 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation Performance Tools '95
Material Type:
Book
Add to My Research

Quantitative Evaluation of Computing and Communication Systems: 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation Performance Tools '95

Springer-Verlag Berlin Heidelberg 1995 ;ISSN: 0302-9743 ;ISBN: 354060300X ;ISBN: 9783540603009 ;ISBN: 9783662188040 ;ISBN: 366218804X ;EISSN: 1611-3349 ;EISBN: 9783540447894 ;EISBN: 354044789X ;DOI: 10.1007/BFb0024302

Full text available

7
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings
Material Type:
Book
Add to My Research

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Springer-Verlag Berlin Heidelberg 1995 ;ISSN: 0302-9743 ;ISBN: 9783662192030 ;ISBN: 3662192039 ;ISBN: 3540593381 ;ISBN: 9783540593386 ;EISSN: 1611-3349 ;EISBN: 3540492356 ;EISBN: 9783540492351 ;DOI: 10.1007/3-540-59338-1

Full text available

8
Advances in Spatial Databases: 4th International Symposium, SSD'95 Portland, ME, USA, August 6–9, 1995 Proceedings
Material Type:
Book
Add to My Research

Advances in Spatial Databases: 4th International Symposium, SSD'95 Portland, ME, USA, August 6–9, 1995 Proceedings

Springer-Verlag Berlin Heidelberg 1995 ;ISSN: 0302-9743 ;ISBN: 9783662164853 ;ISBN: 9783540601593 ;ISBN: 366216485X ;ISBN: 3540601597 ;EISSN: 1611-3349 ;EISBN: 9783540495369 ;EISBN: 3540495363 ;DOI: 10.1007/3-540-60159-7

Full text available

9
Distributed Algorithms: 11th International Workshop, WDAG '97 Saarbrücken, Germany, September 24–26, 1997 Proceedings
Material Type:
Book
Add to My Research

Distributed Algorithms: 11th International Workshop, WDAG '97 Saarbrücken, Germany, September 24–26, 1997 Proceedings

Springer-Verlag Berlin Heidelberg 1997 ;ISSN: 0302-9743 ;ISBN: 3662168480 ;ISBN: 9783540635758 ;ISBN: 3540635750 ;ISBN: 9783662168486 ;EISSN: 1611-3349 ;EISBN: 3540696008 ;EISBN: 9783540696001 ;DOI: 10.1007/BFb0030669

Full text available

10
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings
Material Type:
Book
Add to My Research

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings

Springer-Verlag Berlin Heidelberg 1997 ;ISSN: 0302-9743 ;ISBN: 9783662169339 ;ISBN: 9783540633792 ;ISBN: 3662169339 ;ISBN: 3540633790 ;EISSN: 1611-3349 ;EISBN: 9783540695264 ;EISBN: 3540695265 ;DOI: 10.1007/BFb0028381

Full text available

11
Evolutionary Computing: AISB Workshop Brighton, U.K., April 1–2, 1996 Selected Papers
Material Type:
Book
Add to My Research

Evolutionary Computing: AISB Workshop Brighton, U.K., April 1–2, 1996 Selected Papers

Springer-Verlag Berlin Heidelberg 1996 ;ISSN: 0302-9743 ;ISBN: 9783540617495 ;ISBN: 9783662213087 ;ISBN: 3540617493 ;ISBN: 3662213087 ;EISSN: 1611-3349 ;EISBN: 3540706712 ;EISBN: 9783540706717 ;DOI: 10.1007/BFb0032768

Full text available

12
Database Theory — ICDT '97: 6th International Conference Delphi, Greece, January 8–10, 1997 Proceedings
Material Type:
Book
Add to My Research

Database Theory — ICDT '97: 6th International Conference Delphi, Greece, January 8–10, 1997 Proceedings

Springer-Verlag Berlin Heidelberg 1997 ;ISSN: 0302-9743 ;ISBN: 9783662173749 ;ISBN: 9783540622222 ;ISBN: 3662173743 ;ISBN: 3540622225 ;EISSN: 1611-3349 ;EISBN: 9783540496823 ;EISBN: 3540496823 ;DOI: 10.1007/3-540-62222-5

Full text available

13
Evolutionary Computing: AISB Workshop Sheffield, UK, April 3–4, 1995 Selected Papers
Material Type:
Book
Add to My Research

Evolutionary Computing: AISB Workshop Sheffield, UK, April 3–4, 1995 Selected Papers

Springer-Verlag Berlin Heidelberg 1995 ;ISSN: 0302-9743 ;ISBN: 3540604693 ;ISBN: 9783540604693 ;ISBN: 3662207508 ;ISBN: 9783662207505 ;EISSN: 1611-3349 ;EISBN: 354047515X ;EISBN: 9783540475156 ;DOI: 10.1007/3-540-60469-3

Full text available

14
Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings
Material Type:
Book
Add to My Research

Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

Springer-Verlag Berlin Heidelberg 1995 ;ISSN: 0302-9743 ;ISBN: 9783540600459 ;ISBN: 3662172216 ;ISBN: 3540600450 ;ISBN: 9783662172216 ;EISSN: 1611-3349 ;EISBN: 9783540494133 ;EISBN: 3540494138 ;DOI: 10.1007/3-540-60045-0

Full text available

15
Computer Performance Evaluation.Modelling Techniques and Tools: 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings
Material Type:
Book
Add to My Research

Computer Performance Evaluation.Modelling Techniques and Tools: 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings

Springer-Verlag Berlin Heidelberg 2000 ;ISSN: 0302-9743 ;ISBN: 9783540672609 ;ISBN: 3540672605 ;ISBN: 9783662204047 ;ISBN: 3662204045 ;EISSN: 1611-3349 ;EISBN: 9783540464297 ;EISBN: 3540464298 ;DOI: 10.1007/3-540-46429-8

Full text available

16
CONCUR ’94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22–25, 1994, Proceedings
Material Type:
Book
Add to My Research

CONCUR ’94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22–25, 1994, Proceedings

Springer-Verlag Berlin Heidelberg 1994 ;ISSN: 0302-9743 ;ISBN: 3540583297 ;ISBN: 3662204266 ;ISBN: 9783662204269 ;ISBN: 9783540583295 ;EISSN: 1611-3349 ;EISBN: 3540486542 ;EISBN: 9783540486541 ;DOI: 10.1007/978-3-540-48654-1

Full text available

17
Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24–28, 1998 Proceedings
Material Type:
Book
Add to My Research

Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24–28, 1998 Proceedings

Springer-Verlag Berlin Heidelberg 1998 ;ISSN: 0302-9743 ;ISBN: 9783662200605 ;ISBN: 3540648275 ;ISBN: 3662200600 ;ISBN: 9783540648277 ;EISSN: 1611-3349 ;EISBN: 3540685324 ;EISBN: 9783540685326 ;DOI: 10.1007/BFb0055753

Full text available

18
Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings
Material Type:
Book
Add to My Research

Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings

Springer-Verlag Berlin Heidelberg 1998 ;ISSN: 0302-9743 ;ISBN: 9783662164518 ;ISBN: 9783540649601 ;ISBN: 3540649603 ;ISBN: 3662164515 ;EISSN: 1611-3349 ;EISBN: 3540498168 ;EISBN: 9783540498162 ;DOI: 10.1007/BFb0055897

Full text available

19
Advances in Cryptology — EUROCRYPT'98: International Conference on the Theory and Application of Cryptographic Techniques Espoo, Finland, May 31 – June 4, 1998 Proceedings
Material Type:
Book
Add to My Research

Advances in Cryptology — EUROCRYPT'98: International Conference on the Theory and Application of Cryptographic Techniques Espoo, Finland, May 31 – June 4, 1998 Proceedings

Springer-Verlag Berlin Heidelberg 1998 ;ISSN: 0302-9743 ;ISBN: 9783540645184 ;ISBN: 9783662199077 ;ISBN: 3662199076 ;ISBN: 3540645187 ;EISSN: 1611-3349 ;EISBN: 9783540697954 ;EISBN: 3540697950 ;DOI: 10.1007/BFb0054112

Full text available

20
Approximation Algorithms for Combinatiorial Optimization: International Workshop APPROX'98 Aalborg, Denmark, July 18–19, 1998 Proceedings
Material Type:
Book
Add to My Research

Approximation Algorithms for Combinatiorial Optimization: International Workshop APPROX'98 Aalborg, Denmark, July 18–19, 1998 Proceedings

Springer-Verlag Berlin Heidelberg 1998 ;ISSN: 0302-9743 ;ISBN: 9783540647362 ;ISBN: 3540647368 ;ISBN: 9783662191989 ;ISBN: 3662191989 ;EISSN: 1611-3349 ;EISBN: 3540690670 ;EISBN: 9783540690672 ;DOI: 10.1007/BFb0053958

Full text available

Results 1 - 20 of 743  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 (427)

Refine My Results

Creation Date 

From To
  1. Before 1990  (13)
  2. 1990 To 1993  (117)
  3. 1994 To 1997  (347)
  4. 1998 To 2002  (388)
  5. After 2002  (277)
  6. More options open sub menu

Language 

  1. Japanese  (21)
  2. Spanish  (1)
  3. More options open sub menu

Searching Remote Databases, Please Wait