2018-10-14 14:47:49 +02:00
|
|
|
@ARTICLE{Tarjan72depthfirst,
|
|
|
|
|
author = {Robert Tarjan},
|
|
|
|
|
title = {Depth first search and linear graph algorithms},
|
|
|
|
|
journal = {SIAM JOURNAL ON COMPUTING},
|
|
|
|
|
year = {1972},
|
|
|
|
|
volume = {1},
|
|
|
|
|
number = {2}
|
|
|
|
|
}
|
2020-02-05 17:27:11 +01:00
|
|
|
|
|
|
|
|
@MISC{Palmgren_SemHeyting,
|
|
|
|
|
author = {Erik Palmgren},
|
|
|
|
|
title = {Semantics of intuitionistic propositional logic},
|
|
|
|
|
year = {2009},
|
|
|
|
|
publisher = {Uppsala University},
|
2021-03-03 15:39:26 +01:00
|
|
|
howpublished = {Notes de cours},
|
|
|
|
|
url = {http://www2.math.uu.se/~palmgren/tillog/heyting3.pdf}
|
2020-02-05 17:27:11 +01:00
|
|
|
}
|
2020-10-28 13:12:16 +01:00
|
|
|
|
2020-10-30 13:13:28 +01:00
|
|
|
@misc{CoursLegeard,
|
2020-10-28 13:12:16 +01:00
|
|
|
author = {Bruno Legeard},
|
|
|
|
|
title = {Cours sur le test de logiciels},
|
|
|
|
|
year = {2011},
|
|
|
|
|
publisher = {Université de Franche-Comté},
|
|
|
|
|
howpublished = {Notes de cours},
|
|
|
|
|
url = {http://ufrsciencestech.u-bourgogne.fr/master1/Qualite-Innovation-PI_archives/QUALITE%20INNOVATION%20M1%20STIC%20V2011/cours-BL.pdf}
|
|
|
|
|
}
|
2021-03-03 15:39:26 +01:00
|
|
|
|
|
|
|
|
@misc{CoursHavet,
|
|
|
|
|
author = {Frédéric Havet},
|
|
|
|
|
title = {Cours de théorie des graphes},
|
|
|
|
|
url = {https://www-sop.inria.fr/members/Frederic.Havet/Cours/tout.html},
|
|
|
|
|
howpublished = {Notes de cours}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
@misc{CoursNisse,
|
2021-03-07 20:59:50 +01:00
|
|
|
author = {Frédéric Giroire and Frédéric Havet and Nicolas Nisse},
|
2021-03-03 15:39:26 +01:00
|
|
|
title = {Combinatorial optimisation for telecommunications},
|
|
|
|
|
year = {2012},
|
|
|
|
|
publisher = {Équipe Mascotte (CNRS -- INRIA), Université de Nice},
|
|
|
|
|
howpublished = {Notes de cours},
|
|
|
|
|
url = {http://www-sop.inria.fr/members/Frederic.Giroire/teaching/ubinet/pdfs/ubinet.pdf}
|
|
|
|
|
}
|
2021-03-04 20:11:10 +01:00
|
|
|
|
|
|
|
|
@misc{CoursGolin,
|
|
|
|
|
author = {Golin, Mordecai Jay},
|
|
|
|
|
title = {The Hungarian Algorithm for the Assignment Problem},
|
|
|
|
|
year = {2007},
|
|
|
|
|
publisher = {Hong Kong University of Science and Technology},
|
|
|
|
|
howpublished = {Notes de cours},
|
|
|
|
|
url = {http://www.cs.ust.hk/mjg_lib/Classes/COMP572_Fall07/Notes/Matching.pdf}
|
|
|
|
|
}
|
