Search Results - "Texts and monographs in computer science"

Refine Results
  1. 1
    Wirth, N., Programming in Modula-2. Berlin etc., Springer-Verlag 1985. 3rd corr. ed., IV, 202 pp., 4 figs., DM 49,50. ISBN 3-540-15078-1 (Texts and Monographs in Computer Science)

    Wirth, N., Programming in Modula-2. Berlin etc., Springer-Verlag 1985. 3rd corr. ed., IV, 202 pp., 4 figs., DM 49,50. ISBN 3-540-15078-1 (Texts and Monographs in Computer Science) by Grund, F.

    Get full text
    Review
    Save to List
    Saved in:
  2. 2
    Gries, D., The Science of Programming. Texts and Monographs in Computer Science. Berlin-Heidelberg-New York, Springer-Verlag 1981. XIII, 366 S., DM 54,-. US $ 25.20. ISBN 3-540-90641-X

    Gries, D., The Science of Programming. Texts and Monographs in Computer Science. Berlin-Heidelberg-New York, Springer-Verlag 1981. XIII, 366 S., DM 54,-. US $ 25.20. ISBN 3-540-90641-X by Issel, W.

    Get full text
    Review
    Save to List
    Saved in:
  3. 3
    Sampson, J. R., Adaptive Information Processing. An Introductory Survey. Berlin-Heidelberg-New York. Springer-Verlag. 1976. X, 214 S., 83 Abb., DM 36,50. US $ 14.80 (Reihe: Texts and Monographs in Computer Science)

    Sampson, J. R., Adaptive Information Processing. An Introductory Survey. Berlin-Heidelberg-New York. Springer-Verlag. 1976. X, 214 S., 83 Abb., DM 36,50. US $ 14.80 (Reihe: Texts and Monographs in Computer Science) by Völz, H.

    Get full text
    Review
    Save to List
    Saved in:
  4. 4
    Arbib, M. A. / Kfoury, A. J. / Moll, R. N., A Basis for Theoretical Computer Science. Texts and Monographs in Computer Science. Berlin-Heidelberg-New York, Springer-Verlag 1981. VIII, 220 S., 49 Abb., DM 42,50. US $ 19.80. ISBN 3-540-90573-1

    Arbib, M. A. / Kfoury, A. J. / Moll, R. N., A Basis for Theoretical Computer Science. Texts and Monographs in Computer Science. Berlin-Heidelberg-New York, Springer-Verlag 1981. VIII, 220 S., 49 Abb., DM 42,50. US $ 19.80. ISBN 3-540-90573-1 by Grund, F.

    Get full text
    Review
    Save to List
    Saved in:
  5. 5
    Anil Nerode and Richard A. Shore. Logic for applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xvii + 365 pp

    Anil Nerode and Richard A. Shore. Logic for applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xvii + 365 pp by Bacchus, Fahiem

    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Ming Li and Paul Vitányi. An introduction to Kolmogorov complexity and its applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xx + 546 pp

    Ming Li and Paul Vitányi. An introduction to Kolmogorov complexity and its applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xx + 546 pp by Uspensky, V. A., Shen, A.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Melvin Fitting. First-order logic and automated theorem proving. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, etc., 1990, xv + 242 pp

    Melvin Fitting. First-order logic and automated theorem proving. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, etc., 1990, xv + 242 pp by Ferro, Alfredo

    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Edsger W. Dijkstra and Carel S. Scholten. Predicate calculus and program semantics. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1990, xi + 220 pp

    Edsger W. Dijkstra and Carel S. Scholten. Predicate calculus and program semantics. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1990, xi + 220 pp by Börger, Egon

    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    The Origins of Digital Computers: Texts and Monographs in Computer Science ed. by Brian Randell, Computer Graphics: 118 Computer-Generated Designs by Melvin L. Prueitt (review)

    The Origins of Digital Computers: Texts and Monographs in Computer Science ed. by Brian Randell, Computer Graphics: 118 Computer-Generated Designs by Melvin L. Prueitt (review) by Stiny, George

    Published in Leonardo (Oxford)
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    The Origins of Digital Computers: Texts and Monographs in Computer Science

    The Origins of Digital Computers: Texts and Monographs in Computer Science by Stiny, George

    Published in Leonardo (Oxford)
    Get full text
    Review
    Save to List
    Saved in:
  11. 11
    Error-free polynomial matrix computations Texts and Monographs in Computer Science

    Error-free polynomial matrix computations Texts and Monographs in Computer Science by Georgescu, Adelina

    Get full text
    Review
    Save to List
    Saved in:
  12. 12
    A Programming approach to computability, Texts and Monographs in Computer Science

    A Programming approach to computability, Texts and Monographs in Computer Science by Ionescu, Bueur B.

    Get full text
    Review
    Save to List
    Saved in:
  13. 13
    Computational Geometry France Preparata, Text and Monographs in Computer Science

    Computational Geometry France Preparata, Text and Monographs in Computer Science by Stanciu, Marina

    Get full text
    Review
    Save to List
    Saved in:
  14. 14
    INPUT/OUTPUT AUTÓMATAS COMO LENGUAJE DE DEFINICIÓN DE ARQUITECTURAS

    INPUT/OUTPUT AUTÓMATAS COMO LENGUAJE DE DEFINICIÓN DE ARQUITECTURAS by Bastarrica, María Cecilia, Gómez, David, Wilckens, Cristian

    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Arrhythmia classification of LSTM autoencoder based on time series anomaly detection

    Arrhythmia classification of LSTM autoencoder based on time series anomaly detection by Liu, Pengfei, Sun, Xiaoming, Han, Yang, He, Zhishuai, Zhang, Weifeng, Wu, Chenxu

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Non-terminating processes in the situation calculus

    Non-terminating processes in the situation calculus by De Giacomo, Giuseppe, Ternovska, Eugenia, Reiter, Ray

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  17. 17
    Characterizing scale-dependent community assembly using the functional-diversity-area relationship

    Characterizing scale-dependent community assembly using the functional-diversity-area relationship by Smith, Adam B, Sandel, Brody, Kraft, Nathan J. B, Carey, Susan

    Published in Ecology (Durham)
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    Automated Reasoning with Restricted Intensional Sets

    Automated Reasoning with Restricted Intensional Sets by Cristiá, Maximiliano, Rossi, Gianfranco

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Fast, Nondestructive and Precise Biomass Measurements Are Possible Using Lidar-Based Convex Hull and Voxelization Algorithms

    Fast, Nondestructive and Precise Biomass Measurements Are Possible Using Lidar-Based Convex Hull and Voxelization Algorithms by Siebers, Matthew H., Fu, Peng, Blakely, Bethany J., Long, Stephen P., Bernacchi, Carl J., McGrath, Justin M.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  20. 20
    An Automatically Verified Prototype of the Tokeneer ID Station Specification

    An Automatically Verified Prototype of the Tokeneer ID Station Specification by Cristiá, Maximiliano, Rossi, Gianfranco

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: