Mathematics

publyear: 2007
61-72 / total 220
year limit: 2007 - remove year limit
cover from: Google Books
Kauers, Manuel.
Towards Mechanized Mathematical Assistants : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
edited by Manuel Kauers, Manfred Kerber, Robert Miner, W
2007
65439
isbn:9783540730866
cover from: Google Books
Aspnes, James.
Distributed Computing in Sensor Systems : Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings
edited by James Aspnes, Christian Scheideler, Anish Arora, Samuel Madden.
2007
65440
isbn:9783540730903
no cover image
Kleijn, Jetty.
Petri Nets and Other Models of Concurrency - ICATPN 2007 / 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceeding
2007
65442
isbn:9783540730941
no cover image
Harju, Tero.
Developments in Language Theory : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings
edited by Tero Harju, Juhani Karhumäki, Arto Lepistö.
2007
65453
isbn:9783540732082
no cover image
Arge, Lars.
Automata, Languages and Programming : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
edited by Lars Arge, Christian Cachin, Tomasz Jurdziński, Andrzej Tarlecki.
2007
65482
isbn:9783540734208
no cover image
Leivant, Daniel.
Logic, Language, Information and Computation : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings
edited by Daniel Leivant, Ruy Queiroz.
2007
65486
isbn:9783540734451
no cover image
Stephens, Christopher R.
Foundations of Genetic Algorithms : 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers
edited by Christopher R. Stephens, Marc Toussaint, Darrell Whitley, Peter F. Stadler
2007
65491
isbn:9783540734826
cover from: Google Books
Takagi, Tsuyoshi.
Pairing-Based Cryptography - Pairing 2007 : First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings
edited by Tsuyoshi Takagi, Tatsuaki Okamoto, Eiji Okamoto, Takeshi Okamoto.
2007
65492
isbn:9783540734895
no cover image
Lin, Guohui.
Computing and Combinatorics : 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007. Proceedings
edited by Guohui Lin.
2007
65497
isbn:9783540735458
no cover image
Dress, Andreas.
Combinatorial Optimization and Applications : First International Conference, COCOA 2007, Xi'an, China, August 14-16, 2007. Proceedings
edited by Andreas Dress, Yinfeng Xu, Binhai Zhu.
2007
65502
isbn:9783540735564
cover from: Google Books
Priss, Uta.
Conceptual Structures: Knowledge Architectures for Smart Applications : 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings
edited by Uta Priss, Simon Polovina, Ric
2007
65510
isbn:9783540736813
cover from: Google Books
Preparata, Franco P.
Frontiers in Algorithmics : First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007. Proceedings
edited by Franco P. Preparata, Qizhi Fang.
2007
65514
isbn:9783540738145
Loading... loading_more ...
device_type: computer thumb_size: normal
| grid | |