Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
PISA — A Platform and Programming Language Independent Interface for Search AlgorithmsBleuler, Stefan ; Laumanns, Marco ; Thiele, Lothar ; Zitzler, Eckart Deb, Kalyanmoy ; Fonseca, Carlos M. ; Zitzler, Eckart ; Thiele, Lothar ; Fleming, Peter J.Evolutionary Multi-Criterion Optimization, 2003, p.494-508 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
2 |
Material Type: Capítulo de Livro
|
![]() |
The Idris Programming Language: Implementing Embedded Domain Specific Languages with Dependent TypesBrady, Edwin Horváth, Zoltán ; Csató, Lehel ; Zsók, ViktóriaCentral European Functional Programming School, 2015, p.115-186 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
A Metamodel Family for Role-Based Modeling and Programming LanguagesKühn, Thomas ; Leuthäuser, Max ; Götz, Sebastian ; Seidl, Christoph ; Aßmann, Uwe Barais, Olivier ; Pearce, David J. ; Vinju, Jurgen J. ; Combemale, BenoîtSoftware Language Engineering, p.141-160 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
An Introduction to Quantum Programming in QuipperGreen, Alexander S. ; Lumsdaine, Peter LeFanu ; Ross, Neil J. ; Selinger, Peter ; Valiron, Benoît Miller, D. Michael ; Dueck, Gerhard W.Reversible Computation, p.110-124 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
The Problem of Programming Language Concurrency SemanticsBatty, Mark ; Memarian, Kayvan ; Nienhuis, Kyndylan ; Pichon-Pharabod, Jean ; Sewell, Peter Vitek, JanProgramming Languages and Systems, p.283-307 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Capítulo de Livro
|
![]() |
Agent Programming Languages Requirements for Programming Autonomous RobotsZiafati, Pouyan ; Dastani, Mehdi ; Meyer, John-Jules ; van der Torre, Leendert Hübner, Jomi F. ; Dastani, Mehdi ; Logan, BrianProgramming Multi-Agent Systems, p.35-53 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
ABC–Fun: A Probabilistic Programming Language for BiologyGeorgoulas, Anastasis ; Hillston, Jane ; Sanguinetti, Guido Henzinger, Thomas A. ; Gupta, AshutoshComputational Methods in Systems Biology, p.150-163 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
Recursion Equations as a Programming LanguageTurner, D. A. Trinder, Phil ; McBride, Conor ; Sannella, Don ; Lindley, Sam ; Lindley, Sam ; McBride, Conor ; Trinder, Phil ; Sannella, DonA List of Successes That Can Change the World, 2016, Vol.9600, p.459-478 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of ImprovementBelyakova, Julia Castor, Fernando ; Liu, Yu David ; Castor, Fernando ; Liu, Yu DavidProgramming Languages, 2016, Vol.9889, p.1-15 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Industrial Software for Computer Aided Process Engineering (CAPE) Modeling and Programming Skills DevelopmentKelly, Jeffrey D. ; Menezes, Brenno C.Computer Aided Chemical Engineering, 2020, Vol.48, p.2035-2040 [Periódico revisado por pares]Texto completo disponível |