1763 results in Software Engineering and Development
Preface
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp ix-xii
-
- Chapter
- Export citation
Index
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 197-199
-
- Chapter
- Export citation
9 - Automatic generation of symbolic traces
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 95-108
-
- Chapter
- Export citation
8 - Discussion
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 87-94
-
- Chapter
- Export citation
Appendix B - Logico-mathematical background
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 169-192
-
- Chapter
- Export citation
About the Cover
-
- Book:
- Calendrical Calculations
- Published online:
- 05 February 2014
- Print publication:
- 10 December 2007, pp 479-479
-
- Chapter
- Export citation
License and Limited Warranty and Remedy
-
- Book:
- Calendrical Calculations
- Published online:
- 05 February 2014
- Print publication:
- 10 December 2007, pp xxviii-xxx
-
- Chapter
- Export citation
Index
-
- Book:
- Calendrical Calculations
- Published online:
- 05 February 2014
- Print publication:
- 10 December 2007, pp 448-476
-
- Chapter
- Export citation
Mathematical Notations
-
- Book:
- Calendrical Calculations
- Published online:
- 05 February 2014
- Print publication:
- 10 December 2007, pp xvi-xviii
-
- Chapter
- Export citation
7 - The Hebrew Calendar
-
- Book:
- Calendrical Calculations
- Published online:
- 05 February 2014
- Print publication:
- 10 December 2007, pp 89-112
-
- Chapter
- Export citation
B - Lisp Implementation
-
- Book:
- Calendrical Calculations
- Published online:
- 05 February 2014
- Print publication:
- 10 December 2007, pp 361-440
-
- Chapter
- Export citation
Envoi
-
- Book:
- Calendrical Calculations
- Published online:
- 05 February 2014
- Print publication:
- 10 December 2007, pp 477-478
-
- Chapter
- Export citation
Coda
-
- Book:
- Calendrical Calculations
- Published online:
- 05 February 2014
- Print publication:
- 10 December 2007, pp 333-334
-
- Chapter
- Export citation
4 - The Coptic and Ethiopic Calendars
-
- Book:
- Calendrical Calculations
- Published online:
- 05 February 2014
- Print publication:
- 10 December 2007, pp 73-78
-
- Chapter
- Export citation
Credits
-
- Book:
- Calendrical Calculations
- Published online:
- 05 February 2014
- Print publication:
- 10 December 2007, pp xxvii-xxvii
-
- Chapter
- Export citation
Dedication
-
- Book:
- Calendrical Calculations
- Published online:
- 05 February 2014
- Print publication:
- 10 December 2007, pp v-vi
-
- Chapter
- Export citation
5 - The ISO Calendar
-
- Book:
- Calendrical Calculations
- Published online:
- 05 February 2014
- Print publication:
- 10 December 2007, pp 79-82
-
- Chapter
- Export citation
List of Tables
-
- Book:
- Calendrical Calculations
- Published online:
- 05 February 2014
- Print publication:
- 10 December 2007, pp xiv-xiv
-
- Chapter
- Export citation
Preface
-
- Book:
- Calendrical Calculations
- Published online:
- 05 February 2014
- Print publication:
- 10 December 2007, pp xix-xxvi
-
- Chapter
- Export citation
11 - The Balinese Pawukon Calendar
-
- Book:
- Calendrical Calculations
- Published online:
- 05 February 2014
- Print publication:
- 10 December 2007, pp 153-162
-
- Chapter
- Export citation