Showing
1 - 19
results of
19
for search '
'
Skip to search
Skip to content
Toggle navigation
Search:
My Account
Log Out
My Account
Language
English
Deutsch
Books & more
All
All Fields
Title
Author
Subject
UDK
ISBN / ISSN
Barcode / Call number
Tag
Find
Retain my Current Filters
de105_date:"[2021-03-09T00:00:00Z TO 2021-04-08T07:46:50Z]"
author_facet:"ACM Special Interest Group on Programming Languages"
Showing
1 - 19
results of
19
for search '
', Query Time: 2.05s
Results per Page
10
20
40
60
Sorted by
Relevance
Date Descending
Date Ascending
Person / Institution
Title
Total number: 19
online resource
Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
(2021)
by
Lee, Jaejin
, 2021
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction
(2021)
by
Smith, Aaron
, 2021
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design
(2016)
by
Piskac, Ruzica
, 2016
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design
(2014)
by
Claessen, Koen
;
Kuncak, Viktor
, 2014
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
(2012)
by
Russo, Claudio
;
Zhou, Neng-Fa
, 2012
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
(2012)
by
Brorsson, Mats
;
Pinho, Luís Miguel
, 2012
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 26th European conference on Object-Oriented Programming
(2012)
by
Noble, James
, 2012
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Zentralblatt MATH, Inhaltstext, Verlag
Saved in:
online resource
Proceedings of the 11th international conference on Functional and Logic Programming
(2012)
by
Schrijvers, Tom
;
Thiemann, Peter
, 2012
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Zentralblatt MATH, Inhaltstext, Verlag
Saved in:
online resource
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
(2011)
by
Bjesse, Per
, 2011
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 25th European conference on Object-oriented programming
(2011)
by
Mezini, Mira
, 2011
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Zentralblatt MATH, Inhaltstext, Verlag
Saved in:
online resource
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design
(2010)
by
Bloem, Roderick
, 2010
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 24th European conference on Object-oriented programming
(2010)
by
D'Hondt, Theo
, 2010
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Zentralblatt MATH, Inhaltstext, Verlag
Saved in:
online resource
Proceedings of the 10th international conference on Functional and Logic Programming
(2010)
by
Blume, Matthias
;
Kobayashi, Naoki
;
Vidal, Germán
, 2010
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Zentralblatt MATH, Inhaltstext, Verlag
Saved in:
online resource
Proceedings of the 9th international conference on Functional and logic programming
(2008)
by
Garrigue, Jacques
;
Hermenegildo, Manuel
, 2008
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Zentralblatt MATH, Inhaltstext, Verlag
Saved in:
online resource
Proceedings of the 2007 conference on Object-oriented technology
(2007)
by
Cebulla, Michael
, 2007
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 21st European conference on Object-Oriented Programming
(2007)
by
Ernst, Erik
, 2007
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
(2007)
by
Hanus, Michael
, 2007
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 4th international conference on Generative Programming and Component Engineering
(2005)
by
Glück, Robert
;
Lowry, Michael
, 2005
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
online resource
Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
(1999)
by
France, Robert
;
Rumpe, Bernhard
, 1999
E-Book
Loading ...
Online
Lizenzpflichtig, Verlag
Saved in:
Search Tools:
Get RSS Feed
—
E-Mail this Search
—
Save Search
Remove Filters
Other: 2021-03-09T00:00:00Z-2021-04-08T07:46:50Z
Author: ACM Special Interest Group on Programming Languages
Access
19
Electronic Resources
Format
19
Book, E-Book
Subject (RVK)
19
not assigned
Keyword
19
Computer science
9
Language types
8
Program semantics
6
Logic
5
Formal software verification
3
Object oriented languages
more ...
3
Program verification
2
Compilers
2
Computer-aided design
2
Constraint and logic programming
2
Logic programming and answer set programming
2
Software development process management
1
Concurrent algorithms
1
Embedded and cyber-physical systems
1
Formal methods
1
Functional verification
1
Grammars and context-free languages
1
Massively parallel algorithms
1
Model checking
1
Object oriented development
1
Parallel programming languages
1
Program analysis
1
Shared memory algorithms
1
Software testing and debugging
1
Source code generation
See All ...
less ...
Year of Publication
From:
To:
Language
19
English
Geographical Reference
19
not assigned
Collection
19
Verbunddaten SWB
Author
ACM Special Interest Group on Programming Languages
11
ACM Special Interest Group on Software Engineering
1
ACM Special Interest Group on Ada Programming Language
1
ACM Special Interest Group on Embedded Systems
1
ACM Special Interest Group on High Performance Computing
1
Bjesse, Per
more ...
1
Bloem, Roderick
1
Blume, Matthias
1
Brorsson, Mats
1
Cebulla, Michael
1
Claessen, Koen
1
D'Hondt, Theo
1
Ernst, Erik
1
France, Robert
1
Garrigue, Jacques
1
Glück, Robert
1
Hanus, Michael
1
Hermenegildo, Manuel
1
Kobayashi, Naoki
1
Kuncak, Viktor
1
Lee, Jaejin
1
Lowry, Michael
1
Mezini, Mira
1
Noble, James
1
Pinho, Luís Miguel
1
Piskac, Ruzica
1
Rumpe, Bernhard
1
Russo, Claudio
1
Schrijvers, Tom
1
Smith, Aaron
1
Thiemann, Peter
1
Vidal, Germán
1
Zhou, Neng-Fa
See All ...
less ...
×
Loading ...
