Sortiert nach
Logical methods in computer science, 2018-09, Vol.14, Issue 3
2018
Link zum Volltext
Electronic proceedings in theoretical computer science, 2016-06, Vol.211 (Proc. PLACES 2016), p.25-36
2016
Link zum Volltext
Models, Mindsets, Meta: The What, the How, and the Why Not?, p.68-86
Link zum Volltext
Service oriented computing and applications, 2015-09, Vol.9 (3-4), p.249-268
2015
Link zum Volltext
Science of computer programming, 2011-11, Vol.76 (11), p.992-1014
2011
Link zum Volltext
Journal of logical and algebraic methods in programming, 2017-08, Vol.90, p.31-49
2017
Link zum Volltext
Theoretical computer science, 2008-05, Vol.398 (1), p.95-113
2008
Link zum Volltext
Science of computer programming, 2009-03, Vol.74 (5), p.261-278
2009
Link zum Volltext
Mathematical structures in computer science, 2013-12, Vol.23 (6), p.1163-1219
2013
Link zum Volltext
Theoretical computer science, 2008, Vol.398 (1-3), p.95-113
2008
Link zum Volltext
Software, practice & experience, 2006-05, Vol.36 (6), p.581-613
2006
Link zum Volltext
Electronic proceedings in theoretical computer science, 2011-01, Vol.45
2011
Link zum Volltext
Fundamentals of Software Engineering, p.455-462
Link zum Volltext
Theoretical computer science, 2000-06, Vol.240 (1), p.215-254
2000
Link zum Volltext
Journal of logic and computation, 1994-04, Vol.4 (2), p.109-124
1994
Link zum Volltext
YACC: Yet Another Church Calculus: A Birthday Present for Herman Inspired by His Supervisor Activity
2024
Link zum Volltext
Acta informatica, 2005-11, Vol.42 (2-3), p.143-190
2005
Link zum Volltext
Acta informatica, 2005, Vol.42 (2-3), p.143-190
2005
Link zum Volltext
2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 2014, p.688-696
2014
- Link zum Volltext
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, 2011, p.111-120
2011
Link zum Volltext
Coordination Models and Languages, 2004, p.20-37
2004
Link zum Volltext
Coordination Models and Languages, 2002, p.56-71
2002
Link zum Volltext
Notre Dame journal of formal logic, 1997-04, Vol.38 (2), p.246-269
1997
Link zum Volltext
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, 2003, p.88-150
2003
Link zum Volltext
Concurrency, Graphs and Models, p.659-680
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Applied Sciences
- Computer Science, Software Engineering
- Computer Science; Control Theory; Systems
- Dynamic Overloading
- Exact Sciences And Technology
- Software
- Featherweight Java
- Language Extensions
- Multi-Methods
- Operational Semantic
- Type Systems
- Computer Science, Information Systems
- Computer Systems And Distributed Systems. User Interface
- Delegation
- Double Dispatch
- Intersection Types
Kollektion
- IngentaConnect
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Springer Book Series
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink_现刊
- Ebook Central Perpetual and DDA
- ACM Digital Library
- Wiley Online Library Journals Frontfile Complete
- Cambridge Journals Online (DEFF)
- Oxford Journals
- eBooks on EBSCOhost
- Wiley Online Library Full Collection 2018
- Duke University Press journals
- IEEE
- Project Euclid_欧几里德项目期刊
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Theoretical Computer Science
- Acta Informatica
- Electronic Proceedings In Theoretical Computer Science
- Science Of Computer Programming
- Arxiv
- Doaj
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Journal Of Logic And Computation
- Journal Of Logical And Algebraic Methods In Programming
Neu hinzugefügt