461 Results for : concurrency

  • Thumbnail
    de Roever, Willem-Paul: Concurrency Verification
    Erscheinungsdatum: 10.08.2011, Medium: Buch, Einband: Gebunden, Titel: Concurrency Verification, Titelzusatz: Introduction to Compositional and Non-Compositional Methods, Autor: de Roever, Willem-Paul // de Boer, Frank // Hooman, Jozef, Verlag: Cambridge University Press, Sprache: Englisch, Schlagworte: COMPUTERS // Systems Architecture // Distributed Systems & Computing, Rubrik: Informatik, Seiten: 800, Informationen: HC gerader Rücken kaschiert, Gewicht: 1290 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 367.79 EUR excl. shipping
  • Thumbnail
    Transactions on Petri Nets and Other Models of Concurrency XIII
    Erscheinungsdatum: 29.11.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Transactions on Petri Nets and Other Models of Concurrency XIII, Auflage: 1. Auflage von 2018 // 1st ed. 2018, Redaktion: Koutny, Maciej // Kristensen, Lars Michael // Penczek, Wojciech, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Diskrete Mathematik // Elektrotechnik // Betriebssysteme // Algorithmen und Datenstrukturen // Data Mining // Informatik // Theoretische Informatik // Wissensbasierte Systeme // Expertensysteme, Rubrik: Informatik, Seiten: 232, Informationen: Paperback, Gewicht: 359 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 75.19 EUR excl. shipping
  • Thumbnail
    Transactions on Petri Nets and Other Models of Concurrency XIII
    Erscheinungsdatum: 29.11.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Transactions on Petri Nets and Other Models of Concurrency XIII, Auflage: 1. Auflage von 2018 // 1st ed. 2018, Redaktion: Koutny, Maciej // Kristensen, Lars Michael // Penczek, Wojciech, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Diskrete Mathematik // Elektrotechnik // Betriebssysteme // Algorithmen und Datenstrukturen // Data Mining // Informatik // Theoretische Informatik // Wissensbasierte Systeme // Expertensysteme, Rubrik: Informatik, Seiten: 232, Informationen: Paperback, Gewicht: 359 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 75.09 EUR excl. shipping
  • Thumbnail
    Fajstrup, Lisbeth: Directed Algebraic Topology and Concurrency
    Erscheinungsdatum: 11.03.2016, Medium: Buch, Einband: Gebunden, Titel: Directed Algebraic Topology and Concurrency, Auflage: 1. Auflage von 2016 // 1st ed. 2016, Autor: Fajstrup, Lisbeth // Goubault, Eric // Raussen, Martin // Mimram, Samuel // Haucourt, Emmanuel, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Komplex // Komplexität // Algebraische Topologie // Mathematische Modellierung // Mathematische und statistische Software // Informatik // Theoretische Informatik // Mathematik für Informatiker, Rubrik: Mathematik // Geometrie, Seiten: 180, Informationen: HC runder Rücken kaschiert, Gewicht: 442 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 104.59 EUR excl. shipping
  • Thumbnail
    Application and Theory of Petri Nets and Concurrency
    Erscheinungsdatum: 09.06.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Application and Theory of Petri Nets and Concurrency, Titelzusatz: 37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016. Proceedings, Auflage: 1. Auflage von 2016 // 1st ed. 2016, Redaktion: Kordon, Fabrice // Moldt, Daniel, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines // Computerprogrammierung und Softwareentwicklung, Rubrik: Informatik, Seiten: 364, Informationen: Paperback, Gewicht: 568 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 57.19 EUR excl. shipping
  • Thumbnail
    Application and Theory of Petri Nets and Concurrency
    Erscheinungsdatum: 08.05.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Application and Theory of Petri Nets and Concurrency, Titelzusatz: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings, Auflage: 2018, Redaktion: Khomenko, Victor // Roux, Olivier H., Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: Diskret // mathematisch // Mathematik // Algorithmus // EDV // Theorie // Software-Entw // Software Engineering // Informatik // Computer // Programmieren // Allgemeines // Datenverarbeitung // simulation // COMPUTERS // Programming // General // Rechnerarchitektur und Logik-Entwurf // Diskrete Mathematik // Algorithmen und Datenstrukturen // Computermodellierung und, Rubrik: Informatik, Seiten: 427, Abbildungen: 124 schwarz-weiße Abbildungen, Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 10877), Informationen: Book, Gewicht: 663 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 64.69 EUR excl. shipping
  • Thumbnail
    Chen:Program Analysis Techniques for Id
    Erscheinungsdatum: 15.11.2014, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Program Analysis Techniques for Identifying Concurrency Errors, Titelzusatz: An Integrated Static and Dynamic Program Analysis Framework for Checking Concurrency-Related Programming Errors, Autor: Chen, Qichang, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Programmiersprachen, Seiten: 164, Informationen: Paperback, Gewicht: 261 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 61.39 EUR excl. shipping
  • Thumbnail
    Hansen:Concurrency in Scala
    Erscheinungsdatum: 09.10.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Concurrency in Scala, Autor: Hansen, Marvin, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 320, Informationen: Paperback, Gewicht: 493 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 67.69 EUR excl. shipping
  • Thumbnail
    Abbass:Concurrency Control in Transacti
    Erscheinungsdatum: 04/2011, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Concurrency Control in Transactions Processing Systems, Titelzusatz: A Bit-Level Locking Technique, Autor: Abbass, Jad, Verlag: VDM Verlag, Sprache: Englisch, Rubrik: Informatik, Seiten: 68, Informationen: Paperback, Gewicht: 118 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 43.39 EUR excl. shipping
  • Thumbnail
    Geetha:Concurrency Control Techniques f
    Erscheinungsdatum: 23.10.2013, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Concurrency Control Techniques for Object Oriented Distributed Systems, Titelzusatz: Based on Object Semantics, Autor: Geetha, Vaithianathan // Sreenath, Niladuri, Verlag: SPS, Sprache: Englisch, Rubrik: Informatik // EDV, Sonstiges, Seiten: 192, Informationen: Paperback, Gewicht: 302 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 67.69 EUR excl. shipping

Similar searches: