Results of search for 'su:"Programming Techniques"'

Results
		Programming with Multiple Precision [Recurso electrónico] / by Elena Nikolaevskaya, Alexandr Khimich, Tamara Chistyakova. by Nikolaevskaya, Elena \| Khimich, Alexandr \| Chistyakova, Tamara. Series: Studies in Computational Intelligence ; 397Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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; Format: electronic ; Literary form: Not fiction Publication details: Vienna : Springer Vienna : Imprint: Springer, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4369Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3392Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3622Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4164Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3662Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3474Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4160Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4449Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4015Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Dynamic Programming [Recurso electrónico] : A Computational Tool / by Lew Art, Holger Mauch. by Art, Lew \| Mauch, Holger \| SpringerLink (Online service). Series: Studies in Computational Intelligence ; 38Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4039Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3438Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3350Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Communicating Sequential Processes. The First 25 Years [Recurso electrónico] / Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders. by Abdallah, Ali E \| Jones, Cliff B \| Sanders, Jeff W \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3525Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Automated Reasoning with Analytic Tableaux and Related Methods [Recurso electrónico] / International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings edited by Bernhard Beckert. by Beckert, Bernhard \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3702Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Frontiers of Combining Systems [Recurso electrónico] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings / edited by Boris Konev, Frank Wolter. by Konev, Boris \| Wolter, Frank \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4720Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3461Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Perspectives of Systems Informatics [Recurso electrónico] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers / edited by Irina Virbitskaite, Andrei Voronkov. by Virbitskaite, Irina \| Voronkov, Andrei \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4378Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)

		Programming with Multiple Precision [Recurso electrónico] / by Elena Nikolaevskaya, Alexandr Khimich, Tamara Chistyakova. by Nikolaevskaya, Elena \| Khimich, Alexandr \| Chistyakova, Tamara. Series: Studies in Computational Intelligence ; 397Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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; Format: electronic ; Literary form: Not fiction Publication details: Vienna : Springer Vienna : Imprint: Springer, 2012Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4369Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3392Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3622Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4164Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3662Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3474Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4160Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4449Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4015Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Dynamic Programming [Recurso electrónico] : A Computational Tool / by Lew Art, Holger Mauch. by Art, Lew \| Mauch, Holger \| SpringerLink (Online service). Series: Studies in Computational Intelligence ; 38Source: Springer eBooksMaterial type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 4039Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3438Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3350Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Communicating Sequential Processes. The First 25 Years [Recurso electrónico] / Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders. by Abdallah, Ali E \| Jones, Cliff B \| Sanders, Jeff W \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3525Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Automated Reasoning with Analytic Tableaux and Related Methods [Recurso electrónico] / International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings edited by Bernhard Beckert. by Beckert, Bernhard \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3702Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Frontiers of Combining Systems [Recurso electrónico] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings / edited by Boris Konev, Frank Wolter. by Konev, Boris \| Wolter, Frank \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4720Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		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). Series: Lecture Notes in Computer Science ; 3461Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)
		Perspectives of Systems Informatics [Recurso electrónico] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers / edited by Irina Virbitskaite, Andrei Voronkov. by Virbitskaite, Irina \| Voronkov, Andrei \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4378Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available. Log in to add tags Add to cart (remove)

Refine your search

Availability

Authors

Series

Topics

Languages

Your search returned 215 results.