STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings /

STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings /

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	SpringerLink (Online service)
Diğer Yazarlar:	Thomas, Wolfgang, Weil, Pascal
Materyal Türü:	Ekitap
Dil:	English
Baskı/Yayın Bilgisi:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2007.
Seri Bilgileri:	Lecture Notes in Computer Science, 4393
Konular:	Computer science Computer software Logic design Data structures (Computer science) Computational complexity
Online Erişim:	Click here to view the full text content
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

STACS 2006 : 23rd annual symposium on theoretical aspects of computer science, Marseille, France, February 23-25, 2006, Proceedings /
Baskı/Yayın Bilgisi: (2006)

STACS 2005 22nd annual symposium on theoretical aspects of computer science, Stuttgart, Germany, February 24-26, 2004, proceedings
Yazar:: Diekert, Volker
Baskı/Yayın Bilgisi: (2005)

FSTTCS 2007: foundations of software technology and theoretical computer science : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
Baskı/Yayın Bilgisi: (2007)

Graph transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Theoretical computer science : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings

Graph transformation : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Mathematical foundations of computer science 2010 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Baskı/Yayın Bilgisi: (2010)

Mathematical foundations of computer science 2005 : 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings /

Theoretical aspects of computing - ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Computer science -- theory and applications 5th international computer science symposium in russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings /
Baskı/Yayın Bilgisi: (2010)

Computer science - theory and applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Applications of graph transformations with industrial relevance : 4th International symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers /
Baskı/Yayın Bilgisi: (2012)

Computer science - Theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

FSTTCS 2005: foundations of software technology and theoretical computer science / 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings

Graph transformations 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27-October 2, 2010. Proceedings /
Baskı/Yayın Bilgisi: (2010)

Abstract state machines, alloy, B and Z second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
Baskı/Yayın Bilgisi: (2010)

LATIN 2014: Theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Algorithms and computation : 24th international symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, proceedings /
Baskı/Yayın Bilgisi: (2013)

Descriptional complexity of formal systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Computer science - theory and applications : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Fun with algorithms 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings
Baskı/Yayın Bilgisi: (2007)

Algorithmic aspects in information and management : 10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Theory of cryptography : 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007. Proceedings /
Baskı/Yayın Bilgisi: (2007)

Foundations of information and knowledge systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings /
Baskı/Yayın Bilgisi: (2010)

Foundations of information and knowledge systems : 7th International symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Graph-theoretic concepts in computer science : 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers /
Baskı/Yayın Bilgisi: (2007)

Combinatorial pattern matching : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

The multivariate algorithmic revolution and beyond : Essays dedicated to Michael R. fellows on the occasion of his 60th birthday /
Baskı/Yayın Bilgisi: (2012)

Modelling computing systems : mathematics for computer science /
Yazar:: Moller, Faron
Baskı/Yayın Bilgisi: (2013)

Graph drawing : 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers /
Baskı/Yayın Bilgisi: (2007)

Abstract state machines, alloy, B, VDM, and Z : Third international conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Application and theory of petri nets and concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Computing and combinatorics : 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007. Proceedings /
Baskı/Yayın Bilgisi: (2007)

Algorithms and computation : 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings /
Baskı/Yayın Bilgisi: (2014)

Mathematics of program construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

The nature of computation. logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Theory and applications of models of computation 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /
Baskı/Yayın Bilgisi: (2010)

Algorithm theory - SWAT 2014 : 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Algorithm theory - SWAT 2012 : 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings /
Baskı/Yayın Bilgisi: (2012)

Mathematical foundations of computer science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)