Catalogue SUDOC

Copyright © 2023 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?

rechercher (et)

(Mots du titre)

Counterexamples in analysis

| 27 résultat(s)

Services

Mon panier / Export

Affiner la recherche

Mot	Type	Compte
counterexamples	Mots du titre	[91]
analysis	Mots du titre	[132122]
in	Mots du titre	[2693711]

	1.	Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings Hutchison, David (1944-....) / 1st ed. 2008. / Springer Berlin Heidelberg / 2008
	2.	Statistical implicative analysis : theory and applications Gras, Régis / 1st ed. 2008. / Springer Berlin Heidelberg / 2008
	3.	Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal 1st ed. 2007. / Springer Berlin Heidelberg / 2007
	4.	Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 : Proceedings International conference on computer-aided verification (21 ; 2009 ; Grenoble) / 1st ed. 2009. / Springer Berlin Heidelberg / 2009
	5.	Selected works of Debabrata Basu DasGupta, Anirban / 1st ed. 2011. / Springer New York / 2011
	6.	Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings 1st ed. 2007. / Springer Berlin Heidelberg / 2007
	7.	Automated Technology for Vertification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings 1st ed. 2006. / Springer Berlin Heidelberg / 2006
	8.	Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings 1st ed. 2016. / Springer International Publishing / 2016
	9.	Logic for Programming, Aritficial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings Hermann, Nicolas / 1st ed. 2006. / Springer Berlin Heidelberg / 2006
	10.	Machine Learning and Knowledge Extraction : 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2021, Virtual Event, August 17-20, 2021, Proceedings 1st ed. 2021. / Springer International Publishing / 2021