Wird aktualisiert...
Unten findet man Ihre Wettbewerber – zeigen auch Sie sich zu notes theor!
Hier klicken für Ihr Exposé |
Olga Kushnarenko
1998; 1 : Olga Kushnarenko, Sophie Pinchinat: Intensional Approaches for Symbolic Methods. Electr. Notes Theor. Comput. Sci. 18: 1 …, Notes Theor
Adriana Balan
Adriana Balan, Alexander Kurz: On Coalgebras over Algebras. Electr. Notes Theor. Comput. Sci. 264(2): 47-62 (2010). Coauthor Index · 1 · Alexander Kurz, …
Boris Boesler
2002; 1 : Sabine Glesner, Rubino Geiß, Boris Boesler: Verified Code Generation for Embedded Systems. Electr. Notes Theor. Comput. Sci. 65 (2): (2002), Notes Theor
Nicolas Rachinsky
2006; 1 : Markus Jehle, Jan Johannsen, Martin Lange, Nicolas Rachinsky: Bounded Model Checking for All Regular Properties. Electr. Notes Theor. Comput., Notes Theor
Carmen Torrano
Clara Segura and Carmen Torrano Electr. Notes Theor. Comput. Sci.(2007). to dblp by dblp on Jun 1, 2007, 12:00 AM. URL | BibTeX | spam ..., Notes Theor
Maike Gajewsky
2001; 1 : Juliane Dehnert, Maike Gajewsky, Sabine Lembke, Herbert Weber: The Petri Net Baukasten - Second Installment. Electr. Notes Theor. Comput., Notes Theor
Samir Ammour
Samir Ammour, Philippe Desfray: A Concern-based Technique for Architecture Modelling Using the UML Package Merge. Electr. Notes Theor. Comput. Sci. ..., Notes Theor
Florian Lauck
%0 Journal Article %1 journals/entcs/HuLS06 %A Bo Hu %A Florian Lauck %A Jan Scheffczyk %D 2006 %J Electr. Notes Theor. Comput. Sci. ..., Notes Theor
Klaus Keimel
Regina Tix, Klaus Keimel, …n D. Plotkin: Semantic Domains for Combining Probability and Non-Determinism. Electr. Notes Theor. Comput. Sci. 129: 1-104 (2005)
Regina Tix
2005; 4: EE: Regina Tix, Klaus Keimel, …n D. Plotkin: Semantic Domains for Combining Probability and Non-Determinism. Electr. Notes Theor. Comput., Notes Theor
Michele Miraglia
2008; 2 : Alessandro Basso, Michele Miraglia: Avoiding Massive Automated Voting in Internet Polls. Electr. Notes Theor. Comput. Sci. 197 (2): 149-157 (2008)
Christof Efkemann
Christof Efkemann, Tobias Hartmann: Specification of Conditions for Error Diagnostics. Electr. Notes Theor. Comput. Sci. 217: 97-112 (2008), Notes Theor
Tanja Grubba
Notes Theor. Comput. Sci. 202: 237-254 (2008) 2007; 1 : Yatao Xu, Tanja Grubba: Com…bility on Subsets of Locally Compact Spaces. TAMC 2007: 100-114, Notes Theor
Zaharina Velikova
Carsten Rudolph, Nicolai Kuntze, Zaharina Velikova: Secure Web Service Workflow Execution. Electr. Notes Theor. Comput. Sci. 236: 33-46 (2009), Notes Theor
Jochen Kreimer
2005; 3 : Jochen Kreimer: Adaptive Detection of Design Flaws. Electr. Notes Theor. Comput. Sci. 141(4): 117-136 (2005) 2 : Jochen Kreimer: Adaptive Erkennung …
Nach Beruf: ABCDEFGHIJKLMNOPQRSTUVWXYZ Nach Firma: ABCDEFGHIJKLMNOPQRSTUVWXYZ