81-100
of
9,405
results
-
Lecture Notes in Computer Scie...Sponsored by AFCET (Association Francaise pour la Cybern; tique Economique et ... Sponsored by AFCET (Association Francaise pour la Cybern; tique Economique et Technique) and GI (Gesellschaft für Informatik) more
-
Lecture Notes in Computer Scie...This book constitutes the joint refereed proceedings of the 17th International... This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic CSL 2003 held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gödel Colloquium KGC 2003 in Vienna Austria in August... more
-
Lecture Notes in Computer Scie...The Eighth Italian Conference on Theoretical Computer Science (ICTCS 2003) was... The Eighth Italian Conference on Theoretical Computer Science (ICTCS 2003) was held at the University Residential Center of Bertinoro Italy on October 13-15 2003. The center is composed of three large historical and monumental buildings not far from... more
-
Lecture Notes in Computer Scie...This book constitutes the refereed proceedings of the 15th International Confe... This book constitutes the refereed proceedings of the 15th International Conference on Foundations of Software Technology and Theoretical Computer Science FSTTCS 95 held in Bangalore India in December 1995. The volume presents 31 full revised... more
-
Pre-Owned Lecture Notes in Com...Proof theory has long been established as a basic discipline of mathematical l... Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as... more
-
Pre-Owned Lecture Notes in Com...The 28th International Workshop on Graph-Theoretic Concepts in Computer ? Scie... The 28th International Workshop on Graph-Theoretic Concepts in Computer ? Science (WG 2002) was held in Cesky ´ Krumlov a beautiful small town in the southern part of the Czech Republic on the river Vltava (Moldau) June 13-15 2002. The workshop was... more
-
Pre-Owned Lecture Notes in Com...The Eighth Italian Conference on Theoretical Computer Science (ICTCS 2003) was... The Eighth Italian Conference on Theoretical Computer Science (ICTCS 2003) was held at the University Residential Center of Bertinoro Italy on October 13-15 2003. The center is composed of three large historical and monumental buildings not far from... more
-
Lecture Notes in Computer Scie...This volume constitutes the thoroughly refereed proceedings of the 49th Intern... This volume constitutes the thoroughly refereed proceedings of the 49th International Workshop on Graph-Theoretic Concepts in Computer Science WG 2023. The 33 full papers presented in this volume were carefully reviewed and selected from a total of... more
-
Pre-Owned Lecture Notes in Com...Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheE... Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic heldonSeptember 20-24 2004 in Karpacz Poland. The CSL conference series started as the International Workshops on C-... more
-
Pre-Owned Lecture Notes in Com...th This volume contains the proceedings of the 19 FST&TCS conference (Foundati... th This volume contains the proceedings of the 19 FST&TCS conference (Foundations of Software Technology and Theoretical Computer Science) - ganized under the auspices of the Indian Association for Research in Computing Science (http: //www. imsc.... more
-
Pre-Owned Lecture Notes in Com...This book constitutes the strictly refereed post-workshop proceedings of the 1... This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic CSL 97 held as the 1997 Annual Conference of the European Association on Computer Science Logic EACSL in Aarhus... more
-
Pre-Owned Lecture Notes in Com...The past few years have witnessed rapid scienti?c and technological devel- men... The past few years have witnessed rapid scienti?c and technological devel- ments in human-centered seamless computing environments interfaces de- ces and systems with applications ranging from business and communication to entertainment and... more
-
Lecture Notes in Computer Scie...For more than a decade Foundations of Software Technology and Theoretical Comp... For more than a decade Foundations of Software Technology and Theoretical Computer Science Conferences have been providing an annual forum for the presentation of new research results in India and abroad. This year 119 papers from 20 countries were... more
-
Lecture Notes in Computer Scie...This volume contains the papers presented at the 6th International Workshop on... This volume contains the papers presented at the 6th International Workshop on Randomization and Approximation Techniques in Computer Science (RAN- DOM 2002) which took place at Harvard University Cambridge Massachusetts from September 13-15 2002.... more
-
Pre-Owned Lecture Notes in Com...This volume contains the papers presented at the 6th International Workshop on... This volume contains the papers presented at the 6th International Workshop on Randomization and Approximation Techniques in Computer Science (RAN- DOM 2002) which took place at Harvard University Cambridge Massachusetts from September 13-15 2002.... more
-
Lecture Notes in Computer Scie...The Great Lakes Computer Science Conference is held biannually in Kalamazoo Mi... The Great Lakes Computer Science Conference is held biannually in Kalamazoo Michigan. It is a wide-focus conference concerning all areas of Computer Science. Typically research in data structures algorithms (both parallel and sequential) database... more
-
Pre-Owned Lecture Notes in Com...This book constitutes the refereed proceedings of the International Workshop o... This book constitutes the refereed proceedings of the International Workshop on Randomization and Approximation Techniques in Computer Science RANDOM 97 held as a satelite meeting of ICALP 97 in Bologna Italy in July 1997. The volume presents 14... more
-
Pre-Owned Lecture Notes in Com...Over the past two decades the Foundations of Software Technology and Th- retic... Over the past two decades the Foundations of Software Technology and Th- retical Computer Science (FSTTCS) conferences have been providing an - nual forum in India for the presentation and publication of results in computer science from around the... more
-
Pre-Owned Lecture Notes in Com...The 1999 Annual Conference of the European Association for Computer Science Lo... The 1999 Annual Conference of the European Association for Computer Science Logic CSL 99 was held in Madrid Spain on September 20-25 1999. CSL 99 was the 13th in a series of annual meetings originally intended as Internat- nal Workshops on Computer... more
-
Lecture Notes in Computer Scie...This volume presents the proceedings of the 20th International Workshop on Gra... This volume presents the proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 94) held in Herrsching Germany in June 1994. The volume contains 32 thoroughly revised papers selected from 66 submissions... more
Ads related to synthesis lectures on computer science
Shopping for the best deal on Synthesis lectures on computer science Computer Books - Select a product below or see other matches to read product reviews, compare prices and store ratings.