C++ toolbox for verified computing: theory, algorithms and programs

By:

Hammer R and REFs

Material type:

TextLanguage: English Publication details: Berlin Springer Verlag 1995Description: p. cmISBN:

3540591109 (hbd)

Subject(s):

DDC classification:

D65,8(B)92C++, N5.1

Item type:

Textual

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Cover image	Item type	Current library	Home library	Collection	Shelving location	Call number	Materials specified	Vol info	URL	Copy number	Status	Notes	Date due	Barcode	Item holds	Item hold queue priority	Course reserves
	Textual	Central Science Library	Central Science Library			D65,8(B)92C++ N5.1 (Browse shelf(Opens below))		V 1. Basic numerical problems (ix,377p). This volume has bibliography (360-365p)and index (366-377p)			Available			SL1027832

There are no comments on this title.

to post a comment.

Back to results

101 Indian leadership in South Africa 1893-1914
by Khanna Neeru
102 Indian leadership in South Africa 1893-1914
by Khanna Neeru
103 Indian minority in South Africa (1860-1950)
by Jain Anju
104 Indian National Congress and South Africa (1885-1947)
by Sharma Seema
105 Indian National Congress and South Africa (1885-1947)
by Sharma Seema
106 Indians in Mauritius with special reference to the Arya Samaj movement 1901-1968
by Hukam Chand
107 Indians in Mauritius with special reference to the Arya Samaj movement 1901-1968
by Hukam Chand
108 Indo-East African trade (1947-1969)
by Kakar Tilak Raj
109 Indo-Kenya economic relations
by Qureshi Iqrar Ahmed
110 Indo-Nigerian economic relations 1960-1985
by Deep Malvinder Singh
111 Indo-Ugandan relations 1947-1983
by Vishwen Pradeep Singh
112 Interaction between Indian and East African hinterlands through ports during eighteenth and nighteenth centuries
by Pundir Rini
113 Interaction between Indian and East African hinterlands through ports during eighteenth and nighteenth centuries
by Pundir Rini
114 Israel South Africa relations (1948-1980)
by Poonam
115 Labour problems and trade unions in Namibia
by Choudhry Mohini
116 Liberation movement in Angola
by Mohanty Sushma
117 Liberation movement in Namibia
by Shashi M.
118 Liberation movement in Namibia
by Narayana Shashi S
119 Management of inter-and intra-African conflicts
by Pawan Kumar
120 Migrant labour in South Africa
by Abnash Kaur
121 Migrant labour in South Africa and India
by Behuria Anita Kumari
122 Migrant labour in South Africa and India
by Behuria Anita Kumari
123 Millitary rule in Nigeria
by Jain Manju
124 Multinational corporations and exploitation of natural resources in Namibia since 1966
by Rajinder Kaur
125 Multinational corporations in Nigeria
by Rattan Rajiv
126 Multinational corporations in Nigeria
by Rattan Rajiv
127 Namibia
by Rao M. Balakrishna
128 Namibia in transition
by Panda Jayshree
129 Nation Building in Zumbabwe
by Singh Akoijam Khomei
130 National movement in Zimbabwe
by Puri Neena
131 Nationalism and self determination in ethiopia a case study of eritrea
by Pattanaik Tanushree
132 Nationalism in Namibia
by Geeta Rani
133 Nationalist movement in South Africa
by Grover Sarita
134 Nationalist movement in Zambia
by Virmani K.K.
135 Nature of the post-colonial state in Tanzania
by Chandrabhash
136 Non-white unity movement in South Africa
by Ramamurthi T.G.
137 Oau and the settlement of boundary disputes
by Patnayak Rama
138 Organisation of African unity and liberation of Rhodesia (Zimbabwe)
by Arora Veena
139 Organisation of African unity and the liberation struggle in southern Africa
by Jena Upendra Prasad
140 Parlimentary elections in Kenya (1963-1979)
by Kaw Anjana
141 Performance of agriculture in Somalia since independence
by Ahmed Ahmed Ali
142 Place or the settler community of Indian origin in the plural society of Tanganika under the British Administration 1910-1960
by Grewal Nirmal Singh
143 Place or the settler community of Indian origin in the plural society of Tanganika under the British Administration 1910-1960
by Grewal Nirmal Singh
144 Place or the settler community of Indian origin in the plural society of Tanganika under the British Administration 1910-1960
by Grewal Nirmal Singh
145 Political and constittutional development of Malawi, 1964-1978
by Arya Deepika
146 Political and constitutional development in Ghana since independence
by Biswal Tapan Prasad
147 Political and constitutional developments in Ghana 1966-1979
by Biswal Tapan Prasad
148 Political and constitutional developments in Zimbawe (Rhodesia) since UDI
by Malik Ved Pal Singh
149 Political and constituttinal development of Zambia (upto 1973)
by Ramesh Kumar
150 Political and economic changes in Kenya since 1978
by Malhotra Veena