„Concurrent Programming“

Suchergebnisse

241 Treffer

• Practical Concurrent Haskell – With Big Data Applications
  2017 Apress
• Nebenläufige Programmierung mit Java – Konzepte und Programmiermodelle für Multicore-Systeme
  Hettel, Jörg ; Tran, Manh Tien 2016 dpunkt.verlag
• Nebenläufige Programmierung mit Java – Konzepte und Programmiermodelle für Multicore-Systeme
  Hettel, Jörg ; Tran, Manh Tien 2016 dpunkt.verlag
• Formal Methods for Multicore Programming – 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
  Bernardo, Marco ; Johnsen, Einar Broch 2015 Springer International Publishing
• Object-Oriented Technology
  Alagić, Suad 2015 Springer International Publishing
• Multicore-Software – Grundlagen, Architektur und Implementierung in C/C++, Java und C#
  Gleim, Urs ; Schüle, Tobias 2012 dpunkt.verlag
• Multicore-software – Grundlagen, Architektur und Implementierung in C/C++, Java und C#
  Gleim, Urs ; Schüle, Tobias 2012 dpunkt-Verl.
• Central European Functional Programming School – 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers
  Zsók, Viktória ; Horváth, Zoltán ; Csató, Lehel 2015 Springer International Publishing
• Object-oriented concurrent constraint programming in Oz
  Smolka, Gert ; Henz, Martin ; Würtz, Jörg 2011 Saarländische Universitäts- und Landesbibliothek
• Object oriented concurrent constraint programming in oz
  Smolka, Gert ; Henz, Martin ; Würtz, Jörg 1993 DFKI
• Multicore-Software – Grundlagen, Architektur und Implementierung in C/C++, Java und C#
  Gleim, Urs ; Schüle, Tobias 2012 dpunkt.verlag
• Multicore-Software – Grundlagen, Architektur und Implementierung in C/C++, Java und C#
  Gleim, Urs ; Schüle, Tobias 2012 dpunkt.verlag
• Clojure – Grundlagen, Concurrent Programming, Java
  Kamphausen, Stefan ; Kaiser, Tim Oliver 2011 dpunkt.verlag
• Clojure – Grundlagen, Concurrent Programming, Java
  Kamphausen, Stefan ; Kaiser, Tim Oliver 2010 dpunkt-Verl.
• Formal Development of a Network-Centric RTOS – Software Engineering for Reliable Embedded Systems
  Verhulst, Eric ; Mezhuyev, Vitaliy ; Boute, Raymond T. ; Sputh, Bernhard H.C. ; Faria, José Miguel Sampaio 2011 Springer US
• A causal model and a declarative programming language for concurrent systems
  Bohlmann, Karsten 1996 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• Some comments on “concurrent readers and writers”
  Conradi, Reidar
• Refinement of actions for real-time concurrent systems with causal ambiguity
  Majster-Cederbaum, Mila ; Wu, Jinzhao ; Yue, Houguang
• Concurrent hypoxia and apoptosis imparts immune programming potential in mesenchymal stem cells: Lesson from acute graft-versus-host-disease model
  Mendiratta, Mohini ; Mendiratta, Meenakshi ; Ganguly, Shuvadeep ; Rai, Sandeep ; Gupta, Ritu ; Kumar, Lalit ; Bakhshi, Sameer ; Dadhwal, Vatsla ; Pushpam, Deepam ; Malik, Prabhat Singh ; Pramanik, Raja ; Aggarwal, Mukul ; Gupta, Aditya Kumar ; Dhawan, Rishi ; Seth, Tulika ; Mahapatra, Manoranjan ; Nayak, Baibaswata ; Singh, Thoudam Debraj ; Kumar, Sachin ; Mir, Riyaz Ahmed ; Kaur, Gurvinder ; GuruRao, Hariprasad ; Singh, Mayank ; Prasad, Chandra Prakash ; Prakash, Hridayesh ; Mohanty, Sujata ; Sahoo, Ranjit
• Concurrent bisimulations in Petri nets
  Best, Eike ; Devillers, Raymond ; Kiehn, Astrid ; Pomello, Lucia