Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Gupta, Rajiv
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Σειρά:	Lecture Notes in Computer Science 6011
Θέματα:	Computer science Computer Communication Networks Software engineering Computer software Computer Science Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-3-642-11970-5

Παρόμοια τεκμήρια

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ανά: Ong, Luke
Έκδοση: (2010)

Formal Methods: State of the Art and New Directions
ανά: Boca, Paul
Έκδοση: (2010)

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
ανά: Γlveczky, Peter Csaba
Έκδοση: (2010)

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
ανά: Carro, Manuel
Έκδοση: (2010)

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
ανά: Dong, Jin Song
Έκδοση: (2010)

Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
ανά: Hatcliff, John
Έκδοση: (2010)

Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
ανά: Tratt, Laurence
Έκδοση: (2010)

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
ανά: Lilius, Johan
Έκδοση: (2010)

Introduction to Programming with Fortran
ανά: Chivers, Ian D.
Έκδοση: (2006)

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, MΓ'laga, Spain, June 28βJuly 2, 2010. Proceedings
ανά: Vitek, Jan
Έκδοση: (2010)

Testing β Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
ανά: Bottaci, Leonardo
Έκδοση: (2010)

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
ανά: Barringer, Howard
Έκδοση: (2010)

Reliable Software Technologiey β Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
ανά: Real, Jorge
Έκδοση: (2010)

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
ανά: MΓ©ry, Dominique
Έκδοση: (2010)

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
ανά: Pol, Jaco
Έκδοση: (2010)

Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedings
ανά: Fraser, Gordon
Έκδοση: (2010)

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
ανά: Petrenko, Alexandre
Έκδοση: (2010)

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
ανά: Chatterjee, Krishnendu
Έκδοση: (2010)

Guide to Assembly Language Programming in Linux
ανά: Dandamudi, Sivarama P.
Έκδοση: (2005)

Pro Apache Beehive
ανά: Mittal, Kunal
Έκδοση: (2005)

Pro JSP 2
ανά: Brown, Simon E.
Έκδοση: (2005)

Reverse Engineering of Object Oriented Code
ανά: Tonella, Paolo
Έκδοση: (2005)

Beginning J2ME From Novice to Professional
ανά: Li, Sing
Έκδοση: (2005)

Pro Hibernate 3
ανά: Minter, Dave
Έκδοση: (2005)

Pro J2ME Polish Open Source Wireless Java Tools Suite
ανά: Virkus, Robert
Έκδοση: (2005)

JDBC Recipes A Problem-Solution Approach
ανά: Parsian, Mahmoud
Έκδοση: (2005)

Foundations of AOP for J2EE Development
ανά: Pawlak, Renaud
Έκδοση: (2005)

AutoCAD 2006 VBA A Programmerβs Reference
ανά: Sutphin, Joe
Έκδοση: (2006)

The Definitive Guide to Building Java Robots
ανά: Preston, Scott
Έκδοση: (2006)

Pro Apache Ant
ανά: Moodie, Matthew
Έκδοση: (2006)

Beginning Apache Struts From Novice to Professional
ανά: Doray, Arnold
Έκδοση: (2006)

Expert Spring MVC and Web Flow
ανά: Ladd, Seth
Έκδοση: (2006)

Foundations of Java for ABAP Programmers
ανά: Rooney, Alistair
Έκδοση: (2006)

Beginning POJOs From Novice to Professional
ανά: Sam-Bodden, Brian
Έκδοση: (2006)

Pro Java EE 5 Performance Management and Optimization
ανά: Haines, Steven
Έκδοση: (2006)

Compiler Design Virtual Machines
ανά: Wilhelm, Reinhard
Έκδοση: (2010)

Fundamentals of Algebraic Graph Transformation
ανά: Ehrig, Hartmut
Έκδοση: (2006)

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ανά: Esparza, Javier
Έκδοση: (2010)

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ανά: Rosenblum, David S
Έκδοση: (2010)

Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
ανά: Baudry, Benoit
Έκδοση: (2010)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών