Search for 'Provider:Springer,'

Database and Expert Systems Applications : 4th International Conference, DEXA 93 Praque, Czech Republic, September 6-8, 1993. Proccedings / Vladimir Marik

By Marik Vladimir.. Germany : Springer-Verlag . xv, 768 p. / 23.5 cm. , Incluye indice por autor 0-387-57234-1

Place hold on Database and Expert Systems Applications : 4th International Conference, DEXA 93 Praque, Czech Republic, September 6-8, 1993. Proccedings / Vladimir Marik

Distributed algorithms: 7th international workshop, WDAG '93 Laussanne,Switzerland, September 27-29, 1993 Proceedings / Andr‚ Schiper

By Schiper, Andr‚. Alemania : Springer-Verlag . viii, 323 p. / 23 cm. 0-387-57271-6

Place hold on Distributed algorithms: 7th international workshop, WDAG '93 Laussanne,Switzerland, September 27-29, 1993 Proceedings / Andr‚ Schiper

Computational Logic and Proof Theory / Georg Gottlob, Alexander Leitsch

By Gottlob, Georg. Germany: Springer-Verlag . xi, 348 p. / 24 cm. , Incluye preface y table of contents 3-540-57184-1

Place hold on Computational Logic and Proof Theory / Georg Gottlob, Alexander Leitsch

Knowledge Acquisition form knowledge-base sistems

By Aussenac, N.. Berlin, Germany : Springer-Verlag , Incluye índice 3-540-57253-8

Place hold on Knowledge Acquisition form knowledge-base sistems

Fundamentals of Operating Systems / A. M. Lister, R. D. Eager

By Lister, A. M.. Gran Bretaña : Springer-Verlag . xiv, 196 p. / 24 cm. , Incluye conclusión, ap‚ndice, referencias, índice. 0-387-91462-5

Place hold on Fundamentals of Operating Systems / A. M. Lister, R. D. Eager

State of the art in computer graphics

By Roger F, David. United States of America Springer-Verlag . 368 p. / 23 Cm. , incluye índice 0-387-97560-8

Place hold on State of the art in computer graphics

Programming Languaje Implementation and Logic Programming / Maurice Bruynooghe, Jaan Penjam

By Bruynooghe, Maurice. Germania : Springer-Verlag . xi, 421 p. / 23.5 cm. 3-540-57186-8

Place hold on Programming Languaje Implementation and Logic Programming / Maurice Bruynooghe, Jaan Penjam

Advances in cryptology-auscrypt '92 : workshop on the theory and application of cryptographic techniques gold coast, Queensland, Australia december 13-16, 1992, proceedings / Jennifer Seberry Wallis, Yuliang Zheng

By Wallis, Jennifer Seberry. Alemania : Springer-Verlag Berlin . xiii, 542 p. /24 cm. , Incluye índice por autor 0-387-57220-1

Place hold on Advances in cryptology-auscrypt '92 : workshop on the theory and application of cryptographic techniques gold coast, Queensland, Australia december 13-16, 1992, proceedings / Jennifer Seberry Wallis, Yuliang Zheng

The design of well-structured and correct programs / Saud Alag

By Alagîc, Suad y Michael A. Arbib. United States of America : Springer. Verlag . VII, 292p. / 24 cm. , Incluye Apendice, Bibliografia e Indice O387-90299-6

Place hold on The design of well-structured and correct programs / Saud Alag

Dynamic Simulations of Multibody Systems / Murilo G. Coutinho

By Coutinho, Murilo G.. United States of America : Springer . XV, 379p. / 24cm. , Apêndice, Referancia e Indice 0-387-95192-X

Place hold on Dynamic Simulations of Multibody Systems / Murilo G. Coutinho

Bioorganic Chemistry

By Dugas, Hermann. Unites States of America : Springer . XVII, 700 p. / 23cm , Incluye Índice 0-387-94494-x

Place hold on Bioorganic Chemistry

Pascal User Manual and Report / Kathleen Jensen.

By Jensen, Kathleen.. México : Springer-Verrlag. . 266 p. / 24 cm , Incluye ap‚ndice e índice. 0-387-97649-3

Place hold on Pascal User Manual and Report / Kathleen Jensen.

Pascal User Manual and Report / Kathleen Jensen

By Jensen, Kathleen. Estados Unidos de America: Springer-Verlag . xvi, 266 p / 23.5 cm , Incluye Apendice 0-387-96048-1

Place hold on Pascal User Manual and Report / Kathleen Jensen

Molecular modeling and simulation / Tamar Schlick

By Schlick, Tamar. USA ; Springer- verlag . xiii, 634 p. / 25 cm. O-387-95404-X

Place hold on Molecular modeling and simulation / Tamar Schlick

Mathematical Foundations of computer science 1993 / Andrzej M. Borzyszkowski, Stefan Sokolowski

By Borzyszkowski, Andrzej M.. New York, USA : Springer- Verlag . 781 p. / 24 cm 3-540-57182-5

Place hold on Mathematical Foundations of computer science 1993 / Andrzej M. Borzyszkowski, Stefan Sokolowski

Introduction to Mathematical Logic Set Theory computable functions model Theory / Jerome Malitz

By Malitz, Jerome. New York : Springer- Verlag . 198 p. / 24 cm. 0-387-90346-1

Place hold on Introduction to Mathematical Logic Set Theory computable functions model Theory / Jerome Malitz

Linear programming and its applications / James K. Strayer

By Strayer, James K.. New York, USA : Springer-Verlag . xi, 265 p. / 24 cm 0-387-96930-6

Place hold on Linear programming and its applications / James K. Strayer

Fundamentos de Sistemas Operacionales./ A. M.Lister

By Lister A. M.. Gran Bretaña: Springer-Verlag. . 191p./25cm. 0-387-91462-5

Place hold on Fundamentos de Sistemas Operacionales./ A. M.Lister

Classical Fourier Analysis / Loukas Grafakos

By Grafakos, Loukas. New York: Springer . xvi, 489 p. / 24 cm. , Incluye: Glosario 978-0-387-09432-8

Place hold on Classical Fourier Analysis / Loukas Grafakos

An Introduction to Laplace Transforms and Fourier Series / P.P. G. Dyke

By Dyke, P.P. G.. Londo; New York: Springer . xii, 250 p. / 24 cm. 1-85233-015-5

Place hold on An Introduction to Laplace Transforms and Fourier Series / P.P. G. Dyke

Food analysis / S. Suzanne Nielsen

By Nielsen, S. Suzanne. New York . Dordrecht : Springer . xiv, 602p. il. / 29cm. 978-14419-1477-4

Place hold on Food analysis / S. Suzanne Nielsen

Food chemistry

By Belitz, H.- D. (Hans Dieter). Berling: Springer . xliv, 1070 978-3540-69935-4

Place hold on Food chemistry

Public-Key Cryptography-PKC 2017: 20th IACR International Conference on Practice and theory in Public-Key Cryptography Amsterdam, The Netherlands, Merch 28-31, 2017 Proceedings, Part l /

By International Association for Cryptologic Research. Berlin: Springer 2017 . xlv, 466p. / 24 cm. 978-3-662-54364-1

Place hold on Public-Key Cryptography-PKC 2017:

Turbomachinery: Fundamentals, Selection and Preliminary Desing /

By Gambini, Marco. Cham: Springer, 2021 . 358 p. 24 cm.. 978-3-030-51301-6

Place hold on Turbomachinery: