Krishnendu chatterjee (80 risultati)

Encuadernación de tapa blanda. Condizione: Como Nuevo.

Condizione: New.

Paperback or Softback. Condizione: New. Mathematical Foundations of Computer Science 2013: 38th International Symposium, Mfcs 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings. Book.

Paperback. Condizione: new. Paperback. This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 810, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. The modeling andanalysis oftiming aspects of systems is a keyproblem that has been treated independently in several di?erent communities in computer science and related areas. Researchers interested in semantics, veri?cation, re- timescheduling,andperformanceanalysisstudymodelssuchastimedautomata and timed Petri nets, the digital design community focuses on propagation and switching delays, and designers of embedded controllers need to take into - count the time requiredby controllersto compute their responses after sampling the environment. Although the timing-related questions in these separate c- munities have their own speci?c nature, there is a growing awareness that there are basic problems that are common to all of them. In particular, all of these disciplines model and analyze systems whose behavior depends on combinations of logical and timing constraints between occurrences of events. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share an interest in the modeling and analysis of timed systems. Typical topics include (but are not limited to): Foundations and Semantics: theoretical foundations of timed systems and languages; comparison between di?erent models (timed automata, timed Petri nets, hybrid automata, timed process algebra,max-plus algebra, pr- abilistic models). This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 810, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. …

Paperback. Condizione: New. This volume LNCS constitutes the refereed proceedings of the 21st International Conference on Distributed Computing and Intelligent Technology, ICDCIT 2025, in Bhubaneswar, in India, in January 2025. ICDCIT is organized into two tracks: Distributed Computing (DC) and Intelligent Technology (IT). The DC track solicits original research papers contributing to the foundations and applications of distributed computing. The DC track PC accepted 10 papers (7 regular papers and 3 short papers), and the IT track PC accepted 8 regular papers, The conference presents and discusses results and ideas on the foundations and applications of distributed computing and intelligent technology.…

Condizione: New. In English.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New. In English.

Condizione: New. In English.

Paperback. Condizione: Brand New. 1st edition. 267 pages. 9.10x6.10x0.60 inches. In Stock.

Kartoniert / Broschiert. Condizione: New.

Condizione: New. pp. x + 255 1st edition.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.…

Paperback. Condizione: Brand New. 506 pages. 6.14x1.14x9.21 inches. In Stock.

Condizione: New.

Paperback. Condizione: Brand New. 334 pages. 9.25x6.10x9.21 inches. In Stock.

Condizione: As New. Unread book in perfect condition.

Condizione: New. pp. x + 255 Illus.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume LNCS constitutes the refereed proceedings of the 21st International Conference on Distributed Computing and Intelligent Technology, ICDCIT 2025, in Bhubaneswar, in India, in January 2025.ICDCIT is organized into two tracks: Distributed Computing (DC) and Intelligent Technology (IT). The DC track solicits original research papers contributing to the foundations and applications of distributed computing.The DC track PC accepted10 papers (7 regular papers and 3 short papers), and the IT track PC accepted 8 regular papers,The conference presents and discussesresults and ideason the foundations and applications of distributed computing and intelligenttechnology.…

Condizione: New.

Condizione: New. Uday Chatterjee is an Assistant Professor in the Department of Geography, Bhatter College, Dantan, Paschim Medinipur, West Bengal, India.Avishek Bhunia is an Assistant Professor in the Department of Geography, K.D. College of Commerc.

Condizione: New. In English.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Taschenbuch. Condizione: Neu. Distributed Computing and Intelligent Technology | 21st International Conference, ICDCIT 2025, Bhubaneswar, India, January 8-11, 2025, Proceedings | Quentin Bramas (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxvi | Englisch | 2025 | Springer | EAN 9783031814037 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Neuware - This book conceptualizes and synthesizes worldwide research on the quality of urban life. It looks at quality of life within urban cities analysing amenities, infrastructure and assets while also bringing in the discourse around scarcity, disparity, accessibility, sustainability, equity, and well-being.Organized into four major parts, the book reflects on the interconnections between theories and practice and through a multi-disciplinary approach focuses on the aspects of urban environment and planning that makes cities inclusive, safe, resilient, smart, and sustainable. This book highlights the enormous strain on urban areas due to severe scarcity of civic systems and provides an in-depth look into urban concerns and pressing challenges from a global perspective, as well as many planning approaches to solving these problems.This book will be useful to students, researchers and teachers working in the field of urban studies, remote sensing and GIS, planning and sustainability, sustainable development, urban geography, development geography and population geography. This book would also be an invaluable companion to thought leaders, policy makers and industry and other professionals working in the field of urban planning and human development. …

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 868 | Sprache: Englisch | Produktart: Bücher | This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.…

Condizione: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.