Ergebnisse filtern
Fachgebiet
Medium
  • 3355
Erscheinungsjahr
  • 62
  • 127
  • 47
  • 25
  • 36
  • 46
  • 58
  • 50
  • 67
  • 73
  • 68
  • 86
  • 55
  • 12
  • 39
  • 116
  • 134
  • 163
  • 103
  • 135
  • 200
  • 206
  • 176
  • 175
  • 121
  • 113
  • 95
  • 100
  • 95
  • 81
  • 72
  • 65
  • 50
  • 67
  • 37
  • 39
  • 29
  • 31
  • 20
  • 15
  • 11
  • 9
  • 11
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 4
  • 3
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 3
  • 4
  • 2
  • 7
  • 2
  • 2
  • 10
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 10
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 5
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 7
  • 4
  • 2
  • 3
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 9
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 12
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 31
  • 20
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 9
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 18
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 9
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 6
  • 6
  • 2
  • 2
  • 22
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 5
  • 5
  • 3
  • 3
  • 2
  • 11
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 12
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 6
  • 6
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 6
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 11
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 5
  • 4
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 5
  • 11
  • 3
  • 6
  • 3
  • 3
  • 11
  • 13
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 14
  • 3
  • 5
  • 4
  • 8
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 17
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 7
  • 7
  • 4
  • 5
  • 7
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 6
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 11
  • 8
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 9
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 5
  • 4
  • 3
  • 5
  • 4
  • 3
  • 7
  • 5
  • 6
  • 3
  • 3
  • 4
  • 6
  • 8
  • 4
  • 8
  • 9
  • 5
  • 3
  • 6
  • 6
  • 34
  • 3
  • 10
  • 3
  • 3
  • 3
  • 12
  • 9
  • 5
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 22
  • 3
  • 9
  • 3
  • 9
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 16
  • 3
  • 6
  • 4
  • 4
  • 6
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 8
  • 3
  • 19
  • 4
  • 11
  • 3
  • 3
  • 5
  • 4
  • 7
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 4
  • 15
  • 4
  • 9
  • 3
  • 9
  • 5
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 4
  • 4
Verlag
  • 358
  • 2312
  • 439
  • 1
  • 17
  • 165
  • 63
Preis
  • 12
  • 114
  • 2645
  • 584
Sprachen
  • 3355
  • 6
Verfügbarkeit
  • 3346
  • 9
Katalog
  • 3355
  • 223
3.355  Treffer  für „Lecture Notes in Computer Science“
    Kjeldskov / Sheng | Current Trends in Web Engineering | Buch | Sack Fachmedien

    Kjeldskov / Sheng Current Trends in Web Engineering

    ICWE 2013 International Workshops ComposableWeb, QWE, MDWE, DMSSW, EMotions, CSE, SSN, and PhD Symposium, Aalborg, Denmark, July 8-12, 2013. Revised Selected Papers
    2013
    Verlag: Springer International Publishing
    ISBN: 978-3-319-04243-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lau / Bruynooghe | Program Development in Computational Logic | Buch | Sack Fachmedien

    Lau / Bruynooghe Program Development in Computational Logic

    A Decade of Research Advances in Logic-Based Program Development
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22152-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Holz / Melnik | Advances in Learning Software Organizations | Buch | Sack Fachmedien

    Holz / Melnik Advances in Learning Software Organizations

    6th International Workshop, LSO 2004, Banff, Canada, June 20-21, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22192-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schiper / Zhao / Shvartsman | Future Directions in Distributed Computing | Buch | Sack Fachmedien

    Schiper / Zhao / Shvartsman Future Directions in Distributed Computing

    Research and Position Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00912-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Romanovsky / Tripathi / Dony | Advances in Exception Handling Techniques | Buch | Sack Fachmedien

    Romanovsky / Tripathi / Dony Advances in Exception Handling Techniques

    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41952-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jajodia / Dogac / Özsu | Advances in Multimedia Information Systems | Buch | Sack Fachmedien

    Jajodia / Dogac / Özsu Advances in Multimedia Information Systems

    4th International Workshop, MIS'98, Istanbul, Turkey September 24-26, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65107-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bono / Suzumura | New Frontiers in Artificial Intelligence | Buch | Sack Fachmedien

    Bono / Suzumura New Frontiers in Artificial Intelligence

    JSAI International Symposium on Artificial Intelligence, JSAI-isAI 2024, Hamamatsu, Japan, May 28¿29, 2024, Proceedings
    2024
    Verlag: Springer Nature Singapore
    ISBN: 978-981-97-3075-9
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Priami | Computational Methods in Systems Biology | Buch | Sack Fachmedien

    Priami Computational Methods in Systems Biology

    First International Workshop, CMSB 2003, Roverto, Italy, February 24¿26, 2003
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00605-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sycara / Chang | Advances in Web Semantics I | Buch | Sack Fachmedien

    Sycara / Chang Advances in Web Semantics I

    Ontologies, Web Services and Applied Semantic Web
    2009
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-89783-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mira / Prieto / Cabestany | New Trends in Neural Computation | Buch | Sack Fachmedien

    Mira / Prieto / Cabestany New Trends in Neural Computation

    International Workshop on Artificial Neural Networks, IWANN'93, Sitges, Spain, June 9-11, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56798-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gibbons / Rao / Abdelzaher | Distributed Computing in Sensor Systems | Buch | Sack Fachmedien

    Gibbons / Rao / Abdelzaher Distributed Computing in Sensor Systems

    Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-35227-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pautasso / Murillo Rodríguez / Sánchez-Figueroa | Current Trends in Web Engineering | Buch | Sack Fachmedien

    Pautasso / Murillo Rodríguez / Sánchez-Figueroa Current Trends in Web Engineering

    ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-03055-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schek / Alonso / Saltor | Advances in Database Technology - EDBT '98 | Buch | Sack Fachmedien

    Schek / Alonso / Saltor Advances in Database Technology - EDBT '98

    6th International Conference on Extending Database Technology, Valencia, Spain, March 23-27, 1998.
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64264-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reggio / Astesiano | Recent Trends in Data Type Specification | Buch | Sack Fachmedien

    Reggio / Astesiano Recent Trends in Data Type Specification

    10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59132-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertot / Dowek / Thery | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Bertot / Dowek / Thery Theorem Proving in Higher Order Logics

    12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66463-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Fiadeiro Recent Trends in Algebraic Development Techniques

    13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66246-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait Mohamed / Tahar / Munoz | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Ait Mohamed / Tahar / Munoz Theorem Proving in Higher Order Logics

    21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71065-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biletskiy / Paschke | Advances in Rule Interchange and Applications | Buch | Sack Fachmedien

    Biletskiy / Paschke Advances in Rule Interchange and Applications

    International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75974-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kwok / Lu / Zhang | Advances in Neural Networks -- ISNN 2010 | Buch | Sack Fachmedien

    Kwok / Lu / Zhang Advances in Neural Networks -- ISNN 2010

    7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part II
    2010
    Verlag: Springer
    ISBN: 978-3-642-13317-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Omicini / Zambonelli / Tolksdorf | Engineering Societies in the Agents World | Buch | Sack Fachmedien

    Omicini / Zambonelli / Tolksdorf Engineering Societies in the Agents World

    First International Workshop, ESAW 2000, Berlin, Germany, August 21, 2000. Revised Papers
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41477-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abe | Topics in Cryptology ¿ CT-RSA 2007 | Buch | Sack Fachmedien

    Abe Topics in Cryptology ¿ CT-RSA 2007

    The Cryptographers' Track at the RSA Conference 2007, San Fancisco, CA, USA, February 5-9, 2007, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69327-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Chen / Ong | Advances in Natural Computation Part 03 | Buch | Sack Fachmedien

    Wang / Chen / Ong Advances in Natural Computation Part 03

    First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III
    2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-28320-1
    Medium: Buch
    123,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melham / Hurd | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Melham / Hurd Theorem Proving in Higher Order Logics

    18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28372-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Satoh / Sadri | Computational Logic in Multi-Agent Systems | Buch | Sack Fachmedien

    Satoh / Sadri Computational Logic in Multi-Agent Systems

    8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-88832-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vento / Carletti / Foggia | Graph-Based Representations in Pattern Recognition | Buch | Sack Fachmedien

    Vento / Carletti / Foggia Graph-Based Representations in Pattern Recognition

    13th IAPR-TC-15 International Workshop, GbRPR 2023, Vietri sul Mare, Italy, September 6¿8, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-42794-7
    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