81-160
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
-
Pre-Owned Lecture Notes in Com...The International Workshop on Graph-Theoretic Concepts in Computer Science is ... The International Workshop on Graph-Theoretic Concepts in Computer Science is one of the most traditional and high quality conferences in Computer Science. PreviousconferenceswereorganizedatvariousplacesinAustria Germany Italy and the Netherlands.... more
-
Pre-Owned Lecture Notes in Com...This book constitutes the refereed proceedings of the 17th International Confe... This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science FSTTCS 97. The 18 revised full papers presented were selected from a total of 68 submissions.... more
-
Pre-Owned Synthesis Lectures o...This is the first comprehensive history of human-computer interaction (HCI). W... This is the first comprehensive history of human-computer interaction (HCI). Whether you are a user-experience professional or an academic researcher whether you identify with computer science human factors information systems information science... more
-
Pre-Owned Lecture Notes in Com...In July 1998 a summer school in cryptology and data security was organized att... In July 1998 a summer school in cryptology and data security was organized atthecomputersciencedepartmentofAarhusUniversity Denmark.Thistook place as a part of a series of summer schools organized by the European Edu- tional Forum an... more
-
Pre-Owned Lecture Notes in Com...Constraints provide a declarative way of representing infinite sets of data. T... Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for... more
-
Pre-Owned Lecture Notes in Com...Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries ... Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner the focus in the development methodologies has switched in the last two decades from functional... more
-
Pre-Owned Lecture Notes in Com...This book is based on material presented at the international summer school on... This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha Portugal in September 2000. We aim to present some recent developments in programming language research both in semantic... more
-
Pre-Owned Lecture Notes in Com...During the last few years we have seen quite spectacular progress in the area ... During the last few years we have seen quite spectacular progress in the area of approximation algorithms: for several fundamental optimization problems we now actually know matching upper and lower bounds for their approximability. This... more
-
Pre-Owned Lecture Notes in Com...This volume contains the notes of the lectures given at the Fourth Inter- tion... This volume contains the notes of the lectures given at the Fourth Inter- tionalSchoolonAdvanced FunctionalProgramming heldAugust19-24 2002 at St. Anne s College in Oxford UK. This School was preceded by earlier ones in B? astad (1995 Sweden LNCS... more
-
Lecture Notes in Computer Scie...The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a ... The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2007 was testing.... more
-
-
Pre-Owned Lecture Notes in Com...Inthisvolumeyouwill?ndthelecturenotescorrespondingtothepres- rd tationsgivenat... Inthisvolumeyouwill?ndthelecturenotescorrespondingtothepres- rd tationsgivenatthe3 summerschoolonAdvancedFunctionalProgramming heldinBraga PortugalfromSeptember12-19 1998. ThisschoolwasprecededbyearlieronesinB?astad(1995 Sweden LNCS925) andOlympia... more
-
Pre-Owned Lecture Notes in Com...Formal methods have been applied successfully to the verification of medium-si... Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However their application to the development of large systems requires more emphasis on specification modelling and... more
-
Lecture Notes in Computer Scie...This volume includes six lectures given at the ICTAC (International Colloquium... This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World held on September 1-7 2021 originally scheduled to take place in Astana but held in... more
-
Pre-Owned Lecture Notes in Com...his book presents the refereed proceedings of the 6th European Symposium on Re... his book presents the refereed proceedings of the 6th European Symposium on Research in Computer Security ESORICS 2000 held in Toulouse France in October 2000. The 19 revised full papers presented were carefully reviewed and selected from a total of... more
-
Lecture Notes in Computer Scie...This book constitutes the refereed proceedings of the 39th Computer Graphics I... This book constitutes the refereed proceedings of the 39th Computer Graphics International Conference on Advances in Computer Graphics CGI 2022 held Virtually during September 12-16 2022. The 45 full papers included in this book were carefully... more
-
Pre-Owned Lecture Notes in Com...This volume contains invited and contributed papers presented at the eighth ed... This volume contains invited and contributed papers presented at the eighth edition of the International Summer School on Neural Networks dedicated to Prof.EduardoR.Caianiello.Theschoolwasestablishedin1996byProf.Antonio Zichichi director of the... more
-
Lecture Notes in Computer Scie...Formal methods have been applied successfully to the verification of medium-si... Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However their application to the development of large systems requires more emphasis on specification modelling and... more
-
Pre-Owned Lecture Notes in Com...Formal methods have been applied successfully to the verification of medium-si... Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However their application to more complex systems resulting from the object-oriented and the more recent component-based... more
-
Lecture Notes in Computer Scie...This 10-volume LNCS conference set constitutes the proceedings of the 17th Asi... This 10-volume LNCS conference set constitutes the proceedings of the 17th Asian Conference on Computer Vision in Hanoi Vietnam held during December 8-12 2024. The 270 full papers together included in this volume were carefully reviewed and selected... more
-
Lecture Notes in Computer Scie...Business Process Management Demystified: A Tutorial on Models Systems and Stan... Business Process Management Demystified: A Tutorial on Models Systems and Standards for Workflow Management.- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming.- Timed Automata: Semantics Algorithms and Tools.-... more
-
Lecture Notes in Computer Scie...This 10-volume LNCS conference set constitutes the proceedings of the 17th Asi... This 10-volume LNCS conference set constitutes the proceedings of the 17th Asian Conference on Computer Vision in Hanoi Vietnam held during December 8-12 2024. The 270 full papers together included in this volume were carefully reviewed and selected... more
-
Lecture Notes in Computer Scie...This 10-volume LNCS conference set constitutes the proceedings of the 17th Asi... This 10-volume LNCS conference set constitutes the proceedings of the 17th Asian Conference on Computer Vision in Hanoi Vietnam held during December 8-12 2024. The 270 full papers together included in this volume were carefully reviewed and selected... more
-
Lecture Notes in Computer Scie...The three volume set LNCS 13554 13555 13556 constitutes the proceedings of the... The three volume set LNCS 13554 13555 13556 constitutes the proceedings of the 27th European Symposium on Research in Computer Security ESORICS 2022 which took place in September 2022. The conference took place in Copenhagen Denmark in a hybrid... more
-
Pre-Owned Lecture Notes in Com...ESORICS the European Symposium on Research in Computer Security is the leading... ESORICS the European Symposium on Research in Computer Security is the leading research-oriented conference on the theory and practice of computer security in Europe. It takes place every two years at various locations throughout Europe and is... more
-
Lecture Notes in Computer Scie...This 10-volume LNCS conference set constitutes the proceedings of the 17th Asi... This 10-volume LNCS conference set constitutes the proceedings of the 17th Asian Conference on Computer Vision in Hanoi Vietnam held during December 8-12 2024. The 270 full papers together included in this volume were carefully reviewed and selected... more
-
Lecture Notes in Computer Scie...The European Conference on Computer Vision (ECCV) has established itself as a ... The European Conference on Computer Vision (ECCV) has established itself as a major event in this exciting and very active field of research and development. These refereed two-volume proceedings include the 123 papers accepted for presentation at... more
-
Lecture Notes in Computer Scie...ForewordfromtheProgramChairs These proceedings contain the papers selected for... ForewordfromtheProgramChairs These proceedings contain the papers selected for presentation at the 9th - ropean Symposium on Research in Computer Security (ESORICS) held during September 13-15 2004 in Sophia Antipolis France. In response to the call... more
-
Pre-Owned Lecture Notes in Com...Security is a rapidly growing area of computer science with direct and increas... Security is a rapidly growing area of computer science with direct and increasing relevance to real life applications such as Internet transactions electronic commerce information protection network and systems integrity etc. This volume presents... more
-
Pre-Owned Lecture Notes in Com...The two-volume set originates from the Advanced Course on Petri Nets held in D... The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl Germany in September 1996; beyond the lectures given there additional chapters have been commissioned to give a well-balanced presentation of the state of the art... more
-
Lecture Notes in Computer Scie...Ten years ago the inaugural European Conference on Computer Vision was held in... Ten years ago the inaugural European Conference on Computer Vision was held in Antibes France. Since then ECCV has been held biennially under the auspices of the European Vision Society at venues around Europe. This year the privilege of organizing... more
-
Pre-Owned Lecture Notes in Com...This volume contains the papers presented at the International Workshop on Mat... This volume contains the papers presented at the International Workshop on Mathematical Methods Models and Architectures for Computer Network Se- rity(MMM-ACNS2003)heldinSt.Petersburg Russia duringSeptember21-23... more
-
Lecture Notes in Computer Scie...This 10-volume LNCS conference set constitutes the proceedings of the 17th Asi... This 10-volume LNCS conference set constitutes the proceedings of the 17th Asian Conference on Computer Vision in Hanoi Vietnam held during December 8-12 2024. The 270 full papers together included in this volume were carefully reviewed and selected... more
-
Pre-Owned Lecture Notes in Com...ESORICS the European Symposium On Research In Computer Security is the leading... ESORICS the European Symposium On Research In Computer Security is the leading research-oriented conference on the theory and practice of computer - curity in Europe. The aim of ESORICS is to further the progress of research in computer security by... more
-
Lecture Notes in Computer Scie...This 10-volume LNCS conference set constitutes the proceedings of the 17th Asi... This 10-volume LNCS conference set constitutes the proceedings of the 17th Asian Conference on Computer Vision in Hanoi Vietnam held during December 8-12 2024. The 270 full papers together included in this volume were carefully reviewed and selected... more
-
Lecture Notes in Computer Scie...This 2-volume LNCS conference set constitutes the proceedings of the 17th Asia... This 2-volume LNCS conference set constitutes the proceedings of the 17th Asian Conference on Computer Vision in Hanoi Vietnam held during December 8-12 2024. The 269 full papers included in this volume were carefully reviewed and selected from 839... more
-
Lecture Notes in Computer Scie...Formal methods have been applied successfully to the verification of medium-si... Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However their application to more complex systems resulting from the object-oriented and the more recent component-based... more
-
Pre-Owned Lecture Notes in Com...This book presents the state of the art in software visualization and thus att... This book presents the state of the art in software visualization and thus attempts to establish it as a field on its own. Based on a seminar held at Dagstuhl Castle in May 2001 the book offers topical sections on: - algorithm animation - software... more
-
Lecture Notes in Computer Scie...This 10-volume LNCS conference set constitutes the proceedings of the 17th Asi... This 10-volume LNCS conference set constitutes the proceedings of the 17th Asian Conference on Computer Vision in Hanoi Vietnam held during December 8-12 2024. The 270 full papers together included in this volume were carefully reviewed and selected... more
-
Lecture Notes in Computer Scie...The three volume set LNCS 13554 13555 13556 constitutes the proceedings of the... The three volume set LNCS 13554 13555 13556 constitutes the proceedings of the 27th European Symposium on Research in Computer Security ESORICS 2022 which took place in September 2022. The conference took place in Copenhagen Denmark in a hybrid... more
-
Lecture Notes in Computer Scie...This 10-volume LNCS conference set constitutes the proceedings of the 17th Asi... This 10-volume LNCS conference set constitutes the proceedings of the 17th Asian Conference on Computer Vision in Hanoi Vietnam held during December 8-12 2024. The 270 full papers together included in this volume were carefully reviewed and selected... more
-
Lecture Notes in Computer Scie...This 10-volume LNCS conference set constitutes the proceedings of the 17th Asi... This 10-volume LNCS conference set constitutes the proceedings of the 17th Asian Conference on Computer Vision in Hanoi Vietnam held during December 8-12 2024. The 270 full papers together included in this volume were carefully reviewed and selected... more
-
Lecture Notes in Computer Scie...This 2-volume LNCS conference set constitutes the proceedings of the 17th Asia... This 2-volume LNCS conference set constitutes the proceedings of the 17th Asian Conference on Computer Vision in Hanoi Vietnam held during December 8-12 2024. The 269 full papers included in this volume were carefully reviewed and selected from 839... more
-
Lecture Notes in Computer Scie...The 7-volume set of LNCS 13841-13847 constitutes the proceedings of the 16th A... The 7-volume set of LNCS 13841-13847 constitutes the proceedings of the 16th Asian Conference on Computer Vision ACCV 2022 held in Macao China December 2022. The total of 277 contributions included in the proceedings set was carefully reviewed and... more
-
Lecture Notes in Computer Scie...This 10-volume LNCS conference set constitutes the proceedings of the 17th Asi... This 10-volume LNCS conference set constitutes the proceedings of the 17th Asian Conference on Computer Vision in Hanoi Vietnam held during December 8-12 2024. The 270 full papers together included in this volume were carefully reviewed and selected... more
-
Synthesis Lectures on Computer...This synthesis lecture presents the current state-of-the-art in applying low-l... This synthesis lecture presents the current state-of-the-art in applying low-latency lossless hardware compression algorithms to cache memory and the memory/cache link. There are many non-trivial challenges that must be addressed to make data... more
-
Synthesis Lectures on Computer...Most emerging applications in imaging and machine learning must perform immens... Most emerging applications in imaging and machine learning must perform immense amounts of computation while holding to strict limits on energy and power. To meet these goals architects are building increasingly specialized compute engines tailored... more
-
Pre-Owned Synthesis Lectures o...In its early years the field of computer vision was largely motivated by resea... In its early years the field of computer vision was largely motivated by researchers seeking computational models of biological vision and solutions to practical problems in manufacturing defense and medicine. For the past two decades or so there... more
-
Pre-Owned Synthesis Lectures o...Since the end of Dennard scaling in the early 2000s improving the energy effic... Since the end of Dennard scaling in the early 2000s improving the energy efficiency of computation has been the main concern of the research community and industry. The large energy efficiency gap between general-purpose processors and... more
-
Pre-Owned Synthesis Lectures o...Since the 1970 s microprocessor-based digital platforms have been riding Moore... Since the 1970 s microprocessor-based digital platforms have been riding Moore s law allowing for doubling of density for the same area roughly every two years. However whereas microprocessor fabrication has focused on increasing instruction... more
-
Synthesis Lectures on Computer...This book provides a thorough overview of the state-of-the-art field-programma... This book provides a thorough overview of the state-of-the-art field-programmable gate array (FPGA)-based robotic computing accelerator designs and summarizes their adopted optimized techniques. This book consists of ten chapters delving into the... more
-
Pre-Owned Synthesis Lectures o...Path planning and navigation are indispensable components for controlling auto... Path planning and navigation are indispensable components for controlling autonomous agents in interactive virtual worlds. Given the growing demands on the size and complexity of modern virtual worlds a number of new techniques have been developed... more
-
Pre-Owned Synthesis Lectures o...This book provides computer engineers academic researchers new graduate studen... This book provides computer engineers academic researchers new graduate students and seasoned practitioners an end-to-end overview of virtual memory. We begin with a recap of foundational concepts and discuss not only state-of-the-art virtual memory... more
-
Synthesis Lectures on Computer...Many modern computer systems including homogeneous and heterogeneous architect... Many modern computer systems including homogeneous and heterogeneous architectures support shared memory in hardware. In a shared memory system each of the processor cores may read and write to a single shared address space. For a shared memory... more
-
Synthesis Lectures on Computer...Dynamic binary modification tools form a software layer between a running appl... Dynamic binary modification tools form a software layer between a running application and the underlying operating system providing the powerful opportunity to inspect and potentially modify every user-level guest application instruction that... more
-
Synthesis Lectures on Computer...Datacenter networks provide the communication substrate for large parallel com... Datacenter networks provide the communication substrate for large parallel computer systems that form the ecosystem for high performance computing (HPC) systems and modern Internet applications. The design of new datacenter networks is motivated by... more
-
Pre-Owned Synthesis Lectures o...The emerging three-dimensional (3D) chip architectures with their intrinsic ca... The emerging three-dimensional (3D) chip architectures with their intrinsic capability of reducing the wire length promise attractive solutions to reduce the delay of interconnects in future microprocessors. 3D memory stacking enables much higher... more
-
Synthesis Lectures on Computer...Video Object Tracking: Tasks Datasets and Methods Video Object Tracking: Tasks Datasets and Methods more
-
Pre-Owned Synthesis Lectures o...In the human quest for scientific knowledge empirical evidence is collected by... In the human quest for scientific knowledge empirical evidence is collected by visual perception. Tracking with computer vision takes on the important role to reveal complex patterns of motion that exist in the world we live in. Multi-object... more
-
Pre-Owned Synthesis Lectures o...For the last ten years face biometric research has been intensively studied by... For the last ten years face biometric research has been intensively studied by the computer vision community. Face recognition systems have been used in mobile banking and surveillance systems. For face recognition systems face spoofing attack... 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.