Refine your search

Your search returned 216 results.

|
1.
Programming with Multiple Precision [Recurso electrónico] / by Elena Nikolaevskaya, Alexandr Khimich, Tamara Chistyakova.

by Nikolaevskaya, Elena | Khimich, Alexandr | Chistyakova, Tamara.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

2.
Introduction to Programming Concepts with Case Studies in Python [Recurso electrónico] / by : Göktürk Üçoluk, Sinan Kalkan.

by Üçoluk, Göktürk | Kalkan, Sinan.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Vienna : Springer Vienna : Imprint: Springer, 2012Online access: Texto completo Availability: No items available

3.
Declarative Programming for Knowledge Management [Recurso electrónico] / 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers

by Umeda, Masanobu | Bartenstein, Oskar | Geske, Ulrich | Seipel, Dietmar | Takata, Osamu | Wolf, Armin | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

4.
Applications of Declarative Programming and Knowledge Management [Recurso electrónico] / 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP

by Bartenstein, Oskar | Geske, Ulrich | Hanus, Michael | Seipel, Dietmar | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

5.
Advanced Functional Programming [Recurso electrónico] / 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures edited by Tarmo Uustalu, Varmo Vene.

by Uustalu, Tarmo | Vene, Varmo | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

6.
Central European Functional Programming School [Recurso electrónico] / First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures edited by Zoltán Horváth.

by Horváth, Zoltán | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

7.
Logic Programming and Nonmonotonic Reasoning [Recurso electrónico] / 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina.

by Baral, Chitta | Greco, Gianluigi | Leone, Nicola | Terracina, Giorgio | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

8.
Dynamic Programming [Recurso electrónico] : A Computational Tool / by Lew Art, Holger Mauch.

by Art, Lew | Mauch, Holger | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

9.
Reuse of Off-the-Shelf Components [Recurso electrónico] / 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings edited by Maurizio Morisio.

by Morisio, Maurizio | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

10.
Logics in Artificial Intelligence [Recurso electrónico] / 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings edited by Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa.

by Fisher, Michael | Konev, Boris | Lisitsa, Alexei | van der Hoek, Wiebe | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

11.
Implementation and Application of Functional Languages (vol. # 3474) [Recurso electrónico] / 16th International Workshop, IFL 2004, LÃơbeck, Germany, September 8-10, 2004, Revised Selected Papers edited by Clemens Grelck, Frank Huch, Greg Mich

by Grelck, Clemens | Huch, Frank | Michaelson, Greg | Trinder, Phil | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

12.
Implementation and Application of Functional Languages [Recurso electrónico] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. Zoltán Horváth, Viktória Zsók, Andrew Butterfield.

by Horváth, Zoltán | Butterfield, Andrew | Zsók, Viktória | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

13.
Implementation and Application of Functional Languages (vol. # 4015) [Recurso electrónico] / 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers edited by Andrew Butterfield, Clemens Grelck,

by Butterfield, Andrew | Grelck, Clemens | Huch, Frank | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

14.
Practical Aspects of Declarative Languages (vol. # 3350) [Recurso electrónico] / 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings edited by Daniel Cabeza, Manuel Hermenegildo.

by Cabeza, Daniel | Hermenegildo, Manuel | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

15.
Typed Lambda Calculi and Applications [Recurso electrónico] / 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings edited by Pawel Urzyczyn.

by Urzyczyn, Pawel | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

16.
Constraint Solving and Language Processing [Recurso electrónico] / First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers edited by Henning Christiansen, Peter Rossen Skadhauge, JÃ ̧

by Christiansen, Henning | Skadhauge, Peter Rossen | Villadsen, JÃŗgen | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

17.
Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 3666) [Recurso electrónico] / 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings edited by Beniamino Di Martino, Ja

by Di Martino, Beniamino | Dongarra, Jack | KranzlmÃơller, Dieter | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

18.
Ambient Networks [Recurso electrónico] / 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005, Proceedings edited by JÃơrgen SchÃœnwÃÞlder, Joan Serrat.

by SchÃœnwÃÞlder, JÃơrgen | Serrat, Joan | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

19.
Functional and Logic Programming [Recurso electrónico] / 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings edited by Masami Hagiya, Philip Wadler.

by Hagiya, Masami | Wadler, Philip | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

20.
Software Composition (vol. # 4089) [Recurso electrónico] / 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers edited by Welf LÃœwe, Mario SÃơdholt.

by LÃœwe, Welf | SÃơdholt, Mario | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

Powered by Koha