Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Algebraic Methodology and Software T...
~
(1998 :)
Algebraic Methodology and Software Technology11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Algebraic Methodology and Software Technologyedited by Michael Johnson, Varmo Vene.
Reminder of title:
11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /
other author:
Vene, Varmo.
corporate name:
Published:
Berlin Heidelberg :Springer-Verlag GmbH.,2006
Description:
xi, 387 p. :ill., digital ;24 cm.
Series:
Lecture Notes in Computer Science,
Contained By:
Springer e-books
Subject:
Software engineering
Online resource:
http://dx.doi.org/10.1007/11784180
ISBN:
9783540356332 (paper)
Algebraic Methodology and Software Technology11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /
Algebraic Methodology and Software Technology
11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /[electronic resource] :edited by Michael Johnson, Varmo Vene. - Berlin Heidelberg :Springer-Verlag GmbH.,2006 - xi, 387 p. :ill., digital ;24 cm. - Lecture Notes in Computer Science,40190302-9743 ;.
ISBN: 9783540356332 (paper)Subjects--Topical Terms:
253562
Software engineering
LC Class. No.: QA76.758 / .I5713 2006
Dewey Class. No.: 005.1
Algebraic Methodology and Software Technology11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /
LDR
:01003nmm _22002415a_450
001
186734
003
Springer
005
20071119084414.0
006
m d
007
cr nn 008mamaa
008
090528s2006 gw j eng d
020
$a
9783540356332 (paper)
020
$a
9783540356363 (electronic bk.)
035
$a
00334094
050
0 0
$a
QA76.758
$b
.I5713 2006
082
0 0
$2
22
$a
005.1
090
$a
QA76.758
$b
.I61 2006
111
0
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Algebraic Methodology and Software Technology
$b
11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /
$c
edited by Michael Johnson, Varmo Vene.
$h
[electronic resource] :
260
#
$a
Berlin Heidelberg :
$c
2006
$b
Springer-Verlag GmbH.,
300
$a
xi, 387 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture Notes in Computer Science,
$v
4019
$x
0302-9743 ;
650
# 0
$a
Software engineering
$3
253562
650
# 0
$a
Abstract data types (Computer science)
$3
277881
650
# 0
$a
Computer Science.
$3
212513
650
# 0
$a
Artificial Intelligence (incl. Robotics)
$3
252959
650
# 0
$a
Logics and Meanings of Programs.
$3
275357
650
# 0
$a
Mathematical Logic and Formal Languages.
$3
275383
650
# 0
$a
Programming Techniques.
$3
274470
650
# 0
$a
Software Engineering.
$3
274511
650
# 0
$a
Symbolic and Algebraic Manipulation.
$3
273720
700
0 #
$a
Vene, Varmo.
$3
279543
700
0 #
$a
Johnson, Michael.
$3
279542
710
0 #
$a
SpringerLink (Online service)
$3
273601
773
0 #
$t
Springer e-books
856
4 0
$u
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/11784180
$z
http://dx.doi.org/10.1007/11784180
950
$a
Computer Science (Springer-11645; ZDB-2-SCS)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000012108
電子館藏
1圖書
電子書
EB QA76.758 I61 2006
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://libsw.nuk.edu.tw:81/login?url=http://dx.doi.org/10.1007/11784180
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login