Ergebnisse filtern
Fachgebiet
Medium
  • 80
Erscheinungsjahr
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 4
  • 4
  • 3
  • 2
  • 5
  • 8
  • 7
  • 2
  • 1
  • 2
  • 6
  • 14
  • 3
  • 1
  • 1
  • 1
Autoren
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 80
Preis
  • 1
  • 3
  • 61
  • 15
Sprachen
  • 80
Verfügbarkeit
  • 80
Katalog
  • 80
  • 6

Computeranwendungen in der Mathematik

80  Treffer  für „Lecture Notes in Computer Science“
    Myers / O'Donnell | Constructivity in Computer Science | Buch | Sack Fachmedien

    Myers / O'Donnell Constructivity in Computer Science

    Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55631-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Kleine Büning / Richter | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Kleine Büning / Richter Computer Science Logic

    4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54487-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    D'Amore / Franciosa / Marchetti-Spaccamela | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    D'Amore / Franciosa / Marchetti-Spaccamela Graph-Theoretic Concepts in Computer Science

    22nd International Workshop, WG '96, Cadenabbia, Italy, June 12-14, 1996, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62559-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Kreowski / Rozenberg | Graph Grammars and Their Application to Computer Science | Buch | Sack Fachmedien

    Ehrig / Kreowski / Rozenberg Graph Grammars and Their Application to Computer Science

    4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54478-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rabe / Farmer / Passmore | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Rabe / Farmer / Passmore Intelligent Computer Mathematics

    11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-96811-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benzmüller / Miller | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Benzmüller / Miller Intelligent Computer Mathematics

    13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-53517-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herman | The Use of Projective Geometry in Computer Graphics | Buch | Sack Fachmedien

    Herman The Use of Projective Geometry in Computer Graphics

    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55075-4
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miguet / Montanvert / Ubeda | Discrete Geometry for Computer Imagery | Buch | Sack Fachmedien

    Miguet / Montanvert / Ubeda Discrete Geometry for Computer Imagery

    6th International Workshop, DGCI'96, Lyon, France, November 13 - 15, 1996, Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-62005-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Egenhofer / Mark | Geographic Information Science | Buch | Sack Fachmedien

    Egenhofer / Mark Geographic Information Science

    Second International Conference, GIScience 2002, Boulder, CO, USA, September 25-28, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44253-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielsen / Barbaresco | Geometric Science of Information | Buch | Sack Fachmedien

    Nielsen / Barbaresco Geometric Science of Information

    First International Conference, GSI 2013, Paris, France, August 28-30, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40019-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hirschfeld | Financial Cryptography | Buch | Sack Fachmedien

    Hirschfeld Financial Cryptography

    First International Conference, FC '97, Anguilla, British West Indies, February 24-28, 1997. Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63594-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wasniewski / Dongarra / Madsen | Applied Parallel Computing. Industrial Computation and Optimization | Buch | Sack Fachmedien

    Wasniewski / Dongarra / Madsen Applied Parallel Computing. Industrial Computation and Optimization

    Third International Workshop, PARA '96, Lyngby, Denmark, August 18-21, 1996, Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-62095-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hirschfeld | Financial Cryptography | Buch | Sack Fachmedien

    Hirschfeld Financial Cryptography

    Second International Conference, FC'98, Anguilla, British West Indies, February 23-25, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64951-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Balas / Clausen | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Balas / Clausen Integer Programming and Combinatorial Optimization

    4th International IPCO Conference, Copenhagen, Denmark, May 29 - 31, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59408-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Main / Melton / Mislove | Mathematical Foundations of Programming Semantics | Buch | Sack Fachmedien

    Main / Melton / Mislove Mathematical Foundations of Programming Semantics

    5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-0-387-97375-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bliek / Jermann / Neumaier | Global Optimization and Constraint Satisfaction | Buch | Sack Fachmedien

    Bliek / Jermann / Neumaier Global Optimization and Constraint Satisfaction

    First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20463-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ida / Fleuriot | Automated Deduction in Geometry | Buch | Sack Fachmedien

    Ida / Fleuriot Automated Deduction in Geometry

    9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40671-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouchon-Meunier / Yager / Zadeh | Uncertainty in Knowledge Bases | Buch | Sack Fachmedien

    Bouchon-Meunier / Yager / Zadeh Uncertainty in Knowledge Bases

    3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU'90, Paris, France, July 2 - 6, 1990. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54346-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg | Advances in Petri Nets 1991 | Buch | Sack Fachmedien

    Rozenberg Advances in Petri Nets 1991

    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54398-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krawczyk | Advances in Cryptology - CRYPTO '98 | Buch | Sack Fachmedien

    Krawczyk Advances in Cryptology - CRYPTO '98

    18th Annual International Cryptology Conference, Santa Barbara, California, USA, August 23-27, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64892-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seberry / Pieprzyk | Advances in Cryptology - AUSCRYPT '90 | Buch | Sack Fachmedien

    Seberry / Pieprzyk Advances in Cryptology - AUSCRYPT '90

    International Conference on Cryptology Sydney, Australia, January 8-11, 1990
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-53000-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaliski | Advances in Cryptology - CRYPTO '97 | Buch | Sack Fachmedien

    Kaliski Advances in Cryptology - CRYPTO '97

    17th Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63384-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matsui | Advances in Cryptology - ASIACRYPT 2009 | Buch | Sack Fachmedien

    Matsui Advances in Cryptology - ASIACRYPT 2009

    15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10365-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nyberg | Advances in Cryptology - EUROCRYPT '98 | Buch | Sack Fachmedien

    Nyberg Advances in Cryptology - EUROCRYPT '98

    International Conference on the Theory and Application of Cryptographic Techniques, Espoo, Finland, May 31 - June 4, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64518-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mora | Applied Algebra, Algebraic Algorithms and Error-Correcting Codes | Buch | Sack Fachmedien

    Mora Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1988. Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51083-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertot / Dowek / Hirschowitz | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Bertot / Dowek / Hirschowitz Theorem Proving in Higher Order Logics

    12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66463-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bilardi / Ferreira / Lüling | Solving Irregularly Structured Problems in Parallel | Buch | Sack Fachmedien

    Bilardi / Ferreira / Lüling Solving Irregularly Structured Problems in Parallel

    4th International Symposium, IRREGULAR '97, Paderborn, Germany, June 12-13, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63138-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ishikawa / Oldehoeft / Reynders | Scientific Computing in Object-Oriented Parallel Environments | Buch | Sack Fachmedien

    Ishikawa / Oldehoeft / Reynders Scientific Computing in Object-Oriented Parallel Environments

    First International Conference, ISCOPE '97, Marina del Rey, California, December 8-11, 1997. Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63827-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Childs / Scott / Daniel | Codes for Boundary-Value Problems in Ordinary Differential Equations | Buch | Sack Fachmedien

    Childs / Scott / Daniel Codes for Boundary-Value Problems in Ordinary Differential Equations

    Proceedings of a Working Conference, May 14-17, 1978
    1. Auflage 1979
    Verlag: Springer
    ISBN: 978-3-540-09554-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vytopil | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems

    Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-55092-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahn | Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space | Buch | Sack Fachmedien

    Ahn Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23966-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dongarra / Madsen / Wasniewski | Applied Parallel Computing | Buch | Sack Fachmedien

    Dongarra / Madsen / Wasniewski Applied Parallel Computing

    State of the Art in Scientific Computing
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-29067-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bergstra / Feijs | Algebraic Methods II: Theory, Tools and Applications | Buch | Sack Fachmedien

    Bergstra / Feijs Algebraic Methods II: Theory, Tools and Applications

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-53912-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abramsky / Maibaum | TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 | Buch | Sack Fachmedien

    Abramsky / Maibaum TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

    Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91)
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-53982-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lodi / Panconesi / Rinaldi | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Lodi / Panconesi / Rinaldi Integer Programming and Combinatorial Optimization

    13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68886-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abramsky / Maibaum | TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 | Buch | Sack Fachmedien

    Abramsky / Maibaum TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991

    Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD)
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-53981-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kagström / Elmroth / Dongarra | Applied Parallel Computing | Buch | Sack Fachmedien

    Kagström / Elmroth / Dongarra Applied Parallel Computing

    State of the Art in Scientific Computing. 8th International Workshop, PARA 2006, Umea, Sweden, June 18-21, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75754-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Monien / Ottmann | Data Structures and Efficient Algorithms | Buch | Sack Fachmedien

    Monien / Ottmann Data Structures and Efficient Algorithms

    Final Report on the DFG Special Joint Initiative
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55488-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akiyama / Kano | Discrete and Computational Geometry | Buch | Sack Fachmedien

    Akiyama / Kano Discrete and Computational Geometry

    Japanese Conference, JCDCG 2002, Tokyo, Japan, December 6-9, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20776-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mora / Mattson | Applied Algebra, Algebraic Algorithms and Error-Correcting Codes | Buch | Sack Fachmedien

    Mora / Mattson Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    12th International Symposium, AAECC-12, Toulouse, France, June, 23-27, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63163-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diaz / Serna | Algorithms - ESA '96 | Buch | Sack Fachmedien

    Diaz / Serna Algorithms - ESA '96

    Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61680-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sakata | Applied Algebra, Algebraic Algorithms and Error-Correcting Codes | Buch | Sack Fachmedien

    Sakata Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    8th International Conference, AAECC-8, Tokyo, Japan, August 20-24, 1990. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54195-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barendregt / Nipkow | Types for Proofs and Programs | Buch | Sack Fachmedien

    Barendregt / Nipkow Types for Proofs and Programs

    International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58085-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chwa / Ibarra | Algorithms and Computation | Buch | Sack Fachmedien

    Chwa / Ibarra Algorithms and Computation

    9th International Symposium, ISAAC'98, Taejon, Korea, December 14-16, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65385-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Held | On the Computational Geometry of Pocket Machining | Buch | Sack Fachmedien

    Held On the Computational Geometry of Pocket Machining

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54103-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lin / Manocha | Applied Computational Geometry. Towards Geometric Engineering | Buch | Sack Fachmedien

    Lin / Manocha Applied Computational Geometry. Towards Geometric Engineering

    FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27 - 28, 1996, Selected Papers
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61785-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwefel / Männer | Parallel Problem Solving from Nature | Buch | Sack Fachmedien

    Schwefel / Männer Parallel Problem Solving from Nature

    1st Workshop, PPSN I Dortmund, FRG, October 1-3, 1990. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54148-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klein / Gamboa | Interactive Theorem Proving | Buch | Sack Fachmedien

    Klein / Gamboa Interactive Theorem Proving

    5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08969-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asperti / Buchberger / Davenport | Mathematical Knowledge Management | Buch | Sack Fachmedien

    Asperti / Buchberger / Davenport Mathematical Knowledge Management

    Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00568-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koymans | Specifying Message Passing and Time-Critical Systems with Temporal Logic | Buch | Sack Fachmedien

    Koymans Specifying Message Passing and Time-Critical Systems with Temporal Logic

    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-56283-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pettersson / Yi | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Pettersson / Yi Formal Modeling and Analysis of Timed Systems

    Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30946-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kagström / Dongarra / Elmroth | Applied Parallel Computing. Large Scale Scientific and Industrial Problems | Buch | Sack Fachmedien

    Kagström / Dongarra / Elmroth Applied Parallel Computing. Large Scale Scientific and Industrial Problems

    4th International Workshop, PARA'98, Umea, Sweden, June 14-17, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-65414-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alagar / Nivat | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Alagar / Nivat Algebraic Methodology and Software Technology

    4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60043-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cleaveland | CONCUR '92 | Buch | Sack Fachmedien

    Cleaveland CONCUR '92

    Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55822-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ribeiro / Martins | Experimental and Efficient Algorithms | Buch | Sack Fachmedien

    Ribeiro / Martins Experimental and Efficient Algorithms

    Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22067-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eisenbrand / Shepherd | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Eisenbrand / Shepherd Integer Programming and Combinatorial Optimization

    14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13035-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raskin / Thiagarajan | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Raskin / Thiagarajan Formal Modeling and Analysis of Timed Systems

    5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75453-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Book | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Book Rewriting Techniques and Applications

    4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-53904-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kojima / Megiddo / Noma | A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems | Buch | Sack Fachmedien

    Kojima / Megiddo / Noma A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54509-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rothlauf / Smith / Branke | Applications of Evolutionary Computing | Buch | Sack Fachmedien

    Rothlauf / Smith / Branke Applications of Evolutionary Computing

    Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25396-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hirschberg / Meyers | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Hirschberg / Meyers Combinatorial Pattern Matching

    7th Annual Symposium, CPM '96, Laguna Beach, California, June 10-12, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61258-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Márquez / Ramos / Urrutia | Computational Geometry | Buch | Sack Fachmedien

    Márquez / Ramos / Urrutia Computational Geometry

    XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcalá de Henares, Spain, June 27-30, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34190-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chapman / Zheng / Gao | A Practical Programming Model for the Multi-Core Era | Buch | Sack Fachmedien

    Chapman / Zheng / Gao A Practical Programming Model for the Multi-Core Era

    International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69302-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten / Mauw | CONCUR'99. Concurrency Theory | Buch | Sack Fachmedien

    Baeten / Mauw CONCUR'99. Concurrency Theory

    10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66425-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nurmi / Ukkonen | Algorithm Theory - SWAT '92 | Buch | Sack Fachmedien

    Nurmi / Ukkonen Algorithm Theory - SWAT '92

    Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55706-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asano / Igarashi / Nagamochi | Algorithms and Computation | Buch | Sack Fachmedien

    Asano / Igarashi / Nagamochi Algorithms and Computation

    7th International Symposium, ISAAC '96, Osaka, Japan, December 16 - 18, 1996, Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-62048-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pan | How to Multiply Matrices Faster | Buch | Sack Fachmedien

    Pan How to Multiply Matrices Faster

    1. Auflage 1984
    Verlag: Springer
    ISBN: 978-3-540-13866-2
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lengauer | Algorithms - ESA '93 | Buch | Sack Fachmedien

    Lengauer Algorithms - ESA '93

    First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57273-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bird / Morgan / Woodcock | Mathematics of Program Construction | Buch | Sack Fachmedien

    Bird / Morgan / Woodcock Mathematics of Program Construction

    Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56625-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Michalewicz | Statistical and Scientific Database Management | Buch | Sack Fachmedien

    Michalewicz Statistical and Scientific Database Management

    Fifth International Conference, V SSDBM, Charlotte, N.C., USA, April 3-5, 1990, Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52342-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Dongarra / Paprzycki | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Dongarra / Paprzycki Parallel Processing and Applied Mathematics

    5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21946-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bidoit / Kreowski / Lescanne | Algebraic System Specification and Development | Buch | Sack Fachmedien

    Bidoit / Kreowski / Lescanne Algebraic System Specification and Development

    A Survey and Annotated Bibliography
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54060-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Daemen / Rijmen | Fast Software Encryption | Buch | Sack Fachmedien

    Daemen / Rijmen Fast Software Encryption

    9th International Workshop, FSE 2002, Leuven, Belgium, February 4-6, 2002. Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44009-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Dongarra / Karczewski | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics

    7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68105-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Darnell | Cryptography and Coding | Buch | Sack Fachmedien

    Darnell Cryptography and Coding

    6th IMA International Conference, Cirencester, UK, December 17-19, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63927-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferreira / Rolim / Saad | Parallel Algorithms for Irregularly Structured Problems | Buch | Sack Fachmedien

    Ferreira / Rolim / Saad Parallel Algorithms for Irregularly Structured Problems

    Third International Workshop, IRREGULAR '96, Santa Barbara, CA, USA, August 19 - 21, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61549-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bongiovanni / Bovet / Di Battista | Algorithms and Complexity | Buch | Sack Fachmedien

    Bongiovanni / Bovet / Di Battista Algorithms and Complexity

    Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62592-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Niebert | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Larsen / Niebert Formal Modeling and Analysis of Timed Systems

    First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21671-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansen / Margraf / Mastrolilli | Experimental and Efficient Algorithms | Buch | Sack Fachmedien

    Jansen / Margraf / Mastrolilli Experimental and Efficient Algorithms

    Second International Workshop, WEA 2003, Ascona, Switzerland, May 26-28, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40205-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bose / Morin | Algorithms and Computation | Buch | Sack Fachmedien

    Bose / Morin Algorithms and Computation

    13th International Symposium, ISAAC 2002 Vancouver, BC, Canada, November 21-23, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00142-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular