Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book
|
Graph-Theoretic Concepts in Computer Science: 22nd International Workshop, WG '96 Cadenabbia, Italy, June 12–14, 1996 ProceedingsSpringer-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-3Full text available |
|
2 |
Material Type: Book
|
Graph-Theoretic Concepts in Computer Science: 18th International Workshop, WG '92 Wiesbaden-Naurod, Germany, June 18–20, 1992 ProceedingsSpringer-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-0Full text available |
|
3 |
Material Type: Book
|
Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 ProceedingsSpringer-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-4Full text available |
|
4 |
Material Type: Book
|
Graph-Theoretic Concepts in Computer Science: 20th International Workshop, WG '94 Herrsching, Germany, June 16–18, 1994 ProceedingsSpringer-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-4Full text available |
|
5 |
Material Type: Book
|
Applied Computational Geometry Towards Geometric Engineering: FCRC'96 Workshop, WACG'96 Philadelphia, PA, May 27–28, 1996 Selected PapersSpringer-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/BFb0014474Full text available |
|
6 |
Material Type: Book
|
Quantitative Evaluation of Computing and Communication Systems: 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation Performance Tools '95Springer-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/BFb0024302Full text available |
|
7 |
Material Type: Book
|
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 ProceedingsSpringer-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-1Full text available |
|
8 |
Material Type: Book
|
Advances in Spatial Databases: 4th International Symposium, SSD'95 Portland, ME, USA, August 6–9, 1995 ProceedingsSpringer-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-7Full text available |
|
9 |
Material Type: Book
|
Distributed Algorithms: 11th International Workshop, WDAG '97 Saarbrücken, Germany, September 24–26, 1997 ProceedingsSpringer-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/BFb0030669Full text available |
|
10 |
Material Type: Book
|
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 ProceedingsSpringer-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/BFb0028381Full text available |
|
11 |
Material Type: Book
|
Evolutionary Computing: AISB Workshop Brighton, U.K., April 1–2, 1996 Selected PapersSpringer-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/BFb0032768Full text available |
|
12 |
Material Type: Book
|
Database Theory — ICDT '97: 6th International Conference Delphi, Greece, January 8–10, 1997 ProceedingsSpringer-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-5Full text available |
|
13 |
Material Type: Book
|
Evolutionary Computing: AISB Workshop Sheffield, UK, April 3–4, 1995 Selected PapersSpringer-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-3Full text available |
|
14 |
Material Type: Book
|
Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 ProceedingsSpringer-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-0Full text available |
|
15 |
Material Type: Book
|
Computer Performance Evaluation.Modelling Techniques and Tools: 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 ProceedingsSpringer-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-8Full text available |
|
16 |
Material Type: Book
|
CONCUR ’94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22–25, 1994, ProceedingsSpringer-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-1Full text available |
|
17 |
Material Type: Book
|
Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98 Brno, Czech Republic, August 24–28, 1998 ProceedingsSpringer-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/BFb0055753Full text available |
|
18 |
Material Type: Book
|
Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 ProceedingsSpringer-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/BFb0055897Full text available |
|
19 |
Material Type: Book
|
Advances in Cryptology — EUROCRYPT'98: International Conference on the Theory and Application of Cryptographic Techniques Espoo, Finland, May 31 – June 4, 1998 ProceedingsSpringer-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/BFb0054112Full text available |
|
20 |
Material Type: Book
|
Approximation Algorithms for Combinatiorial Optimization: International Workshop APPROX'98 Aalborg, Denmark, July 18–19, 1998 ProceedingsSpringer-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/BFb0053958Full text available |