Kategorien
Deutschland
Deutsch
Konto
Anmelden / Registrieren		Warenkorb
 		 
 >  >  >  >  >  >  >  > Informatik

  Informatik (15.755 Artikel)

Folgende Filter helfen, die Artikelliste nach Ihren Wünschen zu verfeinern:
Filtern: Preis vonbis€  Wort 
Funktionen
☑
Anzeige
☐
☐
☐
☐
Bild
Artikel ^v
Hersteller/-Nr. ^v
Preis ^v
zurück
Logic-Based Program Synthesis and Transformation (1 Angebot) 
27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Springer Verlag
9783319944593
€ 49,99*
pro Stück
Logic-Based Program Synthesis and Transformation (1 Angebot) 
Program Termination.- Proving Termination with (Boolean) Satisfaction.- Termination Analysis of Logic Programs Based on Dependency Graphs.- Type-Based Homeomorphic Embedding and Its Applications to...
Springer Verlag
9783540787686
€ 49,99*
pro Stück
Logic-Based Program Synthesis and Transformation (1 Angebot) 
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spa...
Springer Verlag
9783642005145
€ 49,99*
pro Stück
Logic-Based Program Synthesis and Transformation (1 Angebot) 
Towards Scalable Partial Evaluation of Declarative Programs.- Deciding Full Branching Time Logic by Program Transformation.- A Transformational Approach for Proving Properties of the CHR Constraint...
Springer Verlag
9783642125911
€ 49,99*
pro Stück
Logic-Based Program Synthesis and Transformation (1 Angebot) 
This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Mai...
Springer Verlag
9783030138370
€ 49,99*
pro Stück
Logic-Based Program Synthesis and Transformation (1 Angebot) 
30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings
Springer Verlag
9783030684457
€ 74,99*
pro Stück
Logic-Based Program Synthesis and Transformation (1 Angebot) 
31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings
Springer Verlag
9783030988685
€ 54,99*
pro Stück
Logic-Based Program Synthesis and Transformation (1 Angebot) 
26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
Springer Verlag
9783319631387
€ 49,99*
pro Stück
Logic-Based Program Synthesis and Transformation (1 Angebot) 
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June ...
Springer Verlag
9783540657651
€ 49,99*
pro Stück
Logic-Based Program Synthesis and Transformation (1 Angebot) 
25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Springer Verlag
9783319274355
€ 49,99*
pro Stück
Logic-Based Program Synthesis and Transformation (1 Angebot) 
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011....
Springer Verlag
9783642322105
€ 46,00*
pro Stück
Logic-Based Program Synthesis and Transformation (1 Angebot) 
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgi...
Springer Verlag
9783642381966
€ 46,00*
pro Stück
Logic-Based Program Synthesis and Transformation (1 Angebot) 
This book constitutes the refereed proceedings of the 32 International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full pa...
Springer Verlag
9783031167669
€ 54,99*
pro Stück
Logic-Based Program Synthesis and Transformation (1 Angebot) 
33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Springer Verlag
9783031457838
€ 54,99*
pro Stück
Logic-Based Program Synthesis and Transformation (1 Angebot) 
34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
Springer Verlag
9783031712937
€ 57,99*
pro Stück
vorwärts
Artikel pro Seite: 10   15   20   50   100    Seite: zurück   1   ..   631   632   633   634   635   636   637   638   639   640   641   ..   1051   vorwärts
* Preise mit Sternchen sind Nettopreise zzgl. gesetzlich gültiger MwSt.
UVP bedeutet „Unverbindliche Preisempfehlung“
Unser Angebot richtet sich ausschließlich an Unternehmen, Gewerbetreibende und Freiberufler.