Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
GPCE'12 : proceedings of the 11th International Conference on Generative Programming and Component Engineering : Dresden, Germany, September 26 - 27, 2012
| GPCE'12 : proceedings of the 11th International Conference on Generative Programming and Component Engineering : Dresden, Germany, September 26 - 27, 2012 |
| Autore | Ostermann Klaus |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2012 |
| Descrizione fisica | 1 online resource (148 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-1129-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Generative Programming and Component Engineering'12 : proceedings of the 11th International Conference on Generative Programming and Component Engineering : Dresden, Germany, September 26 - 27, 2012
Proceedings of the 11th International Conference on Generative Programming and Component Engineering GPCE'12 Generative Programming and Component Engineering, Dresden, Germany - September 26 - 28, 2012 |
| Record Nr. | UNINA-9910376325003321 |
Ostermann Klaus
|
||
| [Place of publication not identified], : ACM, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
JTRES 2016 : proceedings of the 14th International Workshop on Java Technologies for Real-Time and Embedded Systems : August 29-September 2, 2016, Lugano, Switzerland / / workshop chair, Walter Binder : program chair, Martin Schoeberl
| JTRES 2016 : proceedings of the 14th International Workshop on Java Technologies for Real-Time and Embedded Systems : August 29-September 2, 2016, Lugano, Switzerland / / workshop chair, Walter Binder : program chair, Martin Schoeberl |
| Pubbl/distr/stampa | New York : , : ACM, , 2016 |
| Descrizione fisica | 1 online resource (56 pages) |
| Disciplina | 005.133 |
| Collana | ACM International Conference Proceeding Series |
| Soggetto topico |
Java (Computer program language)
Real-time programming Embedded computer systems |
| ISBN | 1-4503-4800-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Java Technologies for Real-Time and Embedded Systems 2016
Proceedings of the 14th International Workshop on Java Technologies for Real-Time and Embedded Systems |
| Record Nr. | UNINA-9910376444403321 |
| New York : , : ACM, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
PPPJ '16 : proceedings of the 2016 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools : Lugano, Switzerland, August 29-31, 2016 / / general chair Walter Binder
| PPPJ '16 : proceedings of the 2016 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools : Lugano, Switzerland, August 29-31, 2016 / / general chair Walter Binder |
| Pubbl/distr/stampa | New York : , : ACM, , 2016 |
| Descrizione fisica | 1 online resource (186 pages) |
| Disciplina | 005.133 |
| Soggetto topico |
Java (Computer program language)
Computer programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Principles and Practices of Programming on the Java 2016
Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools PPPJ '16 : proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools |
| Record Nr. | UNINA-9910376434903321 |
| New York : , : ACM, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 13th International Workshop on Dynamic Analysis / / program chairs, Harry Xu, Walter Binder
| Proceedings of the 13th International Workshop on Dynamic Analysis / / program chairs, Harry Xu, Walter Binder |
| Pubbl/distr/stampa | New York : , : ACM, , 2015 |
| Descrizione fisica | 1 online resource (38 pages) |
| Disciplina | 001.64250287 |
| Soggetto topico |
Computer programs - Testing
Computer software - Testing Computer software - Development |
| ISBN | 1-4503-3909-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910376535103321 |
| New York : , : ACM, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform : Virtual Machines, Languages, and Tools (PPPJ '13) : Stuttgart, Germany September 11 - 13, 2013
| Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform : Virtual Machines, Languages, and Tools (PPPJ '13) : Stuttgart, Germany September 11 - 13, 2013 |
| Autore | Plümicke Martin |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2013 |
| Descrizione fisica | 1 online resource (188 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
PPPJ '13
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform : Virtual Machines, Languages, and Tools |
| Record Nr. | UNINA-9910375706003321 |
|
Plümicke Martin
|
||
| [Place of publication not identified], : ACM, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 4th Workshop on Emerging Web Services Technology
| Proceedings of the 4th Workshop on Emerging Web Services Technology |
| Autore | Binder Walter |
| Pubbl/distr/stampa | [Place of publication not identified] : , : Association for Computing Machinery, , 2009 |
| Descrizione fisica | 1 online resource (46 pages) |
| Collana | ACM Other conferences. |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | WEWST '09 |
| Record Nr. | UNINA-9910376066203321 |
|
Binder Walter
|
||
| [Place of publication not identified] : , : Association for Computing Machinery, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 5th International Workshop on Enhanced Web Service Technologies (WEWST 2010) : Ayia Napa, Cyprus, December 1, 2010
| Proceedings of the 5th International Workshop on Enhanced Web Service Technologies (WEWST 2010) : Ayia Napa, Cyprus, December 1, 2010 |
| Autore | Binder Walter |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2010 |
| Descrizione fisica | 1 online resource (48 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Electrical & Computer Engineering
Engineering & Applied Sciences Telecommunications |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | WEWST '10 Workshop on Enhanced Web Service Technologies, Ayia Napa, Cyprus - December 01 - 01, 2010 |
| Record Nr. | UNINA-9910376013603321 |
|
Binder Walter
|
||
| [Place of publication not identified], : ACM, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Composition [[electronic resource] ] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / / edited by Walter Binder, Eric Bodden, Welf Löwe
| Software Composition [[electronic resource] ] : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / / edited by Walter Binder, Eric Bodden, Welf Löwe |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 145 p. 38 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-642-39614-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Componentised Language Development for the JVM -- Preserving Confidentiality in Component Compositions -- Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches -- Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification -- Implementing Feature Interactions with Generic Feature Modules -- Compositional Development of BPMN -- Building a Customizable Business-Process-as-a-Service Application with current State-of-Practice -- Verifying Data Independent Programs Using Game Semantics. . |
| Record Nr. | UNISA-996465534803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / / edited by Walter Binder, Eric Bodden, Welf Löwe
| Software Composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings / / edited by Walter Binder, Eric Bodden, Welf Löwe |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 145 p. 38 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-642-39614-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Componentised Language Development for the JVM -- Preserving Confidentiality in Component Compositions -- Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches -- Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification -- Implementing Feature Interactions with Generic Feature Modules -- Compositional Development of BPMN -- Building a Customizable Business-Process-as-a-Service Application with current State-of-Practice -- Verifying Data Independent Programs Using Game Semantics. . |
| Record Nr. | UNINA-9910483711703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
WEWST 2011 : proceedings of the 6th International Workshop on Enhanced Web Service Technologies, September 14, 2011, Lugano, Switzerland
| WEWST 2011 : proceedings of the 6th International Workshop on Enhanced Web Service Technologies, September 14, 2011, Lugano, Switzerland |
| Autore | Binder Walter |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
| Descrizione fisica | 1 online resource (37 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Electrical & Computer Engineering
Engineering & Applied Sciences Telecommunications |
| ISBN | 1-4503-0748-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 6th International Workshop on Enhanced Web Service Technologies
WEWST '11 6th Workshop on Enhanced Web Service Technologies, Lugano, Switzerland - September 14, 2011 |
| Record Nr. | UNINA-9910376531003321 |
|
Binder Walter
|
||
| [Place of publication not identified], : ACM, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||