Results of search for 'Provider:Sprienger-Verlag' › WebCat_CGB

Results
	1.	ARTIFICIAL INTELLIGENCE AND SYMBOLIC MATHEMATICAL COMPUTING : INTERNATIONAL CONFERENCE AISMC-1, KARLSRUHE, GERMANY, AUGUST 1992 : PROCEEDINGS / EDS. JACQUES CALMET, JOHN A. CAMPBELL by INTERNATIONAL CONFERENCE AISMC-1 (1992 : KARLSRUHE, GERMANY) CALMET, JACQUES [ED.] Series: LECTURE NOTES IN COMPUTER SCIENCE. 737 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: Q334 I57. Place hold Add to cart (remove)
	2.	SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING AND UNCERTAINTY : EUROPEAN CONFERENCE ECSQARU'93 GRANADA, SPAIN, NOVEMBER 8-10, 1993 : PROCEEDINGS / EDS. MICHAEL CLARKE, RUDOLF KRUSE, SERAFIN MORAL by EUROPEAN CONFERENCE ECSQARU (1993 : GRANADA, SPAIN) CLARKE, MICHAEL [ED.] Series: LECTURE NOTES IN COMPUTER SCIENCE. 747 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: Q375 E87. Place hold Add to cart (remove)
	3.	CONCEPTUAL STRUCTURES : THEORY AND IMPLEMENTATION : 7TH ANNUAL WORKSHOP LAS CRUCES, NM, USA, JULY 8-10, 1992 : PROCEEDINGS / EDS. HEATHER D. PFEIFFER, TIMOTHY E. NAGLE by PFEIFFER, HEATHER D [ED.] Series: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. 754 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: Q387.2 C66. Place hold Add to cart (remove)
	4.	DESIGN AND IMPLEMENTATIONOF SYMBOLIC COMPUTATION SYSTEMS : INTERNATIONAL SYMPOSIUM, DISCO'92 BATH, U.K., APRIL 13-15, 1992 : PROCEEDINGS / ED. JOHN FITCH by INTERNATIONAL SYMPOSIUM, DISCO'92 (1992 : BATH, U. K.) FITH, JOHN [ED.] Series: LECTURE NOTES IN COMPUTER SCIENCE. 721 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: QA75.5 I57. Place hold Add to cart (remove)
	5.	DESIGN AND IMPLEMENTATION OF SYMBOLIC COMPUTATION SYSTEMS : INTERNATIONAL SYMPOSIUM, DISCO'93 GMUDEN AUSTRIA, SEPTEMBER 15-17, 1993 : PROCEEDINGS / ED. ALFONSO MIOLA by INTERNATIONAL SYMPOSIUM, DISCO'93 (1993 : GMUNDEN, AUSTRIA) MIOLA, ALFONSO [ED.] Series: LECTURE NOTES IN COMPUTER SCIENCE. 722 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: QA75.5 D47. Place hold Add to cart (remove)
	6.	STACS 93 : 10 TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE WURZBURG, GERMANY, FEBRUARY 25-27, 1993 : PROCEEDINGS / EDS. P. ENJALBERT, A. FINKEL, K. W. WAGNER by SYMPOSIUM ON THEORETICAL ASCPECTS OF COMPUTER SCIENCE (10: 1993 : WURZBURG, GERMANY) ENJALBERT, P [ED.] Series: LECTURE NOTES IN COMPUTER SCIENCE. 665 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: QA75.5 S95. Place hold Add to cart (remove)
	7.	PARALLEL COMPUTATION : SECOND INTERNACIONAL ACPC CONFERENCE GMUNDEN, AUSTRIA, OCTOBER 4-6, 1993 : PROCEEDINGS / ED. JENS VOLKERT by INTERNACIONAL ACPC CONFERENCE (1993 : GMUNDEN, AUSTRIA) VOLKERT, JENS [ED.] Series: LECTURE NOTES IN COMPUTER SCIENCE. 734 Material type: Text Language: Spanish Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: QA76 I57. Place hold Add to cart (remove)
	8.	HYBRID SYSTEMS / EDS. ROBERT L. GROSSMAN ... (ET AL.) by GROSSMAN, ROBERT LEE [ED.] Series: LECTURE NOTES IN COMPUTER SCIENCE. 736 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: QA76.5 H92. Place hold Add to cart (remove)
	9.	PARALLEL COMPUTER ARCHITECTURES : THEORY, HARDWARE, SOFTWARE, APPLICATIONS / EDS. ARNDT BODE, MARIO DAL CIN by BODE, ARNDT [ED.] Series: LECTURES NOTES IN COMPUTER SCIENCE. 732 Material type: Text Language: English Publication details: BERLIN, ALEMANIA : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: QA76.9 A73P39. Place hold Add to cart (remove)
	10.	FORMAL METHODS IN PROGRAMMING AND THEIR APPLICATIONS : INTERNATIONAL CONFERENCEACADEMGORODOK, NOVOSIBIRSK, RUSSIA JUNE 28-JULY 2, 1993 PROCEEDINGS / EDS. DINES BJORNER, MANFRED BROY, IGOR V. POTTOSIN by BJORNER, DINES [ED.] Series: LECTURE NOTES IN COMPUTER SCIENCE. 735 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: QA76.6 F67. Place hold Add to cart (remove)
	11.	PARALLEL SYMBOLIC COMPUTING : LANGUAGES, SYSTEMS, AND APPLICATIONS: US/ JAPAN WORKSHOP CAMBRIDGE, MA, USA, OCTOBER 14-17, 1992 PROCEEDINGS / EDS. ROBERT H. HALSTEAD, TAKAYASU ITO by HALSTEAD, ROBERT H [ED.] Series: LECTURE NOTES IN COMPUTER SCIENCE. 748 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: QA76.6 P37. Place hold Add to cart (remove)
	12.	FORMAL PROGRAM DEVELOPMENT : IFIP TC2/ WG 2.1 STATE-OF-THE-ART REPORT / EDS. BERNHARD MOLLER, HELMUT PARTSCH, STEVE SCHUMAN by MOLLER, BERNHARD [ED. PARTSCH, HELMUT; ED.] Series: LECTURE NOTES IN COMPUTER SCIENCE. 755 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: QA76.6 F67. Place hold Add to cart (remove)
	13.	ATTRIBUTE GRAMMARS AND THEIR APPLICATIONS : INTERNATIONAL CONFERENCE WAGA PARIS, FRANCE, SEPTEMBER 19-21, 1990 : PROCEEDINGS / EDS. P. DERANSART, M. JOURDAN by INTERNATIONAL CONFERENCE WAGA (1990 : PARIS, FRANCIA) DERANSART, P [ED.] Series: LECTURE NOTES IN COMPUTER SCIENCE. 461 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: QA76.7 I57. Place hold Add to cart (remove)
	14.	LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING : 5TH INTERNATIONAL WORKSHOP NEW HAVEN, CONNECTICUT, USA AUGUST 3-5, 1992 : PROCEEDINGS / EDS. UTPAL BANERJEE ... (ET-AL.) by BANERJEE, UTPAL [ED.] Series: LECTURE NOTES IN COMPUTER SCIENCE, 757 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: QA76.7 L36. Place hold Add to cart (remove)
	15.	ADVANCES IN CRYPTOLOGY-EUROCRYPT'92 : WORKSHOP ON THE THEORY AND APPLICATION OF CRYPTOGRAPHIC TECHNIQUES BALATONFURED, HUNGRY, MAY 24-28, 1992 : PROCEEDINGS / ED. R. A. RUEPPEL by EUROCRYPT'92 (1992 : BALATONFURED, HUNGRIA) RUEPPEL, RAINER A [ED.] Series: LECTURE NOTES IN COMPUTER SCIENCE. 658 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: QA76.9 A25E97. Place hold Add to cart (remove)
	16.	ADVANCES IN CRYPTOLOGY-ASIACRYPT' 91: INTERNATIONAL CONFERENCE ON THE THEORY AND APPLICATION OF CRYPTOLOGY FUJIYOSHIDA, JAPAN, NOVEMBER 11-14, 1991 : PROCEEDINGS / EDS. HIDEKI IMAI, RONALD L. RIVEST, TSUTOMU MATSUMOTO by ASIACRYPT' 91 (1991 : FUJIYOSHIDA, JAPAN) IMAI, HIDEKI [COAUT.] Series: LECTURE NOTES IN COMPUTER SCIENCE. 739 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: QA76.9 A23C79. Place hold Add to cart (remove)
	17.	ADVANCES IN CRYPTOLOGY-CRYPTO'92 : 12 TH ANNUAL INTERNATIONAL CRYPTOLOGY CONFERENCE SANTA BARBARA, CALIFORNIA, USA AUGUST 16-20, 1992 : PROCEEDINGS / ED. ERNEST F. BRICKELL by CRYPT0' 92 (1992 : SANTA BARBARA, CALIFORNIA, USA) BRICKELL, ERNEST F [ED.] Series: LECTURE NOTES IN COMPUTER SCIENCE. 740 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: QA76.9 A23C79. Place hold Add to cart (remove)
	18.	ALGORITHMIC LEARNING THEORY : THIRD WORKSHOP, ALT' 92 TOKYO, JAPAN, OCTOBER 20-22, 1992 : PROCEEDINGS / S. DOSHITA ... (ET AL.) by ALT' 92 (3 : 1992 : TOKYO, JAPAN) DOSHITA, SHUJI [ED.] Series: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, SUBSERIES OF LECTURE NOTES IN COMPUTER SCIENCE. 743 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: QA76.9 A43A47. Place hold Add to cart (remove)
	19.	ALGORITHMIC LEARNING THEORY : 4TH INTERNATIONAL WORKSHOP, ALT' 93 TOKYO, JAPAN, NOVEMBER 8-10, 1993 : PROCEEDINGS / ED. K. P. JANTKE ... (ET AL.) by ALT' 93 (4: 1993 : TOKYO, JAPAN) JANTKE, K. P [ED.] Series: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, SUBSERIES OF LECTURE NOTES IN COMPUTER SCIENCE. 744 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: QA76.9 A43A47. Place hold Add to cart (remove)
	20.	ALGORITHMS AND COMPUTATION : 4TH INTERNATIONAL SYMPOSIUM, ISAAC' 93 HONG KONG, DECEMBER 15-17, 1993 : PROCEEDINGS / EDS. K. W. NG ... (ET AL.) by ISAAC' 93 (4 : 1993 : HONG KONG) NG, K. W [ED.] Series: LECTURE NOTES IN COMPUTER SCIENCE. 762 Material type: Text Language: English Publication details: BERLIN : SPRINGER-VERLAG Availability: Items available for loan: Biblioteca Central (1)Call number: QA76.9 A43I82. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 66 results.

Universidad Autónoma de Campeche