THEORETICAL COMPUTER SCIENCE - PROCEEDINGS OF THE 10TH ITALIAN CONFERENCE ON ICTCS '07

AvAL GIUSEPPE F ITALIANO ET,Giuseppe F Italiano

Inbunden, Engelska, 2007

1 895 kr

Tillfälligt slut

Beskrivning

Many researchers from different countries converged at the 10th Italian Conference on Theoretical Computer Science (ICTCS 2007) to discuss recent developments in theoretical computer science. The volume contains all contributed papers selected for presentation with the invited lectures delivered. The subjects of this book range from logical and mathematical aspects of computing, design and analysis of algorithms, to semantics of programming languages.

Produktinformation

Utgivningsdatum:2007-09-06
Mått:159 x 234 x 19 mm
Vikt:510 g
Format:Inbunden
Språk:Engelska
Antal sidor:216
Förlag:World Scientific Publishing Co Pte Ltd
ISBN:9789812770981

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

Algebraic and Categorical Models; Algorithmic Aspects of Networks; Algorithmic Game Theory; Algorithms and Data Structures; Computability; Computational Complexity; Computational Biology; Computational Geometry; Cryptography and Security; Databases, Semi-Structured Data and Finite Model Theory; Emerging and Non-Standard Models of Computation; Experimental Analysis of Algorithms; Formal Languages and Automata Theory; Internet Algorithmics; Logics, Formal Methods and Model Checking; Models of Concurrent, Distributed and Mobile Systems; Models of Reactive, Hybrid and Stochastic Systems; Parallel, Distributed and External Memory Computing; Principles of Programming Languages; Program Analysis and Transformation; Quantum Computing; Specification, Refinement and Verification; Type Systems and Theory, Typed Calculi.

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Category Theory and Computer Science

Eugenio Moggi, Giuseppe Rosolini

Häftad, 1997

554 kr

Mathematical Foundations of Computer Science 2015

Donald T. Sannella, Giovanni Pighizzini, Giuseppe F Italiano

E-bok

2015

718 kr

Mathematical Foundations of Computer Science 2015

Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella

Häftad, 2015

554 kr

Algorithms - ESA 2013

Giuseppe F. Italiano, Hans L. Bodlaender

E-bok

2013

718 kr

Del 11498

Privacy Technologies and Policy

Maurizio Naldi, Giuseppe F. Italiano, Kai Rannenberg, Manel Medina, Athena Bourka

Häftad, 2019

571 kr

SOFSEM 2013: Theory and Practice of Computer Science

Peter van Emde Boas, Frans C.A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack

Häftad, 2013

554 kr

Privacy Technologies and Policy

Prokopios Drogkaris, Kai Rannenberg, Giuseppe F. Italiano, Maurizio Naldi, Luis Antunes

E-bok

2020

739 kr

SOFSEM 2013: Theory and Practice of Computer Science

Harald Sack, Jerzy Nawrocki, Giuseppe F. Italiano, Frans C.A. Groen, Peter van Emde Boas

E-bok

2013

718 kr

Algorithms – ESA 2013

Hans L. Bodlaender, Giuseppe F. Italiano

Häftad, 2013

554 kr

THEORETICAL COMPUTER SCIENCE - PROCEEDINGS OF THE 10TH ITALIAN CONFERENCE ON ICTCS '07

AvAL GIUSEPPE F ITALIANO ET,Giuseppe F Italiano

Inbunden, Engelska, 2007

1 895 kr

Tillfälligt slut

Beskrivning

Produktinformation

Utgivningsdatum:2007-09-06
Mått:159 x 234 x 19 mm
Vikt:510 g
Format:Inbunden
Språk:Engelska
Antal sidor:216
Förlag:World Scientific Publishing Co Pte Ltd
ISBN:9789812770981

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

Algebraic and Categorical Models; Algorithmic Aspects of Networks; Algorithmic Game Theory; Algorithms and Data Structures; Computability; Computational Complexity; Computational Biology; Computational Geometry; Cryptography and Security; Databases, Semi-Structured Data and Finite Model Theory; Emerging and Non-Standard Models of Computation; Experimental Analysis of Algorithms; Formal Languages and Automata Theory; Internet Algorithmics; Logics, Formal Methods and Model Checking; Models of Concurrent, Distributed and Mobile Systems; Models of Reactive, Hybrid and Stochastic Systems; Parallel, Distributed and External Memory Computing; Principles of Programming Languages; Program Analysis and Transformation; Quantum Computing; Specification, Refinement and Verification; Type Systems and Theory, Typed Calculi.