Results
|
|
541.
|
|
|
|
542.
|
|
|
|
543.
|
|
|
|
544.
|
|
|
|
545.
|
|
|
|
546.
|
|
|
|
547.
|
|
|
|
548.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. by
- Piterman, Nir [editor.]
- Smolka, Scott A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7795
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
549.
|
Mastering Turbo Pascal 6 / Scott D. Palmer. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi : BPB pub, c1991
Availability: Items available for loan: Central Library, SUST (3)Call number: 005 PAM, ...
|
|
|
550.
|
|
|
|
551.
|
Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / edited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt. by
- Fontaine, Pascal [editor.]
- Ringeissen, Christophe [editor.]
- Schmidt, Renate A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8152
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
552.
|
|
|
|
553.
|
|
|
|
554.
|
|
|
|
555.
|
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Martin Middendorf, Christian Blum. by
- Middendorf, Martin [editor.]
- Blum, Christian [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7832
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
556.
|
|
|
|
557.
|
|
|
|
558.
|
|
|
|
559.
|
|
|
|
560.
|
Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / edited by Einar Broch Johnsen, Luigia Petre. by
- Johnsen, Einar Broch [editor.]
- Petre, Luigia [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7940
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|