„Concurrent Programming“

Suchergebnisse

241 Treffer

• Runtime Verification – Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
  Khurshid, Sarfraz ; Sen, Koushik 2012 Springer Berlin Heidelberg
• Empirical Software Engineering and Verification – International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
  Meyer, Bertrand ; Nordio, Martin 2012 Springer Berlin Heidelberg
• Search Based Software Engineering – Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings
  Cohen, Myra B. ; O'Cinneide, Mel 2011 Springer Berlin Heidelberg
• Functional and Constraint Logic Programming – 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
  Mariño, Julio 2011 Springer Berlin Heidelberg
• Concurrent object oriented programming and Petri nets – advances in Petri nets
  Agha, Gul 2001 Springer
• pseuCo Book – An Interactive Learning Experience
  Freiberger, Felix 2022 Saarländische Universitäts- und Landesbibliothek
• Consistency, isolation, and irrevocability in software transactional memory – = Konsistenz, Isolation und Unwiderruflichkeit in Software Transactional Memory
  Bieniusa, Annette ; Thiemann, Peter 2011 Universität
• Seamless Concurrent Programming of Objects, Aspects and Events
  Van Ham, Jurgen Michael ; Mezini, Mira ; De Meuter, Wolfgang 2015 Universitäts- und Landesbibliothek Darmstadt
• Combining quantitative and qualitative reasoning in concurrent multi-player games
  Bulling, Nils ; Goranko, Valentin
• Correction to: An integrated specification and verification technique for highly concurrent data structures
  Abdulla, Parosh Aziz ; Haziza, Frédéric ; Holík, Lukáš ; Jonsson, Bengt ; Rezine, Ahmed
• Compartmentalized Connection Graphs for Concurrent Logic Programming II – Parallelism, Indexing and Unification
  Powers, David M. W. 2023 Saarländische Universitäts- und Landesbibliothek
• Compartmentalized Connection Graphs for Concurrent Logic Programming I – Compartmentalization, Transformation and Examples
  Powers, David M. W. 2023 Saarländische Universitäts- und Landesbibliothek
• Justifying the strong memory semantics of concurrent high-level programming languages for system programming
  Oberhauser, Jonas ; Paul, Wolfgang Jakob 2018 Saarländische Universitäts- und Landesbibliothek
• Concurrent and Real-time Programming – Principles and Applications
  Capel, Manuel I. 2026 Springer Nature Switzerland, Imprint: Springer
• Nonsequential and Distributed Programming with Go – Synchronization of Concurrent Processes: Communication - Cooperation - Competition
  Maurer, Christian 2021 Springer Fachmedien Wiesbaden
• Models, Languages, and Tools for Concurrent and Distributed Programming – Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
  2019 Springer International Publishing
• On the Send-Synchronizability Problem for Mailbox Communication
  Delpy, Romain ; Muscholl, Anca ; Sutre, Grégoire 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Concurrent Programming: Algorithms, Principles, and Foundations – Algorithms, Principles, and Foundations
  Raynal, Michel 2013 Springer Berlin Heidelberg
• Functional and Logic Programming – 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
  2014 Springer International Publishing
• Algorithms, Probability, Networks, and Games – Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday
  Zaroliagis, Christos ; Pantziou, Grammati ; Kontogiannis, Spyros C. 2015 Springer International Publishing