Results
|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
Pro ASP.NET 1.1 in VB .NET [electronic resource] : From Professional to Expert / by K. Scott Allen, James Avery, Russ Basiura, Mike Batongbacal, Marco Bellinaso, Matt Butler, Andreas Eide, Daniel Cazzulino, Michael Clark, Richard Conway, Robert Eisenberg, Brady Gaster, James Greenwood, Kevin Hoffman, Erik Johansson, Angelo Kastroulis, Dan Kent, Sitaraman Lakshminarayanan, Don Lee, Christopher Miller, Matt Milner, Jan Narkiewicz, Matt Odhner, Ryan O’Keefe, Andrew Reid, Matthew Reynolds, Enrico Sabbadin, Bill Sempf, Doug Seven, Srinivasa Sivkumar, Thiru Thangarathinam, Doug Thews ; edited by Laurence Moroney, Matthew MacDonald. by
- Allen, K. Scott
- Avery, James
- Basiura, Russ
- Batongbacal, Mike
- Bellinaso, Marco
- Butler, Matt
- Eide, Andreas
- Cazzulino, Daniel
- Clark, Michael
- Conway, Richard
- Eisenberg, Robert
- Gaster, Brady
- Greenwood, James
- Hoffman, Kevin
- Johansson, Erik
- Kastroulis, Angelo
- Kent, Dan
- Lakshminarayanan, Sitaraman
- Lee, Don
- Miller, Christopher
- Milner, Matt
- Narkiewicz, Jan
- Odhner, Matt
- O’Keefe, Ryan
- Reid, Andrew
- Reynolds, Matthew
- Sabbadin, Enrico
- Sempf, Bill
- Seven, Doug
- Sivkumar, Srinivasa
- Thangarathinam, Thiru
- Thews, Doug
- Moroney, Laurence
- MacDonald, Matthew
- SpringerLink (Online service)
Material type:  Computer file; Format:
electronic
available online
Publication details: Berkeley, CA : Laurence Moroney, Matthew MacDonald (Ed.), K. Scott Allen, James Avery, Russ Basiura, Mike Batongbacal, Marco Bellinaso, Matt Butler, Andreas Eide, Daniel Cazzulino, Michael Clark, Richard Conway, Robert Eisenberg, Brady Gaster, James Greenwood, Kevin Hoffman, Erik Johansson, Angelo Kastroulis, Dan Kent, Sitaraman Lakshminarayanan, Don Lee, Christopher Miller, Matt Milner, Jan Narkiewicz, Matt Odhner, Ryan O’Keefe, Andrew Reid, Matthew Reynolds, Enrico Sabbadin, Bill Sempf, Doug Seven, Srinivasa Sivkumar, Thiru Thangarathinam, Doug Thews, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.8885.A26 A45 2005.
|
|
|
4.
|
Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings / edited by Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan. by Series: Lecture Notes in Computer Science ; 5311
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A96 C3 2008.
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
Foundations of Software Science and Computation Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings / edited by Luca Aceto, Anna Ingólfsdóttir. by Series: Lecture Notes in Computer Science ; 3921
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.L63 A24 2006.
|
|
|
8.
|
Declarative Agent Languages and Technologies II [electronic resource] : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / edited by João Leite, Andrea Omicini, Paolo Torroni, pInar Yolum. by Series: Lecture Notes in Computer Science ; 3476
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.7 L45 2005.
|
|
|
9.
|
Declarative Agent Languages and Technologies III [electronic resource] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni. by Series: Lecture Notes in Computer Science ; 3904
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.7 B35 2006.
|
|
|
10.
|
Languages and Compilers for Parallel Computing [electronic resource] : 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers / edited by Eduard Ayguadé, Gerald Baumgartner, J. Ramanujam, P. Sadayappan. by Series: Lecture Notes in Computer Science ; 4339
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 A94 2006.
|
|
|
11.
|
Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / edited by Marco Bernardo, Alessandro Bogliolo. by Series: Lecture Notes in Computer Science ; 3465
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 B47 2005.
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
|