Tools

LEADER 05845cam 2201009 a 4500

001 ocm52557967;

003 OCoLC;

005 20260127093956.0;

008 030704s2003 gw a b 101 0 eng d;

010 a| 2003279338;

015 a| GBA3667232| bnb;

015 a| GB98579072| bnb;

016 7 a| 9679657212| DE-101;

019 a| 53068829a| 960133459a| 1027499446a| 1050123776a| 1091362103a| 1119428282a| 1169770585;

020 a| 3540404937q| (pbk.);

020 a| 9783540404934q| (pbk.);

024 3 a| 9783540404934;

029 0 a| OHXb| har035022837;

029 1 a| AU@b| 000024844007;

029 1 a| AU@b| 000024964055;

029 1 a| AU@b| 000055240894;

029 1 a| DEBBGb| BV017304481;

029 1 a| DEBSZb| 105093874;

029 1 a| HEBISb| 112592627;

029 1 a| NLGGCb| 252105362;

029 1 a| NZ1b| 7825955;

035 a| (Sirsi) o52557967;

049 a| EREE;

050 4 a| QA267b| .I55 2003;

072 7 a| QA2| lcco;

082 00 a| 005.12| 221| https://id.oclc.org/worldcat/ddc/E3jXFdk4KYFKwJQWKPH9rDFJPB;

084 a| 54.512| bcl;

084 a| SS 48002| rvk;

084 a| DAT 550f2| stub;

111 2 a| International Colloquium on Automata, Languages, and Programmingn| (30th :d| 2003 :c| Eindhoven, Netherlands)?| UNAUTHORIZED;

245 10 a| Automata, languages and programming :b| 30th international colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30-July 4, 2003 : proceedings /c| Jos C.M. Baeten [and others] (Eds.).;

246 30 a| ICALP 2003;

300 a| xviii, 1,199 pages :b| illustrations ;c| 24 cm.;

336 a| textb| txt2| rdacontent;

337 a| unmediatedb| n2| rdamedia;

338 a| volumeb| nc2| rdacarrier;

490 1 a| Lecture notes in computer science,x| 0302-9743 ;v| 2719;

500 a| "30th International Colloquium on Automata, Languages and Programming (ICALP 2003)"--Preface;

504 a| Includes bibliographical references and index.;

530 a| Also available via the World Wide Web.;

505 0 a| 1. Invited lectures -- 2. Algorithms -- 3. Process algebra -- 4. Approximation algorithms -- 5. Languages and programming -- 6. Complexity -- 7. Data structures -- 8. Graph algorithms -- 9. Automata -- 10. Optimization and games -- 11. Graphs and bisimulation -- 12. Online problems -- 13. Verification -- 14. Around the internet -- 15. Temporal logic and model checking -- 16. Graph problems -- 17. Logic and Lambda-calculus -- 18. Data structures and algorithms -- 19. Types and categories -- 20. Probabilistic systems -- 21. Sampling and randomness -- 22. Scheduling -- 23. Geometric problems -- Author index.;

650 0 a| Machine theoryv| Congresses.=| ^A44837;

650 0 a| Formal languagesv| Congresses.=| ^A26573;

650 0 a| Computer programmingv| Congresses.=| ^A34403;

650 0 a| Computer algorithmsv| Congresses.=| ^A417202;

650 7 a| Computer algorithms.2| fast0| (OCoLC)fst00872010;

650 7 a| Computer programming.2| fast0| (OCoLC)fst00872390;

650 7 a| Formal languages.2| fast0| (OCoLC)fst00932922;

650 7 a| Machine theory.2| fast0| (OCoLC)fst01004846;

650 7 a| Theoretische Informatik.2| gnd0| (DE-588)4196735-5;

650 17 a| Abstracte automaten.2| gtt;

650 17 a| Programmeertalen.2| gtt;

650 7 a| Machine theoryv| Congresses.2| nli;

650 7 a| Programming languages (Electronic computers)x| Semanticsv| Congresses.2| nli;

650 7 a| Formal languagesv| Congresses.2| nli;

650 7 a| Computer algorithmsv| Congresses.2| nli;

651 7 a| Eindhoven <2003>.2| swd?| UNAUTHORIZED;

655 4 a| Kongressz| Eindhoveny| 2003.;

655 7 a| Conference papers and proceedings.2| fast0| (OCoLC)fst01423772;

655 7 a| Eindhoven (2003)2| swd;

700 1 a| Baeten, J. C. M.1| https://id.oclc.org/worldcat/entity/E39PBJkHpy3JR3bXmdjbYQPWjC=| ^A269328;

758 i| has work:a| Automata, languages and programming (Text)1| https://id.oclc.org/worldcat/entity/E39PD36T8mHhDVfTx3QxtK4Mw34| https://id.oclc.org/worldcat/ontology/hasWork;

830 0 a| Lecture notes in computer science ;v| 2719.=| ^A466336;

856 41 3| SpringerLinku| https://doi.org/10.1007/3-540-45061-0;

856 41 3| SpringerLinku| http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2719;

856 41 3| Table of contentsu| http://www.gbv.de/dms/ilmenau/toc/366178547.PDFz| Kostenfrei;

856 41 u| http://link.springer.com/10.1007/3-540-45061-0z| eBook available for UOIT via SpringerLink. Click link to access;

856 41 u| http://www.springerlink.com/link.asp?id=6bn677ardmcrfde8z| Access restricted to Rutgers University faculty, staff and studentsz| Electronic version;

856 41 u| http://www.link.springer.de/link/service/series/0558/tocs/t2719.htm;

856 4 3| Coveru| http://swbplus.bsz-bw.de/bsz105093874cov.htm;

938 a| Ingram Library Servicesb| INGRn| in012337748;

938 a| Baker & Taylorb| BKTYc| 124.00d| 124.00i| 3540404937n| 0004312700s| active;

938 a| Brodartb| BRODn| 01238973c| $124.00;

938 a| Otto Harrassowitzb| HARRn| har035022837;

994 a| C0b| ERE;

596 a| 1;

998 a| 919976;

999 a| QA267 .I55 2003w| LCc| 1i| 30372011518757d| 10/16/2003l| JGESm| JOYNERp| $117.80r| Ys| Yt| JGESBKu| 9/12/2003x| BOOKz| JSTACKSo| .STAFF. 0;

Automata, languages and programming : 30th international colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30-July 4, 2003 : proceedings / Jos C.M. Baeten [and others] (Eds.).

Author/creator	International Colloquium on Automata, Languages, and Programming
Other author	Baeten, J. C. M.
Format	Book
Publication Info	Berlin ; New York : Springer, ©2003.
Description	xviii, 1,199 pages : illustrations ; 24 cm.
Supplemental Content	SpringerLink
Supplemental Content	SpringerLink
Supplemental Content	Kostenfrei
Supplemental Content	eBook available for UOIT via SpringerLink. Click link to access
Supplemental Content	Access restricted to Rutgers University faculty, staff and students Electronic version
Supplemental Content	http://www.link.springer.de/link/service/series/0558/tocs/t2719.htm
Supplemental Content	Cover
Subjects	Machine theory--Congresses. Formal languages--Congresses. Computer programming--Congresses. Computer algorithms--Congresses.

Portion of title	ICALP 2003
Series	Lecture notes in computer science, 0302-9743 ; 2719 Lecture notes in computer science ; 2719. ^A466336
Contents	1. Invited lectures -- 2. Algorithms -- 3. Process algebra -- 4. Approximation algorithms -- 5. Languages and programming -- 6. Complexity -- 7. Data structures -- 8. Graph algorithms -- 9. Automata -- 10. Optimization and games -- 11. Graphs and bisimulation -- 12. Online problems -- 13. Verification -- 14. Around the internet -- 15. Temporal logic and model checking -- 16. Graph problems -- 17. Logic and Lambda-calculus -- 18. Data structures and algorithms -- 19. Types and categories -- 20. Probabilistic systems -- 21. Sampling and randomness -- 22. Scheduling -- 23. Geometric problems -- Author index.
General note	"30th International Colloquium on Automata, Languages and Programming (ICALP 2003)"--Preface
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
Issued in other form	Online version: International Colloquium on Automata, Languages, and Programming (30th : 2003 : Eindhoven, Netherlands). Automata, languages and programming. Berlin ; New York : Springer, ©2003
Genre/form	Kongress Eindhoven 2003.
Genre/form	Conference papers and proceedings.
Genre/form	Eindhoven (2003)
LCCN	2003279338
ISBN	3540404937 (pbk.)
ISBN	9783540404934 (pbk.)
Standard identifier#	9783540404934

Automata, languages and programming : 30th international colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30-July 4, 2003 : proceedings / Jos C.M. Baeten [and others] (Eds.).

Click here for more information about this title