19.448 Treffer
Medienart (8)
Lieferbarkeit (3)
Sprache (3)
Klassifikation (25)
Jahr
Verlag
Fachkatalog
Sortierung
Treffer pro Seite
Filter
19.448 Treffer

Ihre Suche nach Theoretische Informatik

  1. Abbildung von: Security of Industrial Control Systems and Cyber-Physical Systems - Springer
    Nora Cuppens-Boulahia | Costas Lambrinoudakis | Frédéric Cuppens
    Security of Industrial Control Systems and Cyber-Physical Systems
    Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers
    06/2017
    Springer
    9783319614373 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  2. Abbildung von: Business Process Management - Springer
    Josep Carmona | Gregor Engels | Akhil Kumar
    Business Process Management
    15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings
    09/2017
    Springer
    9783319650005 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  3. Abbildung von: Abstract State Machines, Alloy, B, TLA, VDM, and Z - Springer
    Michael Butler | Klaus-Dieter Schewe | Atif Mashkoor
    Abstract State Machines, Alloy, B, TLA, VDM, and Z
    5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
    05/2016
    Springer
    9783319336008 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  4. Abbildung von: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Springer
    Thierry Lecomte | Ralf Pinger | Alexander Romanovsky
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
    First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
    06/2016
    Springer
    9783319339511 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  5. Abbildung von: Multi-Agent Systems and Agreement Technologies - Springer
    Michael Rovatsos | George Vouros | Vicente Julian
    Multi-Agent Systems and Agreement Technologies
    13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers
    04/2016
    Springer
    9783319335094 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  6. Abbildung von: Image and Signal Processing - Springer
    Alamin Mansouri | Fathallah Nouboud | Alain Chalifour
    Image and Signal Processing
    7th International Conference, ICISP 2016, Trois-Rivières, QC, Canada, May 30 - June 1, 2016, Proceedings
    05/2016
    Springer
    9783319336183 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  7. Abbildung von: Integrated Formal Methods - Springer
    Erika Ábrahám | Marieke Huisman
    Integrated Formal Methods
    12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
    05/2016
    Springer
    9783319336930 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    85,59 €
    Als Download verfügbar
  8. Abbildung von: Seminal Contributions to Modelling and Simulation - Springer
    Khalid Al-Begain | Andrzej Bargiela
    Seminal Contributions to Modelling and Simulation
    30 Years of the European Council of Modelling and Simulation
    07/2016
    Springer
    9783319337869 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  9. Abbildung von: Conformal and Probabilistic Prediction with Applications - Springer
    Alexander Gammerman | Zhiyuan Luo | Jesús Vega
    Conformal and Probabilistic Prediction with Applications
    5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, Proceedings
    04/2016
    Springer
    9783319333953 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  10. Abbildung von: Mathematical Aspects of Computer and Information Sciences - Springer
    Ilias S. Kotsireas | Siegfried M. Rump | Chee K. Yap
    Mathematical Aspects of Computer and Information Sciences
    6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers
    04/2016
    Springer
    9783319328591 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  11. Abbildung von: Transactions on Computational Collective Intelligence XXIV - Springer
    Ngoc Thanh Nguyen | Ryszard Kowalczyk | Joaquim Filipe
    Transactions on Computational Collective Intelligence XXIV
    09/2016
    Springer
    9783662535257 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  12. Abbildung von: Hybrid Systems Biology - Springer
    Eugenio Cinquemani | Alexandre Donzé
    Hybrid Systems Biology
    5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings
    10/2016
    Springer
    9783319471518 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    42,79 €
    Als Download verfügbar
  13. Abbildung von: High Performance Computing in Science and Engineering ´16 - Springer
    Wolfgang E. Nagel | Dietmar H. Kröner | Michael M. Resch
    High Performance Computing in Science and Engineering ´16
    Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2016
    01/2017
    Springer
    9783319470665 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    149,79 €
    Als Download verfügbar
  14. Abbildung von: Search Based Software Engineering - Springer
    Federica Sarro | Kalyanmoy Deb
    Search Based Software Engineering
    8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings
    09/2016
    Springer
    9783319471068 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  15. Abbildung von: Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks - Springer
    Sotiris Nikoletseas | Yuanyuan Yang | Apostolos Georgiadis
    Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks
    11/2016
    Springer
    9783319468105 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    149,79 €
    Als Download verfügbar
  16. Abbildung von: Computer Vision and Graphics - Springer
    Leszek J. Chmielewski | Amitava Datta | Ryszard Kozera
    Computer Vision and Graphics
    International Conference, ICCVG 2016, Warsaw, Poland, September 19-21, 2016, Proceedings
    09/2016
    Springer
    9783319464183 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  17. Abbildung von: Automated Technology for Verification and Analysis - Springer
    Cyrille Artho | Axel Legay | Doron Peled
    Automated Technology for Verification and Analysis
    14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
    10/2016
    Springer
    9783319465203 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  18. Abbildung von: Computer Performance Engineering - Springer
    Dieter Fiems | Marco Paolieri | Agapios N. Platis
    Computer Performance Engineering
    13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
    09/2016
    Springer
    9783319464336 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  19. Abbildung von: Algorithmic Learning Theory - Springer
    Ronald Ortner | Hans Ulrich Simon | Sandra Zilles
    Algorithmic Learning Theory
    27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings
    10/2016
    Springer
    9783319463797 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  20. Abbildung von: Foundational and Practical Aspects of Resource Analysis - Springer
    Marko Van Eekelen | Ugo Dal Lago
    Foundational and Practical Aspects of Resource Analysis
    4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
    09/2016
    Springer
    9783319465593 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    53,49 €
    Als Download verfügbar
  2. 1
  3. …
  5. 123
  7. 125
  8. …
  9. 973