Tools

LEADER 03446cam a22005052 4500

001 ssj0000316392;

003 WaSeSS;

005 20200412081236.0;

006 m d ;

007 cr n ;

008 050902e200508uunjua s|||||||| 2|eng|d;

020 a| 9783540275800;

020 a| 3540275800 (Trade Paper)c| USD 159.00 Retail Price (Publisher)9| Active Record;

024 3 a| 9783540275800;

035 a| (WaSeSS)ssj0000316392;

037 a| 3540275800b| 00024965;

040 a| BIP USd| WaSeSS;

049 a| EREEa| NEHH;

082 00 a| 005.12| 22;

100 1 a| Caires, Luíse| Volume Editor4| oth=| ^A605053;

245 10 a| Automata, Languages and Programmingh| [electronic resource]:b| 32nd International Colloquium, ICALP 2005 Lisbon, Portugal, July 11-15, 2005: Proceedings;

260 a| New York : b| Springer;

300 a| XXV, 1477 p.b| illc| 23.500 x 015.500 cm.;

440 0 a| Lecture Notes in Computer Science Ser.;

506 a| Available only to authorized users.;

520 8 a| Annotationb| This book constitutes the refereed proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP 2005, held in Lisbon, Portugal in July 2005.The 113 revised full papers presented together with abstracts of 5 invited talks were carefully reviewed and selected from 407 submissions. The papers address all current issues in theoretical computer science and are organized in topical sections on data structures, cryptography and complexity, cryptography and distributed systems, graph algorithms, security mechanisms, automata and formal languages, signature and message authentication, algorithmic game theory, automata and logic, computational algebra, cache-oblivious algorithms and algorithmic engineering, on-line algorithms, security protocols logic, random graphs, concurrency, encryption and related primitives, approximation algorithms, games, lower bounds, probability, algebraic computation and communication complexity, string matching and computational biology, quantum complexity, analysis and verification, geometry and load balancing, concrete complexity and codes, and model theory and model checking.;

538 a| Mode of access: World Wide Web;

650 4 a| Machine Theory;

650 4 a| Computer Programming;

650 4 a| Computer Algorithms;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Italiano, Guiseppe F.e| Volume Editor4| oth?| UNAUTHORIZED;

700 1 a| Monteiro, Luise| Volume Editor4| oth?| UNAUTHORIZED;

700 1 a| Palamidessi, Catusciae| Volume Editor4| oth=| ^A410576;

700 1 a| Yung, Motie| Volume Editor4| oth=| ^A526833;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-540-27580-0;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 3982842;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3982842-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3982842-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/1/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3982842-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

Automata, Languages and Programming 32nd International Colloquium, ICALP 2005 Lisbon, Portugal, July 11-15, 2005: Proceedings

Author/creator	Caires, Luís Volume Editor
Format	Electronic
Publication Info	New York : Springer
Description	XXV, 1477 p. ill 23.500 x 015.500 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	Machine Theory Computer Programming Computer Algorithms

Other author/creator	Italiano, Guiseppe F. Volume Editor
Other author/creator	Monteiro, Luis Volume Editor
Other author/creator	Palamidessi, Catuscia Volume Editor
Other author/creator	Yung, Moti Volume Editor
Series	Lecture Notes in Computer Science Ser.
Summary	Annotation This book constitutes the refereed proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP 2005, held in Lisbon, Portugal in July 2005.The 113 revised full papers presented together with abstracts of 5 invited talks were carefully reviewed and selected from 407 submissions. The papers address all current issues in theoretical computer science and are organized in topical sections on data structures, cryptography and complexity, cryptography and distributed systems, graph algorithms, security mechanisms, automata and formal languages, signature and message authentication, algorithmic game theory, automata and logic, computational algebra, cache-oblivious algorithms and algorithmic engineering, on-line algorithms, security protocols logic, random graphs, concurrency, encryption and related primitives, approximation algorithms, games, lower bounds, probability, algebraic computation and communication complexity, string matching and computational biology, quantum complexity, analysis and verification, geometry and load balancing, concrete complexity and codes, and model theory and model checking.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
ISBN	9783540275800
ISBN	3540275800 (Trade Paper) Active Record
Standard identifier#	9783540275800
Stock number	3540275800 00024965

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Automata, Languages and Programming 32nd International Colloquium, ICALP 2005 Lisbon, Portugal, July 11-15, 2005: Proceedings

Click here for more information about this title

Availability