• 1.

  Programming with multiple precision ~ SpringerLink (Online service)

  • Programming with multiple precision
  • by: SpringerLink (Online service); Nikolaevskaya, Elena.; Chistyakova, Tamara.; Khimich, Alexandr.
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2012.
  • ISBN: 9783642256721; 9783642256738
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 2.

  Applications of declarative programm... ~ Abreu, Salvador.

  • Applications of declarative programming and knowledge management = 18th international conference, INAP 2009, Evora, Portugal, November 3-5, 2009 : revised selected papers /
  • by: Abreu, Salvador.; Seipel, Dietmar.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2011
  • ISBN: 9783642205880; 9783642205897
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 3.

  The Cinderella.2 Manual = working wi... ~ SpringerLink (Online service)

  • The Cinderella.2 Manual = working with the interactive geometry software /
  • by: SpringerLink (Online service); Kortenkamp, Ulrich H.; Richter-Gebert, Jurgen.
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2012.
  • ISBN: 9783540349266; 9783540349242
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 4.

  Logic-based program synthesis and tr... ~ SpringerLink (Online service)

  • Logic-based program synthesis and transformation = 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers /
  • by: SpringerLink (Online service); King, Andy.; Workshop on the Preservation of Stability under Discretization ((2001 :)
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2008.
  • ISBN: 9783540787693; 9783540787686
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 5.

  Advances in software engineering = L... ~ SpringerLink (Online service)

  • Advances in software engineering = Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures /
  • by: SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Cisternino, Antonio.; Borger, Egon.
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2008
  • ISBN: 9783540897620; 9783540897613
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 6.

  Logic-based program synthesis and tr... ~ Workshop on the Preservation of Stability under Discretization ((2001 :)

  • Logic-based program synthesis and transformation = 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers /
  • by: Workshop on the Preservation of Stability under Discretization ((2001 :); Alpuente, Maria.; SpringerLink (Online service)
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2011.
  • ISBN: 9783642205514; 9783642205507
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 7.

  Logic programming, knowledge represe... ~ SpringerLink (Online service)

  • Logic programming, knowledge representation, and nonmonotonic reasoning = essays dedicated to Michael Gelfond on the occasion of his 65th birthday /
  • by: SpringerLink (Online service); Son, Tran Cao.; Balduccini, Marcello.
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2011.
  • ISBN: 9783642208317; 9783642208324
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 8.

  Component-based software engineering... ~ Szyperski, Clemens.

  • Component-based software engineering = 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings /
  • by: Szyperski, Clemens.; Workshop on the Preservation of Stability under Discretization ((2001 :); Reussner, Ralf.; SpringerLink (Online service); Chaudron, Michel R. V.
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2008.
  • ISBN: 9783540878919; 9783540878902
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 9.

  Software engineering = international... ~ Ferrucci, Filomena.

  • Software engineering = international summer schools, ISSSE 2006-2008, Salerno, Italy ; revised tutorial lectures /
  • by: Ferrucci, Filomena.; SpringerLink (Online service); De Lucia, Andrea.
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2009
  • ISBN: 9783540958871; 9783540958888
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 10.

  Applications of declarative programm... ~ Workshop on the Preservation of Stability under Discretization ((2001 :)

  • Applications of declarative programming and knowledge management = 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers /
  • by: Workshop on the Preservation of Stability under Discretization ((2001 :); Seipel, Dietmar.; Wolf, Armin.; Hanus, Michael.; SpringerLink (Online service)
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2009
  • ISBN: 9783642006746; 9783642006753
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 11.

  Programming languages and systems = ... ~ Ramalingam, G.

  • Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings /
  • by: Ramalingam, G.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2008
  • ISBN: 9783540893295; 9783540893301
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 12.

  Innovations for requirements analysi... ~ SpringerLink (Online service)

  • Innovations for requirements analysis :from stakeholders' needs to formal designs = 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007, revised selected papers /
  • by: SpringerLink (Online service); Paech, Barbara.; Martell, Craig.; Workshop on the Preservation of Stability under Discretization ((2001 :)
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2008
  • ISBN: 9783540897774; 9783540897781
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 13.

  Middleware 2008 = ACM-IFIP-USENIX 9t... ~ Workshop on the Preservation of Stability under Discretization ((2001 :)

  • Middleware 2008 = ACM-IFIP-USENIX 9th International Middleware Conference, Leuven Belgium, December 1-5 2008, proceedings /
  • by: Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Schantz, Richard.; Issarny, Valerie.
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2008
  • ISBN: 9783540898559; 9783540898566
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 14.

  Logic programming = 24th internation... ~ Banda, Maria Garcia de la.

  • Logic programming = 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008, proceedings /
  • by: Banda, Maria Garcia de la.; SpringerLink (Online service)
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2008
  • ISBN: 9783540899822; 9783540899815
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 15.

  Testbeds and research infrastructure... ~ Workshop on the Preservation of Stability under Discretization ((2001 :)

  • Testbeds and research infrastructures = development of networks and communities : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010 : revised selected papers /
  • by: Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Magedanz, Thomas.
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2011
  • ISBN: 9783642178504; 9783642178511
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 16.

  Practical aspects of declarative lan... ~ SpringerLink (Online service)

  • Practical aspects of declarative languages = 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011 : proceedings /
  • by: SpringerLink (Online service); Launchbury, John.; Workshop on the Preservation of Stability under Discretization ((2001 :); Rocha, Ricardo.
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2011
  • ISBN: 9783642183782; 9783642183775
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 17.

  Distributed computing and networking... ~ Aguilera, Marcos K.

  • Distributed computing and networking = 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011 : proceedings /
  • by: Aguilera, Marcos K.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2011.
  • ISBN: 9783642176791; 9783642176784
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 18.

  Verification, model checking, and ab... ~ Workshop on the Preservation of Stability under Discretization ((2001 :)

  • Verification, model checking, and abstract interpretation = 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings /
  • by: Workshop on the Preservation of Stability under Discretization ((2001 :); Jhala, Ranjit.; Schmidt, David.; SpringerLink (Online service)
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2011.
  • ISBN: 9783642182754; 9783642182747
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 19.

  Generative and transformational tech... ~ Fernandes, Joao M.

  • Generative and transformational techniques in software engineering III = international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers /
  • by: Fernandes, Joao M.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2011
  • ISBN: 9783642180231; 9783642180224
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)
• 20.

  Wireless sensor networks = 8th Europ... ~ Marron, Pedro Jose.

  • Wireless sensor networks = 8th European conference, EWSN 2011, Bonn, Germany, February 23-25, 2011 : proceedings /
  • by: Marron, Pedro Jose.; SpringerLink (Online service); Whitehouse, Kamin.; Workshop on the Preservation of Stability under Discretization ((2001 :)
  • Language materials, printed : Monograph/item
  • Publisher: Springer Berlin Heidelberg,
  • Place of Publication: Berlin, Heidelberg :
  • Year of Publication: 2011
  • ISBN: 9783642191855; 9783642191862
  • Availability: 0 Copie(s) available | 0 Copie(s) available for loan
  • based on 0 review(s)