|
|
|
|
| LEADER |
02677nam a22006015i 4500 |
| 001 |
11083 |
| 003 |
DE-He213 |
| 005 |
20130725201511.0 |
| 007 |
cr nn 008mamaa |
| 008 |
100816s2010 gw | s |||| 0|eng d |
| 020 |
# |
# |
|a 9783642150258
|9 978-3-642-15025-8
|
| 024 |
7 |
# |
|a 10.1007/978-3-642-15025-8
|2 doi
|
| 050 |
# |
4 |
|a QA76.9.L63
|
| 050 |
# |
4 |
|a QA76.5913
|
| 050 |
# |
4 |
|a QA76.63
|
| 072 |
# |
7 |
|a UM
|2 bicssc
|
| 072 |
# |
7 |
|a UYF
|2 bicssc
|
| 072 |
# |
7 |
|a COM051000
|2 bisacsh
|
| 072 |
# |
7 |
|a COM036000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 005.1015113
|2 23
|
| 100 |
1 |
# |
|a Blass, Andreas.
|e editor.
|
| 245 |
1 |
0 |
|a Fields of Logic and Computation
|b Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday /
|c edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig.
|h [electronic resource] :
|
| 264 |
# |
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg,
|c 2010.
|
| 300 |
# |
# |
|a XIII, 627p. 49 illus.
|b online resource.
|
| 336 |
# |
# |
|a text
|b txt
|2 rdacontent
|
| 337 |
# |
# |
|a computer
|b c
|2 rdamedia
|
| 338 |
# |
# |
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
# |
# |
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
# |
|a Lecture Notes in Computer Science,
|v 6300
|x 0302-9743 ;
|
| 520 |
# |
# |
|a This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions, written by his colleagues. The collection of articles herein begins with an academic biography, an annotated list of Yuri's publications and reports, and a personal tribute by Jan Van den Bussche. These are followed by 28 technical contributions. These articles - though they cover a broad range of topics - represent only a fraction of Yuri Gurevich s multiple areas of interest.
|
| 650 |
# |
0 |
|a Computer science.
|
| 650 |
# |
0 |
|a Computer Communication Networks.
|
| 650 |
# |
0 |
|a Software engineering.
|
| 650 |
# |
0 |
|a Computer software.
|
| 650 |
# |
0 |
|a Logic design.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Logics and Meanings of Programs.
|
| 650 |
2 |
4 |
|a Software Engineering.
|
| 650 |
2 |
4 |
|a Mathematical Logic and Formal Languages.
|
| 650 |
2 |
4 |
|a Algorithm Analysis and Problem Complexity.
|
| 650 |
2 |
4 |
|a Computer Communication Networks.
|
| 650 |
2 |
4 |
|a Programming Languages, Compilers, Interpreters.
|
| 700 |
1 |
# |
|a Dershowitz, Nachum.
|e editor.
|
| 700 |
1 |
# |
|a Reisig, Wolfgang.
|e editor.
|
| 710 |
2 |
# |
|a SpringerLink (Online service)
|
| 773 |
0 |
# |
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783642150241
|
| 830 |
# |
0 |
|a Lecture Notes in Computer Science,
|v 6300
|x 0302-9743 ;
|
| 856 |
4 |
0 |
|u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-15025-8
|
| 912 |
# |
# |
|a ZDB-2-SCS
|
| 912 |
# |
# |
|a ZDB-2-LNC
|
| 950 |
# |
# |
|a Computer Science (Springer-11645)
|