Sortiert nach
ACM transactions on Internet technology, 2003-05, Vol.3 (2), p.117-148
2003
Link zum Volltext
ACM transactions on Internet technology, 2003-05, Vol.3 (2), p.117-148
2003
Link zum Volltext
International Conference on Functional Programming: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming : Portland, Oregon, USA; 16-21 Sept. 2006, 2006, p.192-200
2006
Link zum Volltext
SIGPLAN notices, 2006-09, Vol.41 (9), p.192-200
2006
Link zum Volltext
ACM transactions on programming languages and systems, 2006-05, Vol.28 (3), p.389-428
2006
Link zum Volltext
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016, p.299-300
2016
Link zum Volltext
Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2015, p.300-301
2015
Link zum Volltext
Proceedings of the 17th ACM conference on Information and knowledge management, 2008, p.389-398
2008
Link zum Volltext
International Conference on Functional Programming: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming : Portland, Oregon, USA; 16-21 Sept. 2006, 2006, p.201-214
2006
Link zum Volltext
SIGPLAN notices, 2006-09, Vol.41 (9), p.201-214
2006
Link zum Volltext
Annual Symposium on Principles of Programming Languages: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages; 11-13 Jan. 2006, 2006, p.103-114
2006
Link zum Volltext
Annual Symposium on Principles of Programming Languages: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages : New Orleans, Louisiana, USA; 15-17 Jan. 2003, 2003, p.1-13
2003
Link zum Volltext
SIGPLAN notices, 2006-01, Vol.41 (1), p.103-114
2006
Link zum Volltext
SIGPLAN notices, 2003-01, Vol.38 (1), p.1-13
2003
Link zum Volltext
Proceedings of the 2004 ACM symposium on Applied computing, 2004, p.1122-1127
2004
Link zum Volltext
International Conference on Management of Data: Proceedings of the 2002 ACM SIGMOD international conference on Management of data; 03-06 June 2002, 2002, p.618-618
2002
Link zum Volltext
2008 ACM/IEEE 30th International Conference on Software Engineering, 2008, Vol.2008 (24), p.171-180
2008
- Link zum Volltext
Journal of the ACM, 2017-10, Vol.64 (5), p.1-55
2017
Link zum Volltext
ACM transactions on graphics, 2009-07, Vol.28 (3), p.1-13
2009
Link zum Volltext
IEEE/ACM transactions on computational biology and bioinformatics, 2018-07, Vol.15 (4), p.1203-1216
2018
- Link zum Volltext
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types
2008
Link zum Volltext
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022, p.1393-1405
2022
- Link zum Volltext
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2023, p.46-50
2023
Link zum Volltext
IEEE/ACM transactions on networking, 2017-04, Vol.25 (2), p.1020-1033
2017
- Link zum Volltext
Proceedings of the ACM International Conference on Parallel Architectures and Compilation Techniques, 2020, p.111-123
2020
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Xml
- Computer Science, Theory & Methods
- Computer Science, Information Systems
- Engineering
- Engineering, Electrical & Electronic
- Information Systems -- Data Management Systems -- Query Languages
- Programming Languages
- Software
- Subtyping
- Algorithms
- Computer Science, Interdisciplinary Applications
- Theory Of Computation -- Formal Languages And Automata Theory
- Computer Science, Hardware & Architecture
- Theory Of Computation -- Semantics And Reasoning -- Program Constructs -- Type Structures
- Applied Sciences
- Computer Science; Control Theory; Systems
Kollektion
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigmod Record
- Sigmod Record
- Acm Transactions On Programming Languages And Systems
- Ieee/acm Transactions On Computational Biology And Bioinformatics
- Acm Transactions On Internet Technology
- Journal Of The Acm
- Acm Transactions On Mathematical Software
- Acm Transactions On Graphics
- Ieee/acm Transactions On Networking