Search Results - "Computer science"
-
1
Conference ProceedingLanguage engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures
Published 2009“…Lecture notes in computer science ;…”
-
2
Conference ProceedingAlgorithms and data structures : 8th international workshop, WADS 2003, Ottawa, Ontario, Canada, July 30-August 1, 2003 : proceedings
Published 2003“…Lecture notes in computer science . ;…”
-
3
BookIntroduction to the theory of programming languages /
Published 2011“…Undergraduate topics in computer science.…”
-
4
BookGuide to reliable distributed systems : building high-assurance applications and cloud-hosted services /
Published 2012“…Texts in computer science (Springer)…”
-
5
Conference ProceedingECOOP 2002-object-oriented programming : 16th European Conference, Málaga, Spain, June 10-14, 2002 : proceedings /
Published 2002“…Lecture notes in computer science…”
-
6
Conference ProceedingECOOP 2003 - Object-oriented programmings : 17th European conference, Darmstadt, Germany, july 2003 Proceedings /
Published 2003“…Lecture notes in computer science…”
-
7
BookFormal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United...
Published 2003“…Lecture notes in computer science (Springer).…”
-
8
Conference ProceedingDigital cities : technologies, experiences, and future perspectives
Published 2000“…Lecture notes in computer science (Springer),…”
-
9
Conference ProceedingComputer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proc...
Published 2003“…Lecture notes in computer science (Springer). ;…”
-
10
Conference ProceedingLogical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings
Published 2007“…Lecture notes in computer science (Springer) . ;…”
-
11
Conference ProceedingCONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings
Published 2003“…Lecture notes in computer science (Springer). ;…”
-
12
Conference ProceedingTools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice...
Published 2003“…Lecture notes in computer science (Springer). ;…”
-
13
Conference ProceedingRewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Published 2000“…Lecture notes in computer science (Springer).…”
-
14
Conference ProceedingObject-oriented information systems : 8th International Conference, OOIS 2002, Montpellier, France, September 2-5, 2002 : proceedings /
Published 2002“…Lecture notes in computer science…”
-
15
BookMathematical foundations of computer science .
Published 1991“…Texts and monographs in computer science (Springer-Verlag).…”
-
16
BookElements of functional programming
Published 1989“…International computer science series (Addison-Wesley).…”
-
17
BookTheoretical computer science : introduction to automata, computability, complexity, algorithmics, randomization, communication and cryptography
Published 2004“…Texts in theoretical computer science, an EATCS series.…”
-
18
BookConstraint programming languages : their specification and generation
Published 1988“…Addison-Wesley series in computer science (Addison-Wesley).…”
-
19
Conference ProceedingModel driven engineering languages and systems : 9th international conference, MoDELS 2006, Genova, Italy, October 1-6, 2006 : proceedings /
Published 2006“…Lecture notes in computer science…”
-
20
BookThe 68000 microprocessor : hardware and software : principles and applications
Published 1990“…Computer science…”