Anmelden

Registrieren
Passwort vergessen?

Such-Historie
Merkliste
Links zu eurobuch.de
Cookie-Einstellungen

Tipp von eurobuch.de

Buch verkaufen

Suchtools

Aktuelles

Get it on iTunes

Jetzt bei Google Play

NEU: Endlose Ergebnisliste als Mitglied ein- oder ausschalten.

Sie haben JavaScript in Ihren Browsereinstellungen deaktiviert!
Für eine optimale Bedienbarkeit der Buchsuche empfehlen wir, JavaScript für eurobuch.de zu aktivieren.
Um ein aktuelles Suchergebnis ohne JavaScript zu sehen, müssen Sie u.U. mehrmals auf "Suchen" klicken.

- 5 Ergebnisse

Kleinster Preis: € 15,83, größter Preis: € 80,24, Mittelwert: € 57,32

Theoretical Computer Science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - Cosimo Laneve

(*)

Cosimo Laneve:
Theoretical Computer Science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - Taschenbuch

2003, ISBN: 3540202161

[EAN: 9783540202165], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INFORMATIK; JAVA; ALGORITHMS; AUTOMATA; COMPLEXITY; COMPUTERSCIENCE; DISCRETEMATHEMATICS; FORMALLANGUAGE; LOGIC… Mehr…

[EAN: 9783540202165], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INFORMATIK; JAVA; ALGORITHMS; AUTOMATA; COMPLEXITY; COMPUTERSCIENCE; DISCRETEMATHEMATICS; FORMALLANGUAGE; LOGIC; MATHEMATICALFOUNDATIONS; MATHEMATICALLOGIC; PROGRAMMINGTHEORY; THEORETICALCOMPUTERSCIENCE; THEORETICALINFORMATICS; THEORYOFCOMPUTING; VERIFICATION; DATASTRUCTURES; ALGORITHMANALYSISANDPROBLEMCOMPLEXITY, Druck auf Anfrage Neuware -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 one another, forming a united complex on the top of the built up area of the ancient town of Bertinoro. Previous conferences took place in Pisa (1972), Mantova (1974 and 1989), L Aquila (1992), Ravello (1995), Prato (1998), and Torino (2001). The conference aims at bringing together computer scientists, expecially youngresearchers,tofostercooperationandexchangeideasandresults.Itsmain topicsinclude:analysisanddesignofalgorithms,datatypesanddatastructures, theory of logical design and layout, computability, complexity, automata, s- bolic and algebraic computation, security, cryptography, speci cation and ve- cation, formal languages, foundations of functional programming, foundations of logic programming, term-rewriting, semantics, type theory, new computing paradigms, parallel and distributed computation, theory of concurrency, theory of databases, theory of knowledge bases, theory of robotics. The program committee, consisting of 14 members, considered 65 papers and selected 27 for presentation. These papers were selected on the basis of origin- ity, quality, and relevance to theoretical computer science. These proceedings include the revised versions of the 27 accepted papers and the invited talks by Marios Mavronicolas (Extreme Nash Equilibria), Martin Hofmann (Certi cation of Memory Usage), and G erard Boudol (On Programming Models for Mobility). 412 pp. Englisch, Books<

ZVAB.com

AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00)
Details...

(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Theoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings

(*)

Theoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - neues Buch

2003, ISBN: 9783540202165

Kartoniert, 412 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng Includes supplementary material: sn.pub/extrasThe Eighth Italian Conference on Theoretical Computer Science (ICTCS 2003) was … Mehr…

Kartoniert, 412 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng Includes supplementary material: sn.pub/extrasThe 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 one another, forming a united complex on the top of the built up area of the ancient town of Bertinoro. Previous conferences took place in Pisa (1972), Mantova (1974 and 1989), L¿Aquila (1992), Ravello (1995), Prato (1998), and Torino (2001). The conference aims at bringing together computer scientists, expecially youngresearchers, tofostercooperationandexchangeideasandresults.Itsmain topicsinclude:analysisanddesignofalgorithms, datatypesanddatastructures, theory of logical design and layout, computability, complexity, automata, s- bolic and algebraic computation, security, cryptography, speci?cation and ve- ?cation, formal languages, foundations of functional programming, foundations of logic programming, term-rewriting, semantics, type theory, new computing paradigms, parallel and distributed computation, theory of concurrency, theory of databases, theory of knowledge bases, theory of robotics. The program committee, consisting of 14 members, considered 65 papers and selected 27 for presentation. These papers were selected on the basis of origin- ity, quality, and relevance to theoretical computer science. These proceedings include the revised versions of the 27 accepted papers and the invited talks by Marios Mavronicolas (Extreme Nash Equilibria), Martin Hofmann (Certi?cation of Memory Usage), and G¿ erard Boudol (On Programming Models for Mobility). Versandkostenfreie Lieferung Java, algorithms, automata, complexity, computerscience, DiscreteMathematics, formallanguage, logic, mathematicalfoundations, mathematicallogic, programmingtheory, theoreticalcomputerscience, theoreticalinformatics, theoryofcomputing, verification, datastructures, algorithmanalysisandproblemcomplexity, Informatik, [PU: Springer, Berlin/Heidelberg]<

buchfreund.de

MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien
Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Details...

(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Theoretical Computer Science - Cosimo Laneve

(*)

Cosimo Laneve:
Theoretical Computer Science - Taschenbuch

2003, ISBN: 9783540202165

[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - The Eighth Italian Conference on Theoretical Computer Science (ICTCS 2003) was held at the University Residential Center of … Mehr…

booklooker.de

AHA-BUCH GmbH
Versandkosten:Versand nach Deutschland. (EUR 2.70)
Details...

(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Theoretical Computer Science: 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings (Lecture Notes in Computer Science) - Blundo, Carlo and Cosimo Laneve

(*)

Blundo, Carlo and Cosimo Laneve:
Theoretical Computer Science: 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings (Lecture Notes in Computer Science) - Taschenbuch

2008, ISBN: 3540202161

Taschenbuch 412 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag … Mehr…

Achtung-Buecher.de

getbooks GmbH, 65510 Idstein
Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Details...

(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Theoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - Laneve, Cosimo (Herausgeber); Blundo, Carlo (Herausgeber)

(*)

Laneve, Cosimo (Herausgeber); Blundo, Carlo (Herausgeber):
Theoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - neues Buch

2003, ISBN: 3540202161

2003 Kartoniert / Broschiert Informatik, Datenbanken, Theoretische Informatik, Java; algorithms; automata; complexity; computerscience; DiscreteMathematics; formallanguage; logic; mathe… Mehr…

Achtung-Buecher.de

MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Details...

(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

1

Theoretical Computer Science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - Cosimo Laneve

Bestellen
bei ZVAB.com

€ 76,23

Versand: € 0,00¹

Details beim Anbieter

gesponserter Link

Cosimo Laneve:

Theoretical Computer Science : 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - Taschenbuch

2003, ISBN: 3540202161

[EAN: 9783540202165], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INFORMATIK; JAVA; ALGORITHMS; AUTOMATA; COMPLEXITY; COMPUTERSCIENCE; DISCRETEMATHEMATICS; FORMALLANGUAGE; LOGIC… Mehr…

[EAN: 9783540202165], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INFORMATIK; JAVA; ALGORITHMS; AUTOMATA; COMPLEXITY; COMPUTERSCIENCE; DISCRETEMATHEMATICS; FORMALLANGUAGE; LOGIC; MATHEMATICALFOUNDATIONS; MATHEMATICALLOGIC; PROGRAMMINGTHEORY; THEORETICALCOMPUTERSCIENCE; THEORETICALINFORMATICS; THEORYOFCOMPUTING; VERIFICATION; DATASTRUCTURES; ALGORITHMANALYSISANDPROBLEMCOMPLEXITY, Druck auf Anfrage Neuware -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 one another, forming a united complex on the top of the built up area of the ancient town of Bertinoro. Previous conferences took place in Pisa (1972), Mantova (1974 and 1989), L Aquila (1992), Ravello (1995), Prato (1998), and Torino (2001). The conference aims at bringing together computer scientists, expecially youngresearchers,tofostercooperationandexchangeideasandresults.Itsmain topicsinclude:analysisanddesignofalgorithms,datatypesanddatastructures, theory of logical design and layout, computability, complexity, automata, s- bolic and algebraic computation, security, cryptography, speci cation and ve- cation, formal languages, foundations of functional programming, foundations of logic programming, term-rewriting, semantics, type theory, new computing paradigms, parallel and distributed computation, theory of concurrency, theory of databases, theory of knowledge bases, theory of robotics. The program committee, consisting of 14 members, considered 65 papers and selected 27 for presentation. These papers were selected on the basis of origin- ity, quality, and relevance to theoretical computer science. These proceedings include the revised versions of the 27 accepted papers and the invited talks by Marios Mavronicolas (Extreme Nash Equilibria), Martin Hofmann (Certi cation of Memory Usage), and G erard Boudol (On Programming Models for Mobility). 412 pp. Englisch, Books<

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]

Infos zur Preistendenz

2

Theoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings

Bestellen
bei buchfreund.de

€ 58,71

Versand: € 0,00¹

Details beim Anbieter

gesponserter Link

Theoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - neues Buch

2003, ISBN: 9783540202165

Kartoniert, 412 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng Includes supplementary material: sn.pub/extrasThe Eighth Italian Conference on Theoretical Computer Science (ICTCS 2003) was … Mehr…

Kartoniert, 412 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng Includes supplementary material: sn.pub/extrasThe 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 one another, forming a united complex on the top of the built up area of the ancient town of Bertinoro. Previous conferences took place in Pisa (1972), Mantova (1974 and 1989), L¿Aquila (1992), Ravello (1995), Prato (1998), and Torino (2001). The conference aims at bringing together computer scientists, expecially youngresearchers, tofostercooperationandexchangeideasandresults.Itsmain topicsinclude:analysisanddesignofalgorithms, datatypesanddatastructures, theory of logical design and layout, computability, complexity, automata, s- bolic and algebraic computation, security, cryptography, speci?cation and ve- ?cation, formal languages, foundations of functional programming, foundations of logic programming, term-rewriting, semantics, type theory, new computing paradigms, parallel and distributed computation, theory of concurrency, theory of databases, theory of knowledge bases, theory of robotics. The program committee, consisting of 14 members, considered 65 papers and selected 27 for presentation. These papers were selected on the basis of origin- ity, quality, and relevance to theoretical computer science. These proceedings include the revised versions of the 27 accepted papers and the invited talks by Marios Mavronicolas (Extreme Nash Equilibria), Martin Hofmann (Certi?cation of Memory Usage), and G¿ erard Boudol (On Programming Models for Mobility). Versandkostenfreie Lieferung Java, algorithms, automata, complexity, computerscience, DiscreteMathematics, formallanguage, logic, mathematicalfoundations, mathematicallogic, programmingtheory, theoreticalcomputerscience, theoreticalinformatics, theoryofcomputing, verification, datastructures, algorithmanalysisandproblemcomplexity, Informatik, [PU: Springer, Berlin/Heidelberg]<

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien

Infos zur Preistendenz

3

Theoretical Computer Science - Cosimo Laneve

Bestellen
bei booklooker.de

€ 80,24

Versand: € 2,70¹

Details beim Anbieter

gesponserter Link

Cosimo Laneve:
Theoretical Computer Science - Taschenbuch

2003

ISBN: 9783540202165

[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - The Eighth Italian Conference on Theoretical Computer Science (ICTCS 2003) was held at the University Residential Center of … Mehr…

Versandkosten:Versand nach Deutschland. (EUR 2.70) AHA-BUCH GmbH

Infos zur Preistendenz

4

Theoretical Computer Science: 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings (Lecture Notes in Computer Science) - Blundo, Carlo and Cosimo Laneve

Bestellen
bei Achtung-Buecher.de

€ 15,83

Versand: € 0,00¹

Details beim Anbieter

gesponserter Link

Blundo, Carlo and Cosimo Laneve:
Theoretical Computer Science: 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings (Lecture Notes in Computer Science) - Taschenbuch

2008, ISBN: 3540202161

Taschenbuch 412 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag … Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) getbooks GmbH, 65510 Idstein

Infos zur Preistendenz

5

Theoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - Laneve, Cosimo (Herausgeber); Blundo, Carlo (Herausgeber)

Bestellen
bei Achtung-Buecher.de

€ 55,60

Versand: € 0,00¹

Details beim Anbieter

gesponserter Link

Laneve, Cosimo (Herausgeber); Blundo, Carlo (Herausgeber):
Theoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - neues Buch

2003, ISBN: 3540202161

2003 Kartoniert / Broschiert Informatik, Datenbanken, Theoretische Informatik, Java; algorithms; automata; complexity; computerscience; DiscreteMathematics; formallanguage; logic; mathe… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien

Infos zur Preistendenz

¹Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch

Theoretical Computer Science

Autor:	Cosimo Laneve
Titel:	Theoretical Computer Science
ISBN-Nummer:	9783540202165

This book constitutes the refereed proceedings of the 8th Italian Conference on Theoretical Computer Science, ICTCS 2003, held in Bertinoro, Italy in October 2003. The 27 revised full papers presented together with an invited paper and abstracts of 2 invited talks were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on program design-models and analysis, algorithms and complexity, semantics and formal languages, and security and cryptography.

Detailangaben zum Buch - Theoretical Computer Science

EAN (ISBN-13): 9783540202165
ISBN (ISBN-10): 3540202161
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin
412 Seiten
Gewicht: 0,620 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-03-25T17:31:14+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-12-02T15:34:34+01:00 (Berlin)
ISBN/EAN: 9783540202165

ISBN - alternative Schreibweisen:
3-540-20216-1, 978-3-540-20216-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: blund, carlo, prato, martin held, nash
Titel des Buches: theoretical computer science, 2003 band, october, lecture notes computer science, italy

Daten vom Verlag:

Autor/in: Carlo Blundo; Cosimo Laneve
Titel: Lecture Notes in Computer Science; Theoretical Computer Science - 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings
Verlag: Springer; Springer Berlin
400 Seiten
Erscheinungsjahr: 2003-09-29
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 400 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Java; algorithms; automata; complexity; computer science; discrete mathematics; formal language; logic; mathematical foundations; mathematical logic; programming theory; theoretical computer science; theoretical informatics; theory of computing; verification; data structures; algorithm analysis and problem complexity; Theory of Computation; Data Science; Algorithms; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Datenbanken; Algorithmen und Datenstrukturen; EA

Invited Talks.- Extreme Nash Equilibria.- Certification of Memory Usage.- On Programming Models for Mobility.- Program Design, Models and Analysis.- On the Computational Complexity of Cut-Elimination in Linear Logic.- A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics.- Finite Horizon Analysis of Stochastic Systems with the Mur? Verifier.- Towards Compact and Tractable Automaton-Based Representations of Time Granularities.- Lower Bounds on the Size of Quantum Automata Accepting Unary Languages.- Refined Effects for Unanticipated Object Re-classification: .- Algorithms and Complexity.- Cost Constrained Fixed Job Scheduling.- A Work-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent Set.- An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality.- Channel Assignment in Honeycomb Networks.- Exact Solution of a Class of Frequency Assignment Problems in Cellular Networks.- The Complexity of Checking Consistency of Pedigree Information and Related Problems.- On Clausal Equivalence and Hull Inclusion.- Semantics and Formal Languages.- Logical Semantics for the First Order ?-Calculus.- On the Expressive Power of Light Affine Logic.- Reasoning about Self and Others: Communicating Agents in a Modal Action Logic.- Decidability Properties of Recursive Types.- Algebraic Theories for Contextual Pre-nets.- A Coalgebraic Description of Web Interactions.- A Calculus for Dynamic Linking.- Towards a Smart Compilation Manager for Java.- Security and Cryptography.- Anonymous Group Communication in Mobile Networks.- Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences.- AnInformation-Theoretic Approach to the Access Control Problem.- Security-Aware Program Transformations.- Information Flow Security and Recursive Systems.- Compositional Verification of Secure Streamed Data: A Case Study with EMSS.
Includes supplementary material: sn.pub/extras

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540081388 [(Dynamics and Thermodynamics of Compressible Fluid Flow)] [By (author) Ascher H. Shapiro] published on (March, 1977) (Ascher H. Shapiro)

9783540081388 [(Dynamics and Thermodynamics of Compressible Fluid Flow)] [By (author) Ascher H. Shapiro] published on (March, 1977) (Ascher H. Shapiro)

Preisentwicklung...

< zum Archiv...